Typed Interpreter

main:
        push    r15
        push    r14
        push    rbx
        mov     edi, 48
        call    malloc@PLT
        mov     rbx, rax
        lea     r15, [rip + _syl_int_addˢ64(syl_tuple<long, long>, char*)]
        mov     qword ptr [rax], r15
        mov     qword ptr [rax + 8], 0
        lea     rax, [rip + _syl_int_eqˢ70(syl_tuple<long, long>, char*)]
        mov     qword ptr [rbx + 16], rax
        xorps   xmm0, xmm0
        movups  xmmword ptr [rbx + 24], xmm0
        mov     qword ptr [rbx + 40], rbx
        mov     edi, 48
        call    malloc@PLT
        mov     r14, rax
        mov     qword ptr [rax], 1
        mov     qword ptr [rax + 8], 1
        mov     qword ptr [rax + 16], 2
        mov     qword ptr [rax + 24], 1
        mov     qword ptr [rax + 32], 2
        mov     qword ptr [rax + 40], 0
        mov     edi, 32
        call    malloc@PLT
        mov     qword ptr [rax], r15
        xorps   xmm0, xmm0
        movups  xmmword ptr [rax + 8], xmm0
        mov     qword ptr [rax + 24], rbx
        mov     edi, 1
        mov     rsi, r14
        mov     rdx, rax
        call    _ℱˢ4(syl_variant<8ul, 8ul>, char*)
        lea     rdi, [rip + .L.str.4]
        mov     rsi, rax
        xor     eax, eax
        call    printf@PLT
        xor     eax, eax
        pop     rbx
        pop     r14
        pop     r15
        ret

_syl_int_addˢ64(syl_tuple<long, long>, char*):
        lea     rax, [rdi + rsi]
        ret

_syl_int_eqˢ70(syl_tuple<long, long>, char*):
        cmp     rdi, rsi
        sete    al
        ret

_ℱˢ4(syl_variant<8ul, 8ul>, char*):
        push    rbp
        push    r15
        push    r14
        push    r13
        push    r12
        push    rbx
        sub     rsp, 24
        mov     rax, rdx
        mov     rbx, rsi
        mov     r14, rdi
.LBB6_1:
        mov     r13, qword ptr [rax + 24]
        test    r14, r14
        je      .LBB6_4
        cmp     r14, 2
        je      .LBB6_3
        mov     r15, qword ptr [rbx]
        mov     r12, qword ptr [rbx + 8]
        mov     rax, qword ptr [rbx + 32]
        mov     qword ptr [rsp + 16], rax
        mov     rax, qword ptr [rbx + 40]
        mov     qword ptr [rsp + 8], rax
        mov     r14, qword ptr [rbx + 16]
        mov     rbx, qword ptr [rbx + 24]
        mov     edi, 32
        call    malloc@PLT
        movups  xmm0, xmmword ptr [r13 + 16]
        movups  xmmword ptr [rax], xmm0
        movups  xmm0, xmmword ptr [r13 + 32]
        movups  xmmword ptr [rax + 16], xmm0
        mov     rdi, r15
        mov     rsi, r12
        mov     rdx, rax
        call    _ℱˢ5(syl_variant<8ul, 8ul>, char*)
        mov     ebp, eax
        mov     edi, 32
        call    malloc@PLT
        movups  xmm0, xmmword ptr [r13]
        movups  xmmword ptr [rax], xmm0
        movups  xmm0, xmmword ptr [r13 + 32]
        movups  xmmword ptr [rax + 16], xmm0
        test    bpl, bpl
        cmove   r14, qword ptr [rsp + 16]
        cmove   rbx, qword ptr [rsp + 8]
        jmp     .LBB6_1
.LBB6_3:
        mov     rax, rbx
        add     rsp, 24
        pop     rbx
        pop     r12
        pop     r13
        pop     r14
        pop     r15
        pop     rbp
        ret
.LBB6_4:
        mov     rcx, qword ptr [rax]
        mov     qword ptr [rsp + 8], rcx
        mov     r14, qword ptr [rax + 8]
        mov     r15, qword ptr [rbx]
        mov     r12, qword ptr [rbx + 8]
        mov     rbp, qword ptr [rbx + 16]
        mov     rbx, qword ptr [rbx + 24]
        mov     edi, 32
        call    malloc@PLT
        movups  xmm0, xmmword ptr [r13]
        movups  xmmword ptr [rax], xmm0
        movups  xmm0, xmmword ptr [r13 + 32]
        movups  xmmword ptr [rax + 16], xmm0
        mov     rdi, r15
        mov     rsi, r12
        mov     rdx, rax
        call    _ℱˢ4(syl_variant<8ul, 8ul>, char*)
        mov     r15, rax
        mov     edi, 32
        call    malloc@PLT
        movups  xmm0, xmmword ptr [r13]
        movups  xmmword ptr [rax], xmm0
        movups  xmm0, xmmword ptr [r13 + 32]
        movups  xmmword ptr [rax + 16], xmm0
        mov     rdi, rbp
        mov     rsi, rbx
        mov     rdx, rax
        call    _ℱˢ4(syl_variant<8ul, 8ul>, char*)
        mov     rdi, r15
        mov     rsi, rax
        mov     rdx, r14
        mov     rax, qword ptr [rsp + 8]
        add     rsp, 24
        pop     rbx
        pop     r12
        pop     r13
        pop     r14
        pop     r15
        pop     rbp
        jmp     rax

_ℱˢ5(syl_variant<8ul, 8ul>, char*):
        cmp     rdi, 1
        jne     .LBB7_2
        and     sil, 1
        mov     eax, esi
        ret
.LBB7_2:
        push    rbp
        push    r15
        push    r14
        push    r13
        push    r12
        push    rbx
        push    rax
        mov     rbp, qword ptr [rdx + 24]
        mov     rax, qword ptr [rdx]
        mov     qword ptr [rsp], rax
        mov     rbx, qword ptr [rdx + 8]
        mov     r14, qword ptr [rsi]
        mov     r15, qword ptr [rsi + 8]
        mov     r12, qword ptr [rsi + 16]
        mov     r13, qword ptr [rsi + 24]
        mov     edi, 32
        call    malloc@PLT
        movups  xmm0, xmmword ptr [rbp]
        movups  xmmword ptr [rax], xmm0
        movups  xmm0, xmmword ptr [rbp + 32]
        movups  xmmword ptr [rax + 16], xmm0
        mov     rdi, r14
        mov     rsi, r15
        mov     rdx, rax
        call    _ℱˢ4(syl_variant<8ul, 8ul>, char*)
        mov     r14, rax
        mov     edi, 32
        call    malloc@PLT
        movups  xmm0, xmmword ptr [rbp]
        movups  xmmword ptr [rax], xmm0
        movups  xmm0, xmmword ptr [rbp + 32]
        movups  xmmword ptr [rax + 16], xmm0
        mov     rdi, r12
        mov     rsi, r13
        mov     rdx, rax
        call    _ℱˢ4(syl_variant<8ul, 8ul>, char*)
        mov     rdi, r14
        mov     rsi, rax
        mov     rdx, rbx
        mov     rax, qword ptr [rsp]
        add     rsp, 8
        pop     rbx
        pop     r12
        pop     r13
        pop     r14
        pop     r15
        pop     rbp
        jmp     rax
.L.str.4:
        .asciz  "%ld\n"