r189660 - Revert r189649 because it was breaking sanitizer bots.

Yunzhong Gao Yunzhong_Gao at playstation.sony.com
Fri Aug 30 01:53:09 PDT 2013


Author: ygao
Date: Fri Aug 30 03:53:09 2013
New Revision: 189660

URL: http://llvm.org/viewvc/llvm-project?rev=189660&view=rev
Log:
Revert r189649 because it was breaking sanitizer bots.


Removed:
    cfe/trunk/test/CodeGen/debug-info-line5.cpp
    cfe/trunk/test/CodeGen/debug-info-line5.h
Modified:
    cfe/trunk/lib/CodeGen/CGDebugInfo.cpp
    cfe/trunk/lib/CodeGen/CGDebugInfo.h
    cfe/trunk/lib/CodeGen/CGExpr.cpp
    cfe/trunk/lib/CodeGen/CodeGenFunction.cpp
    cfe/trunk/lib/CodeGen/CodeGenFunction.h
    cfe/trunk/test/CodeGen/debug-info-scope.c
    cfe/trunk/test/CodeGenCXX/debug-info-namespace.cpp

Modified: cfe/trunk/lib/CodeGen/CGDebugInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGDebugInfo.cpp?rev=189660&r1=189659&r2=189660&view=diff
==============================================================================
--- cfe/trunk/lib/CodeGen/CGDebugInfo.cpp (original)
+++ cfe/trunk/lib/CodeGen/CGDebugInfo.cpp Fri Aug 30 03:53:09 2013
@@ -3142,31 +3142,14 @@ CGDebugInfo::getOrCreateStaticDataMember
 }
 
 /// EmitGlobalVariable - Emit information about a global variable.
-/// \param VarOrInit either the global variable itself or the initializer
-/// \param D the global declaration
-void CGDebugInfo::EmitGlobalVariable(llvm::Value *VarOrInit,
+void CGDebugInfo::EmitGlobalVariable(llvm::GlobalVariable *Var,
                                      const VarDecl *D) {
   assert(DebugKind >= CodeGenOptions::LimitedDebugInfo);
   // Create global variable debug descriptor.
   llvm::DIFile Unit = getOrCreateFile(D->getLocation());
   unsigned LineNo = getLineNumber(D->getLocation());
-  StringRef DeclName = D->getName();
-  StringRef LinkageName;
-  bool IsLocalToUnit = true;
 
-  // For deferred global variables, the current source location is usually
-  // where they are being referenced. Do not change the current source location
-  // to the place where they are declared, lest we get a bogus line table.
-  // FIXME: maybe we do not need to set the source location here at all.
-  if (llvm::GlobalVariable *Var = dyn_cast<llvm::GlobalVariable>(VarOrInit)) {
-    setLocation(D->getLocation());
-    IsLocalToUnit = Var->hasInternalLinkage();
-    if (D->getDeclContext() && !isa<FunctionDecl>(D->getDeclContext())
-        && !isa<ObjCMethodDecl>(D->getDeclContext()))
-      LinkageName = Var->getName();
-    if (LinkageName == DeclName)
-      LinkageName = StringRef();
-  }
+  setLocation(D->getLocation());
 
   QualType T = D->getType();
   if (T->isIncompleteArrayType()) {
@@ -3178,11 +3161,18 @@ void CGDebugInfo::EmitGlobalVariable(llv
     T = CGM.getContext().getConstantArrayType(ET, ConstVal,
                                               ArrayType::Normal, 0);
   }
+  StringRef DeclName = D->getName();
+  StringRef LinkageName;
+  if (D->getDeclContext() && !isa<FunctionDecl>(D->getDeclContext())
+      && !isa<ObjCMethodDecl>(D->getDeclContext()))
+    LinkageName = Var->getName();
+  if (LinkageName == DeclName)
+    LinkageName = StringRef();
   llvm::DIDescriptor DContext =
     getContextDescriptor(dyn_cast<Decl>(D->getDeclContext()));
   llvm::DIGlobalVariable GV = DBuilder.createStaticVariable(
       DContext, DeclName, LinkageName, Unit, LineNo, getOrCreateType(T, Unit),
-      IsLocalToUnit, VarOrInit,
+      Var->hasInternalLinkage(), Var,
       getOrCreateStaticDataMemberDeclarationOrNull(D));
   DeclCache.insert(std::make_pair(D->getCanonicalDecl(), llvm::WeakVH(GV)));
 }
@@ -3213,16 +3203,26 @@ void CGDebugInfo::EmitGlobalVariable(llv
                                 Var->hasInternalLinkage(), Var);
 }
 
-/// EmitEnumConstant - Emit debug info for an enumerator constant
-void CGDebugInfo::EmitEnumConstant(const EnumConstantDecl *ECD)
-{
+/// EmitGlobalVariable - Emit global variable's debug info.
+void CGDebugInfo::EmitGlobalVariable(const ValueDecl *VD,
+                                     llvm::Constant *Init) {
   assert(DebugKind >= CodeGenOptions::LimitedDebugInfo);
-  llvm::DIFile Unit = getOrCreateFile(ECD->getLocation());
-  llvm::DIType Ty = getOrCreateType(ECD->getType(), Unit);
-
-  const EnumDecl *ED = cast<EnumDecl>(ECD->getDeclContext());
-  assert(isa<EnumType>(ED->getTypeForDecl()) && "Enum without EnumType?");
-  Ty = getOrCreateType(QualType(ED->getTypeForDecl(), 0), Unit);
+  // Create the descriptor for the variable.
+  llvm::DIFile Unit = getOrCreateFile(VD->getLocation());
+  StringRef Name = VD->getName();
+  llvm::DIType Ty = getOrCreateType(VD->getType(), Unit);
+  if (const EnumConstantDecl *ECD = dyn_cast<EnumConstantDecl>(VD)) {
+    const EnumDecl *ED = cast<EnumDecl>(ECD->getDeclContext());
+    assert(isa<EnumType>(ED->getTypeForDecl()) && "Enum without EnumType?");
+    Ty = getOrCreateType(QualType(ED->getTypeForDecl(), 0), Unit);
+  }
+  // Do not use DIGlobalVariable for enums.
+  if (Ty.getTag() == llvm::dwarf::DW_TAG_enumeration_type)
+    return;
+  llvm::DIGlobalVariable GV = DBuilder.createStaticVariable(
+      Unit, Name, Name, Unit, getLineNumber(VD->getLocation()), Ty, true, Init,
+      getOrCreateStaticDataMemberDeclarationOrNull(cast<VarDecl>(VD)));
+  DeclCache.insert(std::make_pair(VD->getCanonicalDecl(), llvm::WeakVH(GV)));
 }
 
 llvm::DIScope CGDebugInfo::getCurrentContextDescriptor(const Decl *D) {

Modified: cfe/trunk/lib/CodeGen/CGDebugInfo.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGDebugInfo.h?rev=189660&r1=189659&r2=189660&view=diff
==============================================================================
--- cfe/trunk/lib/CodeGen/CGDebugInfo.h (original)
+++ cfe/trunk/lib/CodeGen/CGDebugInfo.h Fri Aug 30 03:53:09 2013
@@ -264,13 +264,13 @@ public:
                                             CGBuilderTy &Builder);
 
   /// EmitGlobalVariable - Emit information about a global variable.
-  void EmitGlobalVariable(llvm::Value *VarOrInit, const VarDecl *Decl);
+  void EmitGlobalVariable(llvm::GlobalVariable *GV, const VarDecl *Decl);
 
   /// EmitGlobalVariable - Emit information about an objective-c interface.
   void EmitGlobalVariable(llvm::GlobalVariable *GV, ObjCInterfaceDecl *Decl);
 
-  /// EmitEnumConstant - Emit information about an enumerator constant
-  void EmitEnumConstant(const EnumConstantDecl *ECD);
+  /// EmitGlobalVariable - Emit global variable's debug info.
+  void EmitGlobalVariable(const ValueDecl *VD, llvm::Constant *Init);
 
   /// \brief - Emit C++ using directive.
   void EmitUsingDirective(const UsingDirectiveDecl &UD);

Modified: cfe/trunk/lib/CodeGen/CGExpr.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGExpr.cpp?rev=189660&r1=189659&r2=189660&view=diff
==============================================================================
--- cfe/trunk/lib/CodeGen/CGExpr.cpp (original)
+++ cfe/trunk/lib/CodeGen/CGExpr.cpp Fri Aug 30 03:53:09 2013
@@ -967,9 +967,15 @@ CodeGenFunction::tryEmitAsConstant(DeclR
   // Emit as a constant.
   llvm::Constant *C = CGM.EmitConstantValue(result.Val, resultType, this);
 
-  // Make sure we emit a debug reference to the global variable or
-  // enumerator constant.
-  EmitValueDeclDbgValue(value, C);
+  // Make sure we emit a debug reference to the global variable.
+  // This should probably fire even for
+  if (isa<VarDecl>(value)) {
+    if (!getContext().DeclMustBeEmitted(cast<VarDecl>(value)))
+      EmitDeclRefExprDbgValue(refExpr, C);
+  } else {
+    assert(isa<EnumConstantDecl>(value));
+    EmitDeclRefExprDbgValue(refExpr, C);
+  }
 
   // If we emitted a reference constant, we need to dereference that.
   if (resultIsReference)

Modified: cfe/trunk/lib/CodeGen/CodeGenFunction.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CodeGenFunction.cpp?rev=189660&r1=189659&r2=189660&view=diff
==============================================================================
--- cfe/trunk/lib/CodeGen/CodeGenFunction.cpp (original)
+++ cfe/trunk/lib/CodeGen/CodeGenFunction.cpp Fri Aug 30 03:53:09 2013
@@ -1376,27 +1376,12 @@ llvm::Value* CodeGenFunction::EmitVAList
   return EmitLValue(E).getAddress();
 }
 
-void CodeGenFunction::EmitValueDeclDbgValue(const ValueDecl *Val,
-                                            llvm::Constant *Init) {
+void CodeGenFunction::EmitDeclRefExprDbgValue(const DeclRefExpr *E,
+                                              llvm::Constant *Init) {
   assert (Init && "Invalid DeclRefExpr initializer!");
-  CGDebugInfo *Dbg = getDebugInfo();
-  if (!Dbg ||
-      CGM.getCodeGenOpts().getDebugInfo() < CodeGenOptions::LimitedDebugInfo)
-    return;
-
-  // Make sure we emit a debug reference to the global variable.
-  if (const VarDecl *VD = dyn_cast<VarDecl>(Val)) {
-    // Do not duplicate DIE entry for local variables; they are not deferred
-    // like global variables are.
-    if (VD->isFileVarDecl() && !getLangOpts().EmitAllDecls &&
-        !getContext().DeclMustBeEmitted(Val))
-      Dbg->EmitGlobalVariable(Init, VD);
-
-  // Make sure we emit a debug reference to an enumerator constant.
-  } else {
-    assert(isa<EnumConstantDecl>(Val));
-    Dbg->EmitEnumConstant(dyn_cast<EnumConstantDecl>(Val));
-  }
+  if (CGDebugInfo *Dbg = getDebugInfo())
+    if (CGM.getCodeGenOpts().getDebugInfo() >= CodeGenOptions::LimitedDebugInfo)
+      Dbg->EmitGlobalVariable(E->getDecl(), Init);
 }
 
 CodeGenFunction::PeepholeProtection

Modified: cfe/trunk/lib/CodeGen/CodeGenFunction.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CodeGenFunction.h?rev=189660&r1=189659&r2=189660&view=diff
==============================================================================
--- cfe/trunk/lib/CodeGen/CodeGenFunction.h (original)
+++ cfe/trunk/lib/CodeGen/CodeGenFunction.h Fri Aug 30 03:53:09 2013
@@ -2047,8 +2047,7 @@ public:
   LValue EmitStmtExprLValue(const StmtExpr *E);
   LValue EmitPointerToDataMemberBinaryExpr(const BinaryOperator *E);
   LValue EmitObjCSelectorLValue(const ObjCSelectorExpr *E);
-  void   EmitValueDeclDbgValue(const ValueDecl *Val, llvm::Constant *Init);
-
+  void   EmitDeclRefExprDbgValue(const DeclRefExpr *E, llvm::Constant *Init);
 
   //===--------------------------------------------------------------------===//
   //                         Scalar Expression Emission

Removed: cfe/trunk/test/CodeGen/debug-info-line5.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGen/debug-info-line5.cpp?rev=189659&view=auto
==============================================================================
--- cfe/trunk/test/CodeGen/debug-info-line5.cpp (original)
+++ cfe/trunk/test/CodeGen/debug-info-line5.cpp (removed)
@@ -1,18 +0,0 @@
-// RUN: %clang %s -g -gcolumn-info -S -emit-llvm -o - | FileCheck %s
-// Line table entries should reference this cpp file, not the header
-
-#include "debug-info-line5.h"
-
-int result;
-int foo(unsigned);
-
-int main()
-{
-  while ( 1 )
-  {
-    result = foo(Marker);
-  }
-  return result;
-}
-
-// CHECK: !{{[0-9]*}} = metadata !{i32 {{[0-9]*}}, i32 {{[0-9]*}}, null, metadata !"Marker", {{.*}} ; [ DW_TAG_variable ] [Marker]

Removed: cfe/trunk/test/CodeGen/debug-info-line5.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGen/debug-info-line5.h?rev=189659&view=auto
==============================================================================
--- cfe/trunk/test/CodeGen/debug-info-line5.h (original)
+++ cfe/trunk/test/CodeGen/debug-info-line5.h (removed)
@@ -1,2 +0,0 @@
-// Declaration of "Marker"
-const unsigned Marker = 0xFF999999;

Modified: cfe/trunk/test/CodeGen/debug-info-scope.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGen/debug-info-scope.c?rev=189660&r1=189659&r2=189660&view=diff
==============================================================================
--- cfe/trunk/test/CodeGen/debug-info-scope.c (original)
+++ cfe/trunk/test/CodeGen/debug-info-scope.c Fri Aug 30 03:53:09 2013
@@ -1,16 +1,7 @@
 // RUN: %clang_cc1 -g -emit-llvm < %s | FileCheck %s
-
-// Make sure that the debug info of the local variable d does not shadow
-// the global variable d
-// CHECK: [ DW_TAG_variable ] [d] [line 6] [def]
-const int d = 100;
-
 // Two variables with same name in separate scope.
 // Radar 8330217.
 int main() {
-// CHECK-NOT: [ DW_TAG_variable ] [d] [line 13]
-// CHECK: [ DW_TAG_auto_variable ] [d] [line 13]
-	const int d = 4;
 	int j = 0;
 	int k = 0;
 // CHECK: DW_TAG_auto_variable ] [i]
@@ -21,5 +12,5 @@ int main() {
 // CHECK-NEXT: DW_TAG_lexical_block
 	for (int i = 0; i < 10; i++)
 		k++;
-	return d; // make a reference to d so that its debug info gets included
+	return 0;
 }

Modified: cfe/trunk/test/CodeGenCXX/debug-info-namespace.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/debug-info-namespace.cpp?rev=189660&r1=189659&r2=189660&view=diff
==============================================================================
--- cfe/trunk/test/CodeGenCXX/debug-info-namespace.cpp (original)
+++ cfe/trunk/test/CodeGenCXX/debug-info-namespace.cpp Fri Aug 30 03:53:09 2013
@@ -39,16 +39,6 @@ int func(bool b) {
 // This should work even if 'i' and 'func' were declarations & not definitions,
 // but it doesn't yet.
 
-namespace C
-{
- const int j = 32;
-}
-
-int func2()
-{
- return C::j;
-} 
-
 // CHECK: [[CU:![0-9]*]] = {{.*}}[[MODULES:![0-9]*]], metadata !""} ; [ DW_TAG_compile_unit ]
 // CHECK: [[FILE:![0-9]*]] {{.*}}debug-info-namespace.cpp"
 // CHECK: [[FOO:![0-9]*]] {{.*}} ; [ DW_TAG_structure_type ] [foo] [line 5, size 0, align 0, offset 0] [decl] [from ]
@@ -60,8 +50,6 @@ int func2()
 // CHECK: [[FUNC:![0-9]*]] {{.*}} ; [ DW_TAG_subprogram ] {{.*}} [def] [func]
 // CHECK: [[FILE2]]} ; [ DW_TAG_file_type ] [{{.*}}foo.cpp]
 // CHECK: [[I:![0-9]*]] = {{.*}}, metadata [[NS]], metadata !"i", {{.*}} ; [ DW_TAG_variable ] [i]
-// CHECK: [[VAR:![0-9]*]] = {{.*}}, metadata [[SPACE:![0-9]*]], metadata !"j", {{.*}} ; [ DW_TAG_variable ] [j]
-// CHECK: [[SPACE]] = {{.*}}, metadata !"C", {{.*}} ; [ DW_TAG_namespace ] [C]
 // CHECK: [[MODULES]] = metadata !{metadata [[M1:![0-9]*]], metadata [[M2:![0-9]*]], metadata [[M3:![0-9]*]], metadata [[M4:![0-9]*]], metadata [[M5:![0-9]*]], metadata [[M6:![0-9]*]], metadata [[M7:![0-9]*]], metadata [[M8:![0-9]*]], metadata [[M9:![0-9]*]], metadata [[M10:![0-9]*]], metadata [[M11:![0-9]*]], metadata [[M12:![0-9]*]]}
 // CHECK: [[M1]] = metadata !{i32 {{[0-9]*}}, metadata [[CTXT]], metadata [[NS]], i32 11} ; [ DW_TAG_imported_module ]
 // CHECK: [[M2]] = metadata !{i32 {{[0-9]*}}, metadata [[CU]], metadata [[CTXT]], i32 {{[0-9]*}}} ; [ DW_TAG_imported_module ]





More information about the cfe-commits mailing list