[all-commits] [llvm/llvm-project] f1bc1a: [ValueTracking] Add additional non-zero add recurr...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f1bc1a82cf718a67d3271fc74c28f5845f0f1526
      https://github.com/llvm/llvm-project/commit/f1bc1a82cf718a67d3271fc74c28f5845f0f1526
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-04-14 (Wed, 14 Apr 2021)

  Changed paths:
    M llvm/test/Analysis/ValueTracking/monotonic-phi.ll

  Log Message:
  -----------
  [ValueTracking] Add additional non-zero add recurrence test (NFC)

Also drop a number of unused parameters from existing tests.


  Commit: 5c0fb026c93b33dd107f6ff50723d7eed911e1ce
      https://github.com/llvm/llvm-project/commit/5c0fb026c93b33dd107f6ff50723d7eed911e1ce
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-04-14 (Wed, 14 Apr 2021)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ValueTracking/monotonic-phi.ll

  Log Message:
  -----------
  [ValueTracking] Don't require non-zero step for add nuw

It's okay if the step is zero, we'll just stay at the same non-zero
value in that case. The valuable part of this is that the step
doesn't even need to be a constant anymore.


Compare: https://github.com/llvm/llvm-project/compare/b7ebb25e5353...5c0fb026c93b