// File: /workspace/github_cpp_makefile_star2_O1/pfnet-research[P]pml/src/test.cpp
// Function: formula_test::formula_test()
PML_CUSTOM_TEST(formula_test, lang_feature_test) {
    using namespace ast;
    parse_test("1+2 == 4", "Eq(Add(1, 2), 4)");
    parse_test("1+2 != 4", "Neq(Add(1, 2), 4)");
    parse_test("1+2 <= 4", "Leq(Add(1, 2), 4)");
    parse_test("1+2 >= 4", "Geq(Add(1, 2), 4)");
    eval_test(
            make<eq_expr_t>(
                make<add_expr_t>(
                    make<int_expr_t>(1),
                    make<int_expr_t>(2)),
                make<int_expr_t>(4)),
            make<bool_expr_t>(false));
    eval_test(
            make<neq_expr_t>(
                make<add_expr_t>(
                    make<int_expr_t>(1),
                    make<int_expr_t>(2)),
                make<int_expr_t>(4)),
            make<bool_expr_t>(true));
    eval_test(
            make<leq_expr_t>(
                make<add_expr_t>(
                    make<int_expr_t>(1),
                    make<int_expr_t>(2)),
                make<int_expr_t>(4)),
            make<bool_expr_t>(true));
    eval_test(
            make<geq_expr_t>(
                make<add_expr_t>(
                    make<int_expr_t>(1),
                    make<int_expr_t>(2)),
                make<int_expr_t>(4)),
            make<bool_expr_t>(false));
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xc8, %rsp
movq %rdi, %rbx
movl $0x0, 0x8(%rdi)
leaq 0x339ae(%rip), %rax     # 0x62648
movq %rax, (%rdi)
leaq 0x18(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1bec1(%rip), %rsi     # 0x4ab6e
leaq 0x1bec2(%rip), %rdx     # 0x4ab76
leaq 0x8(%rsp), %rdi
callq 0x11866
leaq 0x48(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x1bea9(%rip), %rsi     # 0x4ab77
leaq 0x1beb2(%rip), %rdx     # 0x4ab87
leaq 0x38(%rsp), %rdi
callq 0x11866
leaq 0x8(%rsp), %rsi
leaq 0x38(%rsp), %rdx
movq %rbx, %rdi
callq 0x35a02
movq 0x38(%rsp), %rdi
cmpq %r15, %rdi
je 0x2ed08
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2ed1f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x1be5a(%rip), %rsi     # 0x4ab88
leaq 0x1be5b(%rip), %rdx     # 0x4ab90
callq 0x11866
leaq 0x38(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1be48(%rip), %rsi     # 0x4ab91
leaq 0x1be52(%rip), %rdx     # 0x4aba2
callq 0x11866
leaq 0x8(%rsp), %rsi
leaq 0x38(%rsp), %rdx
movq %rbx, %rdi
callq 0x35a02
movq 0x38(%rsp), %rdi
cmpq %r15, %rdi
je 0x2ed7e
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2ed95
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x1bdff(%rip), %rsi     # 0x4aba3
leaq 0x1be00(%rip), %rdx     # 0x4abab
callq 0x11866
leaq 0x38(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1bded(%rip), %rsi     # 0x4abac
leaq 0x1bdf7(%rip), %rdx     # 0x4abbd
callq 0x11866
leaq 0x8(%rsp), %rsi
leaq 0x38(%rsp), %rdx
movq %rbx, %rdi
callq 0x35a02
movq 0x38(%rsp), %rdi
cmpq %r15, %rdi
je 0x2edf4
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2ee0b
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x1bda4(%rip), %rsi     # 0x4abbe
leaq 0x1bda5(%rip), %rdx     # 0x4abc6
callq 0x11866
leaq 0x38(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1bd92(%rip), %rsi     # 0x4abc7
leaq 0x1bd9c(%rip), %rdx     # 0x4abd8
callq 0x11866
leaq 0x8(%rsp), %rsi
leaq 0x38(%rsp), %rdx
movq %rbx, %rdi
callq 0x35a02
movq 0x38(%rsp), %rdi
cmpq %r15, %rdi
je 0x2ee6a
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2ee81
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
movq $0x0, 0x28(%rsp)
movl $0x20, %edi
callq 0x92d0
movabsq $0x100000001, %r14      # imm = 0x100000001
movq %r14, 0x8(%rax)
leaq 0x31c17(%rip), %r15     # 0x60ac0
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
leaq 0x31c56(%rip), %r12     # 0x60b10
movq %r12, 0x10(%rax)
movl $0x1, 0x18(%rax)
movq %rax, 0x30(%rsp)
movq %rcx, 0x28(%rsp)
movq $0x0, 0x78(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x2, 0x18(%rax)
leaq 0x78(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x40(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x38(%rsp), %rsi
leaq 0x58(%rsp), %rdx
leaq 0x28(%rsp), %rcx
callq 0x36c98
movq $0x0, 0x58(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x4, 0x18(%rax)
leaq 0x58(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x10(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
leaq 0x38(%rsp), %rcx
callq 0x36b92
movups 0x8(%rsp), %xmm0
movups %xmm0, 0xb8(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
leaq 0x319fd(%rip), %r13     # 0x609a8
movq %r13, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
leaq 0x31a9c(%rip), %rbp     # 0x60a58
movq %rbp, 0x10(%rax)
movb $0x0, 0x18(%rax)
leaq 0x68(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
leaq 0xb8(%rsp), %rsi
movq %rbx, %rdi
callq 0x35a7c
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x2efef
callq 0xaa12
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x2f001
callq 0xaa12
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x2f010
callq 0xaa12
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x2f01f
callq 0xaa12
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x2f02e
callq 0xaa12
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x2f040
callq 0xaa12
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x2f04f
callq 0xaa12
movq $0x0, 0x28(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x1, 0x18(%rax)
movq %rax, 0x30(%rsp)
movq %rcx, 0x28(%rsp)
movq $0x0, 0x78(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x2, 0x18(%rax)
leaq 0x78(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x40(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x38(%rsp), %rsi
leaq 0x58(%rsp), %rdx
leaq 0x28(%rsp), %rcx
callq 0x36c98
movq $0x0, 0x58(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x4, 0x18(%rax)
leaq 0x58(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x10(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
leaq 0x38(%rsp), %rcx
callq 0x36d9e
movups 0x8(%rsp), %xmm0
movups %xmm0, 0xa8(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r13, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %rbp, 0x10(%rax)
movb $0x1, 0x18(%rax)
leaq 0x68(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
leaq 0xa8(%rsp), %rsi
movq %rbx, %rdi
callq 0x35a7c
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x2f197
callq 0xaa12
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1a9
callq 0xaa12
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1b8
callq 0xaa12
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1c7
callq 0xaa12
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1d6
callq 0xaa12
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1e8
callq 0xaa12
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1f7
callq 0xaa12
movq $0x0, 0x28(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x1, 0x18(%rax)
movq %rax, 0x30(%rsp)
movq %rcx, 0x28(%rsp)
movq $0x0, 0x78(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x2, 0x18(%rax)
leaq 0x78(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x40(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x38(%rsp), %rsi
leaq 0x58(%rsp), %rdx
leaq 0x28(%rsp), %rcx
callq 0x36c98
movq $0x0, 0x58(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x4, 0x18(%rax)
leaq 0x58(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x10(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
leaq 0x38(%rsp), %rcx
callq 0x36ea4
movups 0x8(%rsp), %xmm0
movups %xmm0, 0x98(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r13, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %rbp, 0x10(%rax)
movb $0x1, 0x18(%rax)
leaq 0x68(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
leaq 0x98(%rsp), %rsi
movq %rbx, %rdi
callq 0x35a7c
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x2f33f
callq 0xaa12
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x2f351
callq 0xaa12
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x2f360
callq 0xaa12
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x2f36f
callq 0xaa12
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x2f37e
callq 0xaa12
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x2f390
callq 0xaa12
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x2f39f
callq 0xaa12
movq $0x0, 0x28(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x1, 0x18(%rax)
movq %rax, 0x30(%rsp)
movq %rcx, 0x28(%rsp)
movq $0x0, 0x78(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x2, 0x18(%rax)
leaq 0x78(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x40(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x38(%rsp), %rsi
leaq 0x58(%rsp), %rdx
leaq 0x28(%rsp), %rcx
callq 0x36c98
movq $0x0, 0x58(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, 0x10(%rax)
movl $0x4, 0x18(%rax)
leaq 0x58(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x10(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
leaq 0x38(%rsp), %rcx
callq 0x36faa
movups 0x8(%rsp), %xmm0
movups %xmm0, 0x88(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
movq %r13, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq %rbp, 0x10(%rax)
movb $0x0, 0x18(%rax)
leaq 0x68(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
leaq 0x88(%rsp), %rsi
movq %rbx, %rdi
callq 0x35a7c
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x2f4e7
callq 0xaa12
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x2f4f9
callq 0xaa12
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x2f508
callq 0xaa12
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x2f517
callq 0xaa12
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x2f526
callq 0xaa12
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x2f538
callq 0xaa12
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x2f547
callq 0xaa12
addq $0xc8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x2f570
callq 0xaa12
jmp 0x2f570
movq %rax, %rbx
movq 0x90(%rsp), %rdi
jmp 0x2f61a
jmp 0x2f635
jmp 0x2f649
jmp 0x2f65d
jmp 0x2f674
jmp 0x2f6d4
movq %rax, %rbx
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x2f5ad
callq 0xaa12
jmp 0x2f5ad
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
jmp 0x2f61a
jmp 0x2f635
jmp 0x2f649
jmp 0x2f65d
jmp 0x2f674
jmp 0x2f6d4
movq %rax, %rbx
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x2f5e4
callq 0xaa12
jmp 0x2f5e4
movq %rax, %rbx
movq 0xb0(%rsp), %rdi
jmp 0x2f61a
jmp 0x2f635
jmp 0x2f649
jmp 0x2f65d
jmp 0x2f674
jmp 0x2f6d4
movq %rax, %rbx
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x2f612
callq 0xaa12
jmp 0x2f612
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x2f624
callq 0xaa12
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x2f638
callq 0xaa12
jmp 0x2f638
movq %rax, %rbx
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x2f64c
callq 0xaa12
jmp 0x2f64c
movq %rax, %rbx
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x2f660
callq 0xaa12
jmp 0x2f660
movq %rax, %rbx
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x2f677
callq 0xaa12
jmp 0x2f677
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x2f6d7
callq 0xaa12
jmp 0x2f6d7
jmp 0x2f6d4
jmp 0x2f69c
jmp 0x2f6b8
jmp 0x2f6d4
jmp 0x2f69c
jmp 0x2f6b8
jmp 0x2f6d4
jmp 0x2f69c
jmp 0x2f6b8
jmp 0x2f6d4
movq %rax, %rbx
movq 0x38(%rsp), %rdi
cmpq %r15, %rdi
je 0x2f6bb
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x2f6bb
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2f6d7
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x2f6d7
movq %rax, %rbx
movq %rbx, %rdi
callq 0x94e0
nop