diff options
| author | Dan Gohman <gohman@apple.com> | 2009-06-13 16:25:49 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-06-13 16:25:49 +0000 |
| commit | 4d8414f42033a5e744e8e60d2ca188b424c76168 (patch) | |
| tree | 412ece01df0e34791df86cc1320d8e8a7b0f9653 /test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll | |
| parent | 2ce84c8d4784dfd24458a63db8d531917d2f8ba5 (diff) | |
| download | external_llvm-4d8414f42033a5e744e8e60d2ca188b424c76168.zip external_llvm-4d8414f42033a5e744e8e60d2ca188b424c76168.tar.gz external_llvm-4d8414f42033a5e744e8e60d2ca188b424c76168.tar.bz2 | |
Teach SCEVExpander's visitAddRecExpr to reuse an existing canonical
induction variable when the addrec to be expanded does not require
a wider type. This eliminates the need for IndVarSimplify to
micro-manage SCEV expansions, because SCEVExpander now
automatically expands them in the form that IndVarSimplify considers
to be canonical. (LSR still micro-manages its SCEV expansions,
because it's optimizing for the target, rather than for
other optimizations.)
Also, this uses the new getAnyExtendExpr, which has more clever
expression simplification logic than the IndVarSimplify code it
replaces, and this cleans up some ugly expansions in code such as
the included masked-iv.ll testcase.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73294 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll')
| -rw-r--r-- | test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll b/test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll index d70e604..b4a2c50 100644 --- a/test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll +++ b/test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | %prcontext Loop: 1 | grep %indvar +; RUN: llvm-as < %s | opt -indvars | llvm-dis | %prcontext ^Loop: 1 | grep %Canonical ; The indvar simplification code should ensure that the first PHI in the block ; is the canonical one! |