| commit | fe1187ead7bedf7b56e687998da759355fba685e | [log] [tgz] |
|---|---|---|
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | Tue Mar 24 19:29:22 2015 +0000 |
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | Tue Mar 24 19:29:22 2015 +0000 |
| tree | 0de6302e2cbd84fe811ba5b6b110090bb153127a | |
| parent | 33a864aae22acdca97244e8cca29b1b9a26ab881 [diff] |
[IRCE] Fix how IRCE checks for no-sign-overflow.
IRCE requires the induction variables it handles to not sign-overflow.
The current scheme of checking if sext({X,+,S}) == {sext(X),+,sext(S)}
fails when SCEV simplifies sext(X) too. After this change we //also//
check no-signed-wrap by looking at the flags set on the SCEVAddRecExpr.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@233102 91177308-0d34-0410-b5e6-96231b3b80d8