Mercurial > hg > Papers > 2023 > soto-master
view 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 source
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>