int l_r_isect(double lin_pt1[2], double lin_pt2[2], double rect_pt1[2],
              double rect_pt2[2]) {
  double r_bl_x, r_bl_y, r_tr_x, r_tr_y;
  double a, b, c, pol1, pol2, pol3, pol4;
  r_bl_x = (rect_pt1[0] < rect_pt2[0]) ? rect_pt1[0] : rect_pt2[0];
  r_bl_y = (rect_pt1[1] < rect_pt2[1]) ? rect_pt1[1] : rect_pt2[1];
  r_tr_x = (rect_pt1[0] > rect_pt2[0]) ? rect_pt1[0] : rect_pt2[0];
  r_tr_y = (rect_pt1[1] > rect_pt2[1]) ? rect_pt1[1] : rect_pt2[1];
  if (((lin_pt1[0] > r_tr_x) && (lin_pt2[0] > r_tr_x)) ||
      ((lin_pt1[1] > r_tr_y) && (lin_pt2[1] > r_tr_y)) ||
      ((lin_pt1[0] < r_bl_x) && (lin_pt2[0] < r_bl_x)) ||
      ((lin_pt1[1] < r_bl_y) && (lin_pt2[1] < r_bl_y))) {
    return 0;
  } else {
    a = lin_pt2[1] - lin_pt1[1];
    b = lin_pt1[0] - lin_pt2[0];
    c = lin_pt2[0] * lin_pt1[1] - lin_pt1[0] * lin_pt2[1];
    pol1 = a * rect_pt1[0] + b * rect_pt1[1] + c;
    pol2 = a * rect_pt1[0] + b * rect_pt2[1] + c;
    pol3 = a * rect_pt2[0] + b * rect_pt1[1] + c;
    pol4 = a * rect_pt2[0] + b * rect_pt2[1] + c;
    if (((pol1 >= 0) && (pol2 >= 0) && (pol3 >= 0) && (pol4 >= 0)) ||
        ((pol1 < 0) && (pol2 < 0) && (pol3 < 0) && (pol4 < 0))) {
      return 0;
    }
    return 1;
  }
}


x86 assembly (clang, -O0):
<l_r_isect>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm1
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    1147 <l_r_isect+0x47>
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
jmp    1157 <l_r_isect+0x57>
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0x30(%rbp)
mov    -0x20(%rbp),%rax
movsd  0x8(%rax),%xmm1
mov    -0x28(%rbp),%rax
movsd  0x8(%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    1196 <l_r_isect+0x96>
mov    -0x20(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
jmp    11a7 <l_r_isect+0xa7>
mov    -0x28(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x90(%rbp),%xmm0
ff
movsd  %xmm0,-0x38(%rbp)
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x28(%rbp),%rax
ucomisd (%rax),%xmm0
jbe    11df <l_r_isect+0xdf>
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
jmp    11ef <l_r_isect+0xef>
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
movsd  %xmm0,-0x40(%rbp)
mov    -0x20(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x28(%rbp),%rax
ucomisd 0x8(%rax),%xmm0
jbe    122a <l_r_isect+0x12a>
mov    -0x20(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
jmp    123b <l_r_isect+0x13b>
mov    -0x28(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0xa0(%rbp),%xmm0
ff
movsd  %xmm0,-0x48(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd -0x40(%rbp),%xmm0
jbe    126e <l_r_isect+0x16e>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd -0x40(%rbp),%xmm0
ja     12f4 <l_r_isect+0x1f4>
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
ucomisd -0x48(%rbp),%xmm0
jbe    1296 <l_r_isect+0x196>
mov    -0x18(%rbp),%rax
movsd  0x8(%rax),%xmm0
ucomisd -0x48(%rbp),%xmm0
ja     12f4 <l_r_isect+0x1f4>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm1
movsd  -0x30(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    12c4 <l_r_isect+0x1c4>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm1
movsd  -0x30(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     12f4 <l_r_isect+0x1f4>
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm1
movsd  -0x38(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1300 <l_r_isect+0x200>
mov    -0x18(%rbp),%rax
movsd  0x8(%rax),%xmm1
movsd  -0x38(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1300 <l_r_isect+0x200>
movl   $0x0,-0x4(%rbp)
jmp    14b9 <l_r_isect+0x3b9>
mov    -0x18(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x10(%rbp),%rax
subsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
subsd  (%rax),%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm2
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm1
mov    -0x18(%rbp),%rax
mulsd  0x8(%rax),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x50(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm2
movsd  -0x58(%rbp),%xmm1
mov    -0x20(%rbp),%rax
mulsd  0x8(%rax),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x50(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm2
movsd  -0x58(%rbp),%xmm1
mov    -0x28(%rbp),%rax
mulsd  0x8(%rax),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x50(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm2
movsd  -0x58(%rbp),%xmm1
mov    -0x20(%rbp),%rax
mulsd  0x8(%rax),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x50(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm2
movsd  -0x58(%rbp),%xmm1
mov    -0x28(%rbp),%rax
mulsd  0x8(%rax),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x68(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     146e <l_r_isect+0x36e>
movsd  -0x70(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     146e <l_r_isect+0x36e>
movsd  -0x78(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     146e <l_r_isect+0x36e>
movsd  -0x80(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jae    14a6 <l_r_isect+0x3a6>
xorps  %xmm0,%xmm0
ucomisd -0x68(%rbp),%xmm0
jbe    14b2 <l_r_isect+0x3b2>
xorps  %xmm0,%xmm0
ucomisd -0x70(%rbp),%xmm0
jbe    14b2 <l_r_isect+0x3b2>
xorps  %xmm0,%xmm0
ucomisd -0x78(%rbp),%xmm0
jbe    14b2 <l_r_isect+0x3b2>
xorps  %xmm0,%xmm0
ucomisd -0x80(%rbp),%xmm0
jbe    14b2 <l_r_isect+0x3b2>
movl   $0x0,-0x4(%rbp)
jmp    14b9 <l_r_isect+0x3b9>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<l_r_isect>:
movsd  (%rdx),%xmm0
movsd  0x8(%rdx),%xmm3
movsd  (%rcx),%xmm1
movsd  0x8(%rcx),%xmm8
movapd %xmm0,%xmm4
maxsd  %xmm1,%xmm4
movsd  (%rdi),%xmm2
ucomisd %xmm4,%xmm2
jbe    1131 <l_r_isect+0x31>
movsd  (%rsi),%xmm5
xor    %eax,%eax
ucomisd %xmm4,%xmm5
ja     1184 <l_r_isect+0x84>
movapd %xmm3,%xmm4
maxsd  %xmm8,%xmm4
movsd  0x8(%rdi),%xmm7
ucomisd %xmm4,%xmm7
jbe    1152 <l_r_isect+0x52>
movsd  0x8(%rsi),%xmm5
xor    %eax,%eax
ucomisd %xmm4,%xmm5
ja     1184 <l_r_isect+0x84>
movapd %xmm0,%xmm4
minsd  %xmm1,%xmm4
ucomisd %xmm2,%xmm4
jbe    1168 <l_r_isect+0x68>
xor    %eax,%eax
ucomisd (%rsi),%xmm4
ja     1184 <l_r_isect+0x84>
movapd %xmm3,%xmm5
minsd  %xmm8,%xmm5
xor    %eax,%eax
ucomisd %xmm7,%xmm5
movsd  0x8(%rsi),%xmm4
jbe    1185 <l_r_isect+0x85>
ucomisd %xmm4,%xmm5
jbe    1185 <l_r_isect+0x85>
ret
movapd %xmm4,%xmm5
subsd  %xmm7,%xmm5
movsd  (%rsi),%xmm6
mulsd  %xmm2,%xmm4
subsd  %xmm6,%xmm2
mulsd  %xmm7,%xmm6
subsd  %xmm4,%xmm6
unpcklpd %xmm8,%xmm3
unpcklpd %xmm2,%xmm2
mulpd  %xmm3,%xmm2
mulsd  %xmm5,%xmm0
unpcklpd %xmm0,%xmm0
addpd  %xmm2,%xmm0
mulsd  %xmm1,%xmm5
unpcklpd %xmm5,%xmm5
addpd  %xmm2,%xmm5
unpcklpd %xmm6,%xmm6
addpd  %xmm6,%xmm5
addpd  %xmm0,%xmm6
xorpd  %xmm0,%xmm0
xorpd  %xmm1,%xmm1
cmpnlepd %xmm5,%xmm1
xorpd  %xmm2,%xmm2
cmpnlepd %xmm6,%xmm2
packssdw %xmm1,%xmm2
movmskps %xmm2,%ecx
test   %ecx,%ecx
je     1184 <l_r_isect+0x84>
cmpnltpd %xmm0,%xmm6
cmpnltpd %xmm0,%xmm5
packssdw %xmm5,%xmm6
movmskps %xmm6,%ecx
xor    %eax,%eax
test   %ecx,%ecx
setne  %al
ret

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

LLVM IR (-O2):
define i32 @l_r_isect(double* nocapture %0, double* nocapture %1, double* nocapture %2, double* nocapture %3) {
%5 = load double, double* %2
%6 = load double, double* %3
%7 = fcmp olt double %5, %6
%8 = select i1 %7, double %5, double %6
%9 = getelementptr inbounds double, double* %2, i64 1
%10 = load double, double* %9
%11 = getelementptr inbounds double, double* %3, i64 1
%12 = load double, double* %11
%13 = fcmp olt double %10, %12
%14 = select i1 %13, double %10, double %12
%15 = fcmp ogt double %5, %6
%16 = select i1 %15, double %5, double %6
%17 = fcmp ogt double %10, %12
%18 = select i1 %17, double %10, double %12
%19 = load double, double* %0
%20 = fcmp ogt double %19, %16
br i1 %20, label %21, label %24
21: ; preds = %4
%22 = load double, double* %1
%23 = fcmp ogt double %22, %16
br i1 %23, label %74, label %24
24: ; preds = %21, %4
%25 = getelementptr inbounds double, double* %0, i64 1
%26 = load double, double* %25
%27 = fcmp ogt double %26, %18
br i1 %27, label %28, label %32
28: ; preds = %24
%29 = getelementptr inbounds double, double* %1, i64 1
%30 = load double, double* %29
%31 = fcmp ogt double %30, %18
br i1 %31, label %74, label %32
32: ; preds = %28, %24
%33 = fcmp olt double %19, %8
br i1 %33, label %34, label %37
34: ; preds = %32
%35 = load double, double* %1
%36 = fcmp olt double %35, %8
br i1 %36, label %74, label %37
37: ; preds = %34, %32
%38 = fcmp olt double %26, %14
%39 = getelementptr inbounds double, double* %1, i64 1
%40 = load double, double* %39
%41 = fcmp olt double %40, %14
%42 = select i1 %38, i1 %41, i1 false
br i1 %42, label %74, label %43
43: ; preds = %37
%44 = fsub double %40, %26
%45 = load double, double* %1
%46 = fsub double %19, %45
%47 = fneg double %19
%48 = fmul double %40, %47
%49 = tail call double @llvm.fmuladd.f64(double %45, double %26, double %48)
%50 = insertelement <2 x double> poison, double %10, i64 0
%51 = insertelement <2 x double> %50, double %12, i64 1
%52 = insertelement <2 x double> poison, double %46, i64 0
%53 = shufflevector <2 x double> %52, <2 x double> poison, <2 x i32> zeroinitializer
%54 = fmul <2 x double> %51, %53
%55 = shufflevector <2 x double> %54, <2 x double> poison, <4 x i32> <i32 0, i32 1, i32 0, i32 1>
%56 = insertelement <4 x double> poison, double %44, i64 0
%57 = shufflevector <4 x double> %56, <4 x double> poison, <4 x i32> zeroinitializer
%58 = insertelement <4 x double> poison, double %5, i64 0
%59 = insertelement <4 x double> %58, double %6, i64 1
%60 = shufflevector <4 x double> %59, <4 x double> poison, <4 x i32> <i32 0, i32 0, i32 1, i32 1>
%61 = call <4 x double> @llvm.fmuladd.v4f64(<4 x double> %57, <4 x double> %60, <4 x double> %55)
%62 = insertelement <4 x double> poison, double %49, i64 0
%63 = shufflevector <4 x double> %62, <4 x double> poison, <4 x i32> zeroinitializer
%64 = fadd <4 x double> %63, %61
%65 = freeze <4 x double> %64
%66 = fcmp ult <4 x double> %65, zeroinitializer
%67 = bitcast <4 x i1> %66 to i4
%68 = icmp eq i4 %67, 0
br i1 %68, label %74, label %69
69: ; preds = %43
%70 = fcmp uge <4 x double> %65, zeroinitializer
%71 = bitcast <4 x i1> %70 to i4
%72 = icmp ne i4 %71, 0
%73 = zext i1 %72 to i32
br label %74
74: ; preds = %37, %69, %43, %21, %28, %34
%75 = phi i32 [ 0, %34 ], [ 0, %28 ], [ 0, %21 ], [ 0, %43 ], [ %73, %69 ], [ 0, %37 ]
ret i32 %75
}