the C function p$9$ is compiled to the x$86$ code shown on the right. complete the C function p$9$ on the left using a while loop, so that it does the same thing as the compiled x$86$ code. long p$9($long $*$val$)\{$ # $*$val in $\%$rdi p$9$: pushq $\%$rbp movq $\%$rsp$,\%$rbp movq $\%$rdi, $-24(\%$rbp$)$ movq $$0,-8(\%$rbp$)$ movl $$6,-12(\%$rbp$)$ jmp $.$L$2.$L$5$: movl $-12(\%$rbp$),\%$eax cltq leaq $0(,\%$rax,$8),\%$rdx movq $-24(\%$rbp$),\%$rax addq $\%$rdx$,\%$rax movq $(\%$rax$),\%$rax testq $\%$rax, $\%$rax jne $.$L$3$ subl $$1,-12(\%$rbp$)$ jmp $.$L$2.$L$3$ movq $$-1,-8(\%$rbp$)$ jmp $.$L$4.$L$2$: cmpl $$0,-12(\%$rbp$)$ jg $.$L$5.$L$4$: movq $-8(\%$rbp$),\%$rax popq $\%$rbp ret