[all-commits] [llvm/llvm-project] 2e9118: [MemorySSA] Reset location size if IsGuaranteedLoo...

[luxufan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2e9118f1e420a3ec4fd525374753121f2e215a23
      https://github.com/llvm/llvm-project/commit/2e9118f1e420a3ec4fd525374753121f2e215a23
  Author: luxufan <luxufan at iscas.ac.cn>
  Date:   2022-09-22 (Thu, 22 Sep 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/MemorySSA.h
    M llvm/test/Analysis/MemorySSA/phi-translation.ll

  Log Message:
  -----------
  [MemorySSA] Reset location size if IsGuaranteedLoopInvariant after phi tranlation

We set the Location size to beforeOrAfter if the Location value is not
guaranteed loop invariant. But in some cases, we need to reset the
location size if the location size is precise after phi tranlation of
location value. This will improve MemorySSA analysis results.

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