[ConstraintElim] Add extra tests and split up test file.
authorFlorian Hahn <flo@fhahn.com>
Fri, 30 Jun 2023 14:16:23 +0000 (15:16 +0100)
committerFlorian Hahn <flo@fhahn.com>
Fri, 30 Jun 2023 14:16:23 +0000 (15:16 +0100)
commitcbacab26e71707408bd74dbff339ec93fb19a6d5
treee7c076f7f3bdd47a3a11de10fb18b6b2e7f71e65
parent0d8d718171192301f2beb10bd08ce62e70281a5e
[ConstraintElim] Add extra tests and split up test file.

Extra tests for D152730, including more tests where the step GEP doesn't
use the phi and inbounds are missing.

Also split up test file to make it easier to verify for Alive2.
llvm/test/Transforms/ConstraintElimination/monotonic-pointer-phis-early-exits.ll [new file with mode: 0644]
llvm/test/Transforms/ConstraintElimination/monotonic-pointer-phis.ll