meta: Allow specifying compiler arguments for check_demos

We can try to optimize for the host and Cortex-A9 chips; The RISC-V
ISAs do not target specific chips, so we will fallback to using the
generic CPU.

nac3artiq/src/lib.rs

@@ -662,7 +662,8 @@ impl Nac3 {
         pass_options.set_merge_functions(true);
         let result = main.run_passes("default<O3>", &target_machine, pass_options);
         if let Err(err) = result {
-            panic!("Failed to run optimization for module `main`\n{}", err.to_string());
+            println!("Failed to run optimization for module `main`\n{}", err.to_string());
+            panic!();
         }
 
         link_fn(&main)

nac3core/src/codegen/mod.rs

@@ -334,9 +334,10 @@ impl WorkerRegistry {
 
         let result = module.run_passes(passes.as_str(), &target_machine, pass_options);
         if let Err(err) = result {
-            panic!("Failed to run optimization for module `{}`\n{}",
-                   module.get_name().to_str().unwrap(),
-                   err.to_string());
+            println!("Failed to run optimization for module `{}`\n{}",
+                     module.get_name().to_str().unwrap(),
+                     err.to_string());
+            panic!();
         }
 
         if self.llvm_options.emit_llvm {

nac3standalone/src/main.rs

@@ -365,7 +365,8 @@ fn main() {
     pass_options.set_merge_functions(true);
     let result = main.run_passes("default<O3>", &target_machine, pass_options);
     if let Err(err) = result {
-        panic!("Failed to run optimization for module `main`\n{}", err.to_string());
+        println!("Failed to run optimization for module `main`\n{}", err.to_string());
+        panic!();
     }
 
     target_machine