[llvm] r180020 - Also verify llvm.compiler_used.

[Rafael Espindola]

Author: rafael
Date: Mon Apr 22 10:16:51 2013
New Revision: 180020

URL: http://llvm.org/viewvc/llvm-project?rev=180020&view=rev
Log:
Also verify llvm.compiler_used.

Added:
    llvm/trunk/test/Verifier/llvm.compiler_used-invalid-type.ll
Modified:
    llvm/trunk/lib/IR/Verifier.cpp

Modified: llvm/trunk/lib/IR/Verifier.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/IR/Verifier.cpp?rev=180020&r1=180019&r2=180020&view=diff
==============================================================================
--- llvm/trunk/lib/IR/Verifier.cpp (original)
+++ llvm/trunk/lib/IR/Verifier.cpp Mon Apr 22 10:16:51 2013
@@ -449,7 +449,8 @@ void Verifier::visitGlobalVariable(Globa
     }
   }
 
-  if (GV.hasName() && (GV.getName() == "llvm.used")) {
+  if (GV.hasName() && (GV.getName() == "llvm.used" ||
+                       GV.getName() == "llvm.compiler_used")) {
     Assert1(!GV.hasInitializer() || GV.hasAppendingLinkage(),
             "invalid linkage for intrinsic global variable", &GV);
     Type *GVType = GV.getType()->getElementType();

Added: llvm/trunk/test/Verifier/llvm.compiler_used-invalid-type.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/llvm.compiler_used-invalid-type.ll?rev=180020&view=auto
==============================================================================
--- llvm/trunk/test/Verifier/llvm.compiler_used-invalid-type.ll (added)
+++ llvm/trunk/test/Verifier/llvm.compiler_used-invalid-type.ll Mon Apr 22 10:16:51 2013
@@ -0,0 +1,6 @@
+; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
+
+ at llvm.compiler_used = appending global [1 x i32] [i32 0], section "llvm.metadata"
+
+; CHECK:       wrong type for intrinsic global variable
+; CHECK-NEXT: [1 x i32]* @llvm.compiler_used