[ConstraintElim] Fix sort order to not comparing insts in different bbs.
authorFlorian Hahn <flo@fhahn.com>
Tue, 6 Dec 2022 23:47:23 +0000 (23:47 +0000)
committerFlorian Hahn <flo@fhahn.com>
Tue, 6 Dec 2022 23:47:24 +0000 (23:47 +0000)
commit9eda78107c4d9baca947b7bd9e0ce1c72474a59b
tree1d2e1fd94468ff288e212e73a7c1e3303efd2de5
parent8d30b9e64f7e4140c5eba9099b9a26ac7f806233
[ConstraintElim] Fix sort order to not comparing insts in different bbs.

Update the sort order to make sure that comesBefore is never used from
conditional facts, which are instructions but may use DFS numbers from
different blocks.

This fixes a crash in the added test on some platforms.
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
llvm/test/Transforms/ConstraintElimination/assumes.ll