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

en4 >