[all-commits] [llvm/llvm-project] 4b7f14: [CVP] Add test for invalid use of undef range in u...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4b7f14573e32d0abd092f097d18e333267a6c2ea
      https://github.com/llvm/llvm-project/commit/4b7f14573e32d0abd092f097d18e333267a6c2ea
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-12 (Tue, 12 Dec 2023)

  Changed paths:
    M llvm/test/Transforms/CorrelatedValuePropagation/urem.ll

  Log Message:
  -----------
  [CVP] Add test for invalid use of undef range in urem transform (NFC)


  Commit: 967e84eee3076bc6f306c70d07e3a922e3c1c3a6
      https://github.com/llvm/llvm-project/commit/967e84eee3076bc6f306c70d07e3a922e3c1c3a6
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-12 (Tue, 12 Dec 2023)

  Changed paths:
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/urem.ll

  Log Message:
  -----------
  [CVP] Don't use undef range for LHS of div/rem transforms

Using it for RHS is fine, as undef is UB in that case.


Compare: https://github.com/llvm/llvm-project/compare/3be65325f9e3...967e84eee307