[VPlan] Make sure properlyDominates(A, A) returns false.
authorFlorian Hahn <flo@fhahn.com>
Sun, 19 Feb 2023 18:01:15 +0000 (18:01 +0000)
committerFlorian Hahn <flo@fhahn.com>
Sun, 19 Feb 2023 18:01:16 +0000 (18:01 +0000)
commit7737c0569660f2ea8edce8d3ea7276602b3a8552
tree5d791c32eda9b797d209e9194e61dfd45648f428
parent723cd2e953d245ca9d6df6c4f3852d3ebbe0b253
[VPlan] Make sure properlyDominates(A, A) returns false.

At the moment, properlyDominates(A, A) can return true via
LocalComesBefore. Add an early exit to ensure it returns false if
A == B.

Note: no test has been added because the existing test suite covers this
case already with libc++ with assertions enabled.

Fixes https://github.com/llvm/llvm-project/issues/60850.
llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp