[all-commits] [llvm/llvm-project] 853025: [ConstraintElimination] Add test where offset addi...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8530259985db001326ea72cf05942afd6a45acc2
      https://github.com/llvm/llvm-project/commit/8530259985db001326ea72cf05942afd6a45acc2
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-03-25 (Fri, 25 Mar 2022)

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

  Log Message:
  -----------
  [ConstraintElimination] Add test where offset additions overflow.


  Commit: 8c3281db492efa2d9b3cbe032731f3c3faa3c072
      https://github.com/llvm/llvm-project/commit/8c3281db492efa2d9b3cbe032731f3c3faa3c072
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-03-25 (Fri, 25 Mar 2022)

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

  Log Message:
  -----------
  [ConstraintElimination] Use AddOverflow for offset summation.

Fixes an incorrect transformation due to values overflowing
https://alive2.llvm.org/ce/z/uizoea


Compare: https://github.com/llvm/llvm-project/compare/35b89bc24ca5...8c3281db492e