2017-2018-1 20155201 《信息安全系统设计基础》第八周课下作业
补充课上测试：
sum.c
#include <stdio.h>
int main(int argc,char *argv[]){
int a,b;
int i=0;
int sum=0;
for(i=1;i<100;i++){
if(argv[i]==' '){
break;
}
sum+=atoi(argv[i]);
}
printf("%d
",sum);
return 0;
}
sum.s
_main: ## @main
pushq %rbp
Ltmp0:
Ltmp1:
movq %rsp, %rbp
Ltmp2:
subq $48, %rsp
movl $0, -4(%rbp)
movl %edi, -8(%rbp)
movq %rsi, -16(%rbp)
movl $0, -28(%rbp)
movl $0, -32(%rbp)
movl $1, -28(%rbp)
LBB0_1:
cmpl $100, -28(%rbp)
jge LBB0_6
movslq -28(%rbp), %rax
movq -16(%rbp), %rcx
cmpq $0, (%rcx,%rax,8)
jne LBB0_4
jmp LBB0_6
LBB0_4:
movslq -28(%rbp), %rax
movq -16(%rbp), %rcx
movq (%rcx,%rax,8), %rdi
movb $0, %al
callq _atoi
addl -32(%rbp), %eax
movl %eax, -32(%rbp)
movl -28(%rbp), %eax
addl $1, %eax
movl %eax, -28(%rbp)
jmp LBB0_1
LBB0_6:
leaq L_.str(%rip), %rdi
movl -32(%rbp), %esi
movb $0, %al
callq _printf
xorl %esi, %esi
movl %eax, -36(%rbp)
movl %esi, %eax
addq $48, %rsp
popq %rbp
retq
L_.str:
反汇编代码：
objdump -d sum.o
y86代码：
课下作业
之前用成了第二版的教材。。发现两个版本的家庭作业不一样 又找时间重新做了下，以下是课下作业：
修改后的bubble sort:
void bubble_p(long* data, long count) {
long *i, *last;
for (last = data+count-1; last > data; last--) {
for (i = data; i < last; i++) {
if ( *(i+1) < *i) {
long t = *(i+1);
*(i+1) = *i;
*i = t;
}
}
}
}
测试代码
void bubble_p(long* data, long count) {
long *i, *last;
for (last = data+count-1; last > data; last--) {
for (i = data; i < last; i++) {
if (*(i+1) < *i) {
long t = *(i+1);
*(i+1) = *i;
*i = t;
}
}
}
}
int main(){
long i;
long data[]={1,0,3,5,2,6,8,9,7,4};
printf("待排序序列:");
for(i=0;i<10;i++){
printf("%ld ",*(data+i));
}
bubble_p(data,10);
printf("
排序后序列:");
for(i=0;i<10;i++){
printf("%ld ",*(data+i));
}
}
测试结果：
objdump -d sort.o
sort.o: file format Mach-O 64-bit x86-64
Disassembly of section __TEXT,__text:
_bubble_p:
0: 55 pushq %rbp
1: 48 89 e5 movq %rsp, %rbp
4: 48 89 7d f8 movq %rdi, -8(%rbp)
8: 48 89 75 f0 movq %rsi, -16(%rbp)
c: 48 8b 75 f8 movq -8(%rbp), %rsi
10: 48 8b 7d f0 movq -16(%rbp), %rdi
14: 48 c1 e7 03 shlq $3, %rdi
18: 48 01 fe addq %rdi, %rsi
1b: 48 83 c6 f8 addq $-8, %rsi
1f: 48 89 75 e0 movq %rsi, -32(%rbp)
23: 48 8b 45 e0 movq -32(%rbp), %rax
27: 48 3b 45 f8 cmpq -8(%rbp), %rax
2b: 0f 86 7d 00 00 00 jbe 125 <_bubble_p+0xAE>
31: 48 8b 45 f8 movq -8(%rbp), %rax
35: 48 89 45 e8 movq %rax, -24(%rbp)
39: 48 8b 45 e8 movq -24(%rbp), %rax
3d: 48 3b 45 e0 cmpq -32(%rbp), %rax
41: 0f 83 51 00 00 00 jae 81 <_bubble_p+0x98>
47: 48 8b 45 e8 movq -24(%rbp), %rax
4b: 48 8b 40 08 movq 8(%rax), %rax
4f: 48 8b 4d e8 movq -24(%rbp), %rcx
53: 48 3b 01 cmpq (%rcx), %rax
56: 0f 8d 26 00 00 00 jge 38 <_bubble_p+0x82>
5c: 48 8b 45 e8 movq -24(%rbp), %rax
60: 48 8b 40 08 movq 8(%rax), %rax
64: 48 89 45 d8 movq %rax, -40(%rbp)
68: 48 8b 45 e8 movq -24(%rbp), %rax
6c: 48 8b 00 movq (%rax), %rax
6f: 48 8b 4d e8 movq -24(%rbp), %rcx
73: 48 89 41 08 movq %rax, 8(%rcx)
77: 48 8b 45 d8 movq -40(%rbp), %rax
7b: 48 8b 4d e8 movq -24(%rbp), %rcx
7f: 48 89 01 movq %rax, (%rcx)
82: e9 00 00 00 00 jmp 0 <_bubble_p+0x87>
87: 48 8b 45 e8 movq -24(%rbp), %rax
8b: 48 83 c0 08 addq $8, %rax
8f: 48 89 45 e8 movq %rax, -24(%rbp)
93: e9 a1 ff ff ff jmp -95 <_bubble_p+0x39>
98: e9 00 00 00 00 jmp 0 <_bubble_p+0x9D>
9d: 48 8b 45 e0 movq -32(%rbp), %rax
a1: 48 83 c0 f8 addq $-8, %rax
a5: 48 89 45 e0 movq %rax, -32(%rbp)
a9: e9 75 ff ff ff jmp -139 <_bubble_p+0x23>
ae: 5d popq %rbp
af: c3 retq
_main:
b0: 55 pushq %rbp
b1: 48 89 e5 movq %rsp, %rbp
b4: 48 81 ec 90 00 00 00 subq $144, %rsp
bb: 48 8d 3d 6e 01 00 00 leaq 366(%rip), %rdi
c2: 48 8d 05 00 00 00 00 leaq (%rip), %rax
c9: b9 50 00 00 00 movl $80, %ecx
ce: 89 ca movl %ecx, %edx
d0: 48 8d 75 a0 leaq -96(%rbp), %rsi
d4: 4c 8b 05 00 00 00 00 movq (%rip), %r8
db: 4d 8b 00 movq (%r8), %r8
de: 4c 89 45 f8 movq %r8, -8(%rbp)
e2: c7 45 9c 00 00 00 00 movl $0, -100(%rbp)
e9: 48 89 7d 88 movq %rdi, -120(%rbp)
ed: 48 89 f7 movq %rsi, %rdi
f0: 48 89 c6 movq %rax, %rsi
f3: e8 00 00 00 00 callq 0 <_main+0x48>
f8: 48 8b 7d 88 movq -120(%rbp), %rdi
fc: b0 00 movb $0, %al
fe: e8 00 00 00 00 callq 0 <_main+0x53>
103: 48 c7 45 90 00 00 00 00 movq $0, -112(%rbp)
10b: 89 45 84 movl %eax, -124(%rbp)
10e: 48 83 7d 90 0a cmpq $10, -112(%rbp)
113: 0f 8d 2b 00 00 00 jge 43 <_main+0x94>
119: 48 8d 3d 21 01 00 00 leaq 289(%rip), %rdi
120: 48 8b 45 90 movq -112(%rbp), %rax
124: 48 8b 74 c5 a0 movq -96(%rbp,%rax,8), %rsi
129: b0 00 movb $0, %al
12b: e8 00 00 00 00 callq 0 <_main+0x80>
130: 89 45 80 movl %eax, -128(%rbp)
133: 48 8b 45 90 movq -112(%rbp), %rax
137: 48 83 c0 01 addq $1, %rax
13b: 48 89 45 90 movq %rax, -112(%rbp)
13f: e9 ca ff ff ff jmp -54 <_main+0x5E>
144: b8 0a 00 00 00 movl $10, %eax
149: 89 c6 movl %eax, %esi
14b: 48 8d 7d a0 leaq -96(%rbp), %rdi
14f: e8 00 00 00 00 callq 0 <_main+0xA4>
154: 48 8d 3d eb 00 00 00 leaq 235(%rip), %rdi
15b: b0 00 movb $0, %al
15d: e8 00 00 00 00 callq 0 <_main+0xB2>
162: 48 c7 45 90 00 00 00 00 movq $0, -112(%rbp)
16a: 89 85 7c ff ff ff movl %eax, -132(%rbp)
170: 48 83 7d 90 0a cmpq $10, -112(%rbp)
175: 0f 8d 2e 00 00 00 jge 46 <_main+0xF9>
17b: 48 8d 3d bf 00 00 00 leaq 191(%rip), %rdi
182: 48 8b 45 90 movq -112(%rbp), %rax
186: 48 8b 74 c5 a0 movq -96(%rbp,%rax,8), %rsi
18b: b0 00 movb $0, %al
18d: e8 00 00 00 00 callq 0 <_main+0xE2>
192: 89 85 78 ff ff ff movl %eax, -136(%rbp)
198: 48 8b 45 90 movq -112(%rbp), %rax
19c: 48 83 c0 01 addq $1, %rax
1a0: 48 89 45 90 movq %rax, -112(%rbp)
1a4: e9 c7 ff ff ff jmp -57 <_main+0xC0>
1a9: 8b 45 9c movl -100(%rbp), %eax
1ac: 48 8b 0d 00 00 00 00 movq (%rip), %rcx
1b3: 48 8b 09 movq (%rcx), %rcx
1b6: 48 8b 55 f8 movq -8(%rbp), %rdx
1ba: 48 39 d1 cmpq %rdx, %rcx
1bd: 89 85 74 ff ff ff movl %eax, -140(%rbp)
1c3: 0f 85 0f 00 00 00 jne 15 <_main+0x128>
1c9: 8b 85 74 ff ff ff movl -140(%rbp), %eax
1cf: 48 81 c4 90 00 00 00 addq $144, %rsp
1d6: 5d popq %rbp
1d7: c3 retq
1d8: e8 00 00 00 00 callq 0 <_main+0x12D>
Y86程序：
- 首先完成mov指令的对应翻译，irmovq，rrmovq，mrmovq，rmmovq。立即数i，寄存器r，内存m，指令的第一个字母表明了源的类型。目的可以是寄存器或内存。
- 四个整数操作指令:addq，subq，andq，xorq，只对寄存器数据进行操作。
- 七个跳转指令jmp，jle，jl，je，jne，jge，jg分支条件和x86_64一样
- 六个条件传送指令：cmovle，cmovl，cmove，cmovne，cmovge，cmovq
- call，ret，pushq，popq同x86_64一样
- halt指令停止指令的执行。
main:
irmovq data,%rdi
irmovq data_end,%rsi
call BubbleP
ret
BubbleP:
jmp L2
L4:
rrmovq 8(%rax), %r9
rrmovq (%rax), %r10
rrmovq %r9, %r8
subq %r10, %r8
jge L3
rmmovq %r10, 8(%rax)
rmmovq %r9, (%rax)
L3:
rrmovq $8, %r8
addq %r8, %rax
jmp L5
L6:
rrmovq %rdi, %rax
L5:
rrmovq %rsi, %r8
subq %rax, %r8
jg L4
irmovq $8, %r8
subq %r8, %rsi
L2:
rrmovq %rsi, %r8
subq %rdi, %r8
jg L6
ret