[all-commits] [llvm/llvm-project] 97a6c1: [ConstraintElim] Add extra info transfer tests for...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 97a6c1534f65f2a9ac4490269b0051475d8384d9
      https://github.com/llvm/llvm-project/commit/97a6c1534f65f2a9ac4490269b0051475d8384d9
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-11-20 (Mon, 20 Nov 2023)

  Changed paths:
    A llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned-is-known-non-negative.ll
    M llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll
    A llvm/test/Transforms/ConstraintElimination/transfer-unsigned-facts-to-signed-is-known-non-negative.ll

  Log Message:
  -----------
  [ConstraintElim] Add extra info transfer tests for #72879.

Extend test coverage to include all predicates we support transfers for.