.file	"fattoriale.c"
	.section	.rodata
.LC0:
	.string	" Dammi un numero piccolo ...\n"
.LC1:
	.string	"%d"
	.align 32
.LC3:
	.string	" Il fattoriale di: %d risulta: %f \n"
	.text
.globl main
	.type	main, @function
main:
	pushl	%ebp
	movl	%esp, %ebp
	subl	$40, %esp
	andl	$-16, %esp
	movl	$0, %eax
	subl	%eax, %esp
	movl	$.LC0, (%esp)
	call	printf
	leal	-8(%ebp), %eax
	movl	%eax, 4(%esp)
	movl	$.LC1, (%esp)
	call	scanf
	movl	$1, -4(%ebp)
	movl	$0x3f800000, %eax
	movl	%eax, -12(%ebp)
.L2:
	movl	-4(%ebp), %eax
	cmpl	-8(%ebp), %eax
	jle	.L5
	jmp	.L3
.L5:
	fildl	-4(%ebp)
	flds	-12(%ebp)
	fmulp	%st, %st(1)
	fstps	-12(%ebp)
	leal	-4(%ebp), %eax
	incl	(%eax)
	jmp	.L2
.L3:
	flds	-12(%ebp)
	fstpl	8(%esp)
	movl	-8(%ebp), %eax
	movl	%eax, 4(%esp)
	movl	$.LC3, (%esp)
	call	printf
	leave
	ret
	.size	main, .-main
	.section	.note.GNU-stack,"",@progbits
	.ident	"GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)"