tree 70be1d0360af56e5a198f927f2c00c4934c70010
parent efd46bc1efb18180366798134164dc9f87a6c79d
author Florian Hahn <flo@fhahn.com> 1745866894 +0100
committer Florian Hahn <flo@fhahn.com> 1745866897 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iHUEABYKAB0WIQTv3rz3sglVUFOr3mDIsNcJD5En5gUCaA/QkQAKCRDIsNcJD5En
 5hyRAQDuY+bYrPRfvmeiCgYFf3M+SiAYgQNOSQ8ueKfEbh4l6wEAm1vxi2qZYeC+
 bRm3WCF3gXcOA7d2iXCS6ibyKDse+QU=
 =hYqu
 -----END PGP SIGNATURE-----

Reapply "[VPlan] Fold NOT into predicate of wide compares." (#130347)

This reverts commit 8dd160f4767f971572eac065c8650d9202ff5bf9.

The recommit contains an adjustment to planContainsAdditionalSimplifications,
which considers changes to the original predicate for compares.

Original commit message:

Add simplification to fold negation into a compare, if the negation is
the only user of the compare. This removes a number of redundant
negations.

Alive2 Proofs for FPCMP test changes:  https://alive2.llvm.org/ce/z/WGDz9U

PR: https://github.com/llvm/llvm-project/pull/129430