; ModuleID = 'test.ibc.opt.1'
source_filename = "llvm-link"
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.14.0"

; Function Attrs: noinline nounwind ssp uwtable
define void @solve(float* %a, float* %b, float* %c, float* %d, float* %e, i32 %n) #0 {
entry:
  br label %for.cond

for.cond:                                         ; preds = %for.inc, %entry
  %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
  %cmp = icmp slt i32 %i.0, %n
  br i1 %cmp, label %for.body, label %for.end

for.body:                                         ; preds = %for.cond
  %tmp = zext i32 %i.0 to i64
  %arrayidx = getelementptr inbounds float, float* %b, i64 %tmp
  %tmp1 = load float, float* %arrayidx, align 4
  %arrayidx2 = getelementptr inbounds float, float* %c, i64 %tmp
  %tmp2 = load float, float* %arrayidx2, align 4
  %add = fadd float %tmp1, %tmp2
  %arrayidx4 = getelementptr inbounds float, float* %d, i64 %tmp
  %tmp3 = load float, float* %arrayidx4, align 4
  %arrayidx6 = getelementptr inbounds float, float* %e, i64 %tmp
  %tmp4 = load float, float* %arrayidx6, align 4
  %mul = fmul float %tmp3, %tmp4
  %mul7 = fmul float %add, %mul
  %arrayidx9 = getelementptr inbounds float, float* %a, i64 %tmp
  %tmp5 = load float, float* %arrayidx9, align 4
  %add10 = fadd float %tmp5, %mul7
  store float %add10, float* %arrayidx9, align 4
  br label %for.inc

for.inc:                                          ; preds = %2, %for.body
  %inc = add nuw nsw i32 %i.0, 1
  br label %for.cond

for.end:                                          ; preds = %for.cond
  ret void

for.body.opt:                                     ; No predecessors!
  %tmp.opt = zext i32 %i.0 to i64
  %arrayidx.opt = getelementptr inbounds float, float* %b, i64 %tmp
  %tmp1.opt = load float, float* %arrayidx, align 4
  %arrayidx2.opt = getelementptr inbounds float, float* %c, i64 %tmp
  %tmp2.opt = load float, float* %arrayidx2, align 4
  %add.opt = fadd float %tmp1, %tmp2
  %arrayidx4.opt = getelementptr inbounds float, float* %d, i64 %tmp
  %tmp3.opt = load float, float* %arrayidx4, align 4
  %arrayidx6.opt = getelementptr inbounds float, float* %e, i64 %tmp
  %tmp4.opt = load float, float* %arrayidx6, align 4
  %mul.opt = fmul float %tmp3, %tmp4
  %mul7.opt = fmul float %add, %mul
  %arrayidx9.opt = getelementptr inbounds float, float* %a, i64 %tmp
  %tmp5.opt = load float, float* %arrayidx9, align 4
  %add10.opt = fadd float %tmp5, %mul7
  %0 = fcmp one float %tmp4, 0.000000e+00
  br i1 %0, label %1, label %2

; <label>:1:                                      ; preds = %for.body.opt
  store float %add10, float* %arrayidx9, align 4
  br label %2

; <label>:2:                                      ; preds = %for.body.opt, %1
  br label %for.inc
}

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main(i32 %argc, i8** %argv) #0 {
entry:
  %arrayidx = getelementptr inbounds i8*, i8** %argv, i64 1
  %tmp = load i8*, i8** %arrayidx, align 8
  %call = call i32 @atoi(i8* %tmp) #3
  %conv = sext i32 %call to i64
  %mul = shl nsw i64 %conv, 2
  %call1 = call i8* @malloc(i64 %mul) #4
  %tmp1 = bitcast i8* %call1 to float*
  %call4 = call i8* @malloc(i64 %mul) #4
  %tmp2 = bitcast i8* %call4 to float*
  %call7 = call i8* @malloc(i64 %mul) #4
  %tmp3 = bitcast i8* %call7 to float*
  %call10 = call i8* @malloc(i64 %mul) #4
  %tmp4 = bitcast i8* %call10 to float*
  %call13 = call i8* @malloc(i64 %mul) #4
  %tmp5 = bitcast i8* %call13 to float*
  br label %for.cond

for.cond:                                         ; preds = %for.inc, %entry
  %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
  %cmp = icmp slt i32 %i.0, %call
  br i1 %cmp, label %for.body, label %for.end

for.body:                                         ; preds = %for.cond
  %conv15 = sitofp i32 %i.0 to double
  %conv16 = fptrunc double %conv15 to float
  %tmp6 = zext i32 %i.0 to i64
  %arrayidx17 = getelementptr inbounds float, float* %tmp1, i64 %tmp6
  store float %conv16, float* %arrayidx17, align 4
  %arrayidx19 = getelementptr inbounds float, float* %tmp2, i64 %tmp6
  store float 0.000000e+00, float* %arrayidx19, align 4
  %mul21 = fmul double %conv15, 2.000000e+00
  %conv22 = fptrunc double %mul21 to float
  %arrayidx24 = getelementptr inbounds float, float* %tmp3, i64 %tmp6
  store float %conv22, float* %arrayidx24, align 4
  %arrayidx29 = getelementptr inbounds float, float* %tmp4, i64 %tmp6
  store float %conv22, float* %arrayidx29, align 4
  %arrayidx34 = getelementptr inbounds float, float* %tmp5, i64 %tmp6
  store float %conv22, float* %arrayidx34, align 4
  br label %for.inc

for.inc:                                          ; preds = %for.body
  %inc = add nuw nsw i32 %i.0, 1
  br label %for.cond

for.end:                                          ; preds = %for.cond
  call void @solve(float* %tmp1, float* %tmp2, float* %tmp3, float* %tmp4, float* %tmp5, i32 %call)
  ret i32 0
}

declare i32 @atoi(i8*) #1

; Function Attrs: allocsize(0)
declare i8* @malloc(i64) #2

attributes #0 = { noinline nounwind ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="penryn" "target-features"="+cx16,+fxsr,+mmx,+sahf,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="penryn" "target-features"="+cx16,+fxsr,+mmx,+sahf,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #2 = { allocsize(0) "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="penryn" "target-features"="+cx16,+fxsr,+mmx,+sahf,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #3 = { nounwind }
attributes #4 = { nounwind allocsize(0) }

!llvm.ident = !{!0}
!llvm.module.flags = !{!1, !2}

!0 = !{!"clang version 6.0.1 (tags/RELEASE_601/final 342957)"}
!1 = !{i32 1, !"wchar_size", i32 4}
!2 = !{i32 7, !"PIC Level", i32 2}