<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Oct 9, 2013 at 9:13 AM, Rafael Espindola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com" target="_blank">rafael.espindola@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Author: rafael<br>
Date: Wed Oct  9 11:13:15 2013<br>
New Revision: 192300<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=192300&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=192300&view=rev</a><br>
Log:<br>
Use aliases for more constructors and destructors.<br>
<br>
With this patch we produce alias for cases like<br>
<br>
template<typename T><br>
struct foobar {<br>
  foobar() {<br>
  }<br>
};<br>
template struct foobar<void>;<br>
<br>
It is safe to use aliases to weak symbols, as long and the alias itself is also<br>
weak.<br></blockquote><div><br></div><div>Would you mind looking at the GDB 7.5 test suite changes this caused?<br><br><a href="http://lab.llvm.org:8011/builders/clang-x86_64-ubuntu-gdb-75/builds/9493">http://lab.llvm.org:8011/builders/clang-x86_64-ubuntu-gdb-75/builds/9493</a><br>
<br>One is an XPASS, perhaps precisely because this is the same behavior GCC uses<br><br>The other's an XFAIL I haven't looked at in detail yet. Happy to chat to you about them on IRC or if it's just out of your depth/domain, I'll look into them myself.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<br>
Modified:<br>
    cfe/trunk/lib/CodeGen/CGCXX.cpp<br>
    cfe/trunk/test/CodeGenCXX/destructors.cpp<br>
<br>
Modified: cfe/trunk/lib/CodeGen/CGCXX.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGCXX.cpp?rev=192300&r1=192299&r2=192300&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGCXX.cpp?rev=192300&r1=192299&r2=192300&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/CodeGen/CGCXX.cpp (original)<br>
+++ cfe/trunk/lib/CodeGen/CGCXX.cpp Wed Oct  9 11:13:15 2013<br>
@@ -108,32 +108,17 @@ bool CodeGenModule::TryEmitDefinitionAsA<br>
   // support aliases with that linkage, fail.<br>
   llvm::GlobalValue::LinkageTypes Linkage = getFunctionLinkage(AliasDecl);<br>
<br>
-  switch (Linkage) {<br>
-  // We can definitely emit aliases to definitions with external linkage.<br>
-  case llvm::GlobalValue::ExternalLinkage:<br>
-  case llvm::GlobalValue::ExternalWeakLinkage:<br>
-    break;<br>
-<br>
-  // Same with local linkage.<br>
-  case llvm::GlobalValue::InternalLinkage:<br>
-  case llvm::GlobalValue::PrivateLinkage:<br>
-  case llvm::GlobalValue::LinkerPrivateLinkage:<br>
-    break;<br>
-<br>
-  // We should try to support linkonce linkages.<br>
-  case llvm::GlobalValue::LinkOnceAnyLinkage:<br>
-  case llvm::GlobalValue::LinkOnceODRLinkage:<br>
-    return true;<br>
-<br>
-  // Other linkages will probably never be supported.<br>
-  default:<br>
+  // We can't use an alias if the linkage is not valid for one.<br>
+  if (!llvm::GlobalAlias::isValidLinkage(Linkage))<br>
     return true;<br>
-  }<br>
<br>
   llvm::GlobalValue::LinkageTypes TargetLinkage<br>
     = getFunctionLinkage(TargetDecl);<br>
<br>
-  if (llvm::GlobalValue::isWeakForLinker(TargetLinkage))<br>
+  // Don't create an strong alias to a linker weak symbol. If the linker<br>
+  // decides to drop the symbol, the alias would become undefined.<br>
+  if (llvm::GlobalValue::isWeakForLinker(TargetLinkage) &&<br>
+      !llvm::GlobalValue::isWeakForLinker(Linkage))<br>
     return true;<br>
<br>
   // Derive the type for the alias.<br>
<br>
Modified: cfe/trunk/test/CodeGenCXX/destructors.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/destructors.cpp?rev=192300&r1=192299&r2=192300&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/destructors.cpp?rev=192300&r1=192299&r2=192300&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/test/CodeGenCXX/destructors.cpp (original)<br>
+++ cfe/trunk/test/CodeGenCXX/destructors.cpp Wed Oct  9 11:13:15 2013<br>
@@ -6,10 +6,16 @@<br>
 // CHECK: @_ZN5test11OD2Ev = alias {{.*}} @_ZN5test11AD2Ev<br>
 // CHECK: @_ZN5test11SD2Ev = alias bitcast {{.*}} @_ZN5test11AD2Ev<br>
<br>
+// CHECK: @_ZN6test106foobarIvEC1Ev = alias weak_odr void (%"struct.test10::foobar"*)* @_ZN6test106foobarIvEC2Ev<br>
+<br>
+// CHECK: @_ZN6test116foobarIvEC1Ev = alias linkonce_odr void (%"struct.test11::foobar"*)* @_ZN6test116foobarIvEC2Ev<br>
+<br>
 // CHECK: @_ZN5test312_GLOBAL__N_11DD1Ev = alias internal {{.*}} @_ZN5test312_GLOBAL__N_11DD2Ev<br>
 // CHECK: @_ZN5test312_GLOBAL__N_11DD2Ev = alias internal bitcast {{.*}} @_ZN5test312_GLOBAL__N_11CD2Ev<br>
 // CHECK: @_ZN5test312_GLOBAL__N_11CD1Ev = alias internal {{.*}} @_ZN5test312_GLOBAL__N_11CD2Ev<br>
<br>
+// CHECK: @_ZN6PR752617allocator_derivedD1Ev = alias linkonce_odr void (%"struct.PR7526::allocator_derived"*)* @_ZN6PR752617allocator_derivedD2Ev<br>
+<br>
 struct A {<br>
   int a;<br>
<br>
@@ -44,9 +50,6 @@ namespace PR7526 {<br>
   // CHECK: call void @__cxa_call_unexpected<br>
   allocator::~allocator() throw() { foo(); }<br>
<br>
-  // CHECK-LABEL: define linkonce_odr void @_ZN6PR752617allocator_derivedD1Ev(%"struct.PR7526::allocator_derived"* %this) unnamed_addr<br>
-  // CHECK-NOT: call void @__cxa_call_unexpected<br>
-  // CHECK:     }<br>
   void foo() {<br>
     allocator_derived ad;<br>
   }<br>
@@ -419,3 +422,25 @@ namespace test9 {<br>
   // CHECK: ret void<br>
<br>
   // CHECK: attributes [[NUW]] = {{[{].*}} nounwind {{.*[}]}}<br>
+<br>
+<br>
+namespace test10 {<br>
+  template<typename T><br>
+  struct foobar {<br>
+    foobar() {<br>
+    }<br>
+  };<br>
+<br>
+  template struct foobar<void>;<br>
+}<br>
+<br>
+namespace test11 {<br>
+  void g();<br>
+  template<typename T><br>
+  struct foobar {<br>
+    foobar() {<br>
+      g();<br>
+    }<br>
+  };<br>
+  foobar<void> x;<br>
+}<br>
<br>
<br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
</blockquote></div><br></div></div>