diff options
author | Ivan A. Kosarev <ikosarev@accesssoftek.com> | 2017-10-31 11:05:34 +0000 |
---|---|---|
committer | Ivan A. Kosarev <ikosarev@accesssoftek.com> | 2017-10-31 11:05:34 +0000 |
commit | 210431c8134fdeff30834467022ce8c306a4c1dd (patch) | |
tree | 6c29a4446d88a50a6faf41f6ea008a5b921e877f /lib/CodeGen/CodeGenModule.cpp | |
parent | ed8a16203bd96d50875a9ce3dff6ada8daa50cff (diff) |
[CodeGen] Propagate may-alias'ness of lvalues with TBAA info
This patch fixes various places in clang to propagate may-alias
TBAA access descriptors during construction of lvalues, thus
eliminating the need for the LValueBaseInfo::MayAlias flag.
This is part of D38126 reworked to be a separate patch to
simplify review.
Differential Revision: https://reviews.llvm.org/D39008
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@316988 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/CodeGenModule.cpp')
-rw-r--r-- | lib/CodeGen/CodeGenModule.cpp | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/lib/CodeGen/CodeGenModule.cpp b/lib/CodeGen/CodeGenModule.cpp index 4f7d6eaed6..2254f3e70d 100644 --- a/lib/CodeGen/CodeGenModule.cpp +++ b/lib/CodeGen/CodeGenModule.cpp @@ -606,17 +606,19 @@ llvm::MDNode *CodeGenModule::getTBAAAccessTagInfo(TBAAAccessInfo Info) { return TBAA->getAccessTagInfo(Info); } -TBAAAccessInfo CodeGenModule::getTBAAMayAliasAccessInfo() { +TBAAAccessInfo CodeGenModule::mergeTBAAInfoForCast(TBAAAccessInfo SourceInfo, + TBAAAccessInfo TargetInfo) { if (!TBAA) return TBAAAccessInfo(); - return TBAA->getMayAliasAccessInfo(); + return TBAA->mergeTBAAInfoForCast(SourceInfo, TargetInfo); } -TBAAAccessInfo CodeGenModule::mergeTBAAInfoForCast(TBAAAccessInfo SourceInfo, - TBAAAccessInfo TargetInfo) { +TBAAAccessInfo +CodeGenModule::mergeTBAAInfoForConditionalOperator(TBAAAccessInfo InfoA, + TBAAAccessInfo InfoB) { if (!TBAA) return TBAAAccessInfo(); - return TBAA->mergeTBAAInfoForCast(SourceInfo, TargetInfo); + return TBAA->mergeTBAAInfoForConditionalOperator(InfoA, InfoB); } void CodeGenModule::DecorateInstructionWithTBAA(llvm::Instruction *Inst, |