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>