[MemorySSA] Reset location size if IsGuaranteedLoopInvariant after phi tranlation
authorluxufan <luxufan@iscas.ac.cn>
Mon, 19 Sep 2022 03:29:16 +0000 (03:29 +0000)
committerluxufan <luxufan@iscas.ac.cn>
Thu, 22 Sep 2022 05:08:09 +0000 (05:08 +0000)
commit2e9118f1e420a3ec4fd525374753121f2e215a23
treed14086f6e045f20cd562ce8fc157516861991d13
parenteaf20c4fc257db0bcbd97b0f39836a53eeb3039a
[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
llvm/include/llvm/Analysis/MemorySSA.h
llvm/test/Analysis/MemorySSA/phi-translation.ll