Skip to content

Commit 85eb8b7

Browse files
committed
[IndVars] Add test for crash exposed by D114650.
1 parent d820acd commit 85eb8b7

File tree

1 file changed

+51
-0
lines changed

1 file changed

+51
-0
lines changed
Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2+
; RUN: opt -passes=indvars -S %s | FileCheck %s
3+
4+
define void @test_phi_select() {
5+
; CHECK-LABEL: @test_phi_select(
6+
; CHECK-NEXT: entry:
7+
; CHECK-NEXT: br label [[OUTER_HEADER:%.*]]
8+
; CHECK: outer.header:
9+
; CHECK-NEXT: br i1 false, label [[THEN:%.*]], label [[MERGE:%.*]]
10+
; CHECK: then:
11+
; CHECK-NEXT: br label [[MERGE]]
12+
; CHECK: merge:
13+
; CHECK-NEXT: br label [[INNER:%.*]]
14+
; CHECK: inner:
15+
; CHECK-NEXT: [[INNER_IV_NEXT:%.*]] = add nsw i64 0, 0
16+
; CHECK-NEXT: br i1 false, label [[INNER]], label [[OUTER_LATCH:%.*]]
17+
; CHECK: outer.latch:
18+
; CHECK-NEXT: br i1 true, label [[EXIT:%.*]], label [[OUTER_HEADER]]
19+
; CHECK: exit:
20+
; CHECK-NEXT: ret void
21+
;
22+
entry:
23+
br label %outer.header
24+
25+
outer.header:
26+
%iv = phi i64 [ 0, %entry ], [ %iv.next, %outer.latch ]
27+
%iv.next.1 = add nsw i64 %iv, 1
28+
%cmp.0 = icmp sgt i64 %iv, 50
29+
br i1 %cmp.0, label %then, label %merge
30+
31+
then:
32+
br label %merge
33+
34+
merge:
35+
%iv.sel = phi i64 [ %iv, %outer.header ], [ %iv.next.1, %then ]
36+
br label %inner
37+
38+
inner: ; preds = %inner, %outer.header.new
39+
%inner.iv = phi i64 [ %iv.sel, %merge ], [ 0, %inner ]
40+
%inner.iv.next = add nsw i64 0, 0
41+
%ec.1 = icmp sgt i64 0, 0
42+
br i1 %ec.1, label %inner, label %outer.latch
43+
44+
outer.latch:
45+
%iv.next = add nuw nsw i64 %iv, 1
46+
%ec.2 = icmp ult i64 %iv.next, 1000
47+
br i1 %ec.2, label %exit, label %outer.header
48+
49+
exit:
50+
ret void
51+
}

0 commit comments

Comments
 (0)