[ConstraintElim] Allow and check preconditions in doesHold.
authorFlorian Hahn <flo@fhahn.com>
Thu, 29 Jun 2023 08:17:37 +0000 (09:17 +0100)
committerFlorian Hahn <flo@fhahn.com>
Thu, 29 Jun 2023 08:17:37 +0000 (09:17 +0100)
commit1689c357ae8059d238f28f587047e7f010910d6e
tree2e63a83410e886e6e178c91b384d34119df4977d
parentc04d08c24fa06cbf9531ddd5140a4fe9e0d4b678
[ConstraintElim] Allow and check preconditions in doesHold.

Delegate checking of the constraint & its preconditions to the existing
::isValid. This reduces duplication and allows additional optimizations
together with D152730.
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp