.file	"badpi.c"
	.text
	.globl	pi
	.section	.rodata
	.align 8
	.type	pi, @object
	.size	pi, 8
pi:
	.zero	8
.LC1:
	.string	"f: pi = %g\n"
	.text
	.globl	f
	.type	f, @function
f:
.LFB0:
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	pxor	%xmm0, %xmm0
	movl	$.LC1, %edi
	movl	$1, %eax
	call	printf
	nop
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	f, .-f
	.globl	main
	.type	main, @function
main:
.LFB1:
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	movq	$pi, -8(%rbp)
	movq	-8(%rbp), %rax
	movsd	.LC2(%rip), %xmm0
	movsd	%xmm0, (%rax)
	call	f
	movl	$0, %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	main, .-main
	.section	.rodata
	.align 8
.LC2:
	.long	1413754136
	.long	1074340347
	.ident	"GCC: (GNU) 8.2.0"
	.section	.note.GNU-stack,"",@progbits