[all-commits] [llvm/llvm-project] cbacab: [ConstraintElim] Add extra tests and split up test...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cbacab26e71707408bd74dbff339ec93fb19a6d5
      https://github.com/llvm/llvm-project/commit/cbacab26e71707408bd74dbff339ec93fb19a6d5
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-06-30 (Fri, 30 Jun 2023)

  Changed paths:
    A llvm/test/Transforms/ConstraintElimination/monotonic-pointer-phis-early-exits.ll
    M llvm/test/Transforms/ConstraintElimination/monotonic-pointer-phis.ll

  Log Message:
  -----------
  [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.