Please transform this f1 from assembly code into C. They should output the same when the input is the same

input/output: an int

int f1(int x)

{

}

Also please include some explanation. Thank you so much!!

0000000000400610 : 400610: 83 ff 1d 400613: 7f 0c 400615: 89 f8 400617: ci e 04 40061a: 8d 4f8 40061d: 8d 04 78 400620: c3 400621: c1 ff 2 400624: 8d 47 11 400627: c3 Jg mov shl 400621 %edi, %eax $0x4,%eax retq sar $0x2,%edi lea 0x11(%rdi),%eax retq 0000000000400610 : 400610: 83 ff 1d 400613: 7f 0c 400615: 89 f8 400617: ci e 04 40061a: 8d 4f8 40061d: 8d 04 78 400620: c3 400621: c1 ff 2 400624: 8d 47 11 400627: c3 Jg mov shl 400621 %edi, %eax $0x4,%eax retq sar $0x2,%edi lea 0x11(%rdi),%eax ret