1 ; RUN: llc -verify-machineinstrs < %s 2 ; PR30911 3 4 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" 5 target triple = "armv6kz--linux-gnueabihf" 6 7 ; Function Attrs: nounwind 8 define void @dradbg(i32, i32, float*, float*, float*, float*, float*) #0 { 9 br i1 undef, label %.critedge, label %8 10 11 .critedge: ; preds = %7 12 %.mux2 = select i1 undef, i1 undef, i1 true 13 br label %8 14 15 ; <label>:8: ; preds = %.critedge, %7 16 %9 = getelementptr float, float* %3, i64 undef 17 %10 = ptrtoint float* %9 to i32 18 %11 = icmp ule i32 %10, undef 19 %12 = getelementptr float, float* %5, i64 undef 20 %13 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 undef, i64 undef) 21 %14 = extractvalue { i64, i1 } %13, 0 22 %15 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %14, i64 1) 23 %16 = extractvalue { i64, i1 } %15, 0 24 %17 = icmp slt i64 1, %16 25 %18 = select i1 %17, i64 1, i64 %16 26 %19 = sext i32 %1 to i64 27 %20 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %18, i64 %19) 28 %21 = extractvalue { i64, i1 } %20, 0 29 %22 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %21, i64 0) 30 %23 = extractvalue { i64, i1 } %22, 0 31 %24 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %23, i64 undef) 32 %25 = extractvalue { i64, i1 } %24, 0 33 %26 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %25, i64 0) 34 %27 = extractvalue { i64, i1 } %26, 0 35 %28 = getelementptr float, float* %3, i64 %27 36 %29 = ptrtoint float* %12 to i32 37 %30 = ptrtoint float* %28 to i32 38 %31 = icmp ule i32 %29, %30 39 %32 = or i1 %11, %31 40 %33 = and i1 false, %32 41 %34 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 0, i64 undef) 42 %35 = extractvalue { i64, i1 } %34, 0 43 %36 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %35, i64 1) 44 %37 = extractvalue { i64, i1 } %36, 0 45 %38 = icmp slt i64 1, %37 46 %39 = select i1 %38, i64 1, i64 %37 47 %40 = sext i32 %1 to i64 48 %41 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %39, i64 %40) 49 %42 = extractvalue { i64, i1 } %41, 0 50 %43 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %42, i64 0) 51 %44 = extractvalue { i64, i1 } %43, 0 52 %45 = sext i32 %0 to i64 53 %46 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %44, i64 %45) 54 %47 = extractvalue { i64, i1 } %46, 0 55 %48 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %47, i64 0) 56 %49 = extractvalue { i64, i1 } %48, 0 57 %50 = getelementptr float, float* %5, i64 %49 58 %51 = ptrtoint float* %50 to i32 59 %52 = icmp ule i32 undef, %51 60 %53 = getelementptr float, float* %4, i64 undef 61 %54 = ptrtoint float* %53 to i32 62 %55 = icmp ule i32 undef, %54 63 %56 = or i1 %52, %55 64 %57 = and i1 %33, %56 65 %58 = getelementptr float, float* %2, i64 undef 66 %59 = ptrtoint float* %58 to i32 67 %60 = icmp ule i32 %59, undef 68 %61 = select i1 undef, i64 undef, i64 0 69 %62 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %61, i64 undef) 70 %63 = extractvalue { i64, i1 } %62, 0 71 %64 = call { i64, i1 } @llvm.ssub.with.overflow.i64(i64 undef, i64 1) 72 %65 = extractvalue { i64, i1 } %64, 0 73 %66 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %63, i64 %65) 74 %67 = extractvalue { i64, i1 } %66, 0 75 %68 = sext i32 %0 to i64 76 %69 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %67, i64 %68) 77 %70 = extractvalue { i64, i1 } %69, 0 78 %71 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %70, i64 0) 79 %72 = extractvalue { i64, i1 } %71, 0 80 %73 = getelementptr float, float* %5, i64 %72 81 %74 = ptrtoint float* %73 to i32 82 %75 = icmp ule i32 %74, undef 83 %76 = or i1 %60, %75 84 %77 = and i1 %57, %76 85 %78 = getelementptr float, float* %6, i64 undef 86 %79 = ptrtoint float* %78 to i32 87 %80 = icmp ule i32 %79, undef 88 %81 = getelementptr float, float* %5, i64 undef 89 %82 = ptrtoint float* %81 to i32 90 %83 = icmp ule i32 %82, undef 91 %84 = or i1 %80, %83 92 %85 = and i1 %77, %84 93 %86 = and i1 %85, undef 94 %87 = and i1 %86, undef 95 %88 = and i1 %87, undef 96 %89 = and i1 %88, undef 97 %90 = and i1 %89, undef 98 %91 = and i1 %90, undef 99 %92 = and i1 %91, undef 100 %93 = and i1 %92, undef 101 %94 = and i1 %93, undef 102 %95 = and i1 %94, undef 103 br i1 %95, label %97, label %96 104 105 ; <label>:96: ; preds = %8 106 br i1 undef, label %.critedge122, label %.critedge110 107 108 .critedge122: ; preds = %.critedge122, %96 109 br i1 false, label %.critedge122, label %.critedge110 110 111 .critedge110: ; preds = %.critedge219, %97, %.critedge122, %96 112 ret void 113 114 ; <label>:97: ; preds = %8 115 br i1 undef, label %.critedge219, label %.critedge110 116 117 .critedge219: ; preds = %.critedge219, %97 118 %.pr287 = phi i1 [ undef, %.critedge219 ], [ true, %97 ] 119 br i1 %.pr287, label %.critedge219, label %.critedge110 120 } 121 122 ; Function Attrs: nounwind readnone 123 declare { i64, i1 } @llvm.smul.with.overflow.i64(i64, i64) #1 124 125 ; Function Attrs: nounwind readnone 126 declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64) #1 127 128 ; Function Attrs: nounwind readnone 129 declare { i64, i1 } @llvm.ssub.with.overflow.i64(i64, i64) #1 130 131 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" } 132 attributes #1 = { nounwind readnone } 133 134 !llvm.ident = !{!0} 135 136 !0 = !{!"clang version 4.0.0 (trunk 285923) (llvm/trunk 285921)"} 137
