Sanjoy Das fe1187ead7 [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

2015-03-24 19:29:22 +00:00

52 KiB

Raw Blame History

View Raw