From f90e7ade86ada1a8431ac9318935738e779f7417 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Thu, 5 Oct 2017 18:01:27 -0700
Subject: [PATCH] Enable the cretonne verifier by default in debug builds.

---
 src/main.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/main.rs b/src/main.rs
index 8d7f8440ff..ee72b7e236 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -42,6 +42,7 @@ use docopt::Docopt;
 use std::path::Path;
 use std::process::{exit, Command};
 use tempdir::TempDir;
+use cretonne::settings::Configurable;
 
 macro_rules! vprintln {
     ($x: expr, $($tts:tt)*) => {
@@ -112,6 +113,12 @@ fn main() {
     let (flag_builder, isa_builder) = cton_native::builders().unwrap_or_else(|_| {
         panic!("host machine is not a supported target");
     });
+
+    // Enable verifier passes in debug mode.
+    if cfg!(debug_assertions) {
+        flag_builder.enable("enable_verifier").unwrap();
+    }
+
     let isa = isa_builder.finish(settings::Flags::new(&flag_builder));
     for filename in &args.arg_file {
         let path = Path::new(&filename);