[all-commits] [llvm/llvm-project] 0bcfd4: [ConstraintElimination] Rewrite tests to reduce ve...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0bcfd4cbac66e6216022f51feb38236dc07e333f
      https://github.com/llvm/llvm-project/commit/0bcfd4cbac66e6216022f51feb38236dc07e333f
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-08-26 (Thu, 26 Aug 2021)

  Changed paths:
    M llvm/test/Transforms/ConstraintElimination/and.ll
    M llvm/test/Transforms/ConstraintElimination/decompose-with-temporary-indices.ll
    M llvm/test/Transforms/ConstraintElimination/dom.ll
    M llvm/test/Transforms/ConstraintElimination/gep-arithmetic.ll
    M llvm/test/Transforms/ConstraintElimination/geps.ll
    M llvm/test/Transforms/ConstraintElimination/loops-bottom-tested-pointer-cmps.ll
    M llvm/test/Transforms/ConstraintElimination/or.ll
    M llvm/test/Transforms/ConstraintElimination/uge.ll
    M llvm/test/Transforms/ConstraintElimination/ule.ll
    M llvm/test/Transforms/ConstraintElimination/zext.ll

  Log Message:
  -----------
  [ConstraintElimination] Rewrite tests to reduce verification complexity.

This patch reduces the bitwidth of types certain tests operate and gets
rid of a number of @use(i1) calls and xor's the conditions together
instead, which eliminates all timeouts when verifying the tests.
See https://github.com/AliveToolkit/alive2/issues/744 for more details.