#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int ceil_away0(double const);
int fast_approx_int32_sqrt(int const);
int get_interval_from_guess(const double *const arr, const int N,
                            const double t, int i) {
  int h = fast_approx_int32_sqrt(N) + 1;
  int dir;
  int di;
  double dtdi;
  int lower_bound = -1;
  int upper_bound = N;
  int gteq_ti;
  int lt_tip1;
  if (t < arr[0])
    return -1;
  if (t >= arr[N - 1])
    return N - 1;
  if (N <= 0)
    return 0;
  if (i > N - 2) {
    i = N - 2;
  } else if (i < 0) {
    i = 0;
  }
  gteq_ti = (t >= arr[i]);
  lt_tip1 = (t < arr[i + 1]);
  if (gteq_ti) {
    dir = 1;
  } else {
    dir = -1;
  }
  while (!(gteq_ti & lt_tip1)) {
    while (((i + dir * h) >= upper_bound) || ((i + dir * h) <= lower_bound)) {
      h /= 2;
      if (h == 0) {
        h = 1;
        break;
      }
    }
    dtdi = (arr[i + dir * h] - arr[i]) / (dir * h);
    di = ceil_away0((t - arr[i]) / dtdi);
    i = (((N - 2) <
          ((((upper_bound - 1) <
             ((((lower_bound + 1) > (i + di)) ? (lower_bound + 1) : (i + di))))
                ? (upper_bound - 1)
                : ((((lower_bound + 1) > (i + di)) ? (lower_bound + 1)
                                                   : (i + di))))))
             ? (N - 2)
             : ((((upper_bound - 1) <
                  ((((lower_bound + 1) > (i + di)) ? (lower_bound + 1)
                                                   : (i + di))))
                     ? (upper_bound - 1)
                     : ((((lower_bound + 1) > (i + di)) ? (lower_bound + 1)
                                                        : (i + di))))));
    gteq_ti = (t >= arr[i]);
    lt_tip1 = (t < arr[i + 1]);
    if (gteq_ti) {
      dir = 1;
    } else {
      dir = -1;
    }
    if (gteq_ti) {
      lower_bound = i;
    }
    if (lt_tip1) {
      upper_bound = i;
    }
  }
  return i;
}


x86 assembly (clang, -O0):
<get_interval_from_guess>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movsd  %xmm0,-0x20(%rbp)
mov    %edx,-0x24(%rbp)
mov    -0x14(%rbp),%edi
call   1030 <fast_approx_int32_sqrt@plt>
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
movl   $0xffffffff,-0x3c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x40(%rbp)
movsd  -0x20(%rbp),%xmm1
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    1178 <get_interval_from_guess+0x58>
movl   $0xffffffff,-0x4(%rbp)
jmp    14f1 <get_interval_from_guess+0x3d1>
movsd  -0x20(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
ucomisd (%rax,%rcx,8),%xmm0
jb     11a3 <get_interval_from_guess+0x83>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    14f1 <get_interval_from_guess+0x3d1>
cmpl   $0x0,-0x14(%rbp)
jg     11b9 <get_interval_from_guess+0x99>
movl   $0x0,-0x4(%rbp)
jmp    14f1 <get_interval_from_guess+0x3d1>
mov    -0x24(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jle    11d8 <get_interval_from_guess+0xb8>
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x24(%rbp)
jmp    11ee <get_interval_from_guess+0xce>
cmpl   $0x0,-0x24(%rbp)
jge    11e9 <get_interval_from_guess+0xc9>
movl   $0x0,-0x24(%rbp)
jmp    11ee <get_interval_from_guess+0xce>
movsd  -0x20(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
ucomisd (%rax,%rcx,8),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x44(%rbp)
movsd  -0x20(%rbp),%xmm1
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x0,-0x44(%rbp)
je     1247 <get_interval_from_guess+0x127>
movl   $0x1,-0x2c(%rbp)
jmp    124e <get_interval_from_guess+0x12e>
movl   $0xffffffff,-0x2c(%rbp)
jmp    1253 <get_interval_from_guess+0x133>
mov    -0x44(%rbp),%eax
and    -0x48(%rbp),%eax
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    126e <get_interval_from_guess+0x14e>
jmp    14eb <get_interval_from_guess+0x3cb>
jmp    1273 <get_interval_from_guess+0x153>
mov    -0x24(%rbp),%ecx
mov    -0x2c(%rbp),%eax
imul   -0x28(%rbp),%eax
add    %eax,%ecx
mov    $0x1,%al
cmp    -0x40(%rbp),%ecx
mov    %al,-0x49(%rbp)
jge    12a2 <get_interval_from_guess+0x182>
mov    -0x24(%rbp),%eax
mov    -0x2c(%rbp),%ecx
imul   -0x28(%rbp),%ecx
add    %ecx,%eax
cmp    -0x3c(%rbp),%eax
setle  %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    12b2 <get_interval_from_guess+0x192>
jmp    12db <get_interval_from_guess+0x1bb>
mov    -0x28(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jne    12d6 <get_interval_from_guess+0x1b6>
movl   $0x1,-0x28(%rbp)
jmp    12db <get_interval_from_guess+0x1bb>
jmp    1273 <get_interval_from_guess+0x153>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    -0x2c(%rbp),%edx
imul   -0x28(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
mov    -0x2c(%rbp),%eax
imul   -0x28(%rbp),%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x20(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
divsd  -0x38(%rbp),%xmm0
call   1040 <ceil_away0@plt>
mov    %eax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x54(%rbp)
mov    -0x40(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    -0x24(%rbp),%ecx
add    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jle    1367 <get_interval_from_guess+0x247>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    1370 <get_interval_from_guess+0x250>
mov    -0x24(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x50(%rbp),%eax
mov    -0x58(%rbp),%ecx
cmp    %ecx,%eax
jge    138c <get_interval_from_guess+0x26c>
mov    -0x40(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    13bd <get_interval_from_guess+0x29d>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    -0x24(%rbp),%ecx
add    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jle    13ae <get_interval_from_guess+0x28e>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    13b7 <get_interval_from_guess+0x297>
mov    -0x24(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x54(%rbp),%eax
mov    -0x5c(%rbp),%ecx
cmp    %ecx,%eax
jge    13d9 <get_interval_from_guess+0x2b9>
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x64(%rbp)
jmp    1460 <get_interval_from_guess+0x340>
mov    -0x40(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x68(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    -0x24(%rbp),%ecx
add    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jle    1404 <get_interval_from_guess+0x2e4>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    140d <get_interval_from_guess+0x2ed>
mov    -0x24(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x68(%rbp),%eax
mov    -0x6c(%rbp),%ecx
cmp    %ecx,%eax
jge    1429 <get_interval_from_guess+0x309>
mov    -0x40(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    145a <get_interval_from_guess+0x33a>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    -0x24(%rbp),%ecx
add    -0x30(%rbp),%ecx
cmp    %ecx,%eax
jle    144b <get_interval_from_guess+0x32b>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
jmp    1454 <get_interval_from_guess+0x334>
mov    -0x24(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x74(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%eax
mov    %eax,-0x24(%rbp)
movsd  -0x20(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
ucomisd (%rax,%rcx,8),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x44(%rbp)
movsd  -0x20(%rbp),%xmm1
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x0,-0x44(%rbp)
je     14bf <get_interval_from_guess+0x39f>
movl   $0x1,-0x2c(%rbp)
jmp    14c6 <get_interval_from_guess+0x3a6>
movl   $0xffffffff,-0x2c(%rbp)
cmpl   $0x0,-0x44(%rbp)
je     14d6 <get_interval_from_guess+0x3b6>
mov    -0x24(%rbp),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x48(%rbp)
je     14e6 <get_interval_from_guess+0x3c6>
mov    -0x24(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    1253 <get_interval_from_guess+0x133>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_interval_from_guess>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edx,%r12d
movsd  %xmm0,(%rsp)
mov    %esi,%r15d
mov    %rdi,%r14
mov    %esi,%edi
call   1030 <fast_approx_int32_sqrt@plt>
movsd  (%rsp),%xmm3
movsd  (%r14),%xmm0
mov    $0xffffffff,%ebx
ucomisd %xmm3,%xmm0
ja     1291 <get_interval_from_guess+0x171>
mov    %eax,%ebp
movslq %r15d,%rax
ucomisd -0x8(%r14,%rax,8),%xmm3
jae    128a <get_interval_from_guess+0x16a>
xor    %ebx,%ebx
test   %r15d,%r15d
jle    1291 <get_interval_from_guess+0x171>
test   %r12d,%r12d
cmovns %r12d,%ebx
lea    -0x2(%r15),%r13d
cmp    %r12d,%r13d
cmovl  %r13d,%ebx
movslq %ebx,%rax
movsd  (%r14,%rax,8),%xmm1
ucomisd %xmm1,%xmm3
jb     11aa <get_interval_from_guess+0x8a>
lea    0x1(%rbx),%eax
movsd  (%r14,%rax,8),%xmm0
ucomisd %xmm3,%xmm0
ja     1291 <get_interval_from_guess+0x171>
add    $0x1,%ebp
xor    %eax,%eax
ucomisd %xmm1,%xmm3
setae  %al
add    %eax,%eax
add    $0xffffffff,%eax
mov    $0xffffffff,%r12d
jmp    11e3 <get_interval_from_guess+0xc3>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ebp,%ecx
shr    $0x1f,%ecx
add    %ebp,%ecx
sar    %ecx
add    $0x1,%ebp
cmp    $0x2,%ebp
mov    %ecx,%ebp
jbe    11f6 <get_interval_from_guess+0xd6>
mov    %ebp,%ecx
imul   %eax,%ecx
add    %ebx,%ecx
cmp    %r15d,%ecx
jge    11d0 <get_interval_from_guess+0xb0>
cmp    %r12d,%ecx
jle    11d0 <get_interval_from_guess+0xb0>
jmp    11fb <get_interval_from_guess+0xdb>
mov    $0x1,%ebp
imul   %ebp,%eax
lea    (%rax,%rbx,1),%ecx
movslq %ecx,%rcx
movsd  (%r14,%rcx,8),%xmm2
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
subsd  %xmm1,%xmm2
divsd  %xmm0,%xmm2
movapd %xmm3,%xmm0
subsd  %xmm1,%xmm0
divsd  %xmm2,%xmm0
call   1040 <ceil_away0@plt>
movsd  (%rsp),%xmm3
lea    0x1(%r12),%ecx
add    %ebx,%eax
cmp    %eax,%r12d
cmovge %ecx,%eax
lea    -0x1(%r15),%ecx
cmp    %eax,%r15d
cmovle %ecx,%eax
cmp    %eax,%r13d
mov    %eax,%ebx
cmovl  %r13d,%ebx
movslq %ebx,%rcx
movsd  0x8(%r14,%rcx,8),%xmm0
ucomisd %xmm3,%xmm0
cmova  %ecx,%r15d
movsd  (%r14,%rcx,8),%xmm1
xor    %eax,%eax
ucomisd %xmm1,%xmm3
setae  %al
lea    -0x1(%rax,%rax,1),%eax
cmovae %ecx,%r12d
jb     11e3 <get_interval_from_guess+0xc3>
ucomisd %xmm3,%xmm0
jbe    11e3 <get_interval_from_guess+0xc3>
jmp    1291 <get_interval_from_guess+0x171>
add    $0xffffffff,%r15d
mov    %r15d,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @get_interval_from_guess(double* %0, i32 %1, double %2, i32 %3) {
%5 = alloca i32
%6 = alloca double*
%7 = alloca i32
%8 = alloca double
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca double
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
store double* %0, double** %6
store i32 %1, i32* %7
store double %2, double* %8
store i32 %3, i32* %9
%18 = load i32, i32* %7
%19 = call i32 @fast_approx_int32_sqrt(i32 %18)
%20 = add nsw i32 %19, 1
store i32 %20, i32* %10
store i32 -1, i32* %14
%21 = load i32, i32* %7
store i32 %21, i32* %15
%22 = load double, double* %8
%23 = load double*, double** %6
%24 = getelementptr inbounds double, double* %23, i64 0
%25 = load double, double* %24
%26 = fcmp olt double %22, %25
br i1 %26, label %27, label %28
27: ; preds = %4
store i32 -1, i32* %5
br label %264
28: ; preds = %4
%29 = load double, double* %8
%30 = load double*, double** %6
%31 = load i32, i32* %7
%32 = sub nsw i32 %31, 1
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds double, double* %30, i64 %33
%35 = load double, double* %34
%36 = fcmp oge double %29, %35
br i1 %36, label %37, label %40
37: ; preds = %28
%38 = load i32, i32* %7
%39 = sub nsw i32 %38, 1
store i32 %39, i32* %5
br label %264
40: ; preds = %28
%41 = load i32, i32* %7
%42 = icmp sle i32 %41, 0
br i1 %42, label %43, label %44
43: ; preds = %40
store i32 0, i32* %5
br label %264
44: ; preds = %40
%45 = load i32, i32* %9
%46 = load i32, i32* %7
%47 = sub nsw i32 %46, 2
%48 = icmp sgt i32 %45, %47
br i1 %48, label %49, label %52
49: ; preds = %44
%50 = load i32, i32* %7
%51 = sub nsw i32 %50, 2
store i32 %51, i32* %9
br label %57
52: ; preds = %44
%53 = load i32, i32* %9
%54 = icmp slt i32 %53, 0
br i1 %54, label %55, label %56
55: ; preds = %52
store i32 0, i32* %9
br label %56
56: ; preds = %55, %52
br label %57
57: ; preds = %56, %49
%58 = load double, double* %8
%59 = load double*, double** %6
%60 = load i32, i32* %9
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds double, double* %59, i64 %61
%63 = load double, double* %62
%64 = fcmp oge double %58, %63
%65 = zext i1 %64 to i32
store i32 %65, i32* %16
%66 = load double, double* %8
%67 = load double*, double** %6
%68 = load i32, i32* %9
%69 = add nsw i32 %68, 1
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds double, double* %67, i64 %70
%72 = load double, double* %71
%73 = fcmp olt double %66, %72
%74 = zext i1 %73 to i32
store i32 %74, i32* %17
%75 = load i32, i32* %16
%76 = icmp ne i32 %75, 0
br i1 %76, label %77, label %78
77: ; preds = %57
store i32 1, i32* %11
br label %79
78: ; preds = %57
store i32 -1, i32* %11
br label %79
79: ; preds = %78, %77
br label %80
80: ; preds = %261, %79
%81 = load i32, i32* %16
%82 = load i32, i32* %17
%83 = and i32 %81, %82
%84 = icmp ne i32 %83, 0
%85 = xor i1 %84, true
br i1 %85, label %86, label %262
86: ; preds = %80
br label %87
87: ; preds = %111, %86
%88 = load i32, i32* %9
%89 = load i32, i32* %11
%90 = load i32, i32* %10
%91 = mul nsw i32 %89, %90
%92 = add nsw i32 %88, %91
%93 = load i32, i32* %15
%94 = icmp sge i32 %92, %93
br i1 %94, label %103, label %95
95: ; preds = %87
%96 = load i32, i32* %9
%97 = load i32, i32* %11
%98 = load i32, i32* %10
%99 = mul nsw i32 %97, %98
%100 = add nsw i32 %96, %99
%101 = load i32, i32* %14
%102 = icmp sle i32 %100, %101
br label %103
103: ; preds = %95, %87
%104 = phi i1 [ true, %87 ], [ %102, %95 ]
br i1 %104, label %105, label %112
105: ; preds = %103
%106 = load i32, i32* %10
%107 = sdiv i32 %106, 2
store i32 %107, i32* %10
%108 = load i32, i32* %10
%109 = icmp eq i32 %108, 0
br i1 %109, label %110, label %111
110: ; preds = %105
store i32 1, i32* %10
br label %112
111: ; preds = %105
br label %87
112: ; preds = %110, %103
%113 = load double*, double** %6
%114 = load i32, i32* %9
%115 = load i32, i32* %11
%116 = load i32, i32* %10
%117 = mul nsw i32 %115, %116
%118 = add nsw i32 %114, %117
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds double, double* %113, i64 %119
%121 = load double, double* %120
%122 = load double*, double** %6
%123 = load i32, i32* %9
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds double, double* %122, i64 %124
%126 = load double, double* %125
%127 = fsub double %121, %126
%128 = load i32, i32* %11
%129 = load i32, i32* %10
%130 = mul nsw i32 %128, %129
%131 = sitofp i32 %130 to double
%132 = fdiv double %127, %131
store double %132, double* %13
%133 = load double, double* %8
%134 = load double*, double** %6
%135 = load i32, i32* %9
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds double, double* %134, i64 %136
%138 = load double, double* %137
%139 = fsub double %133, %138
%140 = load double, double* %13
%141 = fdiv double %139, %140
%142 = call i32 @ceil_away0(double %141)
store i32 %142, i32* %12
%143 = load i32, i32* %7
%144 = sub nsw i32 %143, 2
%145 = load i32, i32* %15
%146 = sub nsw i32 %145, 1
%147 = load i32, i32* %14
%148 = add nsw i32 %147, 1
%149 = load i32, i32* %9
%150 = load i32, i32* %12
%151 = add nsw i32 %149, %150
%152 = icmp sgt i32 %148, %151
br i1 %152, label %153, label %156
153: ; preds = %112
%154 = load i32, i32* %14
%155 = add nsw i32 %154, 1
br label %160
156: ; preds = %112
%157 = load i32, i32* %9
%158 = load i32, i32* %12
%159 = add nsw i32 %157, %158
br label %160
160: ; preds = %156, %153
%161 = phi i32 [ %155, %153 ], [ %159, %156 ]
%162 = icmp slt i32 %146, %161
br i1 %162, label %163, label %166
163: ; preds = %160
%164 = load i32, i32* %15
%165 = sub nsw i32 %164, 1
br label %182
166: ; preds = %160
%167 = load i32, i32* %14
%168 = add nsw i32 %167, 1
%169 = load i32, i32* %9
%170 = load i32, i32* %12
%171 = add nsw i32 %169, %170
%172 = icmp sgt i32 %168, %171
br i1 %172, label %173, label %176
173: ; preds = %166
%174 = load i32, i32* %14
%175 = add nsw i32 %174, 1
br label %180
176: ; preds = %166
%177 = load i32, i32* %9
%178 = load i32, i32* %12
%179 = add nsw i32 %177, %178
br label %180
180: ; preds = %176, %173
%181 = phi i32 [ %175, %173 ], [ %179, %176 ]
br label %182
182: ; preds = %180, %163
%183 = phi i32 [ %165, %163 ], [ %181, %180 ]
%184 = icmp slt i32 %144, %183
br i1 %184, label %185, label %188
185: ; preds = %182
%186 = load i32, i32* %7
%187 = sub nsw i32 %186, 2
br label %228
188: ; preds = %182
%189 = load i32, i32* %15
%190 = sub nsw i32 %189, 1
%191 = load i32, i32* %14
%192 = add nsw i32 %191, 1
%193 = load i32, i32* %9
%194 = load i32, i32* %12
%195 = add nsw i32 %193, %194
%196 = icmp sgt i32 %192, %195
br i1 %196, label %197, label %200
197: ; preds = %188
%198 = load i32, i32* %14
%199 = add nsw i32 %198, 1
br label %204
200: ; preds = %188
%201 = load i32, i32* %9
%202 = load i32, i32* %12
%203 = add nsw i32 %201, %202
br label %204
204: ; preds = %200, %197
%205 = phi i32 [ %199, %197 ], [ %203, %200 ]
%206 = icmp slt i32 %190, %205
br i1 %206, label %207, label %210
207: ; preds = %204
%208 = load i32, i32* %15
%209 = sub nsw i32 %208, 1
br label %226
210: ; preds = %204
%211 = load i32, i32* %14
%212 = add nsw i32 %211, 1
%213 = load i32, i32* %9
%214 = load i32, i32* %12
%215 = add nsw i32 %213, %214
%216 = icmp sgt i32 %212, %215
br i1 %216, label %217, label %220
217: ; preds = %210
%218 = load i32, i32* %14
%219 = add nsw i32 %218, 1
br label %224
220: ; preds = %210
%221 = load i32, i32* %9
%222 = load i32, i32* %12
%223 = add nsw i32 %221, %222
br label %224
224: ; preds = %220, %217
%225 = phi i32 [ %219, %217 ], [ %223, %220 ]
br label %226
226: ; preds = %224, %207
%227 = phi i32 [ %209, %207 ], [ %225, %224 ]
br label %228
228: ; preds = %226, %185
%229 = phi i32 [ %187, %185 ], [ %227, %226 ]
store i32 %229, i32* %9
%230 = load double, double* %8
%231 = load double*, double** %6
%232 = load i32, i32* %9
%233 = sext i32 %232 to i64
%234 = getelementptr inbounds double, double* %231, i64 %233
%235 = load double, double* %234
%236 = fcmp oge double %230, %235
%237 = zext i1 %236 to i32
store i32 %237, i32* %16
%238 = load double, double* %8
%239 = load double*, double** %6
%240 = load i32, i32* %9
%241 = add nsw i32 %240, 1
%242 = sext i32 %241 to i64
%243 = getelementptr inbounds double, double* %239, i64 %242
%244 = load double, double* %243
%245 = fcmp olt double %238, %244
%246 = zext i1 %245 to i32
store i32 %246, i32* %17
%247 = load i32, i32* %16
%248 = icmp ne i32 %247, 0
br i1 %248, label %249, label %250
249: ; preds = %228
store i32 1, i32* %11
br label %251
250: ; preds = %228
store i32 -1, i32* %11
br label %251
251: ; preds = %250, %249
%252 = load i32, i32* %16
%253 = icmp ne i32 %252, 0
br i1 %253, label %254, label %256
254: ; preds = %251
%255 = load i32, i32* %9
store i32 %255, i32* %14
br label %256
256: ; preds = %254, %251
%257 = load i32, i32* %17
%258 = icmp ne i32 %257, 0
br i1 %258, label %259, label %261
259: ; preds = %256
%260 = load i32, i32* %9
store i32 %260, i32* %15
br label %261
261: ; preds = %259, %256
br label %80
262: ; preds = %80
%263 = load i32, i32* %9
store i32 %263, i32* %5
br label %264
264: ; preds = %262, %43, %37, %27
%265 = load i32, i32* %5
ret i32 %265
}

LLVM IR (-O2):
define i32 @get_interval_from_guess(double* nocapture %0, i32 %1, double %2, i32 %3) {
%5 = tail call i32 @fast_approx_int32_sqrt(i32 %1)
%6 = add nsw i32 %5, 1
%7 = load double, double* %0
%8 = fcmp ogt double %7, %2
br i1 %8, label %88, label %9
9: ; preds = %4
%10 = add nsw i32 %1, -1
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds double, double* %0, i64 %11
%13 = load double, double* %12
%14 = fcmp ugt double %13, %2
br i1 %14, label %15, label %88
15: ; preds = %9
%16 = icmp slt i32 %1, 1
br i1 %16, label %88, label %17
17: ; preds = %15
%18 = add nsw i32 %1, -2
%19 = icmp slt i32 %18, %3
%20 = icmp sgt i32 %3, 0
%21 = select i1 %20, i32 %3, i32 0
%22 = select i1 %19, i32 %18, i32 %21
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds double, double* %0, i64 %23
%25 = load double, double* %24
%26 = fcmp ole double %25, %2
%27 = add nsw i32 %22, 1
%28 = zext i32 %27 to i64
%29 = getelementptr inbounds double, double* %0, i64 %28
%30 = load double, double* %29
%31 = fcmp ogt double %30, %2
%32 = and i1 %26, %31
br i1 %32, label %88, label %33
33: ; preds = %17
%34 = select i1 %26, i32 1, i32 -1
br label %35
35: ; preds = %33, %53
%36 = phi double [ %77, %53 ], [ %25, %33 ]
%37 = phi i32 [ %86, %53 ], [ %1, %33 ]
%38 = phi i32 [ %85, %53 ], [ -1, %33 ]
%39 = phi i32 [ %74, %53 ], [ %22, %33 ]
%40 = phi i32 [ %84, %53 ], [ %34, %33 ]
%41 = phi i32 [ %54, %53 ], [ %6, %33 ]
br label %42
42: ; preds = %35, %49
%43 = phi i32 [ %50, %49 ], [ %41, %35 ]
%44 = mul nsw i32 %43, %40
%45 = add nsw i32 %44, %39
%46 = icmp slt i32 %45, %37
%47 = icmp sgt i32 %45, %38
%48 = select i1 %46, i1 %47, i1 false
br i1 %48, label %53, label %49
49: ; preds = %42
%50 = sdiv i32 %43, 2
%51 = add i32 %43, 1
%52 = icmp ult i32 %51, 3
br i1 %52, label %53, label %42
53: ; preds = %42, %49
%54 = phi i32 [ 1, %49 ], [ %43, %42 ]
%55 = mul nsw i32 %54, %40
%56 = add nsw i32 %55, %39
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds double, double* %0, i64 %57
%59 = load double, double* %58
%60 = fsub double %59, %36
%61 = sitofp i32 %55 to double
%62 = fdiv double %60, %61
%63 = fsub double %2, %36
%64 = fdiv double %63, %62
%65 = tail call i32 @ceil_away0(double %64)
%66 = add nsw i32 %37, -1
%67 = add nsw i32 %38, 1
%68 = add nsw i32 %65, %39
%69 = icmp slt i32 %38, %68
%70 = select i1 %69, i32 %68, i32 %67
%71 = icmp sgt i32 %37, %70
%72 = select i1 %71, i32 %70, i32 %66
%73 = icmp slt i32 %18, %72
%74 = select i1 %73, i32 %18, i32 %72
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds double, double* %0, i64 %75
%77 = load double, double* %76
%78 = fcmp ole double %77, %2
%79 = add nsw i32 %74, 1
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds double, double* %0, i64 %80
%82 = load double, double* %81
%83 = fcmp ogt double %82, %2
%84 = select i1 %78, i32 1, i32 -1
%85 = select i1 %78, i32 %74, i32 %38
%86 = select i1 %83, i32 %74, i32 %37
%87 = and i1 %78, %83
br i1 %87, label %88, label %35
88: ; preds = %53, %17, %15, %9, %4
%89 = phi i32 [ -1, %4 ], [ %10, %9 ], [ 0, %15 ], [ %22, %17 ], [ %74, %53 ]
ret i32 %89
}