<div dir="ltr">Your invariants don't work. Functions can be deleted, nulling out the references in metadata. In fact it's sufficient to run -cgprofile -globaldce on a module with two unused internal functions calling each other to get the verifier to fire.<div><br></div><div>This breaks selfhost with ThinLTO+FDO, it crashes when writing the ELF file because there are nulls in the metadata. I've reverted this change in r335851.</div></div><br><div class="gmail_quote"><div dir="ltr">On Thu, Jun 28, 2018 at 2:02 AM Michael J. Spencer via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: mspencer<br>
Date: Wed Jun 27 16:58:08 2018<br>
New Revision: 335794<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=335794&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=335794&view=rev</a><br>
Log:<br>
Add support for generating a call graph profile from Branch Frequency Info.<br>
<br>
=== Generating the CG Profile ===<br>
<br>
The CGProfile module pass simply gets the block profile count for each BB and scans for call instructions. For each call instruction it adds an edge from the current function to the called function with the current BB block profile count as the weight.<br>
<br>
After scanning all the functions, it generates an appending module flag containing the data. The format looks like:<br>
```<br>
!llvm.module.flags = !{!0}<br>
<br>
!0 = !{i32 5, !"CG Profile", !1}<br>
!1 = !{!2, !3, !4} ; List of edges<br>
!2 = !{void ()* @a, void ()* @b, i64 32} ; Edge from a to b with a weight of 32<br>
!3 = !{void (i1)* @freq, void ()* @a, i64 11}<br>
!4 = !{void (i1)* @freq, void ()* @b, i64 20}<br>
```<br>
<br>
Differential Revision: <a href="https://reviews.llvm.org/D48105" rel="noreferrer" target="_blank">https://reviews.llvm.org/D48105</a><br>
<br>
Added:<br>
llvm/trunk/include/llvm/Transforms/Instrumentation/CGProfile.h<br>
llvm/trunk/lib/Transforms/Instrumentation/CGProfile.cpp<br>
llvm/trunk/test/Instrumentation/cgprofile.ll<br>
llvm/trunk/test/MC/ELF/cgprofile.ll<br>
llvm/trunk/test/Verifier/module-flags-cgprofile.ll<br>
Modified:<br>
llvm/trunk/include/llvm/CodeGen/TargetLoweringObjectFileImpl.h<br>
llvm/trunk/lib/CodeGen/TargetLoweringObjectFileImpl.cpp<br>
llvm/trunk/lib/IR/Verifier.cpp<br>
llvm/trunk/lib/Passes/PassBuilder.cpp<br>
llvm/trunk/lib/Passes/PassRegistry.def<br>
llvm/trunk/lib/Transforms/Instrumentation/CMakeLists.txt<br>
llvm/trunk/test/Other/new-pm-defaults.ll<br>
llvm/trunk/test/Other/new-pm-thinlto-defaults.ll<br>
<br>
Modified: llvm/trunk/include/llvm/CodeGen/TargetLoweringObjectFileImpl.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/CodeGen/TargetLoweringObjectFileImpl.h?rev=335794&r1=335793&r2=335794&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/CodeGen/TargetLoweringObjectFileImpl.h?rev=335794&r1=335793&r2=335794&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/include/llvm/CodeGen/TargetLoweringObjectFileImpl.h (original)<br>
+++ llvm/trunk/include/llvm/CodeGen/TargetLoweringObjectFileImpl.h Wed Jun 27 16:58:08 2018<br>
@@ -36,11 +36,14 @@ class TargetLoweringObjectFileELF : publ<br>
protected:<br>
MCSymbolRefExpr::VariantKind PLTRelativeVariantKind =<br>
MCSymbolRefExpr::VK_None;<br>
+ const TargetMachine *TM;<br>
<br>
public:<br>
TargetLoweringObjectFileELF() = default;<br>
~TargetLoweringObjectFileELF() override = default;<br>
<br>
+ void Initialize(MCContext &Ctx, const TargetMachine &TM) override;<br>
+<br>
/// Emit Obj-C garbage collection and linker options.<br>
void emitModuleMetadata(MCStreamer &Streamer, Module &M) const override;<br>
<br>
<br>
Added: llvm/trunk/include/llvm/Transforms/Instrumentation/CGProfile.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Transforms/Instrumentation/CGProfile.h?rev=335794&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Transforms/Instrumentation/CGProfile.h?rev=335794&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/include/llvm/Transforms/Instrumentation/CGProfile.h (added)<br>
+++ llvm/trunk/include/llvm/Transforms/Instrumentation/CGProfile.h Wed Jun 27 16:58:08 2018<br>
@@ -0,0 +1,31 @@<br>
+//===- Transforms/Instrumentation/CGProfile.h -------------------*- C++ -*-===//<br>
+//<br>
+// The LLVM Compiler Infrastructure<br>
+//<br>
+// This file is distributed under the University of Illinois Open Source<br>
+// License. See LICENSE.TXT for details.<br>
+//<br>
+//===----------------------------------------------------------------------===//<br>
+/// \file<br>
+/// This file provides the interface for LLVM's Call Graph Profile pass.<br>
+//===----------------------------------------------------------------------===//<br>
+<br>
+#ifndef LLVM_TRANSFORMS_CGPROFILE_H<br>
+#define LLVM_TRANSFORMS_CGPROFILE_H<br>
+<br>
+#include "llvm/ADT/MapVector.h"<br>
+#include "llvm/IR/PassManager.h"<br>
+<br>
+namespace llvm {<br>
+class CGProfilePass : public PassInfoMixin<CGProfilePass> {<br>
+public:<br>
+ PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM);<br>
+<br>
+private:<br>
+ void addModuleFlags(<br>
+ Module &M,<br>
+ MapVector<std::pair<Function *, Function *>, uint64_t> &Counts) const;<br>
+};<br>
+} // end namespace llvm<br>
+<br>
+#endif // LLVM_TRANSFORMS_CGPROFILE_H<br>
<br>
Modified: llvm/trunk/lib/CodeGen/TargetLoweringObjectFileImpl.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/TargetLoweringObjectFileImpl.cpp?rev=335794&r1=335793&r2=335794&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/TargetLoweringObjectFileImpl.cpp?rev=335794&r1=335793&r2=335794&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/CodeGen/TargetLoweringObjectFileImpl.cpp (original)<br>
+++ llvm/trunk/lib/CodeGen/TargetLoweringObjectFileImpl.cpp Wed Jun 27 16:58:08 2018<br>
@@ -91,6 +91,12 @@ static void GetObjCImageInfo(Module &M,<br>
// ELF<br>
//===----------------------------------------------------------------------===//<br>
<br>
+void TargetLoweringObjectFileELF::Initialize(MCContext &Ctx,<br>
+ const TargetMachine &TgtM) {<br>
+ TargetLoweringObjectFile::Initialize(Ctx, TgtM);<br>
+ TM = &TgtM;<br>
+}<br>
+<br>
void TargetLoweringObjectFileELF::emitModuleMetadata(MCStreamer &Streamer,<br>
Module &M) const {<br>
auto &C = getContext();<br>
@@ -116,15 +122,49 @@ void TargetLoweringObjectFileELF::emitMo<br>
StringRef Section;<br>
<br>
GetObjCImageInfo(M, Version, Flags, Section);<br>
- if (Section.empty())<br>
+ if (!Section.empty()) {<br>
+ auto *S = C.getELFSection(Section, ELF::SHT_PROGBITS, ELF::SHF_ALLOC);<br>
+ Streamer.SwitchSection(S);<br>
+ Streamer.EmitLabel(C.getOrCreateSymbol(StringRef("OBJC_IMAGE_INFO")));<br>
+ Streamer.EmitIntValue(Version, 4);<br>
+ Streamer.EmitIntValue(Flags, 4);<br>
+ Streamer.AddBlankLine();<br>
+ }<br>
+<br>
+ SmallVector<Module::ModuleFlagEntry, 8> ModuleFlags;<br>
+ M.getModuleFlagsMetadata(ModuleFlags);<br>
+<br>
+ MDNode *CFGProfile = nullptr;<br>
+<br>
+ for (const auto &MFE : ModuleFlags) {<br>
+ StringRef Key = MFE.Key->getString();<br>
+ if (Key == "CG Profile") {<br>
+ CFGProfile = cast<MDNode>(MFE.Val);<br>
+ break;<br>
+ }<br>
+ }<br>
+<br>
+ if (!CFGProfile)<br>
return;<br>
<br>
- auto *S = C.getELFSection(Section, ELF::SHT_PROGBITS, ELF::SHF_ALLOC);<br>
- Streamer.SwitchSection(S);<br>
- Streamer.EmitLabel(C.getOrCreateSymbol(StringRef("OBJC_IMAGE_INFO")));<br>
- Streamer.EmitIntValue(Version, 4);<br>
- Streamer.EmitIntValue(Flags, 4);<br>
- Streamer.AddBlankLine();<br>
+ auto GetSym = [this](const MDOperand &MDO) {<br>
+ auto V = cast<ValueAsMetadata>(MDO);<br>
+ const Function *F = cast<Function>(V->getValue());<br>
+ return TM->getSymbol(F);<br>
+ };<br>
+<br>
+ for (const auto &Edge : CFGProfile->operands()) {<br>
+ MDNode *E = cast<MDNode>(Edge);<br>
+ const MCSymbol *From = GetSym(E->getOperand(0));<br>
+ const MCSymbol *To = GetSym(E->getOperand(1));<br>
+ uint64_t Count = cast<ConstantAsMetadata>(E->getOperand(2))<br>
+ ->getValue()<br>
+ ->getUniqueInteger()<br>
+ .getZExtValue();<br>
+ Streamer.emitCGProfileEntry(<br>
+ MCSymbolRefExpr::create(From, MCSymbolRefExpr::VK_None, C),<br>
+ MCSymbolRefExpr::create(To, MCSymbolRefExpr::VK_None, C), Count);<br>
+ }<br>
}<br>
<br>
MCSymbol *TargetLoweringObjectFileELF::getCFIPersonalitySymbol(<br>
<br>
Modified: llvm/trunk/lib/IR/Verifier.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/IR/Verifier.cpp?rev=335794&r1=335793&r2=335794&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/IR/Verifier.cpp?rev=335794&r1=335793&r2=335794&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/IR/Verifier.cpp (original)<br>
+++ llvm/trunk/lib/IR/Verifier.cpp Wed Jun 27 16:58:08 2018<br>
@@ -409,6 +409,7 @@ private:<br>
void visitModuleFlag(const MDNode *Op,<br>
DenseMap<const MDString *, const MDNode *> &SeenIDs,<br>
SmallVectorImpl<const MDNode *> &Requirements);<br>
+ void visitModuleFlagCGProfileEntry(const MDOperand &MDO);<br>
void visitFunction(const Function &F);<br>
void visitBasicBlock(BasicBlock &BB);<br>
void visitRangeMetadata(Instruction &I, MDNode *Range, Type *Ty);<br>
@@ -1411,6 +1412,25 @@ Verifier::visitModuleFlag(const MDNode *<br>
Assert(M.getNamedMetadata("llvm.linker.options"),<br>
"'Linker Options' named metadata no longer supported");<br>
}<br>
+<br>
+ if (ID->getString() == "CG Profile") {<br>
+ for (const MDOperand &MDO : cast<MDNode>(Op->getOperand(2))->operands())<br>
+ visitModuleFlagCGProfileEntry(MDO);<br>
+ }<br>
+}<br>
+<br>
+void Verifier::visitModuleFlagCGProfileEntry(const MDOperand &MDO) {<br>
+ auto Node = dyn_cast_or_null<MDNode>(MDO);<br>
+ Assert(Node && Node->getNumOperands() == 3, "expected a MDNode triple", MDO);<br>
+ auto From = dyn_cast_or_null<ValueAsMetadata>(Node->getOperand(0));<br>
+ Assert(From && isa<Function>(From->getValue()), "expected a Function",<br>
+ Node->getOperand(0));<br>
+ auto To = dyn_cast_or_null<ValueAsMetadata>(Node->getOperand(1));<br>
+ Assert(To && isa<Function>(To->getValue()), "expected a Function",<br>
+ Node->getOperand(1));<br>
+ auto Count = dyn_cast_or_null<ConstantAsMetadata>(Node->getOperand(2));<br>
+ Assert(Count && Count->getType()->isIntegerTy(),<br>
+ "expected an integer constant", Node->getOperand(2));<br>
}<br>
<br>
/// Return true if this attribute kind only applies to functions.<br>
<br>
Modified: llvm/trunk/lib/Passes/PassBuilder.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Passes/PassBuilder.cpp?rev=335794&r1=335793&r2=335794&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Passes/PassBuilder.cpp?rev=335794&r1=335793&r2=335794&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/Passes/PassBuilder.cpp (original)<br>
+++ llvm/trunk/lib/Passes/PassBuilder.cpp Wed Jun 27 16:58:08 2018<br>
@@ -61,6 +61,7 @@<br>
#include "llvm/Target/TargetMachine.h"<br>
#include "llvm/Transforms/AggressiveInstCombine/AggressiveInstCombine.h"<br>
#include "llvm/Transforms/Instrumentation/GCOVProfiler.h"<br>
+#include "llvm/Transforms/Instrumentation/CGProfile.h"<br>
#include "llvm/Transforms/IPO/AlwaysInliner.h"<br>
#include "llvm/Transforms/IPO/ArgumentPromotion.h"<br>
#include "llvm/Transforms/IPO/CalledValuePropagation.h"<br>
@@ -832,6 +833,8 @@ PassBuilder::buildModuleOptimizationPipe<br>
// Add the core optimizing pipeline.<br>
MPM.addPass(createModuleToFunctionPassAdaptor(std::move(OptimizePM)));<br>
<br>
+ MPM.addPass(CGProfilePass());<br>
+<br>
// Now we need to do some global optimization transforms.<br>
// FIXME: It would seem like these should come first in the optimization<br>
// pipeline and maybe be the bottom of the canonicalization pipeline? Weird<br>
<br>
Modified: llvm/trunk/lib/Passes/PassRegistry.def<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Passes/PassRegistry.def?rev=335794&r1=335793&r2=335794&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Passes/PassRegistry.def?rev=335794&r1=335793&r2=335794&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/Passes/PassRegistry.def (original)<br>
+++ llvm/trunk/lib/Passes/PassRegistry.def Wed Jun 27 16:58:08 2018<br>
@@ -40,6 +40,7 @@ MODULE_ALIAS_ANALYSIS("globals-aa", Glob<br>
#endif<br>
MODULE_PASS("always-inline", AlwaysInlinerPass())<br>
MODULE_PASS("called-value-propagation", CalledValuePropagationPass())<br>
+MODULE_PASS("cg-profile", CGProfilePass())<br>
MODULE_PASS("constmerge", ConstantMergePass())<br>
MODULE_PASS("cross-dso-cfi", CrossDSOCFIPass())<br>
MODULE_PASS("deadargelim", DeadArgumentEliminationPass())<br>
<br>
Added: llvm/trunk/lib/Transforms/Instrumentation/CGProfile.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Instrumentation/CGProfile.cpp?rev=335794&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Instrumentation/CGProfile.cpp?rev=335794&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/lib/Transforms/Instrumentation/CGProfile.cpp (added)<br>
+++ llvm/trunk/lib/Transforms/Instrumentation/CGProfile.cpp Wed Jun 27 16:58:08 2018<br>
@@ -0,0 +1,100 @@<br>
+//===-- CGProfile.cpp -----------------------------------------------------===//<br>
+//<br>
+// The LLVM Compiler Infrastructure<br>
+//<br>
+// This file is distributed under the University of Illinois Open Source<br>
+// License. See LICENSE.TXT for details.<br>
+//<br>
+//===----------------------------------------------------------------------===//<br>
+<br>
+#include "llvm/Transforms/Instrumentation/CGProfile.h"<br>
+<br>
+#include "llvm/ADT/MapVector.h"<br>
+#include "llvm/Analysis/BlockFrequencyInfo.h"<br>
+#include "llvm/Analysis/TargetTransformInfo.h"<br>
+#include "llvm/IR/CallSite.h"<br>
+#include "llvm/IR/Constants.h"<br>
+#include "llvm/IR/Instructions.h"<br>
+#include "llvm/IR/MDBuilder.h"<br>
+#include "llvm/IR/PassManager.h"<br>
+#include "llvm/ProfileData/InstrProf.h"<br>
+#include "llvm/Transforms/Instrumentation.h"<br>
+<br>
+#include <array><br>
+<br>
+using namespace llvm;<br>
+<br>
+PreservedAnalyses CGProfilePass::run(Module &M, ModuleAnalysisManager &MAM) {<br>
+ MapVector<std::pair<Function *, Function *>, uint64_t> Counts;<br>
+ FunctionAnalysisManager &FAM =<br>
+ MAM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();<br>
+ InstrProfSymtab Symtab;<br>
+ auto UpdateCounts = [&](TargetTransformInfo &TTI, Function *F,<br>
+ Function *CalledF, uint64_t NewCount) {<br>
+ if (!CalledF || !TTI.isLoweredToCall(CalledF))<br>
+ return;<br>
+ uint64_t &Count = Counts[std::make_pair(F, CalledF)];<br>
+ Count = SaturatingAdd(Count, NewCount);<br>
+ };<br>
+ // Ignore error here. Indirect calls are ignored if this fails.<br>
+ (bool)Symtab.create(M);<br>
+ for (auto &F : M) {<br>
+ if (F.isDeclaration())<br>
+ continue;<br>
+ auto &BFI = FAM.getResult<BlockFrequencyAnalysis>(F);<br>
+ if (BFI.getEntryFreq() == 0)<br>
+ continue;<br>
+ TargetTransformInfo &TTI = FAM.getResult<TargetIRAnalysis>(F);<br>
+ for (auto &BB : F) {<br>
+ Optional<uint64_t> BBCount = BFI.getBlockProfileCount(&BB);<br>
+ if (!BBCount)<br>
+ continue;<br>
+ for (auto &I : BB) {<br>
+ CallSite CS(&I);<br>
+ if (!CS)<br>
+ continue;<br>
+ if (CS.isIndirectCall()) {<br>
+ InstrProfValueData ValueData[8];<br>
+ uint32_t ActualNumValueData;<br>
+ uint64_t TotalC;<br>
+ if (!getValueProfDataFromInst(*CS.getInstruction(),<br>
+ IPVK_IndirectCallTarget, 8, ValueData,<br>
+ ActualNumValueData, TotalC))<br>
+ continue;<br>
+ for (const auto &VD :<br>
+ ArrayRef<InstrProfValueData>(ValueData, ActualNumValueData)) {<br>
+ UpdateCounts(TTI, &F, Symtab.getFunction(VD.Value), VD.Count);<br>
+ }<br>
+ continue;<br>
+ }<br>
+ UpdateCounts(TTI, &F, CS.getCalledFunction(), *BBCount);<br>
+ }<br>
+ }<br>
+ }<br>
+<br>
+ addModuleFlags(M, Counts);<br>
+<br>
+ return PreservedAnalyses::all();<br>
+}<br>
+<br>
+void CGProfilePass::addModuleFlags(<br>
+ Module &M,<br>
+ MapVector<std::pair<Function *, Function *>, uint64_t> &Counts) const {<br>
+ if (Counts.empty())<br>
+ return;<br>
+<br>
+ LLVMContext &Context = M.getContext();<br>
+ MDBuilder MDB(Context);<br>
+ std::vector<Metadata *> Nodes;<br>
+<br>
+ for (auto E : Counts) {<br>
+ SmallVector<Metadata *, 3> Vals;<br>
+ Vals.push_back(ValueAsMetadata::get(E.first.first));<br>
+ Vals.push_back(ValueAsMetadata::get(E.first.second));<br>
+ Vals.push_back(MDB.createConstant(<br>
+ ConstantInt::get(Type::getInt64Ty(Context), E.second)));<br>
+ Nodes.push_back(MDNode::get(Context, Vals));<br>
+ }<br>
+<br>
+ M.addModuleFlag(Module::Append, "CG Profile", MDNode::get(Context, Nodes));<br>
+}<br>
<br>
Modified: llvm/trunk/lib/Transforms/Instrumentation/CMakeLists.txt<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Instrumentation/CMakeLists.txt?rev=335794&r1=335793&r2=335794&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Instrumentation/CMakeLists.txt?rev=335794&r1=335793&r2=335794&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/Transforms/Instrumentation/CMakeLists.txt (original)<br>
+++ llvm/trunk/lib/Transforms/Instrumentation/CMakeLists.txt Wed Jun 27 16:58:08 2018<br>
@@ -1,6 +1,7 @@<br>
add_llvm_library(LLVMInstrumentation<br>
AddressSanitizer.cpp<br>
BoundsChecking.cpp<br>
+ CGProfile.cpp<br>
DataFlowSanitizer.cpp<br>
GCOVProfiling.cpp<br>
MemorySanitizer.cpp<br>
<br>
Added: llvm/trunk/test/Instrumentation/cgprofile.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Instrumentation/cgprofile.ll?rev=335794&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Instrumentation/cgprofile.ll?rev=335794&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/Instrumentation/cgprofile.ll (added)<br>
+++ llvm/trunk/test/Instrumentation/cgprofile.ll Wed Jun 27 16:58:08 2018<br>
@@ -0,0 +1,41 @@<br>
+; RUN: opt < %s -passes cg-profile -S | FileCheck %s<br>
+<br>
+declare void @b()<br>
+<br>
+define void @a() !prof !1 {<br>
+ call void @b()<br>
+ ret void<br>
+}<br>
+<br>
+@foo = common global i32 ()* null, align 8<br>
+declare i32 @func1()<br>
+declare i32 @func2()<br>
+declare i32 @func3()<br>
+declare i32 @func4()<br>
+<br>
+define void @freq(i1 %cond) !prof !1 {<br>
+ %tmp = load i32 ()*, i32 ()** @foo, align 8<br>
+ call i32 %tmp(), !prof !3<br>
+ br i1 %cond, label %A, label %B, !prof !2<br>
+A:<br>
+ call void @a();<br>
+ ret void<br>
+B:<br>
+ call void @b();<br>
+ ret void<br>
+}<br>
+<br>
+!1 = !{!"function_entry_count", i64 32}<br>
+!2 = !{!"branch_weights", i32 5, i32 10}<br>
+!3 = !{!"VP", i32 0, i64 1600, i64 7651369219802541373, i64 1030, i64 -4377547752858689819, i64 410, i64 -6929281286627296573, i64 150, i64 -2545542355363006406, i64 10}<br>
+<br>
+; CHECK: !llvm.module.flags = !{![[cgprof:[0-9]+]]}<br>
+; CHECK: ![[cgprof]] = !{i32 5, !"CG Profile", ![[prof:[0-9]+]]}<br>
+; CHECK: ![[prof]] = !{![[e0:[0-9]+]], ![[e1:[0-9]+]], ![[e2:[0-9]+]], ![[e3:[0-9]+]], ![[e4:[0-9]+]], ![[e5:[0-9]+]], ![[e6:[0-9]+]]}<br>
+; CHECK: ![[e0]] = !{void ()* @a, void ()* @b, i64 32}<br>
+; CHECK: ![[e1]] = !{void (i1)* @freq, i32 ()* @func4, i64 1030}<br>
+; CHECK: ![[e2]] = !{void (i1)* @freq, i32 ()* @func2, i64 410}<br>
+; CHECK: ![[e3]] = !{void (i1)* @freq, i32 ()* @func3, i64 150}<br>
+; CHECK: ![[e4]] = !{void (i1)* @freq, i32 ()* @func1, i64 10}<br>
+; CHECK: ![[e5]] = !{void (i1)* @freq, void ()* @a, i64 11}<br>
+; CHECK: ![[e6]] = !{void (i1)* @freq, void ()* @b, i64 20}<br>
<br>
Added: llvm/trunk/test/MC/ELF/cgprofile.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/ELF/cgprofile.ll?rev=335794&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/ELF/cgprofile.ll?rev=335794&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/MC/ELF/cgprofile.ll (added)<br>
+++ llvm/trunk/test/MC/ELF/cgprofile.ll Wed Jun 27 16:58:08 2018<br>
@@ -0,0 +1,50 @@<br>
+; RUN: llc -filetype=asm %s -o - -mtriple x86_64-pc-linux-gnu | FileCheck %s<br>
+; RUN: llc -filetype=obj %s -o %t -mtriple x86_64-pc-linux-gnu<br>
+; RUN: llvm-readobj -elf-cg-profile %t | FileCheck %s --check-prefix=OBJ<br>
+<br>
+declare void @b()<br>
+<br>
+define void @a() {<br>
+ call void @b()<br>
+ ret void<br>
+}<br>
+<br>
+define void @freq(i1 %cond) {<br>
+ br i1 %cond, label %A, label %B<br>
+A:<br>
+ call void @a();<br>
+ ret void<br>
+B:<br>
+ call void @b();<br>
+ ret void<br>
+}<br>
+<br>
+!llvm.module.flags = !{!0}<br>
+<br>
+!0 = !{i32 5, !"CG Profile", !1}<br>
+!1 = !{!2, !3, !4}<br>
+!2 = !{void ()* @a, void ()* @b, i64 32}<br>
+!3 = !{void (i1)* @freq, void ()* @a, i64 11}<br>
+!4 = !{void (i1)* @freq, void ()* @b, i64 20}<br>
+<br>
+; CHECK: .cg_profile a, b, 32<br>
+; CHECK: .cg_profile freq, a, 11<br>
+; CHECK: .cg_profile freq, b, 20<br>
+<br>
+; OBJ: CGProfile [<br>
+; OBJ: CGProfileEntry {<br>
+; OBJ: From: a<br>
+; OBJ: To: b<br>
+; OBJ: Weight: 32<br>
+; OBJ: }<br>
+; OBJ: CGProfileEntry {<br>
+; OBJ: From: freq<br>
+; OBJ: To: a<br>
+; OBJ: Weight: 11<br>
+; OBJ: }<br>
+; OBJ: CGProfileEntry {<br>
+; OBJ: From: freq<br>
+; OBJ: To: b<br>
+; OBJ: Weight: 20<br>
+; OBJ: }<br>
+; OBJ:]<br>
<br>
Modified: llvm/trunk/test/Other/new-pm-defaults.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Other/new-pm-defaults.ll?rev=335794&r1=335793&r2=335794&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Other/new-pm-defaults.ll?rev=335794&r1=335793&r2=335794&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/Other/new-pm-defaults.ll (original)<br>
+++ llvm/trunk/test/Other/new-pm-defaults.ll Wed Jun 27 16:58:08 2018<br>
@@ -246,6 +246,7 @@<br>
; CHECK-O-NEXT: Running pass: SimplifyCFGPass<br>
; CHECK-O-NEXT: Running pass: SpeculateAroundPHIsPass<br>
; CHECK-O-NEXT: Finished llvm::Function pass manager run.<br>
+; CHECK-O-NEXT: Running pass: CGProfilePass<br>
; CHECK-O-NEXT: Running pass: GlobalDCEPass<br>
; CHECK-O-NEXT: Running pass: ConstantMergePass<br>
; CHECK-O-NEXT: Finished llvm::Module pass manager run.<br>
<br>
Modified: llvm/trunk/test/Other/new-pm-thinlto-defaults.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Other/new-pm-thinlto-defaults.ll?rev=335794&r1=335793&r2=335794&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Other/new-pm-thinlto-defaults.ll?rev=335794&r1=335793&r2=335794&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/Other/new-pm-thinlto-defaults.ll (original)<br>
+++ llvm/trunk/test/Other/new-pm-thinlto-defaults.ll Wed Jun 27 16:58:08 2018<br>
@@ -224,6 +224,7 @@<br>
; CHECK-POSTLINK-O-NEXT: Running pass: SimplifyCFGPass<br>
; CHECK-POSTLINK-O-NEXT: Running pass: SpeculateAroundPHIsPass<br>
; CHECK-POSTLINK-O-NEXT: Finished llvm::Function pass manager run.<br>
+; CHECK-POSTLINK-O-NEXT: Running pass: CGProfilePass<br>
; CHECK-POSTLINK-O-NEXT: Running pass: GlobalDCEPass<br>
; CHECK-POSTLINK-O-NEXT: Running pass: ConstantMergePass<br>
; CHECK-POSTLINK-O-NEXT: Finished llvm::Module pass manager run.<br>
<br>
Added: llvm/trunk/test/Verifier/module-flags-cgprofile.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/module-flags-cgprofile.ll?rev=335794&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/module-flags-cgprofile.ll?rev=335794&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/Verifier/module-flags-cgprofile.ll (added)<br>
+++ llvm/trunk/test/Verifier/module-flags-cgprofile.ll Wed Jun 27 16:58:08 2018<br>
@@ -0,0 +1,30 @@<br>
+; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s<br>
+<br>
+declare void @b()<br>
+declare void @a()<br>
+<br>
+!llvm.module.flags = !{!0}<br>
+<br>
+!0 = !{i32 5, !"CG Profile", !1}<br>
+!1 = !{!2, !"", !3, !4, !5, !6, !7, !8}<br>
+!2 = !{void ()* @a, void ()* @b, i64 32}<br>
+!3 = !{void ()* @a, void ()* @b}<br>
+!4 = !{void ()* @a, void ()* @b, i64 32, i64 32}<br>
+!5 = !{!"a", void ()* @b, i64 32}<br>
+!6 = !{void ()* @a, !"b", i64 32}<br>
+!7 = !{void ()* @a, void ()* @b, !""}<br>
+!8 = !{void ()* @a, void ()* @b, null}<br>
+<br>
+; CHECK: expected a MDNode triple<br>
+; CHECK: !""<br>
+; CHECK: expected a MDNode triple<br>
+; CHECK: !3 = !{void ()* @a, void ()* @b}<br>
+; CHECK: expected a MDNode triple<br>
+; CHECK: !4 = !{void ()* @a, void ()* @b, i64 32, i64 32}<br>
+; CHECK: expected a Function<br>
+; CHECK: !"a"<br>
+; CHECK: expected a Function<br>
+; CHECK: !"b"<br>
+; CHECK: expected an integer constant<br>
+; CHECK: !""<br>
+; CHECK: expected an integer constant<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div>