[all-commits] [llvm/llvm-project] 8e3e96: [ConstraintElimination] Order cmps for signed <-> ...

[Florian Hahn via All-commits]

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

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll
    M llvm/test/Transforms/ConstraintElimination/transfer-unsigned-facts-to-signed.ll

  Log Message:
  -----------
  [ConstraintElimination] Order cmps for signed <-> unsigned transfer first.

Make sure conditions with constant operands come before conditions
without constant operands. This increases the effectiveness of the
current signed <-> unsigned fact transfer logic.