Bump version to 19.1.0-rc3
[llvm-project.git] / llvm / test / CodeGen / Thumb2 / LowOverheadLoops / loop-guards.ll
blob342b07e2a19d5c174becb9ae8fd305636b102de2
1 ; RUN: llc -mtriple=thumbv8.1m.main -disable-arm-loloops=false -mattr=+lob -stop-after=arm-low-overhead-loops --verify-machineinstrs %s -o - | FileCheck %s
2 ; RUN: llc -mtriple=thumbv8.1m.main -disable-arm-loloops=false -mattr=+lob -stop-after=arm-low-overhead-loops --verify-machineinstrs %s -o - | FileCheck %s --check-prefix=CHECK-GLOBAL
4 ; Not implemented as a mir test so that changes the generic HardwareLoop can
5 ; also be tested. These functions have been taken from
6 ; Transforms/HardwareLoops/loop-guards.ll in which can be seen the generation
7 ; of a few test.set intrinsics, but only one (ne_trip_count) gets generated
8 ; here. Simplifications result in icmps changing and maybe also the CFG. So,
9 ; TODO: Teach the HardwareLoops some better pattern recognition.
11 ; CHECK-GLOBAL-NOT: DoLoopStart
12 ; CHECK-GLOBAL-NOT: WhileLoopStart
13 ; CHECK-GLOBAL-NOT: LoopEnd
15 ; CHECK: ne_and_guard
16 ; CHECK: body:
17 ; CHECK: bb.0.entry:
18 ; CHECK:   t2CMPri renamable $lr, 0
19 ; CHECK:   tBcc %bb.4
20 ; CHECK: bb.2.while.body.preheader:
21 ; CHECK-NOT:   $lr = t2DLS killed renamable $lr
22 ; CHECK: bb.3.while.body:
23 ; CHECK:   $lr = t2LEUpdate killed renamable $lr, %bb.3
24 define void @ne_and_guard(i1 zeroext %t1, i1 zeroext %t2, ptr nocapture %a, ptr nocapture readonly %b, i32 %N) {
25 entry:
26   %brmerge.demorgan = and i1 %t1, %t2
27   %cmp6 = icmp ne i32 %N, 0
28   %or.cond = and i1 %brmerge.demorgan, %cmp6
29   br i1 %or.cond, label %while.body, label %if.end
31 while.body:                                       ; preds = %while.body, %entry
32   %i.09 = phi i32 [ %inc, %while.body ], [ 0, %entry ]
33   %a.addr.08 = phi ptr [ %incdec.ptr3, %while.body ], [ %a, %entry ]
34   %b.addr.07 = phi ptr [ %incdec.ptr, %while.body ], [ %b, %entry ]
35   %incdec.ptr = getelementptr inbounds i32, ptr %b.addr.07, i32 1
36   %tmp = load i32, ptr %b.addr.07, align 4
37   %incdec.ptr3 = getelementptr inbounds i32, ptr %a.addr.08, i32 1
38   store i32 %tmp, ptr %a.addr.08, align 4
39   %inc = add nuw i32 %i.09, 1
40   %exitcond = icmp eq i32 %inc, %N
41   br i1 %exitcond, label %if.end, label %while.body
43 if.end:                                           ; preds = %while.body, %entry
44   ret void
47 ; TODO: This could generate WLS
48 ; CHECK: ne_preheader
49 ; CHECK: body:
50 ; CHECK: bb.0.entry:
51 ; CHECK:   t2CMPri renamable $lr, 0
52 ; CHECK:   tBcc %bb.4
53 ; CHECK: bb.2.while.body.preheader:
54 ; CHECK-NOT:   $lr = t2DLS killed renamable $lr
55 ; CHECK: bb.3.while.body:
56 ; CHECK:   $lr = t2LEUpdate killed renamable $lr, %bb.3
57 define void @ne_preheader(i1 zeroext %t1, i1 zeroext %t2, ptr nocapture %a, ptr nocapture readonly %b, i32 %N) {
58 entry:
59   %brmerge.demorgan = and i1 %t1, %t2
60   br i1 %brmerge.demorgan, label %while.preheader, label %if.end
62 while.preheader:                                  ; preds = %entry
63   %cmp = icmp ne i32 %N, 0
64   br i1 %cmp, label %while.body, label %if.end
66 while.body:                                       ; preds = %while.body, %while.preheader
67   %i.09 = phi i32 [ %inc, %while.body ], [ 0, %while.preheader ]
68   %a.addr.08 = phi ptr [ %incdec.ptr3, %while.body ], [ %a, %while.preheader ]
69   %b.addr.07 = phi ptr [ %incdec.ptr, %while.body ], [ %b, %while.preheader ]
70   %incdec.ptr = getelementptr inbounds i32, ptr %b.addr.07, i32 1
71   %tmp = load i32, ptr %b.addr.07, align 4
72   %incdec.ptr3 = getelementptr inbounds i32, ptr %a.addr.08, i32 1
73   store i32 %tmp, ptr %a.addr.08, align 4
74   %inc = add nuw i32 %i.09, 1
75   %exitcond = icmp eq i32 %inc, %N
76   br i1 %exitcond, label %if.end, label %while.body
78 if.end:                                           ; preds = %while.body, %while.preheader, %entry
79   ret void
82 ; TODO: This could generate WLS
83 ; CHECK: eq_preheader
84 ; CHECK: body:
85 ; CHECK: bb.0.entry:
86 ; CHECK:   t2CMPri renamable $lr, 0
87 ; CHECK:   tBcc %bb.4
88 ; CHECK: bb.2.while.body.preheader:
89 ; CHECK-NOT:   $lr = t2DLS killed renamable $lr
90 ; CHECK: bb.3.while.body:
91 ; CHECK:   $lr = t2LEUpdate killed renamable $lr, %bb.3
92 define void @eq_preheader(i1 zeroext %t1, i1 zeroext %t2, ptr nocapture %a, ptr nocapture readonly %b, i32 %N) {
93 entry:
94   %brmerge.demorgan = and i1 %t1, %t2
95   br i1 %brmerge.demorgan, label %while.preheader, label %if.end
97 while.preheader:                                  ; preds = %entry
98   %cmp = icmp eq i32 %N, 0
99   br i1 %cmp, label %if.end, label %while.body
101 while.body:                                       ; preds = %while.body, %while.preheader
102   %i.09 = phi i32 [ %inc, %while.body ], [ 0, %while.preheader ]
103   %a.addr.08 = phi ptr [ %incdec.ptr3, %while.body ], [ %a, %while.preheader ]
104   %b.addr.07 = phi ptr [ %incdec.ptr, %while.body ], [ %b, %while.preheader ]
105   %incdec.ptr = getelementptr inbounds i32, ptr %b.addr.07, i32 1
106   %tmp = load i32, ptr %b.addr.07, align 4
107   %incdec.ptr3 = getelementptr inbounds i32, ptr %a.addr.08, i32 1
108   store i32 %tmp, ptr %a.addr.08, align 4
109   %inc = add nuw i32 %i.09, 1
110   %exitcond = icmp eq i32 %inc, %N
111   br i1 %exitcond, label %if.end, label %while.body
113 if.end:                                           ; preds = %while.body, %while.preheader, %entry
114   ret void
117 ; TODO: This could generate WLS
118 ; CHECK: ne_prepreheader
119 ; CHECK: body:
120 ; CHECK: bb.0.entry:
121 ; CHECK:   t2CMPri renamable $lr, 0
122 ; CHECK:   tBcc %bb.4
123 ; CHECK: bb.2.while.body.preheader:
124 ; CHECK-NOT:   $lr = t2DLS killed renamable $lr
125 ; CHECK: bb.3.while.body:
126 ; CHECK:   $lr = t2LEUpdate killed renamable $lr, %bb.3
127 define void @ne_prepreheader(i1 zeroext %t1, i1 zeroext %t2, ptr nocapture %a, ptr nocapture readonly %b, i32 %N) {
128 entry:
129   %cmp = icmp ne i32 %N, 0
130   br i1 %cmp, label %while.preheader, label %if.end
132 while.preheader:                                  ; preds = %entry
133   %brmerge.demorgan = and i1 %t1, %t2
134   br i1 %brmerge.demorgan, label %while.body, label %if.end
136 while.body:                                       ; preds = %while.body, %while.preheader
137   %i.09 = phi i32 [ %inc, %while.body ], [ 0, %while.preheader ]
138   %a.addr.08 = phi ptr [ %incdec.ptr3, %while.body ], [ %a, %while.preheader ]
139   %b.addr.07 = phi ptr [ %incdec.ptr, %while.body ], [ %b, %while.preheader ]
140   %incdec.ptr = getelementptr inbounds i32, ptr %b.addr.07, i32 1
141   %tmp = load i32, ptr %b.addr.07, align 4
142   %incdec.ptr3 = getelementptr inbounds i32, ptr %a.addr.08, i32 1
143   store i32 %tmp, ptr %a.addr.08, align 4
144   %inc = add nuw i32 %i.09, 1
145   %exitcond = icmp eq i32 %inc, %N
146   br i1 %exitcond, label %if.end, label %while.body
148 if.end:                                           ; preds = %while.body, %while.preheader, %entry
149   ret void
152 ; CHECK: be_ne
153 ; CHECK: body:
154 ; CHECK: bb.0.entry:
155 ; CHECK:   $lr =
156 ; CHECK: bb.2.do.body:
157 ; CHECK:   $lr = t2LEUpdate killed renamable $lr, %bb.2
158 define void @be_ne(ptr nocapture %a, ptr nocapture readonly %b, i32 %N) {
159 entry:
160   %cmp = icmp ne i32 %N, 0
161   %sub = sub i32 %N, 1
162   %be = select i1 %cmp, i32 0, i32 %sub
163   %cmp.1 = icmp ne i32 %be, 0
164   br i1 %cmp.1, label %do.body, label %if.end
166 do.body:                                          ; preds = %do.body, %entry
167   %b.addr.0 = phi ptr [ %incdec.ptr, %do.body ], [ %b, %entry ]
168   %a.addr.0 = phi ptr [ %incdec.ptr3, %do.body ], [ %a, %entry ]
169   %i.0 = phi i32 [ %inc, %do.body ], [ 0, %entry ]
170   %incdec.ptr = getelementptr inbounds i32, ptr %b.addr.0, i32 1
171   %tmp = load i32, ptr %b.addr.0, align 4
172   %incdec.ptr3 = getelementptr inbounds i32, ptr %a.addr.0, i32 1
173   store i32 %tmp, ptr %a.addr.0, align 4
174   %inc = add nuw i32 %i.0, 1
175   %cmp.2 = icmp ult i32 %inc, %N
176   br i1 %cmp.2, label %do.body, label %if.end
178 if.end:                                           ; preds = %do.body, %entry
179   ret void
182 ; CHECK: ne_trip_count
183 ; CHECK: body:
184 ; CHECK: bb.0.entry:
185 ; CHECK:   $lr = t2WLS killed renamable $r3, %bb.3
186 ; CHECK: bb.1.do.body.preheader:
187 ; CHECK: bb.2.do.body:
188 ; CHECK:   $lr = t2LEUpdate killed renamable $lr, %bb.2
189 define void @ne_trip_count(i1 zeroext %t1, ptr nocapture %a, ptr nocapture readonly %b, i32 %N) {
190 entry:
191   br label %do.body.preheader
193 do.body.preheader:
194   %cmp = icmp ne i32 %N, 0
195   br i1 %cmp, label %do.body, label %if.end
197 do.body:
198   %b.addr.0 = phi ptr [ %incdec.ptr, %do.body ], [ %b, %do.body.preheader ]
199   %a.addr.0 = phi ptr [ %incdec.ptr3, %do.body ], [ %a, %do.body.preheader ]
200   %i.0 = phi i32 [ %inc, %do.body ], [ 0, %do.body.preheader ]
201   %incdec.ptr = getelementptr inbounds i32, ptr %b.addr.0, i32 1
202   %tmp = load i32, ptr %b.addr.0, align 4
203   %incdec.ptr3 = getelementptr inbounds i32, ptr %a.addr.0, i32 1
204   store i32 %tmp, ptr %a.addr.0, align 4
205   %inc = add nuw i32 %i.0, 1
206   %cmp.1 = icmp ult i32 %inc, %N
207   br i1 %cmp.1, label %do.body, label %if.end
209 if.end:                                           ; preds = %do.body, %entry
210   ret void