<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Mar 27, 2015 at 7:43 PM, Duncan P. N. Exon Smith <span dir="ltr"><<a href="mailto:dexonsmith@apple.com" target="_blank">dexonsmith@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: dexonsmith<br>
Date: Fri Mar 27 21:43:53 2015<br>
New Revision: 233468<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=233468&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=233468&view=rev</a><br>
Log:<br>
Verifier: Allow subroutine types to have no type array<br>
<br>
Loosen one check from r233446: as long as `DIBuilder` requires a<br>
non-null type for every subprogram, we should allow a null type array.<br>
Also add tests for the rest of `MDSubroutineType`, which were somehow<br>
missing.<br></blockquote><div><br>I'm guessing this sort of debug info (function with a subroutine with a null type array) comes from clang in -gmlt mode? Should we just instead say that the function has no type? what're tre tradeoffs?<br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Added:<br>
    llvm/trunk/test/Assembler/mdsubroutinetype.ll<br>
Modified:<br>
    llvm/trunk/lib/IR/Verifier.cpp<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=233468&r1=233467&r2=233468&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/IR/Verifier.cpp?rev=233468&r1=233467&r2=233468&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/IR/Verifier.cpp (original)<br>
+++ llvm/trunk/lib/IR/Verifier.cpp Fri Mar 27 21:43:53 2015<br>
@@ -758,12 +758,11 @@ void Verifier::visitMDCompositeType(cons<br>
<br>
 void Verifier::visitMDSubroutineType(const MDSubroutineType &N) {<br>
   Assert(N.getTag() == dwarf::DW_TAG_subroutine_type, "invalid tag", &N);<br>
-  Assert(N.getRawElements() && isa<MDTuple>(N.getRawElements()),<br>
-         "invalid composite elements", &N, N.getRawElements());<br>
-<br>
-  for (Metadata *Ty : N.getTypeArray()->operands()) {<br>
-    Assert(isTypeRef(Ty), "invalid subroutine type ref", &N, N.getTypeArray(),<br>
-           Ty);<br>
+  if (auto *Types = N.getRawTypeArray()) {<br>
+    Assert(isa<MDTuple>(Types), "invalid composite elements", &N, Types);<br>
+    for (Metadata *Ty : N.getTypeArray()->operands()) {<br>
+      Assert(isTypeRef(Ty), "invalid subroutine type ref", &N, Types, Ty);<br>
+    }<br>
   }<br>
 }<br>
<br>
<br>
Added: llvm/trunk/test/Assembler/mdsubroutinetype.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Assembler/mdsubroutinetype.ll?rev=233468&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Assembler/mdsubroutinetype.ll?rev=233468&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/Assembler/mdsubroutinetype.ll (added)<br>
+++ llvm/trunk/test/Assembler/mdsubroutinetype.ll Fri Mar 27 21:43:53 2015<br>
@@ -0,0 +1,23 @@<br>
+; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s<br>
+; RUN: verify-uselistorder %s<br>
+<br>
+; CHECK: !named = !{!0, !1, !2, !3, !4, !5, !6, !7, !8}<br>
+!named = !{!0, !1, !2, !3, !4, !5, !6, !7, !8}<br>
+<br>
+!0 = !MDBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)<br>
+!1 = !{null}<br>
+!2 = !{null, !0}<br>
+!3 = !{!0, !0, !0}<br>
+<br>
+<br>
+; CHECK: !4 = !MDSubroutineType(types: !1)<br>
+; CHECK: !5 = !MDSubroutineType(types: !2)<br>
+; CHECK: !6 = !MDSubroutineType(types: !3)<br>
+; CHECK: !7 = !MDSubroutineType(flags: DIFlagLValueReference, types: !3)<br>
+!4 = !MDSubroutineType(types: !1)<br>
+!5 = !MDSubroutineType(types: !2)<br>
+!6 = !MDSubroutineType(types: !3)<br>
+!7 = !MDSubroutineType(flags: DIFlagLValueReference, types: !3)<br>
+<br>
+; CHECK: !8 = !MDSubroutineType(types: null)<br>
+!8 = !MDSubroutineType(types: null)<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
</blockquote></div><br></div></div>