#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);
int checkSolution(double Ps, double sL, double sR, double *vaL, double *vaR,
                  double *BaL, double *BaR, double enthL, double enthR,
                  double *KaL, double *KaR, double *Bc, double *vcL,
                  double *vcR) {
  int success = 1;
  if (Ps != Ps)
    success = 0;
  if (enthL < Ps || enthR < Ps)
    success = 0;
  if (enthL < Ps || enthR < Ps)
    success = 0;
  if (fabs(vaL[0]) > 1.0 || fabs(vaL[1]) > 1.0 || fabs(vaL[2]) > 1.0)
    success = 0;
  if (fabs(vaR[0]) > 1.0 || fabs(vaR[1]) > 1.0 || fabs(vaR[2]) > 1.0)
    success = 0;
  if (vaL[0] < sL || vaR[0] > sR)
    success = 0;
  if (fabs(vcL[0]) > 1.0 || fabs(vcL[1]) > 1.0 || fabs(vcL[2]) > 1.0)
    success = 0;
  if (fabs(vcR[0]) > 1.0 || fabs(vcR[1]) > 1.0 || fabs(vcR[2]) > 1.0)
    success = 0;
  if (vcL[0] < sL || vcR[0] > sR)
    success = 0;
  if (KaL[0] < sL || KaR[0] > sR)
    success = 0;
  return success;
}


x86 assembly (clang, -O0):
<checkSolution>:
push   %rbp
mov    %rsp,%rbp
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
mov    %rdi,-0x20(%rbp)
mov    %rsi,-0x28(%rbp)
mov    %rdx,-0x30(%rbp)
mov    %rcx,-0x38(%rbp)
movsd  %xmm3,-0x40(%rbp)
movsd  %xmm4,-0x48(%rbp)
mov    %r8,-0x50(%rbp)
mov    %r9,-0x58(%rbp)
movl   $0x1,-0x5c(%rbp)
movsd  -0x8(%rbp),%xmm0
ucomisd -0x8(%rbp),%xmm0
jne    1163 <checkSolution+0x63>
jp     1163 <checkSolution+0x63>
jmp    116a <checkSolution+0x6a>
movl   $0x0,-0x5c(%rbp)
movsd  -0x40(%rbp),%xmm1
movsd  -0x8(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     1192 <checkSolution+0x92>
movsd  -0x48(%rbp),%xmm1
movsd  -0x8(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1199 <checkSolution+0x99>
movl   $0x0,-0x5c(%rbp)
movsd  -0x40(%rbp),%xmm1
movsd  -0x8(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     11c1 <checkSolution+0xc1>
movsd  -0x48(%rbp),%xmm1
movsd  -0x8(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11c8 <checkSolution+0xc8>
movl   $0x0,-0x5c(%rbp)
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
movaps 0xe39(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xe1d(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     1239 <checkSolution+0x139>
mov    -0x20(%rbp),%rax
movsd  0x8(%rax),%xmm0
movaps 0xe13(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xdf7(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     1239 <checkSolution+0x139>
mov    -0x20(%rbp),%rax
movsd  0x10(%rax),%xmm0
movaps 0xded(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xdd1(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1240 <checkSolution+0x140>
movl   $0x0,-0x5c(%rbp)
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
movaps 0xdc1(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xda5(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     12b1 <checkSolution+0x1b1>
mov    -0x28(%rbp),%rax
movsd  0x8(%rax),%xmm0
movaps 0xd9b(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xd7f(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     12b1 <checkSolution+0x1b1>
mov    -0x28(%rbp),%rax
movsd  0x10(%rax),%xmm0
movaps 0xd75(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xd59(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    12b8 <checkSolution+0x1b8>
movl   $0x0,-0x5c(%rbp)
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     12e2 <checkSolution+0x1e2>
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    12e9 <checkSolution+0x1e9>
movl   $0x0,-0x5c(%rbp)
mov    0x18(%rbp),%rax
movsd  (%rax),%xmm0
movaps 0xd18(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xcfc(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     135a <checkSolution+0x25a>
mov    0x18(%rbp),%rax
movsd  0x8(%rax),%xmm0
movaps 0xcf2(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xcd6(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     135a <checkSolution+0x25a>
mov    0x18(%rbp),%rax
movsd  0x10(%rax),%xmm0
movaps 0xccc(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xcb0(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1361 <checkSolution+0x261>
movl   $0x0,-0x5c(%rbp)
mov    0x20(%rbp),%rax
movsd  (%rax),%xmm0
movaps 0xca0(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xc84(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     13d2 <checkSolution+0x2d2>
mov    0x20(%rbp),%rax
movsd  0x8(%rax),%xmm0
movaps 0xc7a(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xc5e(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     13d2 <checkSolution+0x2d2>
mov    0x20(%rbp),%rax
movsd  0x10(%rax),%xmm0
movaps 0xc54(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xc38(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    13d9 <checkSolution+0x2d9>
movl   $0x0,-0x5c(%rbp)
mov    0x18(%rbp),%rax
movsd  (%rax),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     1403 <checkSolution+0x303>
mov    0x20(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    140a <checkSolution+0x30a>
movl   $0x0,-0x5c(%rbp)
mov    -0x50(%rbp),%rax
movsd  (%rax),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     1434 <checkSolution+0x334>
mov    -0x58(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    143b <checkSolution+0x33b>
movl   $0x0,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkSolution>:
ucomisd %xmm0,%xmm0
setnp  %al
ucomisd %xmm3,%xmm0
setbe  %cl
ucomisd %xmm4,%xmm0
setbe  %dl
movsd  (%rdi),%xmm0
movapd 0xedf(%rip),%xmm3
andpd  %xmm0,%xmm3
ucomisd 0xee3(%rip),%xmm3
ja     1161 <checkSolution+0x61>
movsd  0x8(%rdi),%xmm3
andpd  0xec4(%rip),%xmm3
ucomisd 0xecc(%rip),%xmm3
ja     1161 <checkSolution+0x61>
movsd  0x10(%rdi),%xmm3
andpd  0xead(%rip),%xmm3
ucomisd 0xeb5(%rip),%xmm3
jbe    1280 <checkSolution+0x180>
xor    %eax,%eax
mov    0x10(%rsp),%rcx
movsd  (%rsi),%xmm3
movapd 0xe8c(%rip),%xmm4
andpd  %xmm3,%xmm4
ucomisd 0xe90(%rip),%xmm4
ja     11b0 <checkSolution+0xb0>
movsd  0x8(%rsi),%xmm4
andpd  0xe71(%rip),%xmm4
ucomisd 0xe79(%rip),%xmm4
ja     11b0 <checkSolution+0xb0>
movsd  0x10(%rsi),%xmm4
andpd  0xe5a(%rip),%xmm4
ucomisd 0xe62(%rip),%xmm4
jbe    11b2 <checkSolution+0xb2>
xor    %eax,%eax
xor    %edx,%edx
ucomisd %xmm2,%xmm3
cmova  %edx,%eax
ucomisd %xmm0,%xmm1
cmova  %edx,%eax
mov    0x18(%rsp),%rdx
movsd  (%rcx),%xmm0
movapd 0xe2d(%rip),%xmm3
andpd  %xmm0,%xmm3
ucomisd 0xe31(%rip),%xmm3
ja     120f <checkSolution+0x10f>
movsd  0x8(%rcx),%xmm3
andpd  0xe12(%rip),%xmm3
ucomisd 0xe1a(%rip),%xmm3
ja     120f <checkSolution+0x10f>
movsd  0x10(%rcx),%xmm3
andpd  0xdfb(%rip),%xmm3
ucomisd 0xe03(%rip),%xmm3
jbe    1211 <checkSolution+0x111>
xor    %eax,%eax
movsd  (%rdx),%xmm3
movapd 0xde3(%rip),%xmm4
andpd  %xmm3,%xmm4
ucomisd 0xde7(%rip),%xmm4
ja     1259 <checkSolution+0x159>
movsd  0x8(%rdx),%xmm4
andpd  0xdc8(%rip),%xmm4
ucomisd 0xdd0(%rip),%xmm4
ja     1259 <checkSolution+0x159>
movsd  0x10(%rdx),%xmm4
andpd  0xdb1(%rip),%xmm4
ucomisd 0xdb9(%rip),%xmm4
jbe    125b <checkSolution+0x15b>
xor    %eax,%eax
ucomisd (%r8),%xmm1
ja     127d <checkSolution+0x17d>
xor    %ecx,%ecx
ucomisd %xmm2,%xmm3
cmova  %ecx,%eax
ucomisd %xmm0,%xmm1
cmova  %ecx,%eax
movsd  (%r9),%xmm0
ucomisd %xmm2,%xmm0
jbe    127f <checkSolution+0x17f>
xor    %eax,%eax
ret
and    %dl,%cl
and    %cl,%al
movzbl %al,%eax
jmp    1163 <checkSolution+0x63>

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

LLVM IR (-O2):
define i32 @checkSolution(double %0, double %1, double %2, double* nocapture %3, double* nocapture %4, double* nocapture readnone %5, double* nocapture readnone %6, double %7, double %8, double* nocapture %9, double* nocapture %10, double* nocapture readnone %11, double* nocapture %12, double* nocapture %13) {
%15 = fcmp ord double %0, 0.000000e+00
%16 = fcmp uge double %7, %0
%17 = fcmp uge double %8, %0
%18 = and i1 %16, %17
%19 = and i1 %15, %18
%20 = zext i1 %19 to i32
%21 = load double, double* %3
%22 = tail call double @llvm.fabs.f64(double %21)
%23 = fcmp ogt double %22, 1.000000e+00
br i1 %23, label %34, label %24
24: ; preds = %14
%25 = getelementptr inbounds double, double* %3, i64 1
%26 = load double, double* %25
%27 = tail call double @llvm.fabs.f64(double %26)
%28 = fcmp ogt double %27, 1.000000e+00
br i1 %28, label %34, label %29
29: ; preds = %24
%30 = getelementptr inbounds double, double* %3, i64 2
%31 = load double, double* %30
%32 = tail call double @llvm.fabs.f64(double %31)
%33 = fcmp ogt double %32, 1.000000e+00
br i1 %33, label %34, label %35
34: ; preds = %29, %24, %14
br label %35
35: ; preds = %34, %29
%36 = phi i32 [ 0, %34 ], [ %20, %29 ]
%37 = load double, double* %4
%38 = tail call double @llvm.fabs.f64(double %37)
%39 = fcmp ogt double %38, 1.000000e+00
br i1 %39, label %50, label %40
40: ; preds = %35
%41 = getelementptr inbounds double, double* %4, i64 1
%42 = load double, double* %41
%43 = tail call double @llvm.fabs.f64(double %42)
%44 = fcmp ogt double %43, 1.000000e+00
br i1 %44, label %50, label %45
45: ; preds = %40
%46 = getelementptr inbounds double, double* %4, i64 2
%47 = load double, double* %46
%48 = tail call double @llvm.fabs.f64(double %47)
%49 = fcmp ogt double %48, 1.000000e+00
br i1 %49, label %50, label %51
50: ; preds = %45, %40, %35
br label %51
51: ; preds = %50, %45
%52 = phi i32 [ 0, %50 ], [ %36, %45 ]
%53 = fcmp olt double %21, %1
%54 = fcmp ogt double %37, %2
%55 = select i1 %53, i1 true, i1 %54
%56 = select i1 %55, i32 0, i32 %52
%57 = load double, double* %12
%58 = tail call double @llvm.fabs.f64(double %57)
%59 = fcmp ogt double %58, 1.000000e+00
br i1 %59, label %70, label %60
60: ; preds = %51
%61 = getelementptr inbounds double, double* %12, i64 1
%62 = load double, double* %61
%63 = tail call double @llvm.fabs.f64(double %62)
%64 = fcmp ogt double %63, 1.000000e+00
br i1 %64, label %70, label %65
65: ; preds = %60
%66 = getelementptr inbounds double, double* %12, i64 2
%67 = load double, double* %66
%68 = tail call double @llvm.fabs.f64(double %67)
%69 = fcmp ogt double %68, 1.000000e+00
br i1 %69, label %70, label %71
70: ; preds = %65, %60, %51
br label %71
71: ; preds = %70, %65
%72 = phi i32 [ 0, %70 ], [ %56, %65 ]
%73 = load double, double* %13
%74 = tail call double @llvm.fabs.f64(double %73)
%75 = fcmp ogt double %74, 1.000000e+00
br i1 %75, label %86, label %76
76: ; preds = %71
%77 = getelementptr inbounds double, double* %13, i64 1
%78 = load double, double* %77
%79 = tail call double @llvm.fabs.f64(double %78)
%80 = fcmp ogt double %79, 1.000000e+00
br i1 %80, label %86, label %81
81: ; preds = %76
%82 = getelementptr inbounds double, double* %13, i64 2
%83 = load double, double* %82
%84 = tail call double @llvm.fabs.f64(double %83)
%85 = fcmp ogt double %84, 1.000000e+00
br i1 %85, label %86, label %87
86: ; preds = %81, %76, %71
br label %87
87: ; preds = %86, %81
%88 = phi i32 [ 0, %86 ], [ %72, %81 ]
%89 = load double, double* %9
%90 = fcmp olt double %89, %1
br i1 %90, label %98, label %91
91: ; preds = %87
%92 = fcmp olt double %57, %1
%93 = fcmp ogt double %73, %2
%94 = select i1 %92, i1 true, i1 %93
%95 = select i1 %94, i32 0, i32 %88
%96 = load double, double* %10
%97 = fcmp ogt double %96, %2
br i1 %97, label %98, label %99
98: ; preds = %91, %87
br label %99
99: ; preds = %98, %91
%100 = phi i32 [ 0, %98 ], [ %95, %91 ]
ret i32 %100
}