Skip to content

Commit e3b5501

Browse files
committed
[SCEV] Add pre-commit tests. NFC.
1 parent 39148ec commit e3b5501

File tree

1 file changed

+31
-0
lines changed

1 file changed

+31
-0
lines changed
Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2+
; RUN: opt -S -passes=indvars < %s | FileCheck %s
3+
4+
define void @pr126409() {
5+
; CHECK-LABEL: define void @pr126409() {
6+
; CHECK-NEXT: [[ENTRY:.*:]]
7+
; CHECK-NEXT: [[X:%.*]] = xor i32 0, 1
8+
; CHECK-NEXT: [[CMP:%.*]] = icmp samesign ult i32 [[X]], 155
9+
; CHECK-NEXT: br i1 [[CMP]], label %[[FOR_BODY_PREHEADER:.*]], label %[[IF_END:.*]]
10+
; CHECK: [[FOR_BODY_PREHEADER]]:
11+
; CHECK-NEXT: br label %[[FOR_BODY:.*]]
12+
; CHECK: [[FOR_BODY]]:
13+
; CHECK-NEXT: br i1 true, label %[[FOR_BODY]], label %[[IF_END_LOOPEXIT:.*]]
14+
; CHECK: [[IF_END_LOOPEXIT]]:
15+
; CHECK-NEXT: br label %[[IF_END]]
16+
; CHECK: [[IF_END]]:
17+
; CHECK-NEXT: ret void
18+
;
19+
entry:
20+
%x = xor i32 0, 1
21+
%cmp = icmp samesign ult i32 %x, 155
22+
br i1 %cmp, label %for.body, label %if.end
23+
24+
for.body:
25+
%phi = phi i8 [ 1, %for.body ], [ 0, %entry ]
26+
%cmp2 = icmp slt i8 %phi, 1
27+
br i1 %cmp2, label %for.body, label %if.end
28+
29+
if.end:
30+
ret void
31+
}

0 commit comments

Comments
 (0)