Hi I need to convert the following into C code. The following is the gdb output for ex4:

0x4007c2 push %rbp

0x4007c3 push %rbx

0x4007c4 sub $0x8, %rsp

0x4007c8 mov %rdi, %rbx

0x4007cb mov %rdi, %rax

0x4007ce cmp $0x1, %rdi

0x4007d2 jle 0x4007ec

0x4007d4 lea -0x1(%rdi), %rdi

0x4007d8 callq 0x4007c2

0x4007dd mov %rax, %rbp

0x4007e0 lea -0x2(%rbx), %rdi

0x4007e4 callq 0x4007c2

0x4007e9 add %rbp, %rax

0x4007ec add $0x8, %rsp

0x4007f0 pop %rbx

0x4007f1 pop %rbp

0x4007f2 retq

The code should be converted into the function

void ex4 () {}

where void should be replaced by int or other comparable data type and parameters should be inferred from the assembly. Please only answer if you know assembly, do not copy and paste the code I gave.

en4 > en4 >