Check for metadata in PNaCl ABI checker.

tools/llc/llc.cpp

 //===-- llc.cpp - Implement the LLVM Native Code Generator ----------------===//
 //
 //                     The LLVM Compiler Infrastructure
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 //
 // This is the llc code generator driver. It provides a convenient
@@ skipping 108 matching lines @@
   cl::init(false));
 
 static cl::opt<bool>
 PNaClABIVerify("pnaclabi-verify",
   cl::desc("Verify PNaCl bitcode ABI before translating"),
   cl::init(false));
 static cl::opt<bool>
 PNaClABIVerifyFatalErrors("pnaclabi-verify-fatal-errors",
   cl::desc("PNaCl ABI verification errors are fatal"),
   cl::init(false));
-// @LOCALMOD-END
+static cl::opt<bool>
+AllowDebugMetadata("pnaclabi-verify-allow-debug",
+  cl::desc("Allow debug metadata during PNaCl ABI verification."),
+  cl::init(false));
+//// @LOCALMOD-END
 
 // Determine optimization level.
 static cl::opt<char>
 OptLevel("O",
          cl::desc("Optimization level. [-O0, -O1, -O2, or -O3] "
                   "(default = '-O2')"),
          cl::Prefix,
          cl::ZeroOrMore,
          cl::init(' '));
 
@@ skipping 241 matching lines @@
 
     mod = M.get();
     if (mod == 0) {
       Err.print(argv[0], errs());
       return 1;
     }
 
     // @LOCALMOD-BEGIN
     if (PNaClABIVerify) {
       // Verify the module (but not the functions yet)
-      ModulePass *VerifyPass = createPNaClABIVerifyModulePass(&ABIErrorReporter);
+      ModulePass *VerifyPass = createPNaClABIVerifyModulePass(
+          &ABIErrorReporter, AllowDebugMetadata);
       VerifyPass->runOnModule(*mod);
       CheckABIVerifyErrors(ABIErrorReporter, "Module");
     }
 #if defined(__native_client__) && defined(NACL_SRPC)
     RecordMetadataForSrpc(*mod);
 
     // To determine if we should compile PIC or not, we needed to load at
     // least the metadata. Since we've already constructed the commandline,
     // we have to hack this in after commandline processing.
     if (mod->getOutputFormat() == Module::SharedOutputFormat) {
@@ skipping 113 matching lines @@
   // @LOCALMOD-BEGIN
   OwningPtr<PassManagerBase> PM;
   if (LazyBitcode || ReduceMemoryFootprint)
     PM.reset(new FunctionPassManager(mod));
   else
     PM.reset(new PassManager());
 
   // Add the ABI verifier pass before the analysis and code emission passes.
   FunctionPass *FunctionVerifyPass = NULL;
   if (PNaClABIVerify) {
-    FunctionVerifyPass = createPNaClABIVerifyFunctionsPass(&ABIErrorReporter);
+    FunctionVerifyPass = createPNaClABIVerifyFunctionsPass(
+        &ABIErrorReporter, AllowDebugMetadata);
     PM->add(FunctionVerifyPass);
   }
   // @LOCALMOD-END
 
   // Add an appropriate TargetLibraryInfo pass for the module's triple.
   TargetLibraryInfo *TLI = new TargetLibraryInfo(TheTriple);
   if (DisableSimplifyLibCalls)
     TLI->disableAllFunctions();
   PM->add(TLI);
 
@@ skipping 125 matching lines @@
 }
 
 #if !defined(NACL_SRPC)
 int
 main (int argc, char **argv) {
   return llc_main(argc, argv);
 }
 #else
 // main() is in nacl_file.cpp.
 #endif