Mercurial > hg > Papers > 2023 > soto-master
diff Paper/src/cbc/cbc.txt @ 3:c28e8156a37b
Add paper init~agda
author | soto <soto@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 20 Jan 2023 13:40:03 +0900 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Paper/src/cbc/cbc.txt Fri Jan 20 13:40:03 2023 +0900 @@ -0,0 +1,32 @@ +0000000100000e3a _fib: +100000e3a: 55 pushq %rbp +100000e3b: 48 89 e5 movq %rsp, %rbp +100000e3e: 48 89 7d f8 movq %rdi, -8(%rbp) +100000e42: 48 89 75 f0 movq %rsi, -16(%rbp) +100000e46: 48 89 55 e8 movq %rdx, -24(%rbp) +100000e4a: 48 83 7d f8 00 cmpq $0, -8(%rbp) +100000e4f: 75 0d jne 13 <_fib+0x24> +100000e51: 48 8b 45 f0 movq -16(%rbp), %rax +100000e55: 48 89 c7 movq %rax, %rdi +100000e58: 5d popq %rbp +100000e59: e9 b5 ff ff ff jmp -75 <_fin> +100000e5e: 48 83 7d f8 01 cmpq $1, -8(%rbp) +100000e63: 75 0d jne 13 <_fib+0x38> +100000e65: 48 8b 45 e8 movq -24(%rbp), %rax +100000e69: 48 89 c7 movq %rax, %rdi +100000e6c: 5d popq %rbp +100000e6d: e9 a1 ff ff ff jmp -95 <_fin> +100000e72: 48 8b 55 f0 movq -16(%rbp), %rdx +100000e76: 48 8b 45 e8 movq -24(%rbp), %rax +100000e7a: 48 01 c2 addq %rax, %rdx +100000e7d: 48 8b 45 e8 movq -24(%rbp), %rax +100000e81: 48 01 c2 addq %rax, %rdx +100000e84: 48 8b 4d f0 movq -16(%rbp), %rcx +100000e88: 48 8b 45 e8 movq -24(%rbp), %rax +100000e8c: 48 01 c1 addq %rax, %rcx +100000e8f: 48 8b 45 f8 movq -8(%rbp), %rax +100000e93: 48 83 e8 02 subq $2, %rax +100000e97: 48 89 ce movq %rcx, %rsi +100000e9a: 48 89 c7 movq %rax, %rdi +100000e9d: 5d popq %rbp +100000e9e: eb 9a jmp -102 <_fib>