[all-commits] [llvm/llvm-project] 873e63: [ConstraintElimination] Add tests inspired by PR54...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 873e630d6cdb5a2678d3439edac30cfa3f09e481
      https://github.com/llvm/llvm-project/commit/873e630d6cdb5a2678d3439edac30cfa3f09e481
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-03-07 (Mon, 07 Mar 2022)

  Changed paths:
    M llvm/test/Transforms/ConstraintElimination/add-nuw.ll
    M llvm/test/Transforms/ConstraintElimination/sub-nuw.ll

  Log Message:
  -----------
  [ConstraintElimination] Add tests inspired by PR54224.


  Commit: 4bbee17ecb00bcdf43a43650a64172a4d9eb130c
      https://github.com/llvm/llvm-project/commit/4bbee17ecb00bcdf43a43650a64172a4d9eb130c
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-03-07 (Mon, 07 Mar 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/add-nuw.ll

  Log Message:
  -----------
  [ConstraintElimination] Use ZExtValue for unsigned decomposition.

When decomposing constraints for unsigned conditions, we can use
negative values by zero-extending them, as long as they are less than
the maximum constraint value.

Fixes https://github.com/llvm/llvm-project/issues/54224


Compare: https://github.com/llvm/llvm-project/compare/9b740c035c8b...4bbee17ecb00