blob: 6fb0b2281ab52dc7d2b60e1691413d700e6c84ad [file] [log] [blame]
; RUN: llc -verify-machineinstrs < %s
; PR30911
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
target triple = "armv6kz--linux-gnueabihf"
; Function Attrs: nounwind
define void @dradbg(i32, i32, float*, float*, float*, float*, float*) #0 {
br i1 undef, label %.critedge, label %8
.critedge: ; preds = %7
%.mux2 = select i1 undef, i1 undef, i1 true
br label %8
; <label>:8: ; preds = %.critedge, %7
%9 = getelementptr float, float* %3, i64 undef
%10 = ptrtoint float* %9 to i32
%11 = icmp ule i32 %10, undef
%12 = getelementptr float, float* %5, i64 undef
%13 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 undef, i64 undef)
%14 = extractvalue { i64, i1 } %13, 0
%15 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %14, i64 1)
%16 = extractvalue { i64, i1 } %15, 0
%17 = icmp slt i64 1, %16
%18 = select i1 %17, i64 1, i64 %16
%19 = sext i32 %1 to i64
%20 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %18, i64 %19)
%21 = extractvalue { i64, i1 } %20, 0
%22 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %21, i64 0)
%23 = extractvalue { i64, i1 } %22, 0
%24 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %23, i64 undef)
%25 = extractvalue { i64, i1 } %24, 0
%26 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %25, i64 0)
%27 = extractvalue { i64, i1 } %26, 0
%28 = getelementptr float, float* %3, i64 %27
%29 = ptrtoint float* %12 to i32
%30 = ptrtoint float* %28 to i32
%31 = icmp ule i32 %29, %30
%32 = or i1 %11, %31
%33 = and i1 false, %32
%34 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 0, i64 undef)
%35 = extractvalue { i64, i1 } %34, 0
%36 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %35, i64 1)
%37 = extractvalue { i64, i1 } %36, 0
%38 = icmp slt i64 1, %37
%39 = select i1 %38, i64 1, i64 %37
%40 = sext i32 %1 to i64
%41 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %39, i64 %40)
%42 = extractvalue { i64, i1 } %41, 0
%43 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %42, i64 0)
%44 = extractvalue { i64, i1 } %43, 0
%45 = sext i32 %0 to i64
%46 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %44, i64 %45)
%47 = extractvalue { i64, i1 } %46, 0
%48 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %47, i64 0)
%49 = extractvalue { i64, i1 } %48, 0
%50 = getelementptr float, float* %5, i64 %49
%51 = ptrtoint float* %50 to i32
%52 = icmp ule i32 undef, %51
%53 = getelementptr float, float* %4, i64 undef
%54 = ptrtoint float* %53 to i32
%55 = icmp ule i32 undef, %54
%56 = or i1 %52, %55
%57 = and i1 %33, %56
%58 = getelementptr float, float* %2, i64 undef
%59 = ptrtoint float* %58 to i32
%60 = icmp ule i32 %59, undef
%61 = select i1 undef, i64 undef, i64 0
%62 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %61, i64 undef)
%63 = extractvalue { i64, i1 } %62, 0
%64 = call { i64, i1 } @llvm.ssub.with.overflow.i64(i64 undef, i64 1)
%65 = extractvalue { i64, i1 } %64, 0
%66 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %63, i64 %65)
%67 = extractvalue { i64, i1 } %66, 0
%68 = sext i32 %0 to i64
%69 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %67, i64 %68)
%70 = extractvalue { i64, i1 } %69, 0
%71 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %70, i64 0)
%72 = extractvalue { i64, i1 } %71, 0
%73 = getelementptr float, float* %5, i64 %72
%74 = ptrtoint float* %73 to i32
%75 = icmp ule i32 %74, undef
%76 = or i1 %60, %75
%77 = and i1 %57, %76
%78 = getelementptr float, float* %6, i64 undef
%79 = ptrtoint float* %78 to i32
%80 = icmp ule i32 %79, undef
%81 = getelementptr float, float* %5, i64 undef
%82 = ptrtoint float* %81 to i32
%83 = icmp ule i32 %82, undef
%84 = or i1 %80, %83
%85 = and i1 %77, %84
%86 = and i1 %85, undef
%87 = and i1 %86, undef
%88 = and i1 %87, undef
%89 = and i1 %88, undef
%90 = and i1 %89, undef
%91 = and i1 %90, undef
%92 = and i1 %91, undef
%93 = and i1 %92, undef
%94 = and i1 %93, undef
%95 = and i1 %94, undef
br i1 %95, label %97, label %96
; <label>:96: ; preds = %8
br i1 undef, label %.critedge122, label %.critedge110
.critedge122: ; preds = %.critedge122, %96
br i1 false, label %.critedge122, label %.critedge110
.critedge110: ; preds = %.critedge219, %97, %.critedge122, %96
ret void
; <label>:97: ; preds = %8
br i1 undef, label %.critedge219, label %.critedge110
.critedge219: ; preds = %.critedge219, %97
%.pr287 = phi i1 [ undef, %.critedge219 ], [ true, %97 ]
br i1 %.pr287, label %.critedge219, label %.critedge110
}
; Function Attrs: nounwind readnone
declare { i64, i1 } @llvm.smul.with.overflow.i64(i64, i64) #1
; Function Attrs: nounwind readnone
declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64) #1
; Function Attrs: nounwind readnone
declare { i64, i1 } @llvm.ssub.with.overflow.i64(i64, i64) #1
attributes #0 = { 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-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "polly-optimized" "stack-protector-buffer-size"="8" "target-cpu"="arm1176jzf-s" "target-features"="+dsp,+strict-align,+vfp2" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { nounwind readnone }
!llvm.ident = !{!0}
!0 = !{!"clang version 4.0.0 (trunk 285923) (llvm/trunk 285921)"}