diff options
Diffstat (limited to 'tools/opt/opt.cpp')
-rw-r--r-- | tools/opt/opt.cpp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tools/opt/opt.cpp b/tools/opt/opt.cpp index ef8c504d0f..782cac213f 100644 --- a/tools/opt/opt.cpp +++ b/tools/opt/opt.cpp @@ -676,11 +676,17 @@ int main(int argc, char **argv) { if (!NoOutput) OK = OutputAssembly ? OK_OutputAssembly : OK_OutputBitcode; + VerifierKind VK = VK_VerifyInAndOut; + if (NoVerify) + VK = VK_NoVerifier; + else if (VerifyEach) + VK = VK_VerifyEachPass; + // The user has asked to use the new pass manager and provided a pipeline // string. Hand off the rest of the functionality to the new code for that // layer. return runPassPipeline(argv[0], Context, *M.get(), Out.get(), PassPipeline, - OK) + OK, VK) ? 0 : 1; } |