// File: /workspace/github_cpp_makefile_star2_O3/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 0x32c9a(%rip), %rax     # 0x61648
movq %rax, (%rdi)
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1c1ad(%rip), %rsi     # 0x4ab6e
leaq 0x1c1ae(%rip), %rdx     # 0x4ab76
movq %rsp, %rdi
callq 0x116f8
leaq 0x30(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x1c197(%rip), %rsi     # 0x4ab77
leaq 0x1c1a0(%rip), %rdx     # 0x4ab87
leaq 0x20(%rsp), %rdi
callq 0x116f8
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
movq %rbx, %rdi
callq 0x3543e
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x2ea18
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x92e0
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2ea2e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x92e0
movq %rsp, %rdi
movq %r14, (%rdi)
leaq 0x1c14d(%rip), %rsi     # 0x4ab88
leaq 0x1c14e(%rip), %rdx     # 0x4ab90
callq 0x116f8
leaq 0x20(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c13b(%rip), %rsi     # 0x4ab91
leaq 0x1c145(%rip), %rdx     # 0x4aba2
callq 0x116f8
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
movq %rbx, %rdi
callq 0x3543e
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x2ea89
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x92e0
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2ea9f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x92e0
movq %rsp, %rdi
movq %r14, (%rdi)
leaq 0x1c0f7(%rip), %rsi     # 0x4aba3
leaq 0x1c0f8(%rip), %rdx     # 0x4abab
callq 0x116f8
leaq 0x20(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c0e5(%rip), %rsi     # 0x4abac
leaq 0x1c0ef(%rip), %rdx     # 0x4abbd
callq 0x116f8
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
movq %rbx, %rdi
callq 0x3543e
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x2eafa
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x92e0
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2eb10
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x92e0
movq %rsp, %rdi
movq %r14, (%rdi)
leaq 0x1c0a1(%rip), %rsi     # 0x4abbe
leaq 0x1c0a2(%rip), %rdx     # 0x4abc6
callq 0x116f8
leaq 0x20(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c08f(%rip), %rsi     # 0x4abc7
leaq 0x1c099(%rip), %rdx     # 0x4abd8
callq 0x116f8
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
movq %rbx, %rdi
callq 0x3543e
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x2eb6b
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x92e0
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2eb81
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x92e0
movl $0x20, %edi
callq 0x92d0
movabsq $0x100000001, %r14      # imm = 0x100000001
movq %r14, 0x8(%rax)
leaq 0x30f48(%rip), %r15     # 0x5fae8
movq %r15, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
leaq 0x30f87(%rip), %r12     # 0x5fb38
movq %r12, 0x10(%rax)
movl $0x1, 0x18(%rax)
movq %rax, 0x48(%rsp)
movq %rcx, 0x40(%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 0x70(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x28(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0x60(%rsp), %rdx
leaq 0x40(%rsp), %rcx
callq 0x3663a
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 0x60(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x8(%rsp), %rdi
movq $0x0, -0x8(%rdi)
movq %rsp, %rsi
leaq 0x50(%rsp), %rdx
leaq 0x20(%rsp), %rcx
callq 0x3654c
movaps (%rsp), %xmm0
movaps %xmm0, 0xb0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, (%rsp)
movl $0x20, %edi
callq 0x92d0
movq %r14, 0x8(%rax)
leaq 0x30d7c(%rip), %r13     # 0x5fa08
movq %r13, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
leaq 0x30de3(%rip), %rbp     # 0x5fa80
movq %rbp, 0x10(%rax)
movb $0x0, 0x18(%rax)
leaq 0x50(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
leaq 0xb0(%rsp), %rsi
movq %rbx, %rdi
callq 0x354b8
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2ecd0
callq 0xa946
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x2ece2
callq 0xa946
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x2ecf1
callq 0xa946
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x2ed00
callq 0xa946
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x2ed0f
callq 0xa946
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x2ed1e
callq 0xa946
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x2ed2d
callq 0xa946
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, 0x48(%rsp)
movq %rcx, 0x40(%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 0x70(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x28(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0x60(%rsp), %rdx
leaq 0x40(%rsp), %rcx
callq 0x3663a
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 0x60(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x8(%rsp), %rdi
movq $0x0, -0x8(%rdi)
movq %rsp, %rsi
leaq 0x50(%rsp), %rdx
leaq 0x20(%rsp), %rcx
callq 0x36728
movaps (%rsp), %xmm0
movaps %xmm0, 0xa0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, (%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 0x50(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
leaq 0xa0(%rsp), %rsi
movq %rbx, %rdi
callq 0x354b8
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2ee56
callq 0xa946
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x2ee68
callq 0xa946
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x2ee77
callq 0xa946
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x2ee86
callq 0xa946
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x2ee95
callq 0xa946
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x2eea4
callq 0xa946
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x2eeb3
callq 0xa946
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, 0x48(%rsp)
movq %rcx, 0x40(%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 0x70(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x28(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0x60(%rsp), %rdx
leaq 0x40(%rsp), %rcx
callq 0x3663a
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 0x60(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x8(%rsp), %rdi
movq $0x0, -0x8(%rdi)
movq %rsp, %rsi
leaq 0x50(%rsp), %rdx
leaq 0x20(%rsp), %rcx
callq 0x36816
movaps (%rsp), %xmm0
movaps %xmm0, 0x90(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, (%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 0x50(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
leaq 0x90(%rsp), %rsi
movq %rbx, %rdi
callq 0x354b8
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2efdc
callq 0xa946
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x2efee
callq 0xa946
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x2effd
callq 0xa946
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x2f00c
callq 0xa946
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x2f01b
callq 0xa946
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x2f02a
callq 0xa946
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x2f039
callq 0xa946
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, 0x48(%rsp)
movq %rcx, 0x40(%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 0x70(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x28(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0x60(%rsp), %rdx
leaq 0x40(%rsp), %rcx
callq 0x3663a
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 0x60(%rsp), %r8
movq %rax, 0x8(%r8)
movq %rcx, (%r8)
leaq 0x8(%rsp), %rdi
movq $0x0, -0x8(%rdi)
movq %rsp, %rsi
leaq 0x50(%rsp), %rdx
leaq 0x20(%rsp), %rcx
callq 0x36904
movaps (%rsp), %xmm0
movaps %xmm0, 0x80(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, (%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 0x50(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
leaq 0x80(%rsp), %rsi
movq %rbx, %rdi
callq 0x354b8
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2f162
callq 0xa946
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x2f174
callq 0xa946
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x2f183
callq 0xa946
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x2f192
callq 0xa946
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1a1
callq 0xa946
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1b0
callq 0xa946
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1bf
callq 0xa946
addq $0xc8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2f1e8
callq 0xa946
jmp 0x2f1e8
movq %rax, %rbx
movq 0x88(%rsp), %rdi
jmp 0x2f292
jmp 0x2f2ad
jmp 0x2f2c1
jmp 0x2f2d5
jmp 0x2f2e9
jmp 0x2f348
movq %rax, %rbx
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2f225
callq 0xa946
jmp 0x2f225
movq %rax, %rbx
movq 0x98(%rsp), %rdi
jmp 0x2f292
jmp 0x2f2ad
jmp 0x2f2c1
jmp 0x2f2d5
jmp 0x2f2e9
jmp 0x2f348
movq %rax, %rbx
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2f25c
callq 0xa946
jmp 0x2f25c
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
jmp 0x2f292
jmp 0x2f2ad
jmp 0x2f2c1
jmp 0x2f2d5
jmp 0x2f2e9
jmp 0x2f348
movq %rax, %rbx
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2f28a
callq 0xa946
jmp 0x2f28a
movq %rax, %rbx
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x2f29c
callq 0xa946
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x2f2b0
callq 0xa946
jmp 0x2f2b0
movq %rax, %rbx
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x2f2c4
callq 0xa946
jmp 0x2f2c4
movq %rax, %rbx
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x2f2d8
callq 0xa946
jmp 0x2f2d8
movq %rax, %rbx
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x2f2ec
callq 0xa946
jmp 0x2f2ec
movq %rax, %rbx
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x2f34b
callq 0xa946
jmp 0x2f34b
jmp 0x2f348
jmp 0x2f311
jmp 0x2f32d
jmp 0x2f348
jmp 0x2f311
jmp 0x2f32d
jmp 0x2f348
jmp 0x2f311
jmp 0x2f32d
jmp 0x2f348
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x2f330
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x2f330
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2f34b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x2f34b
movq %rax, %rbx
movq %rbx, %rdi
callq 0x94e0
nop