[StackColoring] Update AliasAnalysis information in stack coloring pass (part 2)
authorHiroshi Inoue <inouehrs@jp.ibm.com>
Wed, 2 Aug 2017 18:16:32 +0000 (18:16 +0000)
committerHiroshi Inoue <inouehrs@jp.ibm.com>
Wed, 2 Aug 2017 18:16:32 +0000 (18:16 +0000)
commit0bd906ec8f7839ac9a802b82b48444d647bba88c
treeb8bfb49cae922646a0f6759db29eb79a85706c78
parentf67036b62c0c595d4e06c87a80d58aceb4b83883
[StackColoring] Update AliasAnalysis information in stack coloring pass (part 2)

This patch is update after the first patch (https://reviews.llvm.org/rL309651) based on the post-commit comments.

Stack coloring pass need to maintain AliasAnalysis information when merging stack slots of different types.
Actually, there is a FIXME comment in StackColoring.cpp

// FIXME: In order to enable the use of TBAA when using AA in CodeGen,
// we'll also need to update the TBAA nodes in MMOs with values
// derived from the merged allocas.

But, TBAA has been already enabled in CodeGen without fixing this pass.
The incorrect TBAA metadata results in recent failures in bootstrap test on ppc64le (PR33928) by allowing unsafe instruction scheduling.
Although we observed the problem on ppc64le, this is a platform neutral issue.

This patch makes the stack coloring pass maintains AliasAnalysis information when merging multiple stack slots.

This patch fixes PR33928.

llvm-svn: 309849
llvm/lib/Analysis/ValueTracking.cpp
llvm/lib/CodeGen/StackColoring.cpp