diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2011-01-19 15:56:12 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2011-01-19 15:56:12 +0000 |
| commit | e9ea75e3fcf911ad0855fad938b8ae4c27fcf930 (patch) | |
| tree | 90e74a73089b6598b29f80803fab2c2c7fc7c28c /llvm/lib/Analysis/ScalarEvolution.cpp | |
| parent | e0cd9ac0961de72f48730a3053e1ba45f1697fcd (diff) | |
| download | llvm-e9ea75e3fcf911ad0855fad938b8ae4c27fcf930.zip llvm-e9ea75e3fcf911ad0855fad938b8ae4c27fcf930.tar.gz llvm-e9ea75e3fcf911ad0855fad938b8ae4c27fcf930.tar.bz2 | |
Add a missing SCEV simplification sext(zext x) --> zext x.
llvm-svn: 123832
Diffstat (limited to 'llvm/lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ScalarEvolution.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp index b3df926..ce04188 100644 --- a/llvm/lib/Analysis/ScalarEvolution.cpp +++ b/llvm/lib/Analysis/ScalarEvolution.cpp @@ -994,6 +994,10 @@ const SCEV *ScalarEvolution::getSignExtendExpr(const SCEV *Op, if (const SCEVSignExtendExpr *SS = dyn_cast<SCEVSignExtendExpr>(Op)) return getSignExtendExpr(SS->getOperand(), Ty); + // sext(zext(x)) --> zext(x) + if (const SCEVZeroExtendExpr *SZ = dyn_cast<SCEVZeroExtendExpr>(Op)) + return getZeroExtendExpr(SZ->getOperand(), Ty); + // Before doing any expensive analysis, check to see if we've already // computed a SCEV for this Op and Ty. FoldingSetNodeID ID; |