[ConstraintElim] Move FactOrCheck and State definitions to top. (NFC)
authorFlorian Hahn <flo@fhahn.com>
Wed, 28 Jun 2023 08:40:53 +0000 (09:40 +0100)
committerFlorian Hahn <flo@fhahn.com>
Wed, 28 Jun 2023 08:40:54 +0000 (09:40 +0100)
commite6aa29eddd3fe05e27ac644fceff9ef4027540d8
tree98333c9ac28f2d112051c3d027c13057564ea815
parent4fd517d6133e8ad2a35da60f5e0cd76d61868157
[ConstraintElim] Move FactOrCheck and State definitions to top. (NFC)

This will enable follow-up refactoring to use the State directly in the
constraint system, reducing the need to pass lots of arguments around.
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp