[all-commits] [llvm/llvm-project] 44d14a: [tests] precommit tests for D154953

[Allen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 44d14a13a95fe27cd452ff81496025430d482467
      https://github.com/llvm/llvm-project/commit/44d14a13a95fe27cd452ff81496025430d482467
  Author: Zhongyunde <zhongyunde at huawei.com>
  Date:   2023-08-01 (Tue, 01 Aug 2023)

  Changed paths:
    A llvm/test/Transforms/InstCombine/and-add-shl.ll
    M llvm/test/Transforms/InstCombine/rem-mul-shl.ll

  Log Message:
  -----------
  [tests] precommit tests for D154953

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


  Commit: 3e386b227886e2fb77b0c1e9182026c4e049f346
      https://github.com/llvm/llvm-project/commit/3e386b227886e2fb77b0c1e9182026c4e049f346
  Author: Zhongyunde <zhongyunde at huawei.com>
  Date:   2023-08-01 (Tue, 01 Aug 2023)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstCombine/and-add-shl.ll
    M llvm/test/Transforms/InstCombine/rem-mul-shl.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/sve-interleaved-accesses.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/sve-widen-phi.ll

  Log Message:
  -----------
  [InstSimplify] Remove the remainder loop if we know the mask is always true

We check the loop trip count is known a power of 2 to determine
whether the tail loop can be eliminated in D146199.
However, the remainder loop of mask scalable loop can also be removed
If we know the mask is always going to be true for every vector iteration.
Depend on the assume of power-of-two vscale on D155350

proofs： https://alive2.llvm.org/ce/z/FkTMoy

Fix https://github.com/llvm/llvm-project/issues/63616.

Reviewed By: goldstein.w.n, nikic, david-arm, paulwalker-arm
Differential Revision: https://reviews.llvm.org/D154953


Compare: https://github.com/llvm/llvm-project/compare/934b4905306d...3e386b227886