137 lines · plain
1; RUN: llc -verify-machineinstrs < %s2; PR309113 4target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"5target triple = "armv6kz--linux-gnueabihf"6 7; Function Attrs: nounwind8define void @dradbg(i32, i32, ptr, ptr, ptr, ptr, ptr) #0 {9 br i1 undef, label %.critedge, label %810 11.critedge: ; preds = %712 %.mux2 = select i1 undef, i1 undef, i1 true13 br label %814 15; <label>:8: ; preds = %.critedge, %716 %9 = getelementptr float, ptr %3, i64 undef17 %10 = ptrtoint ptr %9 to i3218 %11 = icmp ule i32 %10, undef19 %12 = getelementptr float, ptr %5, i64 undef20 %13 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 undef, i64 undef)21 %14 = extractvalue { i64, i1 } %13, 022 %15 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %14, i64 1)23 %16 = extractvalue { i64, i1 } %15, 024 %17 = icmp slt i64 1, %1625 %18 = select i1 %17, i64 1, i64 %1626 %19 = sext i32 %1 to i6427 %20 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %18, i64 %19)28 %21 = extractvalue { i64, i1 } %20, 029 %22 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %21, i64 0)30 %23 = extractvalue { i64, i1 } %22, 031 %24 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %23, i64 undef)32 %25 = extractvalue { i64, i1 } %24, 033 %26 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %25, i64 0)34 %27 = extractvalue { i64, i1 } %26, 035 %28 = getelementptr float, ptr %3, i64 %2736 %29 = ptrtoint ptr %12 to i3237 %30 = ptrtoint ptr %28 to i3238 %31 = icmp ule i32 %29, %3039 %32 = or i1 %11, %3140 %33 = and i1 false, %3241 %34 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 0, i64 undef)42 %35 = extractvalue { i64, i1 } %34, 043 %36 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %35, i64 1)44 %37 = extractvalue { i64, i1 } %36, 045 %38 = icmp slt i64 1, %3746 %39 = select i1 %38, i64 1, i64 %3747 %40 = sext i32 %1 to i6448 %41 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %39, i64 %40)49 %42 = extractvalue { i64, i1 } %41, 050 %43 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %42, i64 0)51 %44 = extractvalue { i64, i1 } %43, 052 %45 = sext i32 %0 to i6453 %46 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %44, i64 %45)54 %47 = extractvalue { i64, i1 } %46, 055 %48 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %47, i64 0)56 %49 = extractvalue { i64, i1 } %48, 057 %50 = getelementptr float, ptr %5, i64 %4958 %51 = ptrtoint ptr %50 to i3259 %52 = icmp ule i32 undef, %5160 %53 = getelementptr float, ptr %4, i64 undef61 %54 = ptrtoint ptr %53 to i3262 %55 = icmp ule i32 undef, %5463 %56 = or i1 %52, %5564 %57 = and i1 %33, %5665 %58 = getelementptr float, ptr %2, i64 undef66 %59 = ptrtoint ptr %58 to i3267 %60 = icmp ule i32 %59, undef68 %61 = select i1 undef, i64 undef, i64 069 %62 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %61, i64 undef)70 %63 = extractvalue { i64, i1 } %62, 071 %64 = call { i64, i1 } @llvm.ssub.with.overflow.i64(i64 undef, i64 1)72 %65 = extractvalue { i64, i1 } %64, 073 %66 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %63, i64 %65)74 %67 = extractvalue { i64, i1 } %66, 075 %68 = sext i32 %0 to i6476 %69 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %67, i64 %68)77 %70 = extractvalue { i64, i1 } %69, 078 %71 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %70, i64 0)79 %72 = extractvalue { i64, i1 } %71, 080 %73 = getelementptr float, ptr %5, i64 %7281 %74 = ptrtoint ptr %73 to i3282 %75 = icmp ule i32 %74, undef83 %76 = or i1 %60, %7584 %77 = and i1 %57, %7685 %78 = getelementptr float, ptr %6, i64 undef86 %79 = ptrtoint ptr %78 to i3287 %80 = icmp ule i32 %79, undef88 %81 = getelementptr float, ptr %5, i64 undef89 %82 = ptrtoint ptr %81 to i3290 %83 = icmp ule i32 %82, undef91 %84 = or i1 %80, %8392 %85 = and i1 %77, %8493 %86 = and i1 %85, undef94 %87 = and i1 %86, undef95 %88 = and i1 %87, undef96 %89 = and i1 %88, undef97 %90 = and i1 %89, undef98 %91 = and i1 %90, undef99 %92 = and i1 %91, undef100 %93 = and i1 %92, undef101 %94 = and i1 %93, undef102 %95 = and i1 %94, undef103 br i1 %95, label %97, label %96104 105; <label>:96: ; preds = %8106 br i1 undef, label %.critedge122, label %.critedge110107 108.critedge122: ; preds = %.critedge122, %96109 br i1 false, label %.critedge122, label %.critedge110110 111.critedge110: ; preds = %.critedge219, %97, %.critedge122, %96112 ret void113 114; <label>:97: ; preds = %8115 br i1 undef, label %.critedge219, label %.critedge110116 117.critedge219: ; preds = %.critedge219, %97118 %.pr287 = phi i1 [ undef, %.critedge219 ], [ true, %97 ]119 br i1 %.pr287, label %.critedge219, label %.critedge110120}121 122; Function Attrs: nounwind readnone123declare { i64, i1 } @llvm.smul.with.overflow.i64(i64, i64) #1124 125; Function Attrs: nounwind readnone126declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64) #1127 128; Function Attrs: nounwind readnone129declare { i64, i1 } @llvm.ssub.with.overflow.i64(i64, i64) #1130 131attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "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" "use-soft-float"="false" }132attributes #1 = { nounwind readnone }133 134!llvm.ident = !{!0}135 136!0 = !{!"clang version 4.0.0 (trunk 285923) (llvm/trunk 285921)"}137