[all-commits] [llvm/llvm-project] 95daec: [ConstraintElimination] Use unsigned > 0 instead o...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 95daec6a8497dae8fe359b8b2b363e28cb3cff23
      https://github.com/llvm/llvm-project/commit/95daec6a8497dae8fe359b8b2b363e28cb3cff23
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-02-22 (Mon, 22 Feb 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/ne.ll

  Log Message:
  -----------
  [ConstraintElimination] Use unsigned > 0 instead of != 0.

ICMP_NE predicates cannot be directly represented as constraint. But we
can use ICMP_UGT instead ICMP_NE for %x != 0.

See https://alive2.llvm.org/ce/z/XlLCsW