factorial assembly code

.
.
.
.
.
.
.
.
int fact_goto(int x)
{
int result = 1;
loop:
result *= x;
x = x-1;
if (x > 1)
goto loop;
return result;
}
-------------------------------------------
_fact_goto:
pushl %ebp
movl %esp,%ebp
movl $1,%eax
movl 8(%ebp),%edx

L11:
imull %edx,%eax
decl %edx
cmpl $1,%edx
jg L11

movl %ebp,%esp
popl %ebp
ret

어셈블리를 막 배우는 초보입니다.

위코드는 factorial을 계산하는 어셈블리 코드입니다.

제가 이해가 안되는 부분은 result 값을 저장하는 %eax 를

리턴하는 부분이 어디인가 하는 겁니다.

popl %ebp 에서 그것이 이루어지는 듯 하는데...

어떤 방식에 의해서 그렇게 되는건가요?