[all-commits] [llvm/llvm-project] af6d13: [ConstraintElim] Split up test case to it easier f...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: af6d1385f2e14a7a405112089faae6fde1e627d0
      https://github.com/llvm/llvm-project/commit/af6d1385f2e14a7a405112089faae6fde1e627d0
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-04-25 (Tue, 25 Apr 2023)

  Changed paths:
    M llvm/test/Transforms/ConstraintElimination/mul-nsw.ll

  Log Message:
  -----------
  [ConstraintElim] Split up test case to it easier for Alive2 to verify.

Split up larger test functions into 2 versions, one with the checks in
the then and one with the checks in the else block.

The original versions of the function caused timeouts even with larger
thresholds. The new versions verify very quickly.