	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.section	__TEXT,__literal8,8byte_literals
	.p2align	3                               ## -- Begin function main
LCPI0_0:
	.quad	0x3f847ae147ae147b              ## double 0.01
LCPI0_1:
	.quad	0x3fb999999999999a              ## double 0.10000000000000001
LCPI0_2:
	.quad	0x3f947ae147ae147b              ## double 0.02
LCPI0_3:
	.quad	0x3fd0000000000000              ## double 0.25
LCPI0_4:
	.quad	0x3fe0000000000000              ## double 0.5
LCPI0_5:
	.quad	0x3fe8000000000000              ## double 0.75
LCPI0_6:
	.quad	0x3fea3d70a3d70a3d              ## double 0.81999999999999995
LCPI0_7:
	.quad	0x3fec28f5c28f5c29              ## double 0.88
LCPI0_8:
	.quad	0x3feb851eb851eb85              ## double 0.85999999999999999
LCPI0_9:
	.quad	0x3fefae147ae147ae              ## double 0.98999999999999999
	.section	__TEXT,__text,regular,pure_instructions
	.globl	_main
	.p2align	4, 0x90
_main:                                  ## @main
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r12
	pushq	%rbx
	.cfi_offset %rbx, -48
	.cfi_offset %r12, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movsd	LCPI0_0(%rip), %xmm0            ## xmm0 = mem[0],zero
	callq	_gkc_summary_alloc
	movsd	LCPI0_1(%rip), %xmm0            ## xmm0 = mem[0],zero
	movq	%rax, %rdi
	callq	_print_query
	movsd	LCPI0_0(%rip), %xmm0            ## xmm0 = mem[0],zero
	callq	_gkc_summary_alloc
	movq	%rax, %r12
	movsd	LCPI0_0(%rip), %xmm0            ## xmm0 = mem[0],zero
	callq	_gkc_summary_alloc
	movq	%rax, %r15
	movl	$10000, %ebx                    ## imm = 0x2710
	.p2align	4, 0x90
LBB0_1:                                 ## =>This Inner Loop Header: Depth=1
	xorl	%eax, %eax
	callq	_random
	movslq	%eax, %rsi
	imulq	$1759218605, %rsi, %rax         ## imm = 0x68DB8BAD
	movq	%rax, %rcx
	shrq	$63, %rcx
	sarq	$44, %rax
	addl	%ecx, %eax
	imull	$10000, %eax, %eax              ## imm = 0x2710
	subl	%eax, %esi
	movq	%r12, %rdi
                                        ## kill: def $esi killed $esi killed $rsi
	callq	_gkc_insert_value
	decl	%ebx
	jne	LBB0_1
## %bb.2:
	movq	%r12, %rdi
	movq	%r15, %rsi
	callq	_gkc_combine
	movq	%rax, %r14
	movq	%r12, %rdi
	callq	_gkc_summary_free
	movq	%r15, %rdi
	callq	_gkc_summary_free
	movq	%r14, %rdi
	callq	_gkc_print_summary
	movsd	LCPI0_2(%rip), %xmm0            ## xmm0 = mem[0],zero
	movq	%r14, %rdi
	callq	_print_query
	movsd	LCPI0_1(%rip), %xmm0            ## xmm0 = mem[0],zero
	movq	%r14, %rdi
	callq	_print_query
	movsd	LCPI0_3(%rip), %xmm0            ## xmm0 = mem[0],zero
	movq	%r14, %rdi
	callq	_print_query
	movsd	LCPI0_4(%rip), %xmm0            ## xmm0 = mem[0],zero
	movq	%r14, %rdi
	callq	_print_query
	movsd	LCPI0_5(%rip), %xmm0            ## xmm0 = mem[0],zero
	movq	%r14, %rdi
	callq	_print_query
	movsd	LCPI0_6(%rip), %xmm0            ## xmm0 = mem[0],zero
	movq	%r14, %rdi
	callq	_print_query
	movsd	LCPI0_7(%rip), %xmm0            ## xmm0 = mem[0],zero
	movq	%r14, %rdi
	callq	_print_query
	movsd	LCPI0_8(%rip), %xmm0            ## xmm0 = mem[0],zero
	movq	%r14, %rdi
	callq	_print_query
	movsd	LCPI0_9(%rip), %xmm0            ## xmm0 = mem[0],zero
	movq	%r14, %rdi
	callq	_print_query
	movq	%r14, %rdi
	callq	_gkc_sanity_check
	movq	%r14, %rdi
	callq	_gkc_summary_free
	xorl	%eax, %eax
	popq	%rbx
	popq	%r12
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_tofile,8,3                     ## @tofile
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_main                           ; -- Begin function main
	.p2align	2
_main:                                  ; @main
	.cfi_startproc
; %bb.0:
	stp	d9, d8, [sp, #-80]!             ; 16-byte Folded Spill
	.cfi_def_cfa_offset 80
	stp	x24, x23, [sp, #16]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #32]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	.cfi_offset b8, -72
	.cfi_offset b9, -80
	mov	x8, #5243
	movk	x8, #18350, lsl #16
	movk	x8, #31457, lsl #32
	movk	x8, #16260, lsl #48
	fmov	d8, x8
	fmov	d0, d8
	bl	_gkc_summary_alloc
	mov	x8, #-7378697629483820647
	movk	x8, #39322
	movk	x8, #16313, lsl #48
	fmov	d0, x8
	bl	_print_query
	fmov	d0, d8
	bl	_gkc_summary_alloc
	mov	x20, x0
	fmov	d0, d8
	bl	_gkc_summary_alloc
	mov	x21, x0
	mov	w19, #10000
	mov	w22, #35757
	movk	w22, #26843, lsl #16
	mov	w23, #10000
LBB0_1:                                 ; =>This Inner Loop Header: Depth=1
	bl	_random
	smull	x8, w0, w22
	lsr	x9, x8, #63
	asr	x8, x8, #44
	add	w8, w8, w9
	msub	w1, w8, w19, w0
	mov	x0, x20
	bl	_gkc_insert_value
	subs	w23, w23, #1
	b.ne	LBB0_1
; %bb.2:
	mov	x0, x20
	mov	x1, x21
	bl	_gkc_combine
	mov	x19, x0
	mov	x0, x20
	bl	_gkc_summary_free
	mov	x0, x21
	bl	_gkc_summary_free
	mov	x0, x19
	bl	_gkc_print_summary
	mov	x8, #5243
	movk	x8, #18350, lsl #16
	movk	x8, #31457, lsl #32
	movk	x8, #16276, lsl #48
	fmov	d0, x8
	mov	x0, x19
	bl	_print_query
	mov	x8, #-7378697629483820647
	movk	x8, #39322
	movk	x8, #16313, lsl #48
	fmov	d0, x8
	mov	x0, x19
	bl	_print_query
	fmov	d0, #0.25000000
	mov	x0, x19
	bl	_print_query
	fmov	d0, #0.50000000
	mov	x0, x19
	bl	_print_query
	fmov	d0, #0.75000000
	mov	x0, x19
	bl	_print_query
	mov	x8, #2621
	movk	x8, #41943, lsl #16
	movk	x8, #15728, lsl #32
	movk	x8, #16362, lsl #48
	fmov	d0, x8
	mov	x0, x19
	bl	_print_query
	mov	x8, #23593
	movk	x8, #49807, lsl #16
	movk	x8, #10485, lsl #32
	movk	x8, #16364, lsl #48
	fmov	d0, x8
	mov	x0, x19
	bl	_print_query
	mov	x8, #60293
	movk	x8, #47185, lsl #16
	movk	x8, #34078, lsl #32
	movk	x8, #16363, lsl #48
	fmov	d0, x8
	mov	x0, x19
	bl	_print_query
	mov	x8, #18350
	movk	x8, #31457, lsl #16
	movk	x8, #44564, lsl #32
	movk	x8, #16367, lsl #48
	fmov	d0, x8
	mov	x0, x19
	bl	_print_query
	mov	x0, x19
	bl	_gkc_sanity_check
	mov	x0, x19
	bl	_gkc_summary_free
	mov	w0, #0
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	ldp	d9, d8, [sp], #80               ; 16-byte Folded Reload
	ret
	.cfi_endproc
                                        ; -- End function
	.comm	_tofile,8,3                     ; @tofile
.subsections_via_symbols
