RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2024-12-26 22:26:16 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Make Sink tbaa-aware.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118788 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2010-11-11 16:21:47 +00:00
parent 2c71f18ff7
commit 5aae3dcb53
2 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/Transforms/Scalar/Sink.cpp
View File

@ -15,6 +15,7 @@
#define DEBUG_TYPE "sink"
#include "llvm/Transforms/Scalar.h"
#include "llvm/IntrinsicInst.h"
#include "llvm/LLVMContext.h"
#include "llvm/Analysis/Dominators.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/AliasAnalysis.h"
@ -158,9 +159,11 @@ static bool isSafeToMove(Instruction *Inst, AliasAnalysis *AA,
Value *Ptr = L->getPointerOperand();
uint64_t Size = AA->getTypeStoreSize(L->getType());
const MDNode *TBAAInfo = L->getMetadata(LLVMContext::MD_tbaa);
AliasAnalysis::Location Loc(Ptr, Size, TBAAInfo);
for (SmallPtrSet<Instruction *, 8>::iterator I = Stores.begin(),
E = Stores.end(); I != E; ++I)
if (AA->getModRefInfo(*I, Ptr, Size) & AliasAnalysis::Mod)
if (AA->getModRefInfo(*I, Loc) & AliasAnalysis::Mod)
return false;
}

20
test/Analysis/TypeBasedAliasAnalysis/sink.ll Normal file
View File

@ -0,0 +1,20 @@
; RUN: opt -tbaa -enable-tbaa -sink -S < %s | FileCheck %s
; CHECK: a:
; CHECK: %f = load float* %p, !tbaa !2
; CHECK: store float %f, float* %q
define void @foo(float* %p, i1 %c, float* %q, float* %r) {
%f = load float* %p, !tbaa !0
store float 0.0, float* %r, !tbaa !1
br i1 %c, label %a, label %b
a:
store float %f, float* %q
br label %b
b:
ret void
}
!0 = metadata !{metadata !"A", metadata !2}
!1 = metadata !{metadata !"B", metadata !2}
!2 = metadata !{metadata !"test"}