// File: /workspace/github_cpp_makefile_star2_O3/pfnet-research[P]pml/src/test.cpp
// Function: translation_test::translation_test()
PML_TEST(translation_test) {
    using namespace ast;
    using namespace mdp;
    assert_eq(
            translate_to_mdp(ast::int_expr_t{42}).mdp,
            mdp_t {
                "default",
                {},
                {
                    mdp::constant_t{"c42", 42}
                },
                {}
            });
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x168, %rsp            # imm = 0x168
movq %rdi, %r14
movl $0x0, 0x8(%rdi)
leaq 0x307b4(%rip), %rax     # 0x617c8
movq %rax, (%rdi)
leaq 0x2eb1a(%rip), %rax     # 0x5fb38
leaq 0xb8(%rsp), %rsi
movq %rax, (%rsi)
movl $0x2a, 0x8(%rsi)
leaq 0xc8(%rsp), %rdi
callq 0x3ffe3
leaq 0x60(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x19d98(%rip), %rsi     # 0x4ade6
leaq 0x19d98(%rip), %rdx     # 0x4aded
leaq 0x50(%rsp), %rdi
callq 0x116f8
leaq 0x70(%rsp), %rbx
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq $0x0, 0x10(%rbx)
leaq 0x18(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x19d6c(%rip), %rsi     # 0x4adee
leaq 0x19d68(%rip), %rdx     # 0x4adf1
leaq 0x8(%rsp), %rdi
callq 0x116f8
leaq 0x38(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
addq %rsi, %rdx
leaq 0x28(%rsp), %rdi
callq 0xac68
leaq 0x88(%rsp), %r15
movabsq $0x2a00000000, %rax     # imm = 0x2A00000000
leaq 0x28(%rsp), %rsi
movq %rax, 0x20(%rsi)
leaq 0x7(%rsp), %rcx
movl $0x1, %edx
movq %r15, %rdi
callq 0x37aea
xorps %xmm0, %xmm0
leaq 0x50(%rsp), %rdx
movups %xmm0, 0x50(%rdx)
movq $0x0, 0x60(%rdx)
leaq 0xc8(%rsp), %rsi
movq %r14, %rdi
callq 0x37936
leaq 0xa0(%rsp), %r14
movq %r14, %rdi
callq 0xa808
movq %r15, %rdi
callq 0xa838
movq %rbx, %rdi
callq 0xa868
movq -0x50(%r14), %rdi
cmpq %r12, %rdi
je 0x3113a
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x48(%rsp), %rbx
movq %rbx, %rdi
callq 0xa9fe
movq -0x20(%rbx), %rdi
cmpq %rbp, %rdi
je 0x3115d
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x31174
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x148(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x31195
movq 0x148(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x118(%rsp), %rdi
callq 0xa808
leaq 0x100(%rsp), %rdi
callq 0xa838
leaq 0xe8(%rsp), %rbx
movq %rbx, %rdi
callq 0xa868
movq -0x20(%rbx), %rdi
leaq 0xd8(%rsp), %rax
cmpq %rax, %rdi
je 0x311e0
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x92e0
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
leaq 0x50(%rsp), %rdi
callq 0xa7c4
xorl %ebp, %ebp
jmp 0x31209
movq %rax, %r14
movb $0x1, %bpl
leaq 0x28(%rsp), %rdi
callq 0x37b34
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x3122a
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
testb %bpl, %bpl
jne 0x31250
jmp 0x31274
movq %rax, %r14
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x31250
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x31250
movq %rax, %r14
movq %rbx, %rdi
callq 0xa868
movq 0x50(%rsp), %rdi
cmpq %r12, %rdi
je 0x31274
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x31274
movq %rax, %r14
leaq 0xc8(%rsp), %rdi
callq 0x37b5c
movq %r14, %rdi
callq 0x94e0
nop