From: Vedant Kumar <vsk@apple.com>
Date: Thu, 10 Mar 2016 03:40:14 +0000 (+0000)
Subject: [opt] Only create Verifier passes when requested
X-Git-Tag: llvmorg-3.9.0-rc1~12106
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=37a1d6207fda75c59188d5f15003ed59c2cb1462;p=platform%2Fupstream%2Fllvm.git

[opt] Only create Verifier passes when requested

opt adds Verifier passes in AddOptimizationPasses even if
-disable-verify is on. Fix it so that the extra verification occurs
either when (1) -disable-verifier is off, or (2) -verify-each is on.

Thanks to David Jones for pointing out this behavior!

llvm-svn: 263090
---

diff --git a/llvm/tools/opt/opt.cpp b/llvm/tools/opt/opt.cpp
index 28c1c2bc6c52..11151b8fcdac 100644
--- a/llvm/tools/opt/opt.cpp
+++ b/llvm/tools/opt/opt.cpp
@@ -217,7 +217,8 @@ static inline void addPass(legacy::PassManagerBase &PM, Pass *P) {
 static void AddOptimizationPasses(legacy::PassManagerBase &MPM,
                                   legacy::FunctionPassManager &FPM,
                                   unsigned OptLevel, unsigned SizeLevel) {
-  FPM.add(createVerifierPass()); // Verify that input is correct
+  if (!NoVerify || VerifyEach)
+    FPM.add(createVerifierPass()); // Verify that input is correct
 
   PassManagerBuilder Builder;
   Builder.OptLevel = OptLevel;