-
-
Save Tarmean/a85fb4d2ad9008ba9fa6424a0471911f to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ==================== Asm code ==================== | |
| .section .data | |
| .align 8 | |
| .align 1 | |
| .globl $wackermann_closure | |
| $wackermann_closure: | |
| .quad $wackermann_info | |
| ==================== Asm code ==================== | |
| .section .text | |
| .align 8 | |
| .align 8 | |
| .quad 8589934604 | |
| .quad 0 | |
| .quad 14 | |
| .globl $wackermann_info | |
| $wackermann_info: | |
| _c3A1: | |
| leaq -16(%rbp),%rax | |
| cmpq %r15,%rax | |
| jae _c3zU | |
| _c3A2: | |
| movl $$wackermann_closure,%ebx | |
| jmp *-8(%r13) | |
| _c3Ac: | |
| movq $block_c3Aa_info,-16(%rbp) | |
| decq %rsi | |
| movq %r14,%rax | |
| movq %rax,-8(%rbp) | |
| addq $-16,%rbp | |
| jmp $wackermann_info | |
| .align 8 | |
| .quad 65 | |
| .quad 30 | |
| block_c3Aa_info: | |
| _c3Aa: | |
| movq 8(%rbp),%rax | |
| decq %rax | |
| addq $16,%rbp | |
| _n3At: | |
| movq %rbx,%rsi | |
| movq %rax,%r14 | |
| _c3zU: | |
| testq %r14,%r14 | |
| jne _c3zZ | |
| _c3A0: | |
| leaq 1(%rsi),%rbx | |
| jmp *(%rbp) | |
| _c3zZ: | |
| testq %rsi,%rsi | |
| jne _c3Ac | |
| _c3Ah: | |
| movl $1,%eax | |
| decq %r14 | |
| _n3Au: | |
| movq %rax,%rsi | |
| jmp _c3zU |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment