unroll-preserve-scev-lcssa.ll
2.66 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -loop-reduce -loop-unroll -unroll-runtime -verify-scev -verify-loop-lcssa < %s -S | FileCheck %s
; Test case for PR43458. We check that we do properly invalidate LCSSA phi
; users in SCEV. Run -loop-reduce first, so SCEV is already populated.
define void @spam() {
; CHECK-LABEL: @spam(
; CHECK-NEXT: bb:
; CHECK-NEXT: br label [[BB3:%.*]]
; CHECK: bb3:
; CHECK-NEXT: br i1 false, label [[BB9:%.*]], label [[BB5_PREHEADER:%.*]]
; CHECK: bb5.preheader:
; CHECK-NEXT: br label [[BB5:%.*]]
; CHECK: bb5:
; CHECK-NEXT: br label [[BB9]]
; CHECK: bb9:
; CHECK-NEXT: [[TMP10:%.*]] = phi i64 [ 0, [[BB3]] ], [ 5, [[BB5]] ]
; CHECK-NEXT: [[TMP11:%.*]] = trunc i64 [[TMP10]] to i32
; CHECK-NEXT: [[TMP21:%.*]] = sext i32 [[TMP11]] to i64
; CHECK-NEXT: [[TMP22:%.*]] = icmp slt i64 0, [[TMP21]]
; CHECK-NEXT: br i1 [[TMP22]], label [[BB24_PREHEADER:%.*]], label [[BB29:%.*]]
; CHECK: bb24.preheader:
; CHECK-NEXT: br label [[BB24:%.*]]
; CHECK: bb24:
; CHECK-NEXT: [[TMP25:%.*]] = phi i64 [ [[TMP26:%.*]], [[BB24]] ], [ 0, [[BB24_PREHEADER]] ]
; CHECK-NEXT: [[TMP26]] = add nuw nsw i64 [[TMP25]], 1
; CHECK-NEXT: [[TMP27:%.*]] = icmp slt i64 [[TMP26]], [[TMP21]]
; CHECK-NEXT: br i1 [[TMP27]], label [[BB24]], label [[BB29_LOOPEXIT:%.*]]
; CHECK: bb29.loopexit:
; CHECK-NEXT: br label [[BB29]]
; CHECK: bb29:
; CHECK-NEXT: ret void
;
bb:
br label %bb3
bb3: ; preds = %bb9, %bb
%pv1 = phi i64 [ 0, %bb ], [ %iv1, %bb9]
%c1 = icmp eq i64 %pv1, 5
br i1 %c1, label %bb9, label %bb5
bb5: ; preds = %bb5, %bb3
%pv = phi i64 [ 0, %bb3], [ %tmp6, %bb5]
%tmp6 = add nsw i64 %pv, 1
%cond = icmp eq i64 %tmp6, 5
br i1 %cond, label %bb8, label %bb5
bb8: ; preds = %bb5
br label %bb9
bb9: ; preds = %bb8, %bb3
%tmp10 = phi i64 [ 0, %bb3 ], [ %tmp6, %bb8 ]
%tmp11 = trunc i64 %tmp10 to i32
%iv1 = add nsw i64 %pv1, 1
br i1 false, label %bb3, label %bb20
bb20: ; preds = %bb9
%tmp21 = sext i32 %tmp11 to i64
%tmp22 = icmp slt i64 0, %tmp21
br i1 %tmp22, label %bb24, label %bb29
bb24: ; preds = %bb24, %bb20
%tmp25 = phi i64 [ %tmp26, %bb24 ], [ 0, %bb20 ]
%tmp26 = add nuw nsw i64 %tmp25, 1
%tmp27 = icmp slt i64 %tmp26, %tmp21
br i1 %tmp27, label %bb24, label %bb29
bb29: ; preds = %bb24, %bb20
ret void
}