forked from OSchip/llvm-project
[LTO] Ignore unreachable virtual functions in WPD in hybrid LTO.
Differential Revision: https://reviews.llvm.org/D115492
This commit is contained in:
Mingming Liu
minglotus-6
parent
1695dd1752
commit
09a704c5ef
|
|
@ -36,7 +36,7 @@
|
|||
; Round trip it through llvm-as
|
||||
; RUN: llvm-dis %t.o.thinlto.bc -o - | llvm-as -o - | llvm-dis -o - | FileCheck %s --check-prefix=CHECK-DIS
|
||||
; CHECK-DIS: ^0 = module: (path: "{{.*}}thinlto-distributed-cfi-devirt.ll.tmp.o", hash: ({{.*}}, {{.*}}, {{.*}}, {{.*}}, {{.*}}))
|
||||
; CHECK-DIS: ^1 = gv: (guid: 8346051122425466633, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 1, dsoLocal: 0, canAutoHide: 0), insts: 18, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeTests: (^2), typeCheckedLoadVCalls: (vFuncId: (^2, offset: 8), vFuncId: (^2, offset: 0))))))
|
||||
; CHECK-DIS: ^1 = gv: (guid: 8346051122425466633, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 1, dsoLocal: 0, canAutoHide: 0), insts: 18, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeTests: (^2), typeCheckedLoadVCalls: (vFuncId: (^2, offset: 8), vFuncId: (^2, offset: 0))))))
|
||||
; CHECK-DIS: ^2 = typeid: (name: "_ZTS1A", summary: (typeTestRes: (kind: allOnes, sizeM1BitWidth: 7), wpdResolutions: ((offset: 0, wpdRes: (kind: branchFunnel)), (offset: 8, wpdRes: (kind: singleImpl, singleImplName: "_ZN1A1nEi"))))) ; guid = 7004155349499253778
|
||||
|
||||
; RUN: %clang_cc1 -triple x86_64-grtev4-linux-gnu \
|
||||
|
|
|
|||
|
|
@ -24,7 +24,7 @@
|
|||
; Round trip it through llvm-as
|
||||
; RUN: llvm-dis %t.o.thinlto.bc -o - | llvm-as -o - | llvm-dis -o - | FileCheck %s --check-prefix=CHECK-DIS
|
||||
; CHECK-DIS: ^0 = module: (path: "{{.*}}thinlto-distributed-cfi.ll.tmp.o", hash: ({{.*}}, {{.*}}, {{.*}}, {{.*}}, {{.*}}))
|
||||
; CHECK-DIS: ^1 = gv: (guid: 8346051122425466633, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 1, dsoLocal: 0, canAutoHide: 0), insts: 7, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 1, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 1, mayThrow: 0, hasUnknownCall: 0), typeIdInfo: (typeTests: (^2)))))
|
||||
; CHECK-DIS: ^1 = gv: (guid: 8346051122425466633, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 1, dsoLocal: 0, canAutoHide: 0), insts: 7, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 1, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 1, mayThrow: 0, hasUnknownCall: 0, mustBeUnreachable: 0), typeIdInfo: (typeTests: (^2)))))
|
||||
; CHECK-DIS: ^2 = typeid: (name: "_ZTS1A", summary: (typeTestRes: (kind: single, sizeM1BitWidth: 0))) ; guid = 7004155349499253778
|
||||
|
||||
; RUN: %clang_cc1 -triple x86_64-grtev4-linux-gnu \
|
||||
|
|
|
|||
|
|
@ -17,7 +17,7 @@
|
|||
;; Summary for call_extern. Note that llvm-lto2 writes out the index before propagation occurs so call_extern doesn't have its flags updated.
|
||||
; CHECK-INDEX: ^2 = gv: (guid: 13959900437860518209, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 1, dsoLocal: 1, canAutoHide: 0), insts: 2, calls: ((callee: ^3)))))
|
||||
;; Summary for extern
|
||||
; CHECK-INDEX: ^3 = gv: (guid: 14959766916849974397, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 1, dsoLocal: 0, canAutoHide: 0), insts: 1, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 1, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 1, mayThrow: 0, hasUnknownCall: 0))))
|
||||
; CHECK-INDEX: ^3 = gv: (guid: 14959766916849974397, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 1, dsoLocal: 0, canAutoHide: 0), insts: 1, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 1, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 1, mayThrow: 0, hasUnknownCall: 0, mustBeUnreachable: 0))))
|
||||
|
||||
;--- a.ll
|
||||
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
|
|
|||
|
|
@ -407,6 +407,7 @@ enum Kind {
|
|||
kw_noUnwind,
|
||||
kw_mayThrow,
|
||||
kw_hasUnknownCall,
|
||||
kw_mustBeUnreachable,
|
||||
kw_calls,
|
||||
kw_callee,
|
||||
kw_params,
|
||||
|
|
|
|||
|
|
@ -581,6 +581,13 @@ public:
|
|||
// If there are calls to unknown targets (e.g. indirect)
|
||||
unsigned HasUnknownCall : 1;
|
||||
|
||||
// Indicate if a function must be an unreachable function.
|
||||
//
|
||||
// This bit is sufficient but not necessary;
|
||||
// if this bit is on, the function must be regarded as unreachable;
|
||||
// if this bit is off, the function might be reachable or unreachable.
|
||||
unsigned MustBeUnreachable : 1;
|
||||
|
||||
FFlags &operator&=(const FFlags &RHS) {
|
||||
this->ReadNone &= RHS.ReadNone;
|
||||
this->ReadOnly &= RHS.ReadOnly;
|
||||
|
|
@ -591,13 +598,15 @@ public:
|
|||
this->NoUnwind &= RHS.NoUnwind;
|
||||
this->MayThrow &= RHS.MayThrow;
|
||||
this->HasUnknownCall &= RHS.HasUnknownCall;
|
||||
this->MustBeUnreachable &= RHS.MustBeUnreachable;
|
||||
return *this;
|
||||
}
|
||||
|
||||
bool anyFlagSet() {
|
||||
return this->ReadNone | this->ReadOnly | this->NoRecurse |
|
||||
this->ReturnDoesNotAlias | this->NoInline | this->AlwaysInline |
|
||||
this->NoUnwind | this->MayThrow | this->HasUnknownCall;
|
||||
this->NoUnwind | this->MayThrow | this->HasUnknownCall |
|
||||
this->MustBeUnreachable;
|
||||
}
|
||||
|
||||
operator std::string() {
|
||||
|
|
@ -613,6 +622,7 @@ public:
|
|||
OS << ", noUnwind: " << this->NoUnwind;
|
||||
OS << ", mayThrow: " << this->MayThrow;
|
||||
OS << ", hasUnknownCall: " << this->HasUnknownCall;
|
||||
OS << ", mustBeUnreachable: " << this->MustBeUnreachable;
|
||||
OS << ")";
|
||||
return OS.str();
|
||||
}
|
||||
|
|
|
|||
|
|
@ -234,6 +234,26 @@ static bool isNonVolatileStore(const Instruction *I) {
|
|||
return false;
|
||||
}
|
||||
|
||||
// Returns true if `F` must be an unreachable function.
|
||||
//
|
||||
// Note if this helper function returns true, `F` is guaranteed
|
||||
// to be unreachable; if it returns false, `F` might still
|
||||
// be unreachable but not covered by this helper function.
|
||||
static bool mustBeUnreachableFunction(const Function &F) {
|
||||
if (!F.empty()) {
|
||||
const BasicBlock &entryBlock = F.getEntryBlock();
|
||||
// A function must be unreachable if its entry block
|
||||
// ends with an 'unreachable'.
|
||||
if (!entryBlock.empty()) {
|
||||
const Instruction *inst = &(*entryBlock.rbegin());
|
||||
if (inst->getOpcode() == Instruction::Unreachable) {
|
||||
return true;
|
||||
}
|
||||
}
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
static void computeFunctionSummary(
|
||||
ModuleSummaryIndex &Index, const Module &M, const Function &F,
|
||||
BlockFrequencyInfo *BFI, ProfileSummaryInfo *PSI, DominatorTree &DT,
|
||||
|
|
@ -488,7 +508,8 @@ static void computeFunctionSummary(
|
|||
// Don't try to import functions with noinline attribute.
|
||||
F.getAttributes().hasFnAttr(Attribute::NoInline),
|
||||
F.hasFnAttribute(Attribute::AlwaysInline),
|
||||
F.hasFnAttribute(Attribute::NoUnwind), MayThrow, HasUnknownCall};
|
||||
F.hasFnAttribute(Attribute::NoUnwind), MayThrow, HasUnknownCall,
|
||||
mustBeUnreachableFunction(F)};
|
||||
std::vector<FunctionSummary::ParamAccess> ParamAccesses;
|
||||
if (auto *SSI = GetSSICallback(F))
|
||||
ParamAccesses = SSI->getParamAccesses(Index);
|
||||
|
|
@ -737,7 +758,8 @@ ModuleSummaryIndex llvm::buildModuleSummaryIndex(
|
|||
F->hasFnAttribute(Attribute::AlwaysInline),
|
||||
F->hasFnAttribute(Attribute::NoUnwind),
|
||||
/* MayThrow */ true,
|
||||
/* HasUnknownCall */ true},
|
||||
/* HasUnknownCall */ true,
|
||||
/* MustBeUnreachable */ false},
|
||||
/*EntryCount=*/0, ArrayRef<ValueInfo>{},
|
||||
ArrayRef<FunctionSummary::EdgeTy>{},
|
||||
ArrayRef<GlobalValue::GUID>{},
|
||||
|
|
|
|||
|
|
@ -773,6 +773,7 @@ lltok::Kind LLLexer::LexIdentifier() {
|
|||
KEYWORD(noUnwind);
|
||||
KEYWORD(mayThrow);
|
||||
KEYWORD(hasUnknownCall);
|
||||
KEYWORD(mustBeUnreachable);
|
||||
KEYWORD(calls);
|
||||
KEYWORD(callee);
|
||||
KEYWORD(params);
|
||||
|
|
|
|||
|
|
@ -8534,6 +8534,7 @@ bool LLParser::parseFlag(unsigned &Val) {
|
|||
/// [',' 'noUnwind' ':' Flag]? ')'
|
||||
/// [',' 'mayThrow' ':' Flag]? ')'
|
||||
/// [',' 'hasUnknownCall' ':' Flag]? ')'
|
||||
/// [',' 'mustBeUnreachable' ':' Flag]? ')'
|
||||
|
||||
bool LLParser::parseOptionalFFlags(FunctionSummary::FFlags &FFlags) {
|
||||
assert(Lex.getKind() == lltok::kw_funcFlags);
|
||||
|
|
@ -8600,6 +8601,12 @@ bool LLParser::parseOptionalFFlags(FunctionSummary::FFlags &FFlags) {
|
|||
return true;
|
||||
FFlags.HasUnknownCall = Val;
|
||||
break;
|
||||
case lltok::kw_mustBeUnreachable:
|
||||
Lex.Lex();
|
||||
if (parseToken(lltok::colon, "expected ':'") || parseFlag(Val))
|
||||
return true;
|
||||
FFlags.MustBeUnreachable = Val;
|
||||
break;
|
||||
default:
|
||||
return error(Lex.getLoc(), "expected function flag type");
|
||||
}
|
||||
|
|
|
|||
|
|
@ -932,6 +932,7 @@ static FunctionSummary::FFlags getDecodedFFlags(uint64_t RawFlags) {
|
|||
Flags.NoUnwind = (RawFlags >> 6) & 0x1;
|
||||
Flags.MayThrow = (RawFlags >> 7) & 0x1;
|
||||
Flags.HasUnknownCall = (RawFlags >> 8) & 0x1;
|
||||
Flags.MustBeUnreachable = (RawFlags >> 9) & 0x1;
|
||||
return Flags;
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -1066,6 +1066,7 @@ static uint64_t getEncodedFFlags(FunctionSummary::FFlags Flags) {
|
|||
RawFlags |= (Flags.NoUnwind << 6);
|
||||
RawFlags |= (Flags.MayThrow << 7);
|
||||
RawFlags |= (Flags.HasUnknownCall << 8);
|
||||
RawFlags |= (Flags.MustBeUnreachable << 9);
|
||||
return RawFlags;
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -447,11 +447,17 @@ static std::string linkageToString(GlobalValue::LinkageTypes LT) {
|
|||
|
||||
static std::string fflagsToString(FunctionSummary::FFlags F) {
|
||||
auto FlagValue = [](unsigned V) { return V ? '1' : '0'; };
|
||||
char FlagRep[] = {FlagValue(F.ReadNone), FlagValue(F.ReadOnly),
|
||||
FlagValue(F.NoRecurse), FlagValue(F.ReturnDoesNotAlias),
|
||||
FlagValue(F.NoInline), FlagValue(F.AlwaysInline),
|
||||
FlagValue(F.NoUnwind), FlagValue(F.MayThrow),
|
||||
FlagValue(F.HasUnknownCall), 0};
|
||||
char FlagRep[] = {FlagValue(F.ReadNone),
|
||||
FlagValue(F.ReadOnly),
|
||||
FlagValue(F.NoRecurse),
|
||||
FlagValue(F.ReturnDoesNotAlias),
|
||||
FlagValue(F.NoInline),
|
||||
FlagValue(F.AlwaysInline),
|
||||
FlagValue(F.NoUnwind),
|
||||
FlagValue(F.MayThrow),
|
||||
FlagValue(F.HasUnknownCall),
|
||||
FlagValue(F.MustBeUnreachable),
|
||||
0};
|
||||
|
||||
return FlagRep;
|
||||
}
|
||||
|
|
|
|||
|
|
@ -359,6 +359,36 @@ template <> struct DenseMapInfo<VTableSlotSummary> {
|
|||
|
||||
namespace {
|
||||
|
||||
// Returns true if the function must be unreachable based on ValueInfo.
|
||||
//
|
||||
// In particular, identifies a function as unreachable in the following
|
||||
// conditions
|
||||
// 1) All summaries are live.
|
||||
// 2) All function summaries indicate it's unreachable
|
||||
bool mustBeUnreachableFunction(ValueInfo TheFnVI) {
|
||||
if ((!TheFnVI) || TheFnVI.getSummaryList().empty()) {
|
||||
// Returns false if ValueInfo is absent, or the summary list is empty
|
||||
// (e.g., function declarations).
|
||||
return false;
|
||||
}
|
||||
|
||||
for (auto &Summary : TheFnVI.getSummaryList()) {
|
||||
// Conservatively returns false if any non-live functions are seen.
|
||||
// In general either all summaries should be live or all should be dead.
|
||||
if (!Summary->isLive())
|
||||
return false;
|
||||
if (auto *FS = dyn_cast<FunctionSummary>(Summary.get())) {
|
||||
if (!FS->fflags().MustBeUnreachable)
|
||||
return false;
|
||||
}
|
||||
// Do nothing if a non-function has the same GUID (which is rare).
|
||||
// This is correct since non-function summaries are not relevant.
|
||||
}
|
||||
// All function summaries are live and all of them agree that the function is
|
||||
// unreachble.
|
||||
return true;
|
||||
}
|
||||
|
||||
// A virtual call site. VTable is the loaded virtual table pointer, and CS is
|
||||
// the indirect virtual call.
|
||||
struct VirtualCallSite {
|
||||
|
|
@ -562,10 +592,12 @@ struct DevirtModule {
|
|||
void buildTypeIdentifierMap(
|
||||
std::vector<VTableBits> &Bits,
|
||||
DenseMap<Metadata *, std::set<TypeMemberInfo>> &TypeIdMap);
|
||||
|
||||
bool
|
||||
tryFindVirtualCallTargets(std::vector<VirtualCallTarget> &TargetsForSlot,
|
||||
const std::set<TypeMemberInfo> &TypeMemberInfos,
|
||||
uint64_t ByteOffset);
|
||||
uint64_t ByteOffset,
|
||||
ModuleSummaryIndex *ExportSummary);
|
||||
|
||||
void applySingleImplDevirt(VTableSlotInfo &SlotInfo, Constant *TheFn,
|
||||
bool &IsExported);
|
||||
|
|
@ -640,6 +672,12 @@ struct DevirtModule {
|
|||
|
||||
bool run();
|
||||
|
||||
// Look up the corresponding ValueInfo entry of `TheFn` in `ExportSummary`.
|
||||
//
|
||||
// Caller guarantees that `ExportSummary` is not nullptr.
|
||||
static ValueInfo lookUpFunctionValueInfo(Function *TheFn,
|
||||
ModuleSummaryIndex *ExportSummary);
|
||||
|
||||
// Lower the module using the action and summary passed as command line
|
||||
// arguments. For testing purposes only.
|
||||
static bool
|
||||
|
|
@ -969,7 +1007,8 @@ void DevirtModule::buildTypeIdentifierMap(
|
|||
|
||||
bool DevirtModule::tryFindVirtualCallTargets(
|
||||
std::vector<VirtualCallTarget> &TargetsForSlot,
|
||||
const std::set<TypeMemberInfo> &TypeMemberInfos, uint64_t ByteOffset) {
|
||||
const std::set<TypeMemberInfo> &TypeMemberInfos, uint64_t ByteOffset,
|
||||
ModuleSummaryIndex *ExportSummary) {
|
||||
for (const TypeMemberInfo &TM : TypeMemberInfos) {
|
||||
if (!TM.Bits->GV->isConstant())
|
||||
return false;
|
||||
|
|
@ -997,6 +1036,13 @@ bool DevirtModule::tryFindVirtualCallTargets(
|
|||
if (Fn->getName() == "__cxa_pure_virtual")
|
||||
continue;
|
||||
|
||||
// We can disregard unreachable functions as possible call targets, as
|
||||
// unreachable functions shouldn't be called.
|
||||
if (ExportSummary && (mustBeUnreachableFunction(
|
||||
lookUpFunctionValueInfo(Fn, ExportSummary)))) {
|
||||
continue;
|
||||
}
|
||||
|
||||
TargetsForSlot.push_back({Fn, &TM});
|
||||
}
|
||||
|
||||
|
|
@ -2014,6 +2060,30 @@ void DevirtModule::removeRedundantTypeTests() {
|
|||
}
|
||||
}
|
||||
|
||||
ValueInfo
|
||||
DevirtModule::lookUpFunctionValueInfo(Function *TheFn,
|
||||
ModuleSummaryIndex *ExportSummary) {
|
||||
assert((ExportSummary != nullptr) &&
|
||||
"Caller guarantees ExportSummary is not nullptr");
|
||||
|
||||
const auto TheFnGUID = TheFn->getGUID();
|
||||
const auto TheFnGUIDWithExportedName = GlobalValue::getGUID(TheFn->getName());
|
||||
// Look up ValueInfo with the GUID in the current linkage.
|
||||
ValueInfo TheFnVI = ExportSummary->getValueInfo(TheFnGUID);
|
||||
// If no entry is found and GUID is different from GUID computed using
|
||||
// exported name, look up ValueInfo with the exported name unconditionally.
|
||||
// This is a fallback.
|
||||
//
|
||||
// The reason to have a fallback:
|
||||
// 1. LTO could enable global value internalization via
|
||||
// `enable-lto-internalization`.
|
||||
// 2. The GUID in ExportedSummary is computed using exported name.
|
||||
if ((!TheFnVI) && (TheFnGUID != TheFnGUIDWithExportedName)) {
|
||||
TheFnVI = ExportSummary->getValueInfo(TheFnGUIDWithExportedName);
|
||||
}
|
||||
return TheFnVI;
|
||||
}
|
||||
|
||||
bool DevirtModule::run() {
|
||||
// If only some of the modules were split, we cannot correctly perform
|
||||
// this transformation. We already checked for the presense of type tests
|
||||
|
|
@ -2137,7 +2207,7 @@ bool DevirtModule::run() {
|
|||
cast<MDString>(S.first.TypeID)->getString())
|
||||
.WPDRes[S.first.ByteOffset];
|
||||
if (tryFindVirtualCallTargets(TargetsForSlot, TypeMemberInfos,
|
||||
S.first.ByteOffset)) {
|
||||
S.first.ByteOffset, ExportSummary)) {
|
||||
|
||||
if (!trySingleImplDevirt(ExportSummary, TargetsForSlot, S.second, Res)) {
|
||||
DidVirtualConstProp |=
|
||||
|
|
|
|||
|
|
@ -37,10 +37,10 @@
|
|||
|
||||
; Functions with various flag combinations (notEligibleToImport, Live,
|
||||
; combinations of optional function flags).
|
||||
^15 = gv: (guid: 14, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 1, live: 1, dsoLocal: 0), insts: 1, funcFlags: (noInline: 1))))
|
||||
^16 = gv: (guid: 15, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0), insts: 1, funcFlags: (readNone: 1, noRecurse: 1, alwaysInline: 1, noUnwind : 1, mayThrow : 1, hasUnknownCall : 1))))
|
||||
^15 = gv: (guid: 14, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 1, live: 1, dsoLocal: 0), insts: 1, funcFlags: (noInline: 1, mustBeUnreachable: 0))))
|
||||
^16 = gv: (guid: 15, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0), insts: 1, funcFlags: (readNone: 1, noRecurse: 1, alwaysInline: 1, noUnwind : 1, mayThrow : 1, hasUnknownCall : 1, mustBeUnreachable: 0))))
|
||||
; This one also tests backwards reference in calls.
|
||||
^17 = gv: (guid: 16, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0), insts: 1, funcFlags: (readOnly: 1, returnDoesNotAlias: 1), calls: ((callee: ^15)))))
|
||||
^17 = gv: (guid: 16, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0), insts: 1, funcFlags: (readOnly: 1, returnDoesNotAlias: 1, mustBeUnreachable: 1), calls: ((callee: ^15)))))
|
||||
|
||||
; Alias summary with backwards reference to aliasee.
|
||||
^18 = gv: (guid: 17, summaries: (alias: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 1), aliasee: ^14)))
|
||||
|
|
@ -82,9 +82,9 @@
|
|||
; CHECK: ^12 = gv: (guid: 11, summaries: (variable: (module: ^0, flags: (linkage: appending, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), varFlags: (readonly: 0, writeonly: 0, constant: 0), refs: (^4))))
|
||||
; CHECK: ^13 = gv: (guid: 12, summaries: (variable: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), varFlags: (readonly: 1, writeonly: 0, constant: 0))))
|
||||
; CHECK: ^14 = gv: (guid: 13, summaries: (variable: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 1, canAutoHide: 0), varFlags: (readonly: 0, writeonly: 0, constant: 0))))
|
||||
; CHECK: ^15 = gv: (guid: 14, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 1, live: 1, dsoLocal: 0, canAutoHide: 0), insts: 1, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 1, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 0))))
|
||||
; CHECK: ^16 = gv: (guid: 15, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 1, funcFlags: (readNone: 1, readOnly: 0, noRecurse: 1, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 1, noUnwind: 1, mayThrow: 1, hasUnknownCall: 1))))
|
||||
; CHECK: ^17 = gv: (guid: 16, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 1, funcFlags: (readNone: 0, readOnly: 1, noRecurse: 0, returnDoesNotAlias: 1, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 0), calls: ((callee: ^15)))))
|
||||
; CHECK: ^15 = gv: (guid: 14, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 1, live: 1, dsoLocal: 0, canAutoHide: 0), insts: 1, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 1, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 0, mustBeUnreachable: 0))))
|
||||
; CHECK: ^16 = gv: (guid: 15, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 1, funcFlags: (readNone: 1, readOnly: 0, noRecurse: 1, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 1, noUnwind: 1, mayThrow: 1, hasUnknownCall: 1, mustBeUnreachable: 0))))
|
||||
; CHECK: ^17 = gv: (guid: 16, summaries: (function: (module: ^1, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 1, funcFlags: (readNone: 0, readOnly: 1, noRecurse: 0, returnDoesNotAlias: 1, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 0, mustBeUnreachable: 1), calls: ((callee: ^15)))))
|
||||
; CHECK: ^18 = gv: (guid: 17, summaries: (alias: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 1, canAutoHide: 0), aliasee: ^14)))
|
||||
; CHECK: ^19 = gv: (guid: 18, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 4, typeIdInfo: (typeTests: (^24, ^26)))))
|
||||
; CHECK: ^20 = gv: (guid: 19, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 8, typeIdInfo: (typeTestAssumeVCalls: (vFuncId: (^27, offset: 16))))))
|
||||
|
|
|
|||
|
|
@ -158,7 +158,7 @@ entry:
|
|||
; DIS-DAG: = gv: (name: "globalvar", summaries: (variable: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), varFlags: (readonly: 1, writeonly: 0, constant: 1)))) ; guid = 12887606300320728018
|
||||
; DIS-DAG: = gv: (name: "func2") ; guid = 14069196320850861797
|
||||
; DIS-DAG: = gv: (name: "llvm.ctpop.i8") ; guid = 15254915475081819833
|
||||
; DIS-DAG: = gv: (name: "main", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 9, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), calls: ((callee: ^{{.*}})), refs: (^{{.*}})))) ; guid = 15822663052811949562
|
||||
; DIS-DAG: = gv: (name: "main", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 9, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), calls: ((callee: ^{{.*}})), refs: (^{{.*}})))) ; guid = 15822663052811949562
|
||||
; DIS-DAG: = gv: (name: "bar", summaries: (variable: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), varFlags: (readonly: 1, writeonly: 1, constant: 0), refs: (^{{.*}})))) ; guid = 16434608426314478903
|
||||
; Don't try to match the exact GUID. Since it is private, the file path
|
||||
; will get hashed, and that will be test dependent.
|
||||
|
|
|
|||
|
|
@ -112,19 +112,19 @@ declare {i8*, i1} @llvm.type.checked.load(i8*, i32, metadata)
|
|||
|
||||
; DIS: ^0 = module: (path: "{{.*}}", hash: (0, 0, 0, 0, 0))
|
||||
; DIS: ^1 = gv: (name: "llvm.type.test") ; guid = 608142985856744218
|
||||
; DIS: ^2 = gv: (name: "f1", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 8, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeTestAssumeVCalls: (vFuncId: (guid: 6699318081062747564, offset: 16)))))) ; guid = 2072045998141807037
|
||||
; DIS: ^3 = gv: (name: "f3", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 5, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeCheckedLoadVCalls: (vFuncId: (guid: 6699318081062747564, offset: 16)))))) ; guid = 4197650231481825559
|
||||
; DIS: ^2 = gv: (name: "f1", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 8, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeTestAssumeVCalls: (vFuncId: (guid: 6699318081062747564, offset: 16)))))) ; guid = 2072045998141807037
|
||||
; DIS: ^3 = gv: (name: "f3", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 5, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeCheckedLoadVCalls: (vFuncId: (guid: 6699318081062747564, offset: 16)))))) ; guid = 4197650231481825559
|
||||
; DIS: ^4 = gv: (name: "llvm.type.checked.load") ; guid = 5568222536364573403
|
||||
; DIS: ^5 = gv: (name: "llvm.assume") ; guid = 6385187066495850096
|
||||
; DIS: ^6 = gv: (name: "f2", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 15, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeTestAssumeVCalls: (vFuncId: (guid: 6699318081062747564, offset: 24), vFuncId: (guid: 16434608426314478903, offset: 32)))))) ; guid = 8471399308421654326
|
||||
; DIS: ^7 = gv: (name: "f4", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 15, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeTestAssumeConstVCalls: ((vFuncId: (guid: 6699318081062747564, offset: 16), args: (42)), (vFuncId: (guid: 6699318081062747564, offset: 24), args: (43))))))) ; guid = 10064745020953272174
|
||||
; DIS: ^8 = gv: (name: "f5", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 5, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeCheckedLoadConstVCalls: ((vFuncId: (guid: 6699318081062747564, offset: 16), args: (42))))))) ; guid = 11686717102184386164
|
||||
; DIS: ^6 = gv: (name: "f2", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 15, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeTestAssumeVCalls: (vFuncId: (guid: 6699318081062747564, offset: 24), vFuncId: (guid: 16434608426314478903, offset: 32)))))) ; guid = 8471399308421654326
|
||||
; DIS: ^7 = gv: (name: "f4", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 15, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeTestAssumeConstVCalls: ((vFuncId: (guid: 6699318081062747564, offset: 16), args: (42)), (vFuncId: (guid: 6699318081062747564, offset: 24), args: (43))))))) ; guid = 10064745020953272174
|
||||
; DIS: ^8 = gv: (name: "f5", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 5, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeCheckedLoadConstVCalls: ((vFuncId: (guid: 6699318081062747564, offset: 16), args: (42))))))) ; guid = 11686717102184386164
|
||||
; DIS: ^9 = gv: (name: "f6", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 2, typeIdInfo: (typeTests: (7546896869197086323))))) ; guid = 11834966808443348068
|
||||
|
||||
; COMBINED-DIS: ^0 = module: (path: "{{.*}}thinlto-type-vcalls.ll.tmp.o", hash: (0, 0, 0, 0, 0))
|
||||
; COMBINED-DIS: ^1 = gv: (guid: 2072045998141807037, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 8, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeTestAssumeVCalls: (vFuncId: (guid: 6699318081062747564, offset: 16))))))
|
||||
; COMBINED-DIS: ^2 = gv: (guid: 4197650231481825559, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 5, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeCheckedLoadVCalls: (vFuncId: (guid: 6699318081062747564, offset: 16))))))
|
||||
; COMBINED-DIS: ^3 = gv: (guid: 8471399308421654326, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 15, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeTestAssumeVCalls: (vFuncId: (guid: 6699318081062747564, offset: 24), vFuncId: (guid: 16434608426314478903, offset: 32))))))
|
||||
; COMBINED-DIS: ^4 = gv: (guid: 10064745020953272174, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 15, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeTestAssumeConstVCalls: ((vFuncId: (guid: 6699318081062747564, offset: 16), args: (42)), (vFuncId: (guid: 6699318081062747564, offset: 24), args: (43)))))))
|
||||
; COMBINED-DIS: ^5 = gv: (guid: 11686717102184386164, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 5, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1), typeIdInfo: (typeCheckedLoadConstVCalls: ((vFuncId: (guid: 6699318081062747564, offset: 16), args: (42)))))))
|
||||
; COMBINED-DIS: ^1 = gv: (guid: 2072045998141807037, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 8, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeTestAssumeVCalls: (vFuncId: (guid: 6699318081062747564, offset: 16))))))
|
||||
; COMBINED-DIS: ^2 = gv: (guid: 4197650231481825559, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 5, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeCheckedLoadVCalls: (vFuncId: (guid: 6699318081062747564, offset: 16))))))
|
||||
; COMBINED-DIS: ^3 = gv: (guid: 8471399308421654326, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 15, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeTestAssumeVCalls: (vFuncId: (guid: 6699318081062747564, offset: 24), vFuncId: (guid: 16434608426314478903, offset: 32))))))
|
||||
; COMBINED-DIS: ^4 = gv: (guid: 10064745020953272174, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 15, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeTestAssumeConstVCalls: ((vFuncId: (guid: 6699318081062747564, offset: 16), args: (42)), (vFuncId: (guid: 6699318081062747564, offset: 24), args: (43)))))))
|
||||
; COMBINED-DIS: ^5 = gv: (guid: 11686717102184386164, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 5, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), typeIdInfo: (typeCheckedLoadConstVCalls: ((vFuncId: (guid: 6699318081062747564, offset: 16), args: (42)))))))
|
||||
; COMBINED-DIS: ^6 = gv: (guid: 11834966808443348068, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 2, typeIdInfo: (typeTests: (7546896869197086323)))))
|
||||
|
|
|
|||
|
|
@ -0,0 +1,132 @@
|
|||
; ModuleID = 'lib.cc'
|
||||
source_filename = "lib.cc"
|
||||
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-unknown-linux-gnu"
|
||||
|
||||
%class.Derived = type { %class.Base }
|
||||
%class.Base = type { i32 (...)** }
|
||||
|
||||
$_ZN7DerivedD2Ev = comdat any
|
||||
|
||||
$_ZN7DerivedD0Ev = comdat any
|
||||
|
||||
$_ZN4BaseD2Ev = comdat any
|
||||
|
||||
$_ZN4BaseD0Ev = comdat any
|
||||
|
||||
$_ZTS4Base = comdat any
|
||||
|
||||
$_ZTI4Base = comdat any
|
||||
|
||||
$_ZTV4Base = comdat any
|
||||
|
||||
@.str = private unnamed_addr constant [12 x i8] c"Derived::x\0A\00", align 1
|
||||
@_ZTV7Derived = hidden unnamed_addr constant { [5 x i8*] } { [5 x i8*] [i8* null, i8* bitcast ({ i8*, i8*, i8* }* @_ZTI7Derived to i8*), i8* bitcast (void (%class.Derived*)* @_ZN7DerivedD2Ev to i8*), i8* bitcast (void (%class.Derived*)* @_ZN7DerivedD0Ev to i8*), i8* bitcast (void (%class.Derived*)* @_ZN7Derived1xEv to i8*)] }, align 8, !type !0, !type !1, !type !2, !type !3, !vcall_visibility !4
|
||||
@_ZTVN10__cxxabiv120__si_class_type_infoE = external dso_local global i8*
|
||||
@_ZTS7Derived = hidden constant [9 x i8] c"7Derived\00", align 1
|
||||
@_ZTVN10__cxxabiv117__class_type_infoE = external dso_local global i8*
|
||||
@_ZTS4Base = linkonce_odr hidden constant [6 x i8] c"4Base\00", comdat, align 1
|
||||
@_ZTI4Base = linkonce_odr hidden constant { i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv117__class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @_ZTS4Base, i32 0, i32 0) }, comdat, align 8
|
||||
@_ZTI7Derived = hidden constant { i8*, i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv120__si_class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @_ZTS7Derived, i32 0, i32 0), i8* bitcast ({ i8*, i8* }* @_ZTI4Base to i8*) }, align 8
|
||||
@.str.1 = private unnamed_addr constant [24 x i8] c"In Derived::~Derived()\0A\00", align 1
|
||||
@_ZTV4Base = linkonce_odr hidden unnamed_addr constant { [5 x i8*] } { [5 x i8*] [i8* null, i8* bitcast ({ i8*, i8* }* @_ZTI4Base to i8*), i8* bitcast (void (%class.Base*)* @_ZN4BaseD2Ev to i8*), i8* bitcast (void (%class.Base*)* @_ZN4BaseD0Ev to i8*), i8* bitcast (void ()* @__cxa_pure_virtual to i8*)] }, comdat, align 8, !type !0, !type !1, !vcall_visibility !4
|
||||
@.str.2 = private unnamed_addr constant [18 x i8] c"In Base::~Base()\0A\00", align 1
|
||||
|
||||
define hidden void @_ZN7Derived1xEv(%class.Derived* nonnull align 8 dereferenceable(8) %this) unnamed_addr align 2 {
|
||||
entry:
|
||||
%this.addr = alloca %class.Derived*, align 8
|
||||
store %class.Derived* %this, %class.Derived** %this.addr, align 8
|
||||
%this1 = load %class.Derived*, %class.Derived** %this.addr, align 8
|
||||
%call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0))
|
||||
ret void
|
||||
}
|
||||
|
||||
declare dso_local i32 @printf(i8*, ...)
|
||||
|
||||
define hidden void @_Z3fooP4Base(%class.Base* %b) {
|
||||
entry:
|
||||
%b.addr = alloca %class.Base*, align 8
|
||||
store %class.Base* %b, %class.Base** %b.addr, align 8
|
||||
%0 = load %class.Base*, %class.Base** %b.addr, align 8
|
||||
%isnull = icmp eq %class.Base* %0, null
|
||||
br i1 %isnull, label %delete.end, label %delete.notnull
|
||||
|
||||
delete.notnull: ; preds = %entry
|
||||
%1 = bitcast %class.Base* %0 to void (%class.Base*)***
|
||||
%vtable = load void (%class.Base*)**, void (%class.Base*)*** %1, align 8
|
||||
%2 = bitcast void (%class.Base*)** %vtable to i8*
|
||||
%3 = call i1 @llvm.type.test(i8* %2, metadata !"_ZTS4Base")
|
||||
call void @llvm.assume(i1 %3)
|
||||
%vfn = getelementptr inbounds void (%class.Base*)*, void (%class.Base*)** %vtable, i64 1
|
||||
%4 = load void (%class.Base*)*, void (%class.Base*)** %vfn, align 8
|
||||
call void %4(%class.Base* nonnull align 8 dereferenceable(8) %0)
|
||||
br label %delete.end
|
||||
|
||||
delete.end: ; preds = %delete.notnull, %entry
|
||||
ret void
|
||||
}
|
||||
|
||||
declare i1 @llvm.type.test(i8*, metadata)
|
||||
|
||||
declare void @llvm.assume(i1 noundef)
|
||||
|
||||
define linkonce_odr hidden void @_ZN7DerivedD2Ev(%class.Derived* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
|
||||
entry:
|
||||
%this.addr = alloca %class.Derived*, align 8
|
||||
store %class.Derived* %this, %class.Derived** %this.addr, align 8
|
||||
%this1 = load %class.Derived*, %class.Derived** %this.addr, align 8
|
||||
%0 = bitcast %class.Derived* %this1 to i32 (...)***
|
||||
store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV7Derived, i32 0, inrange i32 0, i32 2) to i32 (...)**), i32 (...)*** %0, align 8
|
||||
%call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.1, i64 0, i64 0))
|
||||
%1 = bitcast %class.Derived* %this1 to %class.Base*
|
||||
call void @_ZN4BaseD2Ev(%class.Base* nonnull align 8 dereferenceable(8) %1)
|
||||
ret void
|
||||
}
|
||||
|
||||
define linkonce_odr hidden void @_ZN7DerivedD0Ev(%class.Derived* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
|
||||
entry:
|
||||
%this.addr = alloca %class.Derived*, align 8
|
||||
store %class.Derived* %this, %class.Derived** %this.addr, align 8
|
||||
%this1 = load %class.Derived*, %class.Derived** %this.addr, align 8
|
||||
call void @_ZN7DerivedD2Ev(%class.Derived* nonnull align 8 dereferenceable(8) %this1)
|
||||
%0 = bitcast %class.Derived* %this1 to i8*
|
||||
call void @_ZdlPv(i8* %0)
|
||||
ret void
|
||||
}
|
||||
|
||||
define linkonce_odr hidden void @_ZN4BaseD2Ev(%class.Base* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
|
||||
entry:
|
||||
%this.addr = alloca %class.Base*, align 8
|
||||
store %class.Base* %this, %class.Base** %this.addr, align 8
|
||||
%this1 = load %class.Base*, %class.Base** %this.addr, align 8
|
||||
%0 = bitcast %class.Base* %this1 to i32 (...)***
|
||||
store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV4Base, i32 0, inrange i32 0, i32 2) to i32 (...)**), i32 (...)*** %0, align 8
|
||||
%call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.2, i64 0, i64 0))
|
||||
ret void
|
||||
}
|
||||
|
||||
define linkonce_odr hidden void @_ZN4BaseD0Ev(%class.Base* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
|
||||
entry:
|
||||
%this.addr = alloca %class.Base*, align 8
|
||||
store %class.Base* %this, %class.Base** %this.addr, align 8
|
||||
%this1 = load %class.Base*, %class.Base** %this.addr, align 8
|
||||
call void @llvm.trap()
|
||||
unreachable
|
||||
}
|
||||
|
||||
declare dso_local void @__cxa_pure_virtual() unnamed_addr
|
||||
|
||||
declare void @llvm.trap()
|
||||
|
||||
declare dso_local void @_ZdlPv(i8*)
|
||||
|
||||
!llvm.module.flags = !{!5, !6, !7, !8}
|
||||
!0 = !{i64 16, !"_ZTS4Base"}
|
||||
!1 = !{i64 32, !"_ZTSM4BaseFvvE.virtual"}
|
||||
!2 = !{i64 16, !"_ZTS7Derived"}
|
||||
!3 = !{i64 32, !"_ZTSM7DerivedFvvE.virtual"}
|
||||
!4 = !{i64 1}
|
||||
!5 = !{i32 1, !"wchar_size", i32 4}
|
||||
!6 = !{i32 1, !"Virtual Function Elim", i32 0}
|
||||
!7 = !{i32 7, !"uwtable", i32 1}
|
||||
!8 = !{i32 7, !"frame-pointer", i32 2}
|
||||
|
|
@ -0,0 +1,161 @@
|
|||
; Test that unreachable functions are ignored by WPD in hybrid LTO.
|
||||
; In this test case, the unreachable function is the virtual deleting destructor of an abstract class.
|
||||
|
||||
; Generate split module with summary for hybrid Regular LTO WPD
|
||||
; RUN: opt -thinlto-bc -thinlto-split-lto-unit %s -o %t-main.bc
|
||||
; RUN: opt -thinlto-bc -thinlto-split-lto-unit %p/Inputs/devirt_hybrid_after_filtering_unreachable_lib.ll -o %t-foo.bc
|
||||
; Tests that devirtualization happens.
|
||||
; RUN: llvm-lto2 run -save-temps %t-main.bc %t-foo.bc -pass-remarks=. -o %t \
|
||||
; RUN: -whole-program-visibility \
|
||||
; RUN: -r=%t-foo.bc,_ZN7Derived1xEv,pl \
|
||||
; RUN: -r=%t-foo.bc,printf, \
|
||||
; RUN: -r=%t-foo.bc,_Z3fooP4Base,pl \
|
||||
; RUN: -r=%t-foo.bc,_ZN7DerivedD2Ev,pl \
|
||||
; RUN: -r=%t-foo.bc,_ZN7DerivedD0Ev,pl \
|
||||
; RUN: -r=%t-foo.bc,_ZN4BaseD2Ev,pl \
|
||||
; RUN: -r=%t-foo.bc,_ZN4BaseD0Ev,pl \
|
||||
; RUN: -r=%t-foo.bc,__cxa_pure_virtual, \
|
||||
; RUN: -r=%t-foo.bc,_ZdlPv, \
|
||||
; RUN: -r=%t-foo.bc,_ZTV7Derived,l \
|
||||
; RUN: -r=%t-foo.bc,_ZTVN10__cxxabiv120__si_class_type_infoE, \
|
||||
; RUN: -r=%t-foo.bc,_ZTS7Derived,pl \
|
||||
; RUN: -r=%t-foo.bc,_ZTVN10__cxxabiv117__class_type_infoE, \
|
||||
; RUN: -r=%t-foo.bc,_ZTS4Base,pl \
|
||||
; RUN: -r=%t-foo.bc,_ZTI4Base,pl \
|
||||
; RUN: -r=%t-foo.bc,_ZTI7Derived,pl \
|
||||
; RUN: -r=%t-foo.bc,_ZTV4Base,l \
|
||||
; RUN: -r=%t-foo.bc,__cxa_pure_virtual, \
|
||||
; RUN: -r=%t-foo.bc,_ZN7Derived1xEv, \
|
||||
; RUN: -r=%t-foo.bc,_ZN7DerivedD2Ev, \
|
||||
; RUN: -r=%t-foo.bc,_ZN7DerivedD0Ev, \
|
||||
; RUN: -r=%t-foo.bc,_ZN4BaseD2Ev, \
|
||||
; RUN: -r=%t-foo.bc,_ZN4BaseD0Ev, \
|
||||
; RUN: -r=%t-foo.bc,_ZTV7Derived,pl \
|
||||
; RUN: -r=%t-foo.bc,_ZTI4Base, \
|
||||
; RUN: -r=%t-foo.bc,_ZTI7Derived, \
|
||||
; RUN: -r=%t-foo.bc,_ZTV4Base,pl \
|
||||
; RUN: -r=%t-main.bc,main,plx \
|
||||
; RUN: -r=%t-main.bc,_Znwm,pl \
|
||||
; RUN: -r=%t-main.bc,_ZN7DerivedC2Ev,pl \
|
||||
; RUN: -r=%t-main.bc,_Z3fooP4Base, \
|
||||
; RUN: -r=%t-main.bc,_ZN4BaseC2Ev,pl \
|
||||
; RUN: -r=%t-main.bc,_ZN4BaseD2Ev, \
|
||||
; RUN: -r=%t-main.bc,_ZN4BaseD0Ev, \
|
||||
; RUN: -r=%t-main.bc,__cxa_pure_virtual, \
|
||||
; RUN: -r=%t-main.bc,printf, \
|
||||
; RUN: -r=%t-main.bc,_ZTV7Derived, \
|
||||
; RUN: -r=%t-main.bc,_ZTV4Base, \
|
||||
; RUN: -r=%t-main.bc,_ZTVN10__cxxabiv117__class_type_infoE, \
|
||||
; RUN: -r=%t-main.bc,_ZTS4Base, \
|
||||
; RUN: -r=%t-main.bc,_ZTI4Base, \
|
||||
; RUN: -r=%t-main.bc,__cxa_pure_virtual, \
|
||||
; RUN: -r=%t-main.bc,_ZN4BaseD2Ev, \
|
||||
; RUN: -r=%t-main.bc,_ZN4BaseD0Ev, \
|
||||
; RUN: -r=%t-main.bc,_ZTV4Base, \
|
||||
; RUN: -r=%t-main.bc,_ZTI4Base, 2>&1 | FileCheck %s --check-prefix=REMARK
|
||||
|
||||
; REMARK-COUNT-1: single-impl: devirtualized a call to _ZN7DerivedD0Ev
|
||||
|
||||
; ModuleID = 'tmp.cc'
|
||||
source_filename = "tmp.cc"
|
||||
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-unknown-linux-gnu"
|
||||
|
||||
%class.Derived = type { %class.Base }
|
||||
%class.Base = type { i32 (...)** }
|
||||
|
||||
$_ZN7DerivedC2Ev = comdat any
|
||||
|
||||
$_ZN4BaseC2Ev = comdat any
|
||||
|
||||
$_ZN4BaseD2Ev = comdat any
|
||||
|
||||
$_ZN4BaseD0Ev = comdat any
|
||||
|
||||
$_ZTV4Base = comdat any
|
||||
|
||||
$_ZTS4Base = comdat any
|
||||
|
||||
$_ZTI4Base = comdat any
|
||||
|
||||
@_ZTV7Derived = external dso_local unnamed_addr constant { [5 x i8*] }, align 8
|
||||
@_ZTV4Base = linkonce_odr hidden unnamed_addr constant { [5 x i8*] } { [5 x i8*] [i8* null, i8* bitcast ({ i8*, i8* }* @_ZTI4Base to i8*), i8* bitcast (void (%class.Base*)* @_ZN4BaseD2Ev to i8*), i8* bitcast (void (%class.Base*)* @_ZN4BaseD0Ev to i8*), i8* bitcast (void ()* @__cxa_pure_virtual to i8*)] }, comdat, align 8, !type !0, !type !1, !vcall_visibility !2
|
||||
@_ZTVN10__cxxabiv117__class_type_infoE = external dso_local global i8*
|
||||
@_ZTS4Base = linkonce_odr hidden constant [6 x i8] c"4Base\00", comdat, align 1
|
||||
@_ZTI4Base = linkonce_odr hidden constant { i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv117__class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @_ZTS4Base, i32 0, i32 0) }, comdat, align 8
|
||||
@.str = private unnamed_addr constant [18 x i8] c"In Base::~Base()\0A\00", align 1
|
||||
|
||||
define hidden i32 @main() {
|
||||
entry:
|
||||
%d = alloca %class.Derived*, align 8
|
||||
%call = call noalias nonnull i8* @_Znwm(i64 8)
|
||||
%0 = bitcast i8* %call to %class.Derived*
|
||||
call void @_ZN7DerivedC2Ev(%class.Derived* nonnull align 8 dereferenceable(8) %0)
|
||||
store %class.Derived* %0, %class.Derived** %d, align 8
|
||||
%1 = load %class.Derived*, %class.Derived** %d, align 8
|
||||
%2 = bitcast %class.Derived* %1 to %class.Base*
|
||||
call void @_Z3fooP4Base(%class.Base* %2)
|
||||
ret i32 0
|
||||
}
|
||||
|
||||
declare dso_local nonnull i8* @_Znwm(i64)
|
||||
|
||||
define linkonce_odr hidden void @_ZN7DerivedC2Ev(%class.Derived* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
|
||||
entry:
|
||||
%this.addr = alloca %class.Derived*, align 8
|
||||
store %class.Derived* %this, %class.Derived** %this.addr, align 8
|
||||
%this1 = load %class.Derived*, %class.Derived** %this.addr, align 8
|
||||
%0 = bitcast %class.Derived* %this1 to %class.Base*
|
||||
call void @_ZN4BaseC2Ev(%class.Base* nonnull align 8 dereferenceable(8) %0)
|
||||
%1 = bitcast %class.Derived* %this1 to i32 (...)***
|
||||
store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV7Derived, i32 0, inrange i32 0, i32 2) to i32 (...)**), i32 (...)*** %1, align 8
|
||||
ret void
|
||||
}
|
||||
|
||||
declare dso_local void @_Z3fooP4Base(%class.Base*)
|
||||
|
||||
define linkonce_odr hidden void @_ZN4BaseC2Ev(%class.Base* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
|
||||
entry:
|
||||
%this.addr = alloca %class.Base*, align 8
|
||||
store %class.Base* %this, %class.Base** %this.addr, align 8
|
||||
%this1 = load %class.Base*, %class.Base** %this.addr, align 8
|
||||
%0 = bitcast %class.Base* %this1 to i32 (...)***
|
||||
store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV4Base, i32 0, inrange i32 0, i32 2) to i32 (...)**), i32 (...)*** %0, align 8
|
||||
ret void
|
||||
}
|
||||
|
||||
define linkonce_odr hidden void @_ZN4BaseD2Ev(%class.Base* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
|
||||
entry:
|
||||
%this.addr = alloca %class.Base*, align 8
|
||||
store %class.Base* %this, %class.Base** %this.addr, align 8
|
||||
%this1 = load %class.Base*, %class.Base** %this.addr, align 8
|
||||
%0 = bitcast %class.Base* %this1 to i32 (...)***
|
||||
store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV4Base, i32 0, inrange i32 0, i32 2) to i32 (...)**), i32 (...)*** %0, align 8
|
||||
%call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0))
|
||||
ret void
|
||||
}
|
||||
|
||||
define linkonce_odr hidden void @_ZN4BaseD0Ev(%class.Base* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
|
||||
entry:
|
||||
%this.addr = alloca %class.Base*, align 8
|
||||
store %class.Base* %this, %class.Base** %this.addr, align 8
|
||||
%this1 = load %class.Base*, %class.Base** %this.addr, align 8
|
||||
call void @llvm.trap()
|
||||
unreachable
|
||||
}
|
||||
|
||||
declare dso_local void @__cxa_pure_virtual() unnamed_addr
|
||||
|
||||
declare dso_local i32 @printf(i8*, ...)
|
||||
|
||||
declare void @llvm.trap()
|
||||
|
||||
!llvm.module.flags = !{!3, !4, !5, !6}
|
||||
|
||||
!0 = !{i64 16, !"_ZTS4Base"}
|
||||
!1 = !{i64 32, !"_ZTSM4BaseFvvE.virtual"}
|
||||
!2 = !{i64 1}
|
||||
!3 = !{i32 1, !"wchar_size", i32 4}
|
||||
!4 = !{i32 1, !"Virtual Function Elim", i32 0}
|
||||
!5 = !{i32 7, !"uwtable", i32 1}
|
||||
!6 = !{i32 7, !"frame-pointer", i32 2}
|
||||
|
|
@ -21,7 +21,7 @@
|
|||
; PERMODULE-NEXT: label = "";
|
||||
; PERMODULE-NEXT: node [style=filled,fillcolor=lightblue];
|
||||
; PERMODULE-NEXT: M0_[[MAIN_ALIAS:[0-9]+]] [style="dotted,filled",shape="box",label="main_alias",fillcolor="red"]; // alias, dead
|
||||
; PERMODULE-NEXT: M0_[[MAIN:[0-9]+]] [shape="record",label="main|extern (inst: 4, ffl: 000000000)}",fillcolor="red"]; // function, dead
|
||||
; PERMODULE-NEXT: M0_[[MAIN:[0-9]+]] [shape="record",label="main|extern (inst: 4, ffl: 0000000000)}",fillcolor="red"]; // function, dead
|
||||
; PERMODULE-NEXT: // Edges:
|
||||
; PERMODULE-NEXT: M0_[[MAIN_ALIAS]] -> M0_[[MAIN]] [style=dotted]; // alias
|
||||
; PERMODULE-NEXT: }
|
||||
|
|
@ -40,7 +40,7 @@
|
|||
; COMBINED-NEXT: label = "dot-dumper{{.*}}1.bc";
|
||||
; COMBINED-NEXT: node [style=filled,fillcolor=lightblue];
|
||||
; COMBINED-NEXT: M0_[[MAIN_ALIAS:[0-9]+]] [style="dotted,filled",shape="box",label="main_alias",fillcolor="red"]; // alias, dead
|
||||
; COMBINED-NEXT: M0_[[MAIN:[0-9]+]] [shape="record",label="main|extern (inst: 4, ffl: 000000000)}"]; // function, preserved
|
||||
; COMBINED-NEXT: M0_[[MAIN:[0-9]+]] [shape="record",label="main|extern (inst: 4, ffl: 0000000000)}"]; // function, preserved
|
||||
; COMBINED-NEXT: // Edges:
|
||||
; COMBINED-NEXT: M0_[[MAIN_ALIAS]] -> M0_[[MAIN]] [style=dotted]; // alias
|
||||
; COMBINED-NEXT: }
|
||||
|
|
@ -50,10 +50,10 @@
|
|||
; COMBINED-NEXT: color = lightgrey;
|
||||
; COMBINED-NEXT: label = "dot-dumper{{.*}}2.bc";
|
||||
; COMBINED-NEXT: node [style=filled,fillcolor=lightblue];
|
||||
; COMBINED-NEXT: M1_[[FOO:[0-9]+]] [shape="record",label="foo|extern (inst: 4, ffl: 000010000)}"]; // function
|
||||
; COMBINED-NEXT: M1_[[FOO:[0-9]+]] [shape="record",label="foo|extern (inst: 4, ffl: 0000100000)}"]; // function
|
||||
; COMBINED-NEXT: M1_[[A:[0-9]+]] [shape="Mrecord",label="A|extern}"]; // variable, immutable
|
||||
; COMBINED-NEXT: M1_[[B:[0-9]+]] [shape="Mrecord",label="B|extern}"]; // variable, immutable, constant
|
||||
; COMBINED-NEXT: M1_{{[0-9]+}} [shape="record",label="bar|extern (inst: 1, ffl: 000000000)}",fillcolor="red"]; // function, dead
|
||||
; COMBINED-NEXT: M1_{{[0-9]+}} [shape="record",label="bar|extern (inst: 1, ffl: 0000000000)}",fillcolor="red"]; // function, dead
|
||||
; COMBINED-NEXT: // Edges:
|
||||
; COMBINED-NEXT: M1_[[FOO]] -> M1_[[B]] [style=dashed,color=forestgreen]; // const-ref
|
||||
; COMBINED-NEXT: M1_[[FOO]] -> M1_[[A]] [style=dashed,color=forestgreen]; // const-ref
|
||||
|
|
|
|||
|
|
@ -15,7 +15,7 @@
|
|||
; COMBINED-NEXT: color = lightgrey;
|
||||
; COMBINED-NEXT: label =
|
||||
; COMBINED-NEXT: node [style=filled,fillcolor=lightblue];
|
||||
; COMBINED-NEXT: M0_[[MAIN:[0-9]+]] [shape="record",label="main|extern (inst: 2, ffl: 000000000)}"]; // function
|
||||
; COMBINED-NEXT: M0_[[MAIN:[0-9]+]] [shape="record",label="main|extern (inst: 2, ffl: 0000000000)}"]; // function
|
||||
; COMBINED-NEXT: // Edges:
|
||||
; COMBINED-NEXT: }
|
||||
; COMBINED-NEXT: // Module:
|
||||
|
|
|
|||
|
|
@ -48,9 +48,9 @@ define void @caller_nounwind() {
|
|||
; CHECK-DAG: attributes [[ATTR_NOUNWIND]] = { norecurse nounwind }
|
||||
; CHECK-DAG: attributes [[ATTR_MAYTHROW]] = { norecurse }
|
||||
|
||||
; SUMMARY-DAG: = gv: (name: "cleanupret", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 4, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 1, hasUnknownCall: 0), calls: ((callee: ^{{.*}})), refs: (^{{.*}}))))
|
||||
; SUMMARY-DAG: = gv: (name: "resume", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 4, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 1, hasUnknownCall: 0), calls: ((callee: ^{{.*}})), refs: (^{{.*}}))))
|
||||
; SUMMARY-DAG: = gv: (name: "catchret", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 5, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 1, hasUnknownCall: 0), calls: ((callee: ^{{.*}})), refs: (^{{.*}}))))
|
||||
; SUMMARY-DAG: = gv: (name: "cleanupret", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 4, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 1, hasUnknownCall: 0, mustBeUnreachable: 0), calls: ((callee: ^{{.*}})), refs: (^{{.*}}))))
|
||||
; SUMMARY-DAG: = gv: (name: "resume", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 4, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 1, hasUnknownCall: 0, mustBeUnreachable: 0), calls: ((callee: ^{{.*}})), refs: (^{{.*}}))))
|
||||
; SUMMARY-DAG: = gv: (name: "catchret", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0), insts: 5, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 1, hasUnknownCall: 0, mustBeUnreachable: 0), calls: ((callee: ^{{.*}})), refs: (^{{.*}}))))
|
||||
|
||||
;--- callees.ll
|
||||
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
|
|
|||
|
|
@ -23,4 +23,4 @@ entry:
|
|||
}
|
||||
|
||||
attributes #0 = { alwaysinline nounwind uwtable }
|
||||
; CHECK2: ^2 = gv: (guid: {{.*}}, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 1, dsoLocal: 1, canAutoHide: 0), insts: 1, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 1, noUnwind: 1, mayThrow: 0, hasUnknownCall: 0))))
|
||||
; CHECK2: ^2 = gv: (guid: {{.*}}, summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 1, dsoLocal: 1, canAutoHide: 0), insts: 1, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 1, noUnwind: 1, mayThrow: 0, hasUnknownCall: 0, mustBeUnreachable: 0))))
|
||||
|
|
|
|||
Loading…
Reference in New Issue