; ModuleID = '../tests/IntToFloat/mul.c'
source_filename = "../tests/IntToFloat/mul.c"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

; Function Attrs: norecurse nounwind uwtable
define i32 @main(i32 %argc, i8** nocapture readonly %argv) local_unnamed_addr #0 {
entry:
  %arrayidx = getelementptr inbounds i8*, i8** %argv, i64 1
  %0 = load i8*, i8** %arrayidx, align 8, !tbaa !1
  %call.i = tail call i64 @strtol(i8* nocapture nonnull %0, i8** null, i32 10) #2
  %conv.i = trunc i64 %call.i to i32
  %1 = sitofp i32 %argc to double
  %2 = sitofp i32 %conv.i to double
  %3 = fmul double %1, %2
  %4 = fcmp ult double %3, 0x4340000000000000
  br i1 %4, label %BBelse, label %BBend

BBelse:                                           ; preds = %entry
  %5 = fcmp ogt double %3, 0x41F0000000000000
  %6 = frem double %3, 0x41F0000000000000
  %.1 = select i1 %5, double %6, double %3
  %7 = fcmp ogt double %.1, 0x41DFFFFFFFC00000
  %8 = fadd double %.1, 0xC1E0000000000000
  %9 = fadd double %8, 0xC1E0000000000000
  %.2 = select i1 %7, double %9, double %.1
  %10 = fcmp olt double %3, 0xC1E0000000000000
  br i1 %10, label %BBSMin, label %BBend

BBend:                                            ; preds = %entry, %BBelse, %BBSMin
  %.0 = phi double [ %13, %BBSMin ], [ %.2, %BBelse ], [ undef, %entry ]
  %11 = fptosi double %.0 to i32
  %cmp = icmp ne i32 %11, 20
  %conv = zext i1 %cmp to i32
  ret i32 %conv

BBSMin:                                           ; preds = %BBelse
  %12 = fadd double %.2, 0x41DFFFFFFFC00000
  %13 = fadd double %12, 0x41E0000000200000
  br label %BBend
}

; Function Attrs: nounwind
declare i64 @strtol(i8* readonly, i8** nocapture, i32) local_unnamed_addr #1

attributes #0 = { norecurse nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "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"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "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"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #2 = { nounwind }

!llvm.ident = !{!0}

!0 = !{!"clang version 4.0.0 (https://github.com/llvm-mirror/clang 98d4f7f7bd5b8b7a797c5adbf8f39e3505cd94d5) (https://github.com/llvm-mirror/llvm 5e6a4929c6dd212b9be713f23313604aacb1822d)"}
!1 = !{!2, !2, i64 0}
!2 = !{!"any pointer", !3, i64 0}
!3 = !{!"omnipotent char", !4, i64 0}
!4 = !{!"Simple C++ TBAA"}