#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 */
double fabs(double);
double romb(double (*f)(double, void *), double xa, double xb, int N,
            double atol, double rtol, void *args) {
  double R[10];
  int m, k, k0, fpm, Nk;
  double hk, Rp, err;
  hk = xb - xa;
  Nk = 1;
  R[10 - 1] = 0.5 * (xb - xa) * (f(xa, args) + f(xb, args));
  R[0] = R[10 - 1];
  for (k = 1; k < 10; k++) {
    k0 = 10 - k - 1;
    hk *= 0.5;
    Nk *= 2;
    Rp = 0.0;
    for (m = 1; m < Nk; m += 2)
      Rp += f(xa + m * hk, args);
    R[k0] = 0.5 * R[k0 + 1] + hk * Rp;
    fpm = 1;
    for (m = 1; m <= k; m++) {
      fpm *= 4;
      R[k0 + m] = (fpm * R[k0 + m - 1] - R[k0 + m]) / (fpm - 1);
    }
    err = (R[10 - 1] - R[0]) / (fpm - 1);
    R[0] = R[10 - 1];
    if (fabs(err) < atol + rtol * fabs(R[0]))
      break;
    if (N > 1 && Nk >= N)
      break;
  }
  return R[0];
}


x86 assembly (clang, -O0):
<romb>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
mov    %esi,-0x1c(%rbp)
movsd  %xmm2,-0x28(%rbp)
movsd  %xmm3,-0x30(%rbp)
mov    %rdx,-0x38(%rbp)
movsd  -0x18(%rbp),%xmm0
subsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movl   $0x1,-0xa4(%rbp)
movsd  -0x18(%rbp),%xmm1
subsd  -0x10(%rbp),%xmm1
movsd  0xea8(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
mov    -0x8(%rbp),%rax
movsd  -0x10(%rbp),%xmm0
mov    -0x38(%rbp),%rdi
call   *%rax
movsd  %xmm0,-0xd0(%rbp)
ff
mov    -0x8(%rbp),%rax
movsd  -0x18(%rbp),%xmm0
mov    -0x38(%rbp),%rdi
call   *%rax
movsd  -0xd0(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0xc8(%rbp),%xmm0
ff
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movl   $0x1,-0x98(%rbp)
cmpl   $0xa,-0x98(%rbp)
jge    1439 <romb+0x339>
mov    $0xa,%eax
sub    -0x98(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x9c(%rbp)
movsd  0xe16(%rip),%xmm0
mulsd  -0xb0(%rbp),%xmm0
ff
movsd  %xmm0,-0xb0(%rbp)
ff
mov    -0xa4(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0xa4(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movl   $0x1,-0x94(%rbp)
mov    -0x94(%rbp),%eax
cmp    -0xa4(%rbp),%eax
jge    127b <romb+0x17b>
mov    -0x8(%rbp),%rax
movsd  -0x10(%rbp),%xmm1
cvtsi2sdl -0x94(%rbp),%xmm0
ff
movsd  -0xb0(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x38(%rbp),%rdi
call   *%rax
addsd  -0xb8(%rbp),%xmm0
ff
movsd  %xmm0,-0xb8(%rbp)
ff
mov    -0x94(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x94(%rbp)
jmp    121e <romb+0x11e>
mov    -0x9c(%rbp),%eax
add    $0x1,%eax
cltq
movsd  -0x90(%rbp,%rax,8),%xmm0
ff ff
movsd  -0xb0(%rbp),%xmm1
ff
mulsd  -0xb8(%rbp),%xmm1
ff
movsd  0xd59(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movslq -0x9c(%rbp),%rax
movsd  %xmm0,-0x90(%rbp,%rax,8)
ff ff
movl   $0x1,-0xa0(%rbp)
movl   $0x1,-0x94(%rbp)
mov    -0x94(%rbp),%eax
cmp    -0x98(%rbp),%eax
jg     1388 <romb+0x288>
mov    -0xa0(%rbp),%eax
shl    $0x2,%eax
mov    %eax,-0xa0(%rbp)
cvtsi2sdl -0xa0(%rbp),%xmm0
ff
mov    -0x9c(%rbp),%eax
add    -0x94(%rbp),%eax
sub    $0x1,%eax
cltq
movsd  -0x90(%rbp,%rax,8),%xmm2
ff ff
mov    -0x9c(%rbp),%eax
add    -0x94(%rbp),%eax
cltq
movsd  -0x90(%rbp,%rax,8),%xmm1
ff ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0xa0(%rbp),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
mov    -0x9c(%rbp),%eax
add    -0x94(%rbp),%eax
cltq
movsd  %xmm0,-0x90(%rbp,%rax,8)
ff ff
mov    -0x94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x94(%rbp)
jmp    12d3 <romb+0x1d3>
movsd  -0x48(%rbp),%xmm0
subsd  -0x90(%rbp),%xmm0
ff
mov    -0xa0(%rbp),%eax
sub    $0x1,%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0xc0(%rbp),%xmm1
ff
movaps 0xc46(%rip),%xmm0
pand   %xmm0,%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm0
movsd  -0x90(%rbp),%xmm3
ff
movaps 0xc29(%rip),%xmm4
pand   %xmm4,%xmm3
mulsd  %xmm3,%xmm0
addsd  %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    1402 <romb+0x302>
jmp    1439 <romb+0x339>
cmpl   $0x1,-0x1c(%rbp)
jle    1420 <romb+0x320>
mov    -0xa4(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     1420 <romb+0x320>
jmp    1439 <romb+0x339>
jmp    1425 <romb+0x325>
mov    -0x98(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x98(%rbp)
jmp    11c1 <romb+0xc1>
movsd  -0x90(%rbp),%xmm0
ff
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<romb>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xb8,%rsp
mov    %rdx,%r15
movsd  %xmm3,0x38(%rsp)
movsd  %xmm2,0x30(%rsp)
mov    %esi,0xc(%rsp)
movsd  %xmm1,0x28(%rsp)
mov    %rdi,%r12
movapd %xmm1,%xmm2
subsd  %xmm0,%xmm2
movsd  %xmm2,0x20(%rsp)
movsd  0xebd(%rip),%xmm1
mulsd  %xmm2,%xmm1
movsd  %xmm1,0x10(%rsp)
movsd  %xmm0,0x58(%rsp)
mov    %rdx,%rdi
call   *%r12
movsd  %xmm0,0x18(%rsp)
movsd  0x28(%rsp),%xmm0
mov    %r15,%rdi
call   *%r12
movsd  0x20(%rsp),%xmm3
addsd  0x18(%rsp),%xmm0
mulsd  0x10(%rsp),%xmm0
lea    0xa8(%rsp),%rbx
movsd  %xmm0,0xa8(%rsp)
movsd  %xmm0,0x60(%rsp)
mov    $0x1,%r13d
mov    $0x1,%ebp
xor    %eax,%eax
movsd  0xe57(%rip),%xmm4
jmp    11c6 <romb+0xc6>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rbp
add    $0x1,%rax
add    $0xfffffffffffffff8,%rbx
cmp    $0xa,%rbp
je     1349 <romb+0x249>
mov    $0x8,%ecx
mov    %rax,0x18(%rsp)
sub    %rax,%rcx
mov    %rcx,0x50(%rsp)
mov    $0xa,%eax
sub    %rbp,%rax
mov    %rax,0x40(%rsp)
mov    $0x9,%eax
sub    %rbp,%rax
mov    %rax,0x48(%rsp)
mulsd  %xmm4,%xmm3
add    %r13d,%r13d
xorpd  %xmm2,%xmm2
movsd  0xe03(%rip),%xmm0
mov    $0x1,%r14d
movsd  %xmm3,0x20(%rsp)
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movsd  %xmm0,0x10(%rsp)
movsd  %xmm2,0x28(%rsp)
movsd  0x10(%rsp),%xmm0
mulsd  %xmm3,%xmm0
addsd  0x58(%rsp),%xmm0
mov    %r15,%rdi
call   *%r12
movsd  0x28(%rsp),%xmm2
movsd  0xdc0(%rip),%xmm1
movsd  0x20(%rsp),%xmm3
addsd  %xmm0,%xmm2
movsd  0x10(%rsp),%xmm0
addsd  %xmm1,%xmm0
add    $0x2,%r14d
cmp    %r13d,%r14d
jl     1220 <romb+0x120>
mulsd  %xmm3,%xmm2
mov    0x40(%rsp),%rax
movsd  0x60(%rsp,%rax,8),%xmm0
movsd  0xd7c(%rip),%xmm4
mulsd  %xmm4,%xmm0
addsd  %xmm2,%xmm0
mov    0x48(%rsp),%rax
movsd  %xmm0,0x60(%rsp,%rax,8)
mov    0x50(%rsp),%rax
movsd  0x60(%rsp,%rax,8),%xmm0
mov    $0x1,%ecx
xor    %eax,%eax
nopl   0x0(%rax)
lea    -0x1(,%rcx,4),%edx
lea    0x0(,%rcx,4),%ecx
xorps  %xmm2,%xmm2
cvtsi2sd %ecx,%xmm2
mulsd  %xmm0,%xmm2
subsd  (%rbx,%rax,8),%xmm2
xorps  %xmm1,%xmm1
cvtsi2sd %edx,%xmm1
divsd  %xmm1,%xmm2
movsd  %xmm2,(%rbx,%rax,8)
add    $0x1,%rax
movapd %xmm2,%xmm0
cmp    %rax,%rbp
jne    12b0 <romb+0x1b0>
movsd  0xa8(%rsp),%xmm0
movapd %xmm0,%xmm2
subsd  0x60(%rsp),%xmm2
divsd  %xmm1,%xmm2
movsd  %xmm0,0x60(%rsp)
movapd 0xd10(%rip),%xmm5
andpd  %xmm5,%xmm2
movapd %xmm0,%xmm1
andpd  %xmm5,%xmm1
mulsd  0x38(%rsp),%xmm1
addsd  0x30(%rsp),%xmm1
ucomisd %xmm2,%xmm1
mov    0x18(%rsp),%rax
ja     1349 <romb+0x249>
cmpl   $0x2,0xc(%rsp)
jl     11b0 <romb+0xb0>
cmp    0xc(%rsp),%r13d
jl     11b0 <romb+0xb0>
add    $0xb8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define double @romb(double (double, i8*)* %0, double %1, double %2, i32 %3, double %4, double %5, i8* %6) {
%8 = alloca double (double, i8*)*
%9 = alloca double
%10 = alloca double
%11 = alloca i32
%12 = alloca double
%13 = alloca double
%14 = alloca i8*
%15 = alloca [10 x double]
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca double
%22 = alloca double
%23 = alloca double
store double (double, i8*)* %0, double (double, i8*)** %8
store double %1, double* %9
store double %2, double* %10
store i32 %3, i32* %11
store double %4, double* %12
store double %5, double* %13
store i8* %6, i8** %14
%24 = load double, double* %10
%25 = load double, double* %9
%26 = fsub double %24, %25
store double %26, double* %21
store i32 1, i32* %20
%27 = load double, double* %10
%28 = load double, double* %9
%29 = fsub double %27, %28
%30 = fmul double 5.000000e-01, %29
%31 = load double (double, i8*)*, double (double, i8*)** %8
%32 = load double, double* %9
%33 = load i8*, i8** %14
%34 = call double %31(double %32, i8* %33)
%35 = load double (double, i8*)*, double (double, i8*)** %8
%36 = load double, double* %10
%37 = load i8*, i8** %14
%38 = call double %35(double %36, i8* %37)
%39 = fadd double %34, %38
%40 = fmul double %30, %39
%41 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 9
store double %40, double* %41
%42 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 9
%43 = load double, double* %42
%44 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 0
store double %43, double* %44
store i32 1, i32* %17
br label %45
45: ; preds = %155, %7
%46 = load i32, i32* %17
%47 = icmp slt i32 %46, 10
br i1 %47, label %48, label %158
48: ; preds = %45
%49 = load i32, i32* %17
%50 = sub nsw i32 10, %49
%51 = sub nsw i32 %50, 1
store i32 %51, i32* %18
%52 = load double, double* %21
%53 = fmul double %52, 5.000000e-01
store double %53, double* %21
%54 = load i32, i32* %20
%55 = mul nsw i32 %54, 2
store i32 %55, i32* %20
store double 0.000000e+00, double* %22
store i32 1, i32* %16
br label %56
56: ; preds = %71, %48
%57 = load i32, i32* %16
%58 = load i32, i32* %20
%59 = icmp slt i32 %57, %58
br i1 %59, label %60, label %74
60: ; preds = %56
%61 = load double (double, i8*)*, double (double, i8*)** %8
%62 = load double, double* %9
%63 = load i32, i32* %16
%64 = sitofp i32 %63 to double
%65 = load double, double* %21
%66 = call double @llvm.fmuladd.f64(double %64, double %65, double %62)
%67 = load i8*, i8** %14
%68 = call double %61(double %66, i8* %67)
%69 = load double, double* %22
%70 = fadd double %69, %68
store double %70, double* %22
br label %71
71: ; preds = %60
%72 = load i32, i32* %16
%73 = add nsw i32 %72, 2
store i32 %73, i32* %16
br label %56
74: ; preds = %56
%75 = load i32, i32* %18
%76 = add nsw i32 %75, 1
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 %77
%79 = load double, double* %78
%80 = load double, double* %21
%81 = load double, double* %22
%82 = fmul double %80, %81
%83 = call double @llvm.fmuladd.f64(double 5.000000e-01, double %79, double %82)
%84 = load i32, i32* %18
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 %85
store double %83, double* %86
store i32 1, i32* %19
store i32 1, i32* %16
br label %87
87: ; preds = %120, %74
%88 = load i32, i32* %16
%89 = load i32, i32* %17
%90 = icmp sle i32 %88, %89
br i1 %90, label %91, label %123
91: ; preds = %87
%92 = load i32, i32* %19
%93 = mul nsw i32 %92, 4
store i32 %93, i32* %19
%94 = load i32, i32* %19
%95 = sitofp i32 %94 to double
%96 = load i32, i32* %18
%97 = load i32, i32* %16
%98 = add nsw i32 %96, %97
%99 = sub nsw i32 %98, 1
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 %100
%102 = load double, double* %101
%103 = load i32, i32* %18
%104 = load i32, i32* %16
%105 = add nsw i32 %103, %104
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 %106
%108 = load double, double* %107
%109 = fneg double %108
%110 = call double @llvm.fmuladd.f64(double %95, double %102, double %109)
%111 = load i32, i32* %19
%112 = sub nsw i32 %111, 1
%113 = sitofp i32 %112 to double
%114 = fdiv double %110, %113
%115 = load i32, i32* %18
%116 = load i32, i32* %16
%117 = add nsw i32 %115, %116
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 %118
store double %114, double* %119
br label %120
120: ; preds = %91
%121 = load i32, i32* %16
%122 = add nsw i32 %121, 1
store i32 %122, i32* %16
br label %87
123: ; preds = %87
%124 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 9
%125 = load double, double* %124
%126 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 0
%127 = load double, double* %126
%128 = fsub double %125, %127
%129 = load i32, i32* %19
%130 = sub nsw i32 %129, 1
%131 = sitofp i32 %130 to double
%132 = fdiv double %128, %131
store double %132, double* %23
%133 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 9
%134 = load double, double* %133
%135 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 0
store double %134, double* %135
%136 = load double, double* %23
%137 = call double @llvm.fabs.f64(double %136)
%138 = load double, double* %12
%139 = load double, double* %13
%140 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 0
%141 = load double, double* %140
%142 = call double @llvm.fabs.f64(double %141)
%143 = call double @llvm.fmuladd.f64(double %139, double %142, double %138)
%144 = fcmp olt double %137, %143
br i1 %144, label %145, label %146
145: ; preds = %123
br label %158
146: ; preds = %123
%147 = load i32, i32* %11
%148 = icmp sgt i32 %147, 1
br i1 %148, label %149, label %154
149: ; preds = %146
%150 = load i32, i32* %20
%151 = load i32, i32* %11
%152 = icmp sge i32 %150, %151
br i1 %152, label %153, label %154
153: ; preds = %149
br label %158
154: ; preds = %149, %146
br label %155
155: ; preds = %154
%156 = load i32, i32* %17
%157 = add nsw i32 %156, 1
store i32 %157, i32* %17
br label %45
158: ; preds = %153, %145, %45
%159 = getelementptr inbounds [10 x double], [10 x double]* %15, i64 0, i64 0
%160 = load double, double* %159
ret double %160
}

LLVM IR (-O2):
define double @romb(double (double, i8*)* nocapture %0, double %1, double %2, i32 %3, double %4, double %5, i8* %6) {
%8 = alloca [10 x double]
%9 = bitcast [10 x double]* %8 to i8*
%10 = fsub double %2, %1
%11 = fmul double %10, 5.000000e-01
%12 = tail call double %0(double %1, i8* %6)
%13 = tail call double %0(double %2, i8* %6)
%14 = fadd double %12, %13
%15 = fmul double %11, %14
%16 = getelementptr inbounds [10 x double], [10 x double]* %8, i64 0, i64 9
store double %15, double* %16
%17 = getelementptr inbounds [10 x double], [10 x double]* %8, i64 0, i64 0
store double %15, double* %17
%18 = icmp slt i32 %3, 2
br label %24
19: ; preds = %77
%20 = add nuw nsw i64 %26, 1
%21 = add nuw nsw i64 %27, 1
%22 = icmp eq i64 %20, 10
%23 = add i64 %25, 1
br i1 %22, label %80, label %24
24: ; preds = %19, %7
%25 = phi i64 [ %23, %19 ], [ 0, %7 ]
%26 = phi i64 [ %20, %19 ], [ 1, %7 ]
%27 = phi i64 [ %21, %19 ], [ 2, %7 ]
%28 = phi double [ %34, %19 ], [ %10, %7 ]
%29 = phi i32 [ %35, %19 ], [ 1, %7 ]
%30 = sub i64 8, %25
%31 = getelementptr [10 x double], [10 x double]* %8, i64 0, i64 %30
%32 = sub nuw nsw i64 10, %26
%33 = sub nuw nsw i64 9, %26
%34 = fmul double %28, 5.000000e-01
%35 = shl nsw i32 %29, 1
br label %36
36: ; preds = %24, %36
%37 = phi i32 [ %43, %36 ], [ 1, %24 ]
%38 = phi double [ %42, %36 ], [ 0.000000e+00, %24 ]
%39 = sitofp i32 %37 to double
%40 = tail call double @llvm.fmuladd.f64(double %39, double %34, double %1)
%41 = tail call double %0(double %40, i8* %6)
%42 = fadd double %38, %41
%43 = add nuw nsw i32 %37, 2
%44 = icmp slt i32 %43, %35
br i1 %44, label %36, label %45
45: ; preds = %36
%46 = getelementptr inbounds [10 x double], [10 x double]* %8, i64 0, i64 %32
%47 = load double, double* %46
%48 = fmul double %34, %42
%49 = tail call double @llvm.fmuladd.f64(double %47, double 5.000000e-01, double %48)
%50 = getelementptr inbounds [10 x double], [10 x double]* %8, i64 0, i64 %33
store double %49, double* %50
%51 = load double, double* %31
br label %52
52: ; preds = %45, %52
%53 = phi double [ %51, %45 ], [ %65, %52 ]
%54 = phi i64 [ 1, %45 ], [ %66, %52 ]
%55 = phi i32 [ 1, %45 ], [ %56, %52 ]
%56 = shl nsw i32 %55, 2
%57 = sitofp i32 %56 to double
%58 = add nuw nsw i64 %54, %33
%59 = getelementptr inbounds [10 x double], [10 x double]* %8, i64 0, i64 %58
%60 = load double, double* %59
%61 = fneg double %60
%62 = tail call double @llvm.fmuladd.f64(double %57, double %53, double %61)
%63 = add nsw i32 %56, -1
%64 = sitofp i32 %63 to double
%65 = fdiv double %62, %64
store double %65, double* %59
%66 = add nuw nsw i64 %54, 1
%67 = icmp eq i64 %66, %27
br i1 %67, label %68, label %52
68: ; preds = %52
%69 = load double, double* %16
%70 = load double, double* %17
%71 = fsub double %69, %70
%72 = fdiv double %71, %64
store double %69, double* %17
%73 = tail call double @llvm.fabs.f64(double %72)
%74 = tail call double @llvm.fabs.f64(double %69)
%75 = tail call double @llvm.fmuladd.f64(double %5, double %74, double %4)
%76 = fcmp olt double %73, %75
br i1 %76, label %80, label %77
77: ; preds = %68
%78 = icmp slt i32 %35, %3
%79 = select i1 %18, i1 true, i1 %78
br i1 %79, label %19, label %80
80: ; preds = %77, %68, %19
ret double %69
}