preserve-scev-exiting-multiple-loops.ll
2.29 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
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; We run -indvars before -simple-loop-unswitch to compute SCEV exit counts before
; running -simple-loop-unswitch.
; RUN: opt -indvars -simple-loop-unswitch -S %s -verify-scev | FileCheck %s
; Test for PR43972.
; We have a 3 nested loops (l1 <- l2 <- l3). %for.cond.5 is the exit block of
; l3 and the loop for it is l2. But it is also the exiting block of l1. That
; means we have to invalidate l1 to preserve SCEV.
define void @f() {
; CHECK-LABEL: @f(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[LNOT:%.*]] = xor i1 undef, true
; CHECK-NEXT: br label [[FOR_COND:%.*]]
; CHECK: for.cond.loopexit:
; CHECK-NEXT: br label [[FOR_COND]]
; CHECK: for.cond:
; CHECK-NEXT: br label [[FOR_BODY:%.*]]
; CHECK: for.cond1:
; CHECK-NEXT: br i1 true, label [[FOR_BODY]], label [[FOR_COND_LOOPEXIT:%.*]]
; CHECK: for.body:
; CHECK-NEXT: br i1 [[LNOT]], label [[FOR_BODY_SPLIT:%.*]], label [[FOR_COND5_SPLIT:%.*]]
; CHECK: for.body.split:
; CHECK-NEXT: br label [[LAND_RHS:%.*]]
; CHECK: for.cond2:
; CHECK-NEXT: br i1 true, label [[LAND_RHS]], label [[FOR_COND5:%.*]]
; CHECK: land.rhs:
; CHECK-NEXT: br label [[FOR_COND2:%.*]]
; CHECK: for.cond5:
; CHECK-NEXT: br label [[FOR_COND5_SPLIT]]
; CHECK: for.cond5.split:
; CHECK-NEXT: br i1 true, label [[FOR_BODY7:%.*]], label [[FOR_COND1:%.*]]
; CHECK: for.body7:
; CHECK-NEXT: ret void
;
entry:
%lnot = xor i1 undef, true
br label %for.cond
for.cond: ; preds = %for.cond1, %entry
br label %for.body
for.cond1: ; preds = %for.cond5
br i1 true, label %for.body, label %for.cond
for.body: ; preds = %for.cond1, %for.cond
br label %land.rhs
for.cond2: ; preds = %land.rhs
br i1 true, label %land.rhs, label %for.cond5
land.rhs: ; preds = %for.cond2, %for.body
br i1 %lnot, label %for.cond2, label %for.cond5
for.cond5: ; preds = %land.rhs, %for.cond2
br i1 true, label %for.body7, label %for.cond1
for.body7: ; preds = %for.cond5
ret void
}