// File: SunriseFox[P]very-simple-c-compiler/./src/asm.cpp
// Function: get8RegName[abi:cxx11](int)
string get8RegName(int i) {
    switch (i) {
    case 0: return "%rax";
    case 1: return "%rbx";
    case 2: return "%rcx";
    case 3: return "%rdx";
    case 4: return "%rsi";
    case 5: return "%rdi";
    case 6: return "%r8";
    case 7: return "%r9";
    case 8: return "%r10";
    case 9: return "%r11";
    case 10: return "%r12";
    case 11: return "%r13";
    case 12: return "%r14";
    case 13: return "%r15";
    }
    return "unknown8reg";
}

// 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 0x4710
movq -0x38(%rbp), %rax
leaq 0x12db7(%rip), %rcx     # 0x17080
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 0x12f1a(%rip), %rsi     # 0x17208
callq 0x8910
jmp 0x42f5
leaq -0xd(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0xd(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x1d(%rbp), %rdi
movq %rdi, -0x58(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x58(%rbp), %rdx
leaq 0x12ed4(%rip), %rsi     # 0x1720d
callq 0x8910
jmp 0x4340
leaq -0x1d(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1d(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x1e(%rbp), %rdi
movq %rdi, -0x60(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x60(%rbp), %rdx
leaq 0x12e8e(%rip), %rsi     # 0x17212
callq 0x8910
jmp 0x438b
leaq -0x1e(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1e(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x1f(%rbp), %rdi
movq %rdi, -0x68(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x68(%rbp), %rdx
leaq 0x12e48(%rip), %rsi     # 0x17217
callq 0x8910
jmp 0x43d6
leaq -0x1f(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1f(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x20(%rbp), %rdi
movq %rdi, -0x70(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x70(%rbp), %rdx
leaq 0x12e02(%rip), %rsi     # 0x1721c
callq 0x8910
jmp 0x4421
leaq -0x20(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x20(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x21(%rbp), %rdi
movq %rdi, -0x78(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x78(%rbp), %rdx
leaq 0x12dbc(%rip), %rsi     # 0x17221
callq 0x8910
jmp 0x446c
leaq -0x21(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x21(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x22(%rbp), %rdi
movq %rdi, -0x80(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x80(%rbp), %rdx
leaq 0x12d76(%rip), %rsi     # 0x17226
callq 0x8910
jmp 0x44b7
leaq -0x22(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x22(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x23(%rbp), %rdi
movq %rdi, -0x88(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x88(%rbp), %rdx
leaq 0x12d29(%rip), %rsi     # 0x1722a
callq 0x8910
jmp 0x4508
leaq -0x23(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x23(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x24(%rbp), %rdi
movq %rdi, -0x90(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x90(%rbp), %rdx
leaq 0x12cdc(%rip), %rsi     # 0x1722e
callq 0x8910
jmp 0x4559
leaq -0x24(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x24(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x25(%rbp), %rdi
movq %rdi, -0x98(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0x98(%rbp), %rdx
leaq 0x12c90(%rip), %rsi     # 0x17233
callq 0x8910
jmp 0x45aa
leaq -0x25(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x25(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x26(%rbp), %rdi
movq %rdi, -0xa0(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0xa0(%rbp), %rdx
leaq 0x12c44(%rip), %rsi     # 0x17238
callq 0x8910
jmp 0x45fb
leaq -0x26(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x26(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x27(%rbp), %rdi
movq %rdi, -0xa8(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0xa8(%rbp), %rdx
leaq 0x12bf8(%rip), %rsi     # 0x1723d
callq 0x8910
jmp 0x464c
leaq -0x27(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x27(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x28(%rbp), %rdi
movq %rdi, -0xb0(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0xb0(%rbp), %rdx
leaq 0x12bac(%rip), %rsi     # 0x17242
callq 0x8910
jmp 0x469d
leaq -0x28(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x29(%rbp), %rdi
movq %rdi, -0xb8(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0xb8(%rbp), %rdx
leaq 0x12b60(%rip), %rsi     # 0x17247
callq 0x8910
jmp 0x46ee
leaq -0x29(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x29(%rbp), %rdi
callq 0x32c0
jmp 0x4768
leaq -0x2a(%rbp), %rdi
movq %rdi, -0xc0(%rbp)
callq 0x3490
movq -0x48(%rbp), %rdi
movq -0xc0(%rbp), %rdx
leaq 0x12b1a(%rip), %rsi     # 0x1724c
callq 0x8910
jmp 0x4739
leaq -0x2a(%rbp), %rdi
callq 0x32c0
jmp 0x475b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2a(%rbp), %rdi
callq 0x32c0
jmp 0x4768
movq -0x40(%rbp), %rax
addq $0xc0, %rsp
popq %rbp
retq
movq -0x18(%rbp), %rdi
callq 0x3480
nopw %cs:(%rax,%rax)