You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
SCEV::createNodeForPhi flags an AddRec expression as NSW if the value on the backedge is flagged nsw. It disregards whether the value has the same form as the expression, or is merely a subexression as in:
Extended Description
SCEV::createNodeForPhi flags an AddRec expression as NSW if the value on the backedge is flagged nsw. It disregards whether the value has the same form as the expression, or is merely a subexression as in:
A unit test is attached. It could be appended to nsw.ll.
I believe it would be sufficient to test if one of the BEValue's operands is the PHINode before propagating NSW without losing any important cases.
The text was updated successfully, but these errors were encountered: