// File: /workspace/github_c_makefile_star2_O1/c-zhou[P]yahs/binomlite.c
// Function: do_search
static double do_search(double y, double *z, double p, double n, double pr, double incr)
{
    if (*z >= p) {
        /* search to the left */
        for (;;) {
            double newz;
            if (y == 0 || (newz = pbinom(y - incr, n, pr, 1, 0)) < p)
                return y;
            y = fmax2(0, y - incr);
            *z = newz;
        }
    } else {
        /* search to the right */
        for (;;) {
            y = fmin2(y + incr, n);
            if (y == n || (*z = pbinom(y, n, pr, 1, 0)) >= p)
                return y;
        }
    }
}

// Assembly:
pushq %rbp
pushq %rbx
subq $0x78, %rsp
movsd %xmm4, 0x58(%rsp)
movsd %xmm3, 0x28(%rsp)
movsd %xmm1, (%rsp)
movq %rdi, %rbx
movaps %xmm0, 0x40(%rsp)
movsd (%rdi), %xmm0
movsd %xmm0, 0x10(%rsp)
movaps %xmm2, 0x60(%rsp)
movaps %xmm2, %xmm0
callq 0x2090
movsd 0x28(%rsp), %xmm3
movsd (%rsp), %xmm1
movsd %xmm0, 0x8(%rsp)
movsd 0x10(%rsp), %xmm0
ucomisd %xmm1, %xmm0
jae 0x1b1b0
movsd 0x6578(%rip), %xmm2     # 0x21630
ucomisd %xmm2, %xmm3
setae %al
xorpd %xmm0, %xmm0
ucomisd %xmm3, %xmm0
setae %bpl
movapd %xmm2, 0x30(%rsp)
jae 0x1b0d9
movapd %xmm0, 0x30(%rsp)
orb %al, %bpl
movapd 0x40(%rsp), %xmm2
addsd 0x58(%rsp), %xmm2
movapd %xmm2, %xmm0
movapd 0x60(%rsp), %xmm3
cmplesd %xmm3, %xmm0
andpd %xmm0, %xmm2
andnpd %xmm3, %xmm0
orpd %xmm0, %xmm2
ucomisd %xmm3, %xmm2
jne 0x1b10f
jnp 0x1b1a5
xorpd %xmm0, %xmm0
ucomisd %xmm2, %xmm0
ja 0x1b197
movapd %xmm2, 0x10(%rsp)
addsd 0x7c19(%rip), %xmm2     # 0x22d40
movapd %xmm2, %xmm0
callq 0x2470
movsd 0x8(%rsp), %xmm2
movapd %xmm0, %xmm1
ucomisd %xmm2, %xmm0
setae %al
orb %bpl, %al
je 0x1b16b
movapd %xmm2, %xmm0
cmpnlesd %xmm1, %xmm0
movapd %xmm0, %xmm1
andpd 0x30(%rsp), %xmm1
movsd 0x64cf(%rip), %xmm2     # 0x21630
andnpd %xmm2, %xmm0
orpd %xmm1, %xmm0
jmp 0x1b18c
movsd 0x8(%rsp), %xmm2
subsd %xmm1, %xmm2
addsd 0x64b3(%rip), %xmm1     # 0x21630
movsd 0x28(%rsp), %xmm0
xorl %edi, %edi
xorl %esi, %esi
callq 0x1aa97
movsd (%rsp), %xmm1
movapd 0x10(%rsp), %xmm2
movsd %xmm0, (%rbx)
ucomisd %xmm1, %xmm0
jb 0x1b0e2
movapd %xmm2, %xmm0
addq $0x78, %rsp
popq %rbx
popq %rbp
retq
movsd 0x6478(%rip), %xmm0     # 0x21630
ucomisd %xmm0, %xmm3
setae %al
xorpd %xmm4, %xmm4
ucomisd %xmm3, %xmm4
setae %bpl
movapd %xmm0, 0x30(%rsp)
jae 0x1b1dd
xorpd %xmm0, %xmm0
movapd %xmm0, 0x30(%rsp)
orb %al, %bpl
movapd 0x40(%rsp), %xmm3
ucomisd %xmm4, %xmm3
jne 0x1b1f2
jnp 0x1b2a9
movapd %xmm3, %xmm5
subsd 0x58(%rsp), %xmm5
xorpd %xmm0, %xmm0
ucomisd %xmm5, %xmm0
ja 0x1b2a3
movapd %xmm3, 0x40(%rsp)
movaps %xmm2, 0x10(%rsp)
movapd %xmm5, 0x60(%rsp)
movapd %xmm5, %xmm0
addsd 0x7b19(%rip), %xmm0     # 0x22d40
callq 0x2470
movsd 0x8(%rsp), %xmm2
movapd %xmm0, %xmm1
ucomisd %xmm2, %xmm0
setae %al
orb %bpl, %al
je 0x1b267
movapd %xmm2, %xmm0
cmpnlesd %xmm1, %xmm0
movapd %xmm0, %xmm1
andpd 0x30(%rsp), %xmm1
movsd 0x63d3(%rip), %xmm2     # 0x21630
andnpd %xmm2, %xmm0
orpd %xmm1, %xmm0
jmp 0x1b288
movsd 0x8(%rsp), %xmm2
subsd %xmm1, %xmm2
addsd 0x63b7(%rip), %xmm1     # 0x21630
movsd 0x28(%rsp), %xmm0
xorl %edi, %edi
xorl %esi, %esi
callq 0x1aa97
movsd (%rsp), %xmm1
movapd 0x10(%rsp), %xmm2
movapd 0x40(%rsp), %xmm3
xorpd %xmm4, %xmm4
movapd 0x60(%rsp), %xmm5
ucomisd %xmm0, %xmm1
jbe 0x1b2bc
xorl %eax, %eax
movapd %xmm3, %xmm2
testb %al, %al
jne 0x1b1e6
jmp 0x1b1a5
movapd %xmm5, %xmm3
cmplesd %xmm4, %xmm3
andnpd %xmm5, %xmm3
movsd %xmm0, (%rbx)
movb $0x1, %al
jmp 0x1b2af