复旦大学软件学院计算机系统课件 Machine-Level Representation of Programs III.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Compilers Autumn 2002 Compilers Autumn 2002 * Machine-Level Representation of Programs III * Outline Jump instructions Translate Control constructs in C to assembly goto branch loop Suggested reading Chap 3.6 * Control Two of the most important parts of program execution Data flow (Accessing and operating data) Control flow (control the sequence of operations) * Control Sequential execution is default the instructions are executed in the order they appear in the program Chang the control flow Jump instructions * Jump Instructions 1 xorl %eax, %eax Set %eax to 0 2 jmp .L1 Goto .L1 3 movl (%eax), %edx Null pointer dereference 4 .L1: 5 popl %edx * Unconditional jump Jumps unconditionally Direct jump: jmp label jmp .L Indirect jump: jmp *Operand jmp *%eax jmp *(%eax) * Conditional jump Either jump or continue executing at the next instruction in the code sequence Depending on some combination of the condition codes All direct jump * Jump Instructions jle .L2 .L5: movl %edx, %eax sarl $1, %eax subl %eax, %edx Leal (%edx, %edx, 2), %edx testl %edx, %edx jg .L5 9 .L2: 10 movl %edx, %eax * 8: 7e 0d jle 17silly+0x17 a: 89 d0 mov %edx, %eax dest1: 3 c: c1 f8 sar %eax e: 29 c2 sub %eax, %edx 10: 8d 14 52 lea (%edx, %edx, 2), %edx 6 13: 85 d2 test %edx, %edx 15: 7f f3 jg asilly+0x10 17: 89 d0 movl %edx, %eax dest2: d+a = 17 17+f3(-d) =a Example for Jump * 804839c: 7e 0d jle 17silly+0x17 804839e: 89 d0 mov %edx, %eax dest1: 3 80483a0: c1 f8 sar %eax 80483a2: 29 c2 sub %eax, %edx 80483a4: 8d 14 52 lea (%edx, %edx, 2), %edx 6 80483a7: 85 d2 test %edx, %edx 80483a9: 7f f3 jg asilly+0x10 80483ab: 89 d0 movl %edx, %eax dest2: d+804849e = 80483ab 80483ab+f3(-d) = 804839e Example for Jump * Jump Instructions PC-relative Jump target is an offset relative to the address of the i