#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 fabs(double);
double cond1(int m, int a[], double p[], double pp[][20], int *idt) {
  double A[300][300];
  double det, tem, tol;
  int i, j;
  void gepp(double[][300], int, int, double *, double);
  tol = 1.e-8;
  for (i = 1; i < m; i++) {
    A[i][m] = pp[a[i]][a[m]];
    A[i][i] = pp[a[i]][a[i]];
  }
  for (i = 1; i < m - 1; i++) {
    for (j = i + 1; j < m; j++) {
      A[i][j] = pp[a[i]][a[j]];
      A[j][i] = A[i][j];
    }
  }
  *idt = 1;
  gepp(A, m - 1, m, &det, tol);
  if (fabs(det) == 0.) {
    *idt = 0;
  }
  for (i = 1, tem = 0.; i < m; i++)
    tem += A[i][m] * (1. - p[a[i]]);
  tem += p[a[m]];
  if (tem > 1.)
    tem = 1;
  if (tem < 0.)
    tem = 0.;
  return (tem);
}


x86 assembly (clang, -O0):
<cond1>:
push   %rbp
mov    %rsp,%rbp
sub    $0xafcd0,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
movsd  0xeba(%rip),%xmm0
movsd  %xmm0,-0xafcc8(%rbp)
ff
movl   $0x1,-0xafccc(%rbp)
mov    -0xafccc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    121f <cond1+0xff>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafccc(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0x4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
movslq -0xafccc(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0x4(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafccc(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafccc(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
movslq -0xafccc(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0xafccc(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0xafccc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafccc(%rbp)
jmp    1158 <cond1+0x38>
movl   $0x1,-0xafccc(%rbp)
mov    -0xafccc(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1325 <cond1+0x205>
mov    -0xafccc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcd0(%rbp)
mov    -0xafcd0(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    130c <cond1+0x1ec>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafccc(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq -0xafcd0(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
movslq -0xafccc(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0xafcd0(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movslq -0xafccc(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0xafcd0(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movslq -0xafcd0(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0xafccc(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0xafcd0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafcd0(%rbp)
jmp    124c <cond1+0x12c>
jmp    1311 <cond1+0x1f1>
mov    -0xafccc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafccc(%rbp)
jmp    1229 <cond1+0x109>
mov    -0x28(%rbp),%rax
movl   $0x1,(%rax)
lea    -0xafcb0(%rbp),%rdi
mov    -0x4(%rbp),%esi
sub    $0x1,%esi
mov    -0x4(%rbp),%edx
movsd  -0xafcc8(%rbp),%xmm0
ff
lea    -0xafcb8(%rbp),%rcx
call   1040 <gepp@plt>
movsd  -0xafcb8(%rbp),%xmm0
ff
call   1030 <fabs@plt>
cvtsi2sd %eax,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1381 <cond1+0x261>
jp     1381 <cond1+0x261>
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
movl   $0x1,-0xafccc(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xafcc0(%rbp)
ff
mov    -0xafccc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1412 <cond1+0x2f2>
movslq -0xafccc(%rbp),%rcx
lea    -0xafcb0(%rbp),%rax
imul   $0x960,%rcx,%rcx
add    %rcx,%rax
movslq -0x4(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0xafccc(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  0xc27(%rip),%xmm2
subsd  (%rax,%rcx,8),%xmm2
movsd  -0xafcc0(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xafcc0(%rbp)
ff
mov    -0xafccc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xafccc(%rbp)
jmp    1396 <cond1+0x276>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x4(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0xafcc0(%rbp),%xmm0
ff
movsd  %xmm0,-0xafcc0(%rbp)
ff
movsd  -0xafcc0(%rbp),%xmm0
ff
movsd  0xbc1(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1461 <cond1+0x341>
movsd  0xbaf(%rip),%xmm0
movsd  %xmm0,-0xafcc0(%rbp)
ff
xorps  %xmm0,%xmm0
ucomisd -0xafcc0(%rbp),%xmm0
ff
jbe    147d <cond1+0x35d>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0xafcc0(%rbp)
ff
movsd  -0xafcc0(%rbp),%xmm0
ff
add    $0xafcd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<cond1>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xafca8,%rsp
mov    %r8,%r12
mov    %rdx,%r14
mov    %rsi,%r13
mov    %edi,%r15d
cmp    $0x1,%edi
jle    12f2 <cond1+0x1d2>
mov    %r15d,%eax
movslq 0x0(%r13,%rax,4),%rdx
mov    %rax,(%rsp)
lea    -0x1(%rax),%r9
mov    $0x1,%esi
cmp    $0x2,%r15d
je     1205 <cond1+0xe5>
mov    (%rsp),%rax
lea    (%rsp,%rax,8),%rdi
add    $0x12e0,%rdi
lea    0x988(%rsp),%rbx
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
neg    %r10
mov    $0x1,%esi
nopl   0x0(%rax,%rax,1)
movslq 0x0(%r13,%rsi,4),%rbp
lea    0x0(,%rbp,4),%rax
add    %rbp,%rax
shl    $0x5,%rax
add    %rcx,%rax
movsd  (%rax,%rdx,8),%xmm0
movsd  %xmm0,-0x960(%rdi)
ff
movsd  (%rax,%rbp,8),%xmm0
movsd  %xmm0,(%rbx)
movslq 0x4(%r13,%rsi,4),%rax
lea    (%rax,%rax,4),%rbp
shl    $0x5,%rbp
add    %rcx,%rbp
movsd  0x0(%rbp,%rdx,8),%xmm0
movsd  %xmm0,(%rdi)
movsd  0x0(%rbp,%rax,8),%xmm0
movsd  %xmm0,0x968(%rbx)
add    $0x12c0,%rdi
add    $0x12d0,%rbx
lea    (%r10,%rsi,1),%rax
add    $0x2,%rax
add    $0x2,%rsi
cmp    $0x1,%rax
jne    1190 <cond1+0x70>
test   $0x1,%r9b
je     1241 <cond1+0x121>
movslq 0x0(%r13,%rsi,4),%rax
lea    (%rax,%rax,4),%rdi
shl    $0x5,%rdi
add    %rcx,%rdi
movsd  (%rdi,%rdx,8),%xmm0
imul   $0x960,%rsi,%rdx
add    %rsp,%rdx
add    $0x20,%rdx
mov    (%rsp),%rbp
movsd  %xmm0,(%rdx,%rbp,8)
movsd  (%rdi,%rax,8),%xmm0
movsd  %xmm0,(%rdx,%rsi,8)
lea    -0x1(%r15),%esi
cmp    $0x3,%r15d
jl     1302 <cond1+0x1e2>
mov    %r12,0x8(%rsp)
mov    %r15,0x10(%rsp)
mov    %esi,%r9d
lea    0x8(%r13),%rdi
lea    0x990(%rsp),%rax
lea    0x12e8(%rsp),%r11
mov    (%rsp),%rdx
lea    -0x2(%rdx),%rbx
mov    $0x1,%r10d
jmp    129a <cond1+0x17a>
add    $0x4,%rdi
add    $0x968,%rax
add    $0x968,%r11
add    $0xffffffffffffffff,%rbx
cmp    %r9,%r10
je     12f8 <cond1+0x1d8>
mov    %r10,%rdx
add    $0x1,%r10
cmp    (%rsp),%r10
jae    1280 <cond1+0x160>
movslq 0x0(%r13,%rdx,4),%rdx
mov    %r11,%rbp
xor    %r12d,%r12d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movslq (%rdi,%r12,4),%r15
lea    (%rdx,%rdx,4),%r8
shl    $0x5,%r8
add    %rcx,%r8
movsd  (%r8,%r15,8),%xmm0
movsd  %xmm0,(%rax,%r12,8)
movsd  %xmm0,0x0(%rbp)
add    $0x1,%r12
add    $0x960,%rbp
cmp    %r12,%rbx
jne    12c0 <cond1+0x1a0>
jmp    1280 <cond1+0x160>
lea    -0x1(%r15),%esi
jmp    1302 <cond1+0x1e2>
mov    0x10(%rsp),%r15
mov    0x8(%rsp),%r12
movl   $0x1,(%r12)
lea    0x20(%rsp),%rdi
lea    0x18(%rsp),%rcx
movsd  0xce4(%rip),%xmm0
mov    %r15d,%edx
call   1040 <gepp@plt>
movsd  0x18(%rsp),%xmm0
call   1030 <fabs@plt>
test   %eax,%eax
je     1354 <cond1+0x234>
cmp    $0x1,%r15d
jle    1362 <cond1+0x242>
mov    %r15d,%eax
lea    -0x1(%rax),%rcx
cmp    $0x2,%r15d
jne    136e <cond1+0x24e>
xorpd  %xmm0,%xmm0
mov    $0x1,%edx
jmp    13eb <cond1+0x2cb>
movl   $0x0,(%r12)
cmp    $0x1,%r15d
jg     1339 <cond1+0x219>
movslq %r15d,%rax
xorpd  %xmm0,%xmm0
jmp    141a <cond1+0x2fa>
lea    (%rsp,%rax,8),%rsi
add    $0x12e0,%rsi
mov    %rcx,%rdi
and    $0xfffffffffffffffe,%rdi
neg    %rdi
xorpd  %xmm0,%xmm0
mov    $0x1,%edx
movsd  0xc74(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movslq 0x0(%r13,%rdx,4),%rbp
movapd %xmm1,%xmm2
subsd  (%r14,%rbp,8),%xmm2
mulsd  -0x960(%rsi),%xmm2
ff
addsd  %xmm0,%xmm2
movslq 0x4(%r13,%rdx,4),%rbp
movapd %xmm1,%xmm0
subsd  (%r14,%rbp,8),%xmm0
mulsd  (%rsi),%xmm0
addsd  %xmm2,%xmm0
add    $0x12c0,%rsi
lea    (%rdi,%rdx,1),%rbp
add    $0x2,%rbp
add    $0x2,%rdx
cmp    $0x1,%rbp
jne    13a0 <cond1+0x280>
test   $0x1,%cl
je     141a <cond1+0x2fa>
imul   $0x960,%rdx,%rcx
movslq 0x0(%r13,%rdx,4),%rdx
movsd  0xc04(%rip),%xmm1
subsd  (%r14,%rdx,8),%xmm1
add    %rsp,%rcx
add    $0x20,%rcx
mulsd  (%rcx,%rax,8),%xmm1
addsd  %xmm1,%xmm0
movslq 0x0(%r13,%rax,4),%rax
addsd  (%r14,%rax,8),%xmm0
movsd  0xbdb(%rip),%xmm1
minsd  %xmm0,%xmm1
xorpd  %xmm0,%xmm0
maxsd  %xmm1,%xmm0
add    $0xafca8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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