[CIR][CIRGen][NFC] Improve buildAutoVarAlloca skeleton and add hooks for buildVarAnnotations

Author: bcardosolopes

clang/lib/CIR/CodeGen/CIRGenDecl.cpp

@@ -39,7 +39,6 @@ CIRGenFunction::buildAutoVarAlloca(const VarDecl &D,
   assert(
       Ty.getAddressSpace() == LangAS::Default ||
       (Ty.getAddressSpace() == LangAS::opencl_private && getLangOpts().OpenCL));
-  assert(!D.hasAttr<AnnotateAttr>() && "not implemented");
 
   auto loc = getLoc(D.getSourceRange());
   bool NRVO =
@@ -195,6 +194,16 @@ CIRGenFunction::buildAutoVarAlloca(const VarDecl &D,
 
   emission.Addr = address;
   setAddrOfLocalVar(&D, emission.Addr);
+
+  // Emit debug info for local var declaration.
+  assert(!MissingFeatures::generateDebugInfo());
+
+  if (D.hasAttr<AnnotateAttr>() && HaveInsertPoint())
+    buildVarAnnotations(&D, address.emitRawPointer());
+
+  // TODO(cir): in LLVM this calls @llvm.lifetime.end.
+  assert(!MissingFeatures::shouldEmitLifetimeMarkers());
+
   return emission;
 }
 

clang/lib/CIR/CodeGen/CIRGenFunction.cpp

@@ -1889,3 +1889,10 @@ mlir::Value CIRGenFunction::buildAlignmentAssumption(
   return buildAlignmentAssumption(ptrValue, ty, loc, assumptionLoc, alignment,
                                   offsetValue);
 }
+
+void CIRGenFunction::buildVarAnnotations(const VarDecl *decl, mlir::Value val) {
+  assert(decl->hasAttr<AnnotateAttr>() && "no annotate attribute");
+  for ([[maybe_unused]] const auto *I : decl->specific_attrs<AnnotateAttr>()) {
+    llvm_unreachable("NYI");
+  }
+}

clang/lib/CIR/CodeGen/CIRGenFunction.h

@@ -1120,6 +1120,9 @@ class CIRGenFunction : public CIRGenTypeCache {
 
   void buildDecl(const clang::Decl &D);
 
+  /// Emit local annotations for the local variable V, declared by D.
+  void buildVarAnnotations(const VarDecl *decl, mlir::Value val);
+
   /// If the specified expression does not fold to a constant, or if it does but
   /// contains a label, return false.  If it constant folds return true and set
   /// the boolean result in Result.