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

nac3core/src/codegen/mod.rs

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

nac3standalone/src/main.rs

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