We can see that the compiler used a jump-to-middle translation, using the jmp instruction on line 3 to jump to the test starting with label .L2. Fill in the missing parts of the C code.

Transcribed Image Text:

For C code having the general form short loop_while (short a, short b) { 1 2 3 4 5 6 7 8 short result = while ( } GCC, run with command-line option -Og, produces the following code: short loop_while (short a, short b) a in %rdi, b in %rsi loop_while: movl jmp 9 10 11 result = a = } return result; .L3: leaq addq subq .L2: ) { cmpq jg rep; ret $0, %eax .L2 ; (,%rsi,%rdi), %rdx %rdx, %rax $1, %rdi %rsi, %rdi .L3