diff options
| author | Philip Reames <listmail@philipreames.com> | 2019-07-31 21:15:21 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2019-07-31 21:15:21 +0000 |
| commit | f8e7b536571e7abeefcb407297df2641a5a80d35 (patch) | |
| tree | 33ca3b712149814822308137128f1e6c170b6572 /llvm/test/Transforms/IndVarSimplify | |
| parent | 04bdb25046e275613e2194eedbe39552e4638955 (diff) | |
| download | bcm5719-llvm-f8e7b536571e7abeefcb407297df2641a5a80d35.tar.gz bcm5719-llvm-f8e7b536571e7abeefcb407297df2641a5a80d35.zip | |
[IndVars, RLEV] Support rewriting exit values in loops without known exits (prep work)
This is a prepatory patch for future work on support exit value rewriting in loops with a mixture of computable and non-computable exit counts. The intention is to be "mostly NFC" - i.e. not enable any interesting new transforms - but in practice, there are some small output changes.
The test differences are caused by cases wherewhere getSCEVAtScope can simplify a single entry phi without needing any knowledge of the loop.
llvm-svn: 367485
Diffstat (limited to 'llvm/test/Transforms/IndVarSimplify')
| -rw-r--r-- | llvm/test/Transforms/IndVarSimplify/lftr-pr20680.ll | 4 | ||||
| -rw-r--r-- | llvm/test/Transforms/IndVarSimplify/pr38674.ll | 4 |
2 files changed, 2 insertions, 6 deletions
diff --git a/llvm/test/Transforms/IndVarSimplify/lftr-pr20680.ll b/llvm/test/Transforms/IndVarSimplify/lftr-pr20680.ll index 096501e86b1..6f67662f298 100644 --- a/llvm/test/Transforms/IndVarSimplify/lftr-pr20680.ll +++ b/llvm/test/Transforms/IndVarSimplify/lftr-pr20680.ll @@ -62,7 +62,6 @@ define void @f() { ; CHECK: cond.false.us: ; CHECK-NEXT: br label [[COND_END_US]] ; CHECK: cond.end.us: -; CHECK-NEXT: [[COND_US:%.*]] = phi i32 [ [[DIV]], [[COND_FALSE_US]] ], [ [[INDVARS_IV]], [[FOR_BODY3_US]] ] ; CHECK-NEXT: [[TMP6:%.*]] = load i32, i32* @b, align 4 ; CHECK-NEXT: [[CMP91_US:%.*]] = icmp slt i32 [[TMP6]], 1 ; CHECK-NEXT: br i1 [[CMP91_US]], label [[FOR_INC_LR_PH_US:%.*]], label [[FOR_COND2_LOOPEXIT_US:%.*]] @@ -79,10 +78,9 @@ define void @f() { ; CHECK-NEXT: store i32 1, i32* @b, align 4 ; CHECK-NEXT: br label [[FOR_COND2_LOOPEXIT_US]] ; CHECK: for.cond2.for.inc13_crit_edge.us-lcssa.us.us-lcssa: -; CHECK-NEXT: [[COND_LCSSA_PH_US_PH:%.*]] = phi i32 [ [[COND_US]], [[FOR_COND2_LOOPEXIT_US]] ] ; CHECK-NEXT: br label [[FOR_COND2_FOR_INC13_CRIT_EDGE_US_LCSSA_US]] ; CHECK: for.cond2.for.inc13_crit_edge.us-lcssa.us: -; CHECK-NEXT: [[COND_LCSSA_PH_US:%.*]] = phi i32 [ [[COND_LCSSA_PH_US_PH]], [[FOR_COND2_FOR_INC13_CRIT_EDGE_US_LCSSA_US_US_LCSSA]] ], [ [[DIV]], [[FOR_COND2_FOR_INC13_CRIT_EDGE_US_LCSSA_US_US_LCSSA_US]] ] +; CHECK-NEXT: [[COND_LCSSA_PH_US:%.*]] = phi i32 [ [[DIV]], [[FOR_COND2_FOR_INC13_CRIT_EDGE_US_LCSSA_US_US_LCSSA]] ], [ [[DIV]], [[FOR_COND2_FOR_INC13_CRIT_EDGE_US_LCSSA_US_US_LCSSA_US]] ] ; CHECK-NEXT: br label [[FOR_COND2_FOR_INC13_CRIT_EDGE:%.*]] ; CHECK: for.body3.lr.ph.split: ; CHECK-NEXT: br i1 [[TOBOOL]], label [[FOR_BODY3_LR_PH_SPLIT_SPLIT_US:%.*]], label [[FOR_BODY3_LR_PH_SPLIT_FOR_BODY3_LR_PH_SPLIT_SPLIT_CRIT_EDGE:%.*]] diff --git a/llvm/test/Transforms/IndVarSimplify/pr38674.ll b/llvm/test/Transforms/IndVarSimplify/pr38674.ll index 78d59a372f2..1c839ffd2ac 100644 --- a/llvm/test/Transforms/IndVarSimplify/pr38674.ll +++ b/llvm/test/Transforms/IndVarSimplify/pr38674.ll @@ -92,15 +92,13 @@ define i32 @test_02(i32 %x) { ; CHECK: for.end: ; CHECK-NEXT: br i1 false, label [[FOR_COND4_PREHEADER]], label [[FOR_END9:%.*]] ; CHECK: for.end9: -; CHECK-NEXT: [[INC11:%.*]] = add nuw nsw i32 0, [[X]] ; CHECK-NEXT: br i1 false, label [[FOR_COND1_PREHEADER]], label [[RETURN_LOOPEXIT3:%.*]] ; CHECK: return.loopexit: ; CHECK-NEXT: unreachable ; CHECK: return.loopexit3: -; CHECK-NEXT: [[INC11_LCSSA:%.*]] = phi i32 [ [[INC11]], [[FOR_END9]] ] ; CHECK-NEXT: br label [[RETURN:%.*]] ; CHECK: return: -; CHECK-NEXT: ret i32 [[INC11_LCSSA]] +; CHECK-NEXT: ret i32 [[X]] ; entry: br label %for.cond1.preheader |
