maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Unsigned types are TBAA-compatible with their signed counterparts. 

Also, handle unknown types conservatively.

llvm-svn: 116541
This commit is contained in:
Dan Gohman 2010-10-14 23:39:00 +00:00
parent 0b5c743811
commit 3f1cf0f373
1 changed files with 18 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
clang/lib/CodeGen/CodeGenTBAA.cpp
View File

@ -49,20 +49,34 @@ CodeGenTBAA::getTBAAInfo(QualType QTy) {
}
// For now, just emit a very minimal tree.
const Type *CanonicalTy = Context.getCanonicalType(Ty);
if (const BuiltinType *BTy = dyn_cast<BuiltinType>(CanonicalTy)) {
if (const BuiltinType *BTy = dyn_cast<BuiltinType>(Ty)) {
switch (BTy->getKind()) {
// Charactar types are special and can alias anything.
case BuiltinType::Char_U:
case BuiltinType::Char_S:
case BuiltinType::UChar:
case BuiltinType::SChar:
// Charactar types are special.
return Char;
// Unsigned types can alias their corresponding signed types.
case BuiltinType::UShort:
return getTBAAInfo(Context.ShortTy);
case BuiltinType::UInt:
return getTBAAInfo(Context.IntTy);
case BuiltinType::ULong:
return getTBAAInfo(Context.LongTy);
case BuiltinType::ULongLong:
return getTBAAInfo(Context.LongLongTy);
case BuiltinType::UInt128:
return getTBAAInfo(Context.Int128Ty);
// Other builtin types.
default:
return MetadataCache[Ty] =
getTBAAInfoForNamedType(BTy->getName(Features), Char);
}
}
return MetadataCache[Ty] = getTBAAInfoForNamedType("TBAA.other", Char);
// For now, handle any other kind of type conservatively.
return MetadataCache[Ty] = Char;
}