[all-commits] [llvm/llvm-project] eac2c9: [ValueTracking] Add more non-zero add/mul recurren...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: eac2c94bc22641526c3fefd4d1424edd1062cef3
      https://github.com/llvm/llvm-project/commit/eac2c94bc22641526c3fefd4d1424edd1062cef3
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-03-26 (Fri, 26 Mar 2021)

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

  Log Message:
  -----------
  [ValueTracking] Add more non-zero add/mul recurrence tests (NFC)


  Commit: 938d05b814c7fe470201d595afefc02e3371244e
      https://github.com/llvm/llvm-project/commit/938d05b814c7fe470201d595afefc02e3371244e
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-03-26 (Fri, 26 Mar 2021)

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

  Log Message:
  -----------
  [ValueTracking] Handle non-zero add/mul recurrences more precisely

This is mainly for clarity: It doesn't make sense to do any
negative/positive checks when dealing with a nuw add/mul. These
only make sense to nsw add/mul.


Compare: https://github.com/llvm/llvm-project/compare/2218bc69d1ff...938d05b814c7