[all-commits] [llvm/llvm-project] cbd958: [CVP] Add test for PR63330 (NFC)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cbd9585ba2c9c50160075bdc9de20ccead286d60
      https://github.com/llvm/llvm-project/commit/cbd9585ba2c9c50160075bdc9de20ccead286d60
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-06-19 (Mon, 19 Jun 2023)

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

  Log Message:
  -----------
  [CVP] Add test for PR63330 (NFC)


  Commit: 90b55f2bba365c1e83c3be60583b449e07f846f3
      https://github.com/llvm/llvm-project/commit/90b55f2bba365c1e83c3be60583b449e07f846f3
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-06-19 (Mon, 19 Jun 2023)

  Changed paths:
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/cond-at-use.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/urem-expansion.ll

  Log Message:
  -----------
  [CVP] Don't freeze value if guaranteed non-undef

Avoid inserting the freeze if not necessary, as this allows LVI
to continue reasoning about the expression.


Compare: https://github.com/llvm/llvm-project/compare/ce9d3f09b4b2...90b55f2bba36