1; RUN: llc -verify-machineinstrs < %s
2; PR30911
3
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: nounwind
8define 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
123declare { i64, i1 } @llvm.smul.with.overflow.i64(i64, i64) #1
124
125; Function Attrs: nounwind readnone
126declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64) #1
127
128; Function Attrs: nounwind readnone
129declare { i64, i1 } @llvm.ssub.with.overflow.i64(i64, i64) #1
130
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" "unsafe-fp-math"="false" "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