[all-commits] [llvm/llvm-project] 204a2f: [SCCP] add tests for ashr range transforms; NFC

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 204a2fff1f1837d3072726d2ef32a125b4f8d7c1
      https://github.com/llvm/llvm-project/commit/204a2fff1f1837d3072726d2ef32a125b4f8d7c1
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-09-15 (Thu, 15 Sep 2022)

  Changed paths:
    A llvm/test/Transforms/SCCP/ashr.ll

  Log Message:
  -----------
  [SCCP] add tests for ashr range transforms; NFC


  Commit: aafaa2f4fc52a132321e02683ea0d8f7ec190490
      https://github.com/llvm/llvm-project/commit/aafaa2f4fc52a132321e02683ea0d8f7ec190490
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-09-15 (Thu, 15 Sep 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/SCCP.cpp
    M llvm/test/Transforms/SCCP/ashr.ll

  Log Message:
  -----------
  [SCCP] convert ashr to lshr for non-negative shift value

This is similar to the existing signed instruction folds.
We get the obvious minimal patterns in other passes, but
this avoids potential missed folds when the multi-block
tests are converted to selects.


Compare: https://github.com/llvm/llvm-project/compare/fda44bedd64d...aafaa2f4fc52