If we have a dominating condition that x >= y, then umax(x, y) is x, etc. I'm doing this in InstSimplify as the corresponding transform for the select form is also done there.
Details
Details
Summary
Diff Detail
Diff Detail
Event Timeline
nikic mentioned this in D87184: [InstCombine] Fold abs with dominating condition.Sep 5 2020, 2:12 AM
This revision is now accepted and ready to land.Sep 5 2020, 6:08 AM
Closed by commit rG73104b0751a1: [InstSimplify] Fold min/max based on dominating condition (authored by nikic). · Explain WhySep 5 2020, 7:18 AM
This revision was automatically updated to reflect the committed changes.