[esan|cfrag] Create the cfrag struct array for the runtime

[zhaoqin]

Summary

Fills the cfrag struct variable with an array of struct information
variables.

[zhaoqin]

fix minor error

[zhaoqin]

fix the review range

[zhaoqin]

remove disable load/store instrumentation

[aizatsky]

lib/Transforms/Instrumentation/EfficiencySanitizer.cpp

293

Do you need a counter for ignored structs?

299

CounterNameRef

343

Please don't reuse the local. There's absolutely no need, but will make reading/breaking this code more difficult.

[zhaoqin]

PTAL

[zhaoqin]

lib/Transforms/Instrumentation/EfficiencySanitizer.cpp

293

those Struct are special struct like struct without a body, so does not really need remember how many unless for stats purposes.
Add stats for it.

[bruening]

lib/Transforms/Instrumentation/EfficiencySanitizer.cpp

246

nit: . or : at end

273

nit: NumIgnoredStructs vs NumOfStructs: maybe remove the Of for consistency ("NumOf" sounds weird to me btw: "NumberOfX" or "NumX" seem more natural, though I see "NumOf" in other LLVM source files.)

293

nit: 2 grammar issues

320

nit: inconsistent: others have .

[zhaoqin]

Final

[vitalybuka]

lib/Transforms/Instrumentation/EfficiencySanitizer.cpp

92

Maybe try to put everything above into namespace {} and remove static?

287

git clang-format -f origin --style=file

lib/Transforms/Instrumentation/EfficiencySanitizer.cpp

 #include "llvm/ADT/StringExtras.h"
 #include "llvm/IR/Function.h"
 #include "llvm/IR/IRBuilder.h"
 #include "llvm/IR/IntrinsicInst.h"
 #include "llvm/IR/Module.h"
 #include "llvm/IR/Type.h"
 #include "llvm/Support/CommandLine.h"
 #include "llvm/Support/Debug.h"
+#include "llvm/Support/raw_ostream.h"
 #include "llvm/Transforms/Utils/BasicBlockUtils.h"
 #include "llvm/Transforms/Utils/ModuleUtils.h"
 
 using namespace llvm;
 
 #define DEBUG_TYPE "esan"
 
 // The tool type must be just one of these ClTool* options, as the tools

 };
 // This array is indexed by the ToolType enum.
 static const int ShadowScale[] = {
   0, // ESAN_None.
   2, // ESAN_CacheFrag: 4B:1B, so 4 to 1 == >>2.
   6, // ESAN_WorkingSet: 64B:1B, so 64 to 1 == >>6.
 };
 
+static const unsigned MaxStructCounterNameSize = 512;
+
 namespace {
 
 static EfficiencySanitizerOptions
 OverrideOptionsFromCL(EfficiencySanitizerOptions Options) {
   if (ClToolCacheFrag)
     Options.ToolType = EfficiencySanitizerOptions::ESAN_CacheFrag;
   else if (ClToolWorkingSet)
     Options.ToolType = EfficiencySanitizerOptions::ESAN_WorkingSet;
 
   // Direct opt invocation with no params will have the default ESAN_None.
EfficiencySanitizer(
       : ModulePass(ID), Options(OverrideOptionsFromCL(Opts)) {}
   const char *getPassName() const override;
   bool runOnModule(Module &M) override;
   static char ID;
 
 private:
   bool initOnModule(Module &M);
   void initializeCallbacks(Module &M);
+  bool shouldIgnoreStructType(StructType *StructTy);
+  StringRef createStructCounterName(
+      StructType *StructTy, SmallString<MaxStructCounterNameSize> &NameStr);
   void createCacheFragGV(Module &M, SmallVector<Constant *, 4> &ToolInfoVec);
   GlobalVariable *createEsanInitToolGV(Module &M);
   void createDestructor(Module &M, GlobalVariable *GV);
   bool runOnFunction(Function &F, Module &M);
   bool instrumentLoadOrStore(Instruction *I, const DataLayout &DL);
   bool instrumentMemIntrinsic(MemIntrinsic *MI);
   bool shouldIgnoreMemoryAccess(Instruction *I);
   int getMemoryAccessFuncIndex(Value *Addr, const DataLayout &DL);
void EfficiencySanitizer::initializeCallbacks(Module &M) {
   MemcpyFn = checkSanitizerInterfaceFunction(
       M.getOrInsertFunction("memcpy", IRB.getInt8PtrTy(), IRB.getInt8PtrTy(),
                             IRB.getInt8PtrTy(), IntptrTy, nullptr));
   MemsetFn = checkSanitizerInterfaceFunction(
       M.getOrInsertFunction("memset", IRB.getInt8PtrTy(), IRB.getInt8PtrTy(),
                             IRB.getInt32Ty(), IntptrTy, nullptr));
 }
 
+bool EfficiencySanitizer::shouldIgnoreStructType(StructType *StructTy) {
+  if (StructTy == nullptr || StructTy->isOpaque() || StructTy->isLiteral())
+    return true;
+  // Ignore union or struct with only 1 field.
+  if (StructTy->getNumElements() <= 1)
+    return true;
+  return false;
+}
+
+StringRef EfficiencySanitizer::createStructCounterName(
+    StructType *StructTy, SmallString<MaxStructCounterNameSize> &NameStr) {
+  // Append NumOfFields and field type ids to avoid struct conflicts
+  // with the same name but different fields.
+  if (StructTy->hasName())
+    NameStr += StructTy->getName();
+  else
+    NameStr += "struct.anon";
+  // Append #NumOfFields
+  NameStr += "#";
+  Twine(StructTy->getNumElements()).toVector(NameStr);
+  // Append struct field type ids in the reverse order.
+  for (int i = StructTy->getNumElements() - 1; i >= 0; --i) {
+    NameStr += "#";
+    Twine(StructTy->getElementType(i)->getTypeID()).toVector(NameStr);
+    // MaxStructCounterNameSize is a soft size limit.
+    // We allow the actual size to be larger and append at least
+    // one field type id.
+    if (NameStr.size() >= MaxStructCounterNameSize)
+      break;
+  }
+  return StringRef(NameStr);
+}
+
 // Create the global variable for the cache-fragmentation tool.
 void EfficiencySanitizer::createCacheFragGV(
     Module &M, SmallVector<Constant *, 4> &ToolInfoVec) {
   assert(Options.ToolType == EfficiencySanitizerOptions::ESAN_CacheFrag);
-  // FIXME: expand ToolInfoVec for the cache-fragmentation tool.
+  // This structure should be kept consistent with the tool-specific struct
+  // in the runtime library.
+  // struct ToolInfo {
+  //   const char *UnitName;
+  //   // Expanding for the cache-fragmentation tool.
+  //   unsigned    NumOfStructs;
+  //   struct StructInfoTy {
+  //     const char *StructName;
+  //     unsigned    NumOfFields;
+  //     uint64_t   *Counters;
+  //     const char **TypeName;
+  //   } *Structs;
+  // };
+  ArrayType *ArrayTy;
+  IntegerType *Int32Ty = Type::getInt32Ty(*Ctx);
+  IntegerType *Int64Ty = Type::getInt64Ty(*Ctx);
+  PointerType *Int8PtrTy = Type::getInt8PtrTy(*Ctx);
+  PointerType *Int8PtrPtrTy = Int8PtrTy->getPointerTo();
+  PointerType *Int64PtrTy = Type::getInt64PtrTy(*Ctx);
+  StructType *StructInfoTy =
+    StructType::get(Int8PtrTy, Int32Ty, Int64PtrTy, Int8PtrPtrTy, nullptr);
+  PointerType *StructInfoPtrTy = StructInfoTy->getPointerTo();
+
+  unsigned NumOfStructs = 0;
+  SmallVector<Constant *, 16> Initializers;
+  std::vector<StructType *> Vec = M.getIdentifiedStructTypes();
+  for (auto &StructTy : Vec) {
+    if (shouldIgnoreStructType(StructTy))
+      continue;
+    ++NumOfStructs;
+
+    // StructName.
+    SmallString<MaxStructCounterNameSize> NameStr;
+    StringRef NameRef = createStructCounterName(StructTy, NameStr);
+    GlobalVariable *StructCounterName = createPrivateGlobalForString(
+         M, NameRef, /*AllowMerging*/true);
+
+    // Counters.
+    // We create the counter array with StructCounterName and weak linkage
+    // so that the structs with the same name and layout from different
+    // compilation units are merged into one.
+    ArrayTy = ArrayType::get(Int64Ty, StructTy->getNumElements());
+    GlobalVariable *Counters =
+      new GlobalVariable(M, ArrayTy, false,
+                         GlobalVariable::WeakAnyLinkage,
+                         ConstantAggregateZero::get(ArrayTy),
+                         NameRef);
+
+    // Field type name array.
+    // We pass field type names to runtime for better user report.
+    ArrayTy = ArrayType::get(Int8PtrTy, StructTy->getNumElements());
+    GlobalVariable *TypeName =
+      new GlobalVariable(M, ArrayTy, true,
+                         GlobalVariable::InternalLinkage, nullptr);
+    SmallVector<Constant *, 16> TypeNameVec;
+    for (unsigned i = 0; i < StructTy->getNumElements(); ++i) {
+      Type *Ty = StructTy->getElementType(i);
+      std::string Str;
+      raw_string_ostream StrOS(Str);
+      Ty->print(StrOS);
+      TypeNameVec.push_back(
+          ConstantExpr::getPointerCast(
+              createPrivateGlobalForString(M, StrOS.str(), true),
+              Int8PtrTy));
+    }
+    TypeName->setInitializer(ConstantArray::get(ArrayTy, TypeNameVec));
+
+    Initializers.push_back(ConstantStruct::get(
+        StructInfoTy,
+        ConstantExpr::getPointerCast(StructCounterName, Int8PtrTy),
+        ConstantInt::get(Int32Ty, StructTy->getNumElements()),
+        ConstantExpr::getPointerCast(Counters, Int64PtrTy),
+        ConstantExpr::getPointerCast(TypeName, Int8PtrPtrTy),
+        nullptr));
+  }
+
+  // Structs: StructInfo array
+  ArrayTy = ArrayType::get(StructInfoTy, NumOfStructs);
+  GlobalVariable *StructInfo = new GlobalVariable(
+      M, ArrayTy, false ,GlobalVariable::InternalLinkage,
+      ConstantArray::get(ArrayTy, Initializers));
+
+  // NumOfStructs
+  ToolInfoVec.push_back(ConstantInt::get(Int32Ty, NumOfStructs));
+  // Structs
+  ToolInfoVec.push_back(ConstantExpr::getPointerCast(StructInfo,
+                                                     StructInfoPtrTy));
 }
 
 // Create the tool-specific global variable passed to EsanInit and EsanExit.
 GlobalVariable *EfficiencySanitizer::createEsanInitToolGV(Module &M) {
   // This structure contains tool-specific information about each compilation
   // unit (module) and is passed to the runtime library.
   // This structure should be kept consistent with the tool-specific struct
   // in the runtime library.