[all-commits] [llvm/llvm-project] f34742: [NFC][SCEV] Add test with umin_seq w/ 1op and cons...

[Roman Lebedev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f34742d7c1e726ad1e9d2dd1685aa0242d9da7f1
      https://github.com/llvm/llvm-project/commit/f34742d7c1e726ad1e9d2dd1685aa0242d9da7f1
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2022-01-14 (Fri, 14 Jan 2022)

  Changed paths:
    M llvm/test/Analysis/ScalarEvolution/exit-count-select-safe.ll

  Log Message:
  -----------
  [NFC][SCEV] Add test with umin_seq w/ 1op and constant


  Commit: 8dcba2067416b3f01221a229aa2a45ebdf3edf12
      https://github.com/llvm/llvm-project/commit/8dcba2067416b3f01221a229aa2a45ebdf3edf12
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2022-01-14 (Fri, 14 Jan 2022)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/exit-count-select-safe.ll

  Log Message:
  -----------
  [SCEV] `getSequentialMinMaxExpr()`: relax 2-op umin_seq w/ constant to umin

Currently, `computeExitLimitFromCondFromBinOp()` does that directly.


  Commit: b32077234b1affbab9a641628c417a9fb1601414
      https://github.com/llvm/llvm-project/commit/b32077234b1affbab9a641628c417a9fb1601414
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2022-01-14 (Fri, 14 Jan 2022)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp

  Log Message:
  -----------
  [NFCI][SCEV] `computeExitLimitFromCondFromBinOp()`: rely on `getSequentialMinMaxExpr()` constant relaxation

`getSequentialMinMaxExpr()` has been taught to perform this relaxation,
so rely on that now. Not sure this can be tested.


Compare: https://github.com/llvm/llvm-project/compare/05f6e93938b7...b32077234b1a