[all-commits] [llvm/llvm-project] 5b70db: [ConstraintElimination] Add tests where unsigned s...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5b70db8f0065554d3b0303e7fe7a6c730f0fb108
      https://github.com/llvm/llvm-project/commit/5b70db8f0065554d3b0303e7fe7a6c730f0fb108
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-10-06 (Thu, 06 Oct 2022)

  Changed paths:
    A llvm/test/Transforms/ConstraintElimination/signed-query-unsigned-system.ll

  Log Message:
  -----------
  [ConstraintElimination] Add tests where unsigned system can be queried.

Add tests with a mix of signed and unsigned predicates. In some cases,
the unsigned system can be queried for signed predicates to improve
results.