llvm-project
[SCEV] Don't require NUW at first add when checking A+C1 < (A+C2)<nuw>
#149795

Merged

[SCEV] Don't require NUW at first add when checking A+C1 < (A+C2)<nuw> #149795

fhahn merged 3 commits into llvm:main from fhahn:scev-isKnownPredicateViaNoOverflow-nuw-pos

fhahn requested a review from

preames 150 days ago

fhahn requested a review from

efriedma-quic 150 days ago

fhahn requested a review from

nikic 150 days ago

llvmbot added llvm:analysis

nikic commented on 2025-07-22

[SCEV] Don't require NUW at first add when checking A+C1 < (A+C2)<nuw>

0d17dfe3

!fixup simplify checks as suggested, thanks

85fd68e3

fhahn force pushed to 85fd68e3 149 days ago

fhahn commented on 2025-07-22

!fixup strip more

1a71b35c

nikic approved these changes on 2025-07-22

fhahn merged 6c50e2b2 into main 148 days ago

fhahn deleted the scev-isKnownPredicateViaNoOverflow-nuw-pos branch 148 days ago

Reviewers

nikic

preames

efriedma-quic

Assignees

No one assigned

Labels

llvm:analysis

Milestone

No milestone