This is an archive of the discontinued LLVM Phabricator instance.

[ConstraintElim] Move after first instcombine run.
ClosedPublic

Authored by fhahn on Jan 2 2023, 12:01 PM.

Details

Summary

Running ConstraintEliminiation after the first InstCombine run results
in slightly more simplifications on average.

There are is a tiny number of regressions, mostly due to CVP eliminating
a condition that ConstraintElimination would use, but in most cases
there's a slight improvement or no change.

Diff Detail

Event Timeline

fhahn created this revision.Jan 2 2023, 12:01 PM
Herald added a project: Restricted Project. · View Herald TranscriptJan 2 2023, 12:01 PM
Herald added a subscriber: hiraditya. · View Herald Transcript
fhahn requested review of this revision.Jan 2 2023, 12:01 PM
Herald added a project: Restricted Project. · View Herald TranscriptJan 2 2023, 12:01 PM
nikic accepted this revision.Jan 2 2023, 12:06 PM

LG

There are is a tiny number of regressions, mostly due to CVP eliminating
a condition that ConstraintElimination would use, but in most cases
there's a slight improvement or no change.

To clarify, the condition could still be derived from earlier ones, but ConstraintElimination just isn't powerful enough to do that? (E.g. because it requires reasoning about ranges.)

This revision is now accepted and ready to land.Jan 2 2023, 12:06 PM
This revision was landed with ongoing or failed builds.Jan 3 2023, 5:25 AM
This revision was automatically updated to reflect the committed changes.