[all-commits] [llvm/llvm-project] 51da0d: [NFC][CVP] Add tests for udiv expansion

[Roman Lebedev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 51da0dc2887f2c0e12a1125f71917b1e9bb951d9
      https://github.com/llvm/llvm-project/commit/51da0dc2887f2c0e12a1125f71917b1e9bb951d9
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2023-01-20 (Fri, 20 Jan 2023)

  Changed paths:
    A llvm/test/Transforms/CorrelatedValuePropagation/udiv-expansion.ll

  Log Message:
  -----------
  [NFC][CVP] Add tests for udiv expansion


  Commit: 43a59be45d24497dce4795742aacf19987ce3a5c
      https://github.com/llvm/llvm-project/commit/43a59be45d24497dce4795742aacf19987ce3a5c
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2023-01-20 (Fri, 20 Jan 2023)

  Changed paths:
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/udiv-expansion.ll

  Log Message:
  -----------
  [CVP] Expand bound `udiv`'s, symmetrically with `urem`'s

Symmetrical with the `urem` case, added in 66efb986322b206834e7c9e1eb777fa053912c39.

Simple case: https://alive2.llvm.org/ce/z/gRumLd / https://alive2.llvm.org/ce/z/rxEeC5
Second variant of precondition: https://alive2.llvm.org/ce/z/cAm9TD


Compare: https://github.com/llvm/llvm-project/compare/95914abd13ef...43a59be45d24