Added -Zno-verify-llvm-ir compiler option.

nikomatsakis · Alexander Regueiro · commit 34b47b0364f4 · 2020-04-20T21:57:01.000+01:00
diff --git a/src/librustc_session/session.rs b/src/librustc_session/session.rs
@@ -429,7 +429,9 @@ impl Session {
         self.opts.debugging_opts.asm_comments
     }
     pub fn verify_llvm_ir(&self) -> bool {
-        self.opts.debugging_opts.verify_llvm_ir || cfg!(always_verify_llvm_ir)
+        (self.opts.debugging_opts.verify_llvm_ir
+         || cfg!(always_verify_llvm_ir))
+            && !self.opts.debugging_opts.no_verify_llvm_ir
     }
     pub fn borrowck_stats(&self) -> bool {
         self.opts.debugging_opts.borrowck_stats

Original file line number	Diff line number	Diff line change
`@@ -429,7 +429,9 @@ impl Session {`
`429`	`429`	`self.opts.debugging_opts.asm_comments`
`430`	`430`	`}`
`431`	`431`	`pub fn verify_llvm_ir(&self) -> bool {`
`432`		`- self.opts.debugging_opts.verify_llvm_ir \|\| cfg!(always_verify_llvm_ir)`
	`432`	`+ (self.opts.debugging_opts.verify_llvm_ir`
	`433`	`+ \|\| cfg!(always_verify_llvm_ir))`
	`434`	`+ && !self.opts.debugging_opts.no_verify_llvm_ir`
`433`	`435`	`}`
`434`	`436`	`pub fn borrowck_stats(&self) -> bool {`
`435`	`437`	`self.opts.debugging_opts.borrowck_stats`