[all-commits] [llvm/llvm-project] 8a1569: [AA] Improve the BasicAA analysis capability

[Allen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8a15695be2395af1c7cc157865c5c09292009901
      https://github.com/llvm/llvm-project/commit/8a15695be2395af1c7cc157865c5c09292009901
  Author: zhongyunde <zhongyunde at huawei.com>
  Date:   2022-09-12 (Mon, 12 Sep 2022)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/test/Transforms/GVN/vscale.ll

  Log Message:
  -----------
  [AA] Improve the BasicAA analysis capability

According https://discourse.llvm.org/t/memoryssa-does-the-accessedbetween-support-scalable-vector-pointer/65052,
scalable vector support in BasicAA is currently essentially limited,
and should be improved effectively for a constant offset GEP if the scalable index is zero, eg:
  getelementptr <vscale x 4 x i32>, ptr %p, i64 0, i64 %i

Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D133567