// File: SunriseFox[P]very-simple-c-compiler/./src/asm.cpp
// Function: get2RegName[abi:cxx11](int)
string get2RegName(int i) {
    switch (i) {
    case 0: return "%al";
    case 1: return "%bl";
    case 2: return "%cl";
    case 3: return "%dl";
    case 4: return "%sil";
    case 5: return "%dil";
    case 6: return "%r8b";
    case 7: return "%r9b";
    case 8: return "%r10b";
    case 9: return "%r11b";
    case 10: return "%r12b";
    case 11: return "%r13b";
    case 12: return "%r14b";
    case 13: return "%r15b";
    }
    return "unknown4reg";
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rdi, -0x48(%rbp)
movq %rdi, %rax
movq %rax, -0x40(%rbp)
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl -0xc(%rbp), %eax
movq %rax, -0x38(%rbp)
subq $0xd, %rax
ja 0x3d30
movq -0x38(%rbp), %rax
leaq 0x13727(%rip), %rcx     # 0x17010
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq -0xd(%rbp), %rdi
movq %rdi, -0x50(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x50(%rbp), %rdx
leaq 0x1385a(%rip), %rsi     # 0x17168
callq 0x8910
jmp 0x3915
leaq -0xd(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0xd(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x1d(%rbp), %rdi
movq %rdi, -0x58(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x58(%rbp), %rdx
leaq 0x13813(%rip), %rsi     # 0x1716c
callq 0x8910
jmp 0x3960
leaq -0x1d(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1d(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x1e(%rbp), %rdi
movq %rdi, -0x60(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x60(%rbp), %rdx
leaq 0x137cc(%rip), %rsi     # 0x17170
callq 0x8910
jmp 0x39ab
leaq -0x1e(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1e(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x1f(%rbp), %rdi
movq %rdi, -0x68(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x68(%rbp), %rdx
leaq 0x13785(%rip), %rsi     # 0x17174
callq 0x8910
jmp 0x39f6
leaq -0x1f(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1f(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x20(%rbp), %rdi
movq %rdi, -0x70(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x70(%rbp), %rdx
leaq 0x1373e(%rip), %rsi     # 0x17178
callq 0x8910
jmp 0x3a41
leaq -0x20(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x20(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x21(%rbp), %rdi
movq %rdi, -0x78(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x78(%rbp), %rdx
leaq 0x136f8(%rip), %rsi     # 0x1717d
callq 0x8910
jmp 0x3a8c
leaq -0x21(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x21(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x22(%rbp), %rdi
movq %rdi, -0x80(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x80(%rbp), %rdx
leaq 0x136b2(%rip), %rsi     # 0x17182
callq 0x8910
jmp 0x3ad7
leaq -0x22(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x22(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x23(%rbp), %rdi
movq %rdi, -0x88(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x88(%rbp), %rdx
leaq 0x13666(%rip), %rsi     # 0x17187
callq 0x8910
jmp 0x3b28
leaq -0x23(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x23(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x24(%rbp), %rdi
movq %rdi, -0x90(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x90(%rbp), %rdx
leaq 0x1361a(%rip), %rsi     # 0x1718c
callq 0x8910
jmp 0x3b79
leaq -0x24(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x24(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x25(%rbp), %rdi
movq %rdi, -0x98(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x98(%rbp), %rdx
leaq 0x135cf(%rip), %rsi     # 0x17192
callq 0x8910
jmp 0x3bca
leaq -0x25(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x25(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x26(%rbp), %rdi
movq %rdi, -0xa0(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0xa0(%rbp), %rdx
leaq 0x13584(%rip), %rsi     # 0x17198
callq 0x8910
jmp 0x3c1b
leaq -0x26(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x26(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x27(%rbp), %rdi
movq %rdi, -0xa8(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0xa8(%rbp), %rdx
leaq 0x13539(%rip), %rsi     # 0x1719e
callq 0x8910
jmp 0x3c6c
leaq -0x27(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x27(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x28(%rbp), %rdi
movq %rdi, -0xb0(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0xb0(%rbp), %rdx
leaq 0x134ee(%rip), %rsi     # 0x171a4
callq 0x8910
jmp 0x3cbd
leaq -0x28(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x29(%rbp), %rdi
movq %rdi, -0xb8(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0xb8(%rbp), %rdx
leaq 0x134a3(%rip), %rsi     # 0x171aa
callq 0x8910
jmp 0x3d0e
leaq -0x29(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x29(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
leaq -0x2a(%rbp), %rdi
movq %rdi, -0xc0(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0xc0(%rbp), %rdx
leaq 0x1345e(%rip), %rsi     # 0x171b0
callq 0x8910
jmp 0x3d59
leaq -0x2a(%rbp), %rdi
callq 0x32c0
jmp 0x3d7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2a(%rbp), %rdi
callq 0x32c0
jmp 0x3d88
movq -0x40(%rbp), %rax
addq $0xc0, %rsp
popq %rbp
retq
movq -0x18(%rbp), %rdi
callq 0x3480
nopw %cs:(%rax,%rax)