[all-commits] [llvm/llvm-project] 0fefb5: [InstCombine] add tests for sub with rem operand; NFC

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0fefb56da7fd04c36675eebc2f9d1d851dca725b
      https://github.com/llvm/llvm-project/commit/0fefb56da7fd04c36675eebc2f9d1d851dca725b
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-05-13 (Fri, 13 May 2022)

  Changed paths:
    M llvm/test/Transforms/InstCombine/sub.ll

  Log Message:
  -----------
  [InstCombine] add tests for sub with rem operand; NFC


  Commit: ee6754c277a67cbc51eb6b3eb704a0ff751f9ddd
      https://github.com/llvm/llvm-project/commit/ee6754c277a67cbc51eb6b3eb704a0ff751f9ddd
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-05-13 (Fri, 13 May 2022)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstCombine/add4.ll
    M llvm/test/Transforms/InstCombine/exact.ll
    M llvm/test/Transforms/InstCombine/rem.ll
    M llvm/test/Transforms/InstCombine/sub.ll

  Log Message:
  -----------
  [ValueTracking] recognize sub X, (X % Y) as not overflowing

I fixed some poison-safety violations on related patterns in InstCombine
and noticed that we missed adding nsw/nuw on them, so this adds clauses
to the underlying analysis for that.

We need the undef input restriction to make this safe according to Alive2:
https://alive2.llvm.org/ce/z/48g9K8

Differential Revision: https://reviews.llvm.org/D125500


Compare: https://github.com/llvm/llvm-project/compare/e0fcdf5496ca...ee6754c277a6