| OLD | NEW |
| 1 //===-- pnacl-abicheck.cpp - Check PNaCl bitcode ABI ----------------===// | 1 //===-- pnacl-abicheck.cpp - Check PNaCl bitcode ABI ----------------===// |
| 2 // | 2 // |
| 3 // The LLVM Compiler Infrastructure | 3 // The LLVM Compiler Infrastructure |
| 4 // | 4 // |
| 5 // This file is distributed under the University of Illinois Open Source | 5 // This file is distributed under the University of Illinois Open Source |
| 6 // License. See LICENSE.TXT for details. | 6 // License. See LICENSE.TXT for details. |
| 7 // | 7 // |
| 8 //===----------------------------------------------------------------------===// | 8 //===----------------------------------------------------------------------===// |
| 9 // | 9 // |
| 10 // This tool checks files for compliance with the PNaCl bitcode ABI | 10 // This tool checks files for compliance with the PNaCl bitcode ABI |
| (...skipping 11 matching lines...) Expand all Loading... |
| 22 #include "llvm/Support/FormattedStream.h" | 22 #include "llvm/Support/FormattedStream.h" |
| 23 #include "llvm/Support/SourceMgr.h" | 23 #include "llvm/Support/SourceMgr.h" |
| 24 #include <string> | 24 #include <string> |
| 25 | 25 |
| 26 using namespace llvm; | 26 using namespace llvm; |
| 27 | 27 |
| 28 static cl::opt<std::string> | 28 static cl::opt<std::string> |
| 29 InputFilename(cl::Positional, cl::desc("<input bitcode>"), cl::init("-")); | 29 InputFilename(cl::Positional, cl::desc("<input bitcode>"), cl::init("-")); |
| 30 | 30 |
| 31 static cl::opt<bool> | 31 static cl::opt<bool> |
| 32 VerboseErrors( |
| 33 "verbose-parse-errors", |
| 34 cl::desc("Print out more descriptive PNaCl bitcode parse errors"), |
| 35 cl::init(false)); |
| 36 |
| 37 static cl::opt<bool> |
| 32 Quiet("q", cl::desc("Do not print error messages")); | 38 Quiet("q", cl::desc("Do not print error messages")); |
| 33 | 39 |
| 34 static cl::opt<NaClFileFormat> | 40 static cl::opt<NaClFileFormat> |
| 35 InputFileFormat( | 41 InputFileFormat( |
| 36 "bitcode-format", | 42 "bitcode-format", |
| 37 cl::desc("Define format of input file:"), | 43 cl::desc("Define format of input file:"), |
| 38 cl::values( | 44 cl::values( |
| 39 clEnumValN(LLVMFormat, "llvm", "LLVM file (default)"), | 45 clEnumValN(LLVMFormat, "llvm", "LLVM file (default)"), |
| 40 clEnumValN(PNaClFormat, "pnacl", "PNaCl bitcode file"), | 46 clEnumValN(PNaClFormat, "pnacl", "PNaCl bitcode file"), |
| 41 clEnumValEnd), | 47 clEnumValEnd), |
| (...skipping 12 matching lines...) Expand all Loading... |
| 54 } | 60 } |
| 55 Reporter.reset(); | 61 Reporter.reset(); |
| 56 return HasErrors; | 62 return HasErrors; |
| 57 } | 63 } |
| 58 | 64 |
| 59 int main(int argc, char **argv) { | 65 int main(int argc, char **argv) { |
| 60 LLVMContext &Context = getGlobalContext(); | 66 LLVMContext &Context = getGlobalContext(); |
| 61 SMDiagnostic Err; | 67 SMDiagnostic Err; |
| 62 cl::ParseCommandLineOptions(argc, argv, "PNaCl Bitcode ABI checker\n"); | 68 cl::ParseCommandLineOptions(argc, argv, "PNaCl Bitcode ABI checker\n"); |
| 63 | 69 |
| 70 if (Quiet) |
| 71 VerboseErrors = false; |
| 72 |
| 73 raw_ostream *Verbose = VerboseErrors ? &errs() : nullptr; |
| 64 std::unique_ptr<Module> Mod( | 74 std::unique_ptr<Module> Mod( |
| 65 NaClParseIRFile(InputFilename, InputFileFormat, Err, Context)); | 75 NaClParseIRFile(InputFilename, InputFileFormat, Err, Verbose, Context)); |
| 66 if (Mod.get() == 0) { | 76 if (Mod.get() == 0) { |
| 67 Err.print(argv[0], errs()); | 77 Err.print(argv[0], errs()); |
| 68 return 1; | 78 return 1; |
| 69 } | 79 } |
| 70 PNaClABIErrorReporter ABIErrorReporter; | 80 PNaClABIErrorReporter ABIErrorReporter; |
| 71 ABIErrorReporter.setNonFatal(); | 81 ABIErrorReporter.setNonFatal(); |
| 72 bool ErrorsFound = false; | 82 bool ErrorsFound = false; |
| 73 | 83 |
| 74 std::unique_ptr<ModulePass> ModuleChecker( | 84 std::unique_ptr<ModulePass> ModuleChecker( |
| 75 createPNaClABIVerifyModulePass(&ABIErrorReporter)); | 85 createPNaClABIVerifyModulePass(&ABIErrorReporter)); |
| 76 ModuleChecker->doInitialization(*Mod); | 86 ModuleChecker->doInitialization(*Mod); |
| 77 ModuleChecker->runOnModule(*Mod); | 87 ModuleChecker->runOnModule(*Mod); |
| 78 ErrorsFound |= CheckABIVerifyErrors(ABIErrorReporter, "Module"); | 88 ErrorsFound |= CheckABIVerifyErrors(ABIErrorReporter, "Module"); |
| 79 | 89 |
| 80 std::unique_ptr<FunctionPassManager> PM(new FunctionPassManager(&*Mod)); | 90 std::unique_ptr<FunctionPassManager> PM(new FunctionPassManager(&*Mod)); |
| 81 PM->add(new DataLayoutPass(&*Mod)); | 91 PM->add(new DataLayoutPass(&*Mod)); |
| 82 PM->add(createPNaClABIVerifyFunctionsPass(&ABIErrorReporter)); | 92 PM->add(createPNaClABIVerifyFunctionsPass(&ABIErrorReporter)); |
| 83 | 93 |
| 84 PM->doInitialization(); | 94 PM->doInitialization(); |
| 85 for (Module::iterator I = Mod->begin(), E = Mod->end(); I != E; ++I) { | 95 for (Module::iterator I = Mod->begin(), E = Mod->end(); I != E; ++I) { |
| 86 PM->run(*I); | 96 PM->run(*I); |
| 87 ErrorsFound |= | 97 ErrorsFound |= |
| 88 CheckABIVerifyErrors(ABIErrorReporter, "Function " + I->getName()); | 98 CheckABIVerifyErrors(ABIErrorReporter, "Function " + I->getName()); |
| 89 } | 99 } |
| 90 PM->doFinalization(); | 100 PM->doFinalization(); |
| 91 | 101 |
| 92 return ErrorsFound ? 1 : 0; | 102 return ErrorsFound ? 1 : 0; |
| 93 } | 103 } |
| OLD | NEW |