[ConstraintElimination] Support BBs with single successor in CanAdd.
authorFlorian Hahn <flo@fhahn.com>
Wed, 16 Mar 2022 14:13:00 +0000 (14:13 +0000)
committerFlorian Hahn <flo@fhahn.com>
Wed, 16 Mar 2022 14:13:52 +0000 (14:13 +0000)
commitf473d4aa80ce72b372ed2ad760db8e8925e44ecb
tree9a5d485f4a514e69e2ed093d2f9cdfbe6d9bd19f
parentc076fa1c447bfbc05226e0782f8b8ca3a8ae78bc
[ConstraintElimination] Support BBs with single successor in CanAdd.

If BB has a single successor, conditions can be added safely.
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
llvm/test/Transforms/ConstraintElimination/assumes.ll