This is an archive of the discontinued LLVM Phabricator instance.

[ValueTracking] Add logic for `isKnownNonZero(umin X, Y)`
ClosedPublic

Authored by goldstein.w.n on Apr 27 2023, 11:21 PM.

Details

Summary

(umin X, Y) != 0 -> X != 0 && Y != 0

Alive2 Link:

https://alive2.llvm.org/ce/z/AQh67i

Diff Detail

Event Timeline

goldstein.w.n created this revision.Apr 27 2023, 11:21 PM
Herald added a project: Restricted Project. · View Herald TranscriptApr 27 2023, 11:21 PM
Herald added a subscriber: hiraditya. · View Herald Transcript
goldstein.w.n requested review of this revision.Apr 27 2023, 11:21 PM
Herald added a project: Restricted Project. · View Herald TranscriptApr 27 2023, 11:21 PM
nikic accepted this revision.Apr 28 2023, 12:34 AM

LGTM

This revision is now accepted and ready to land.Apr 28 2023, 12:34 AM