standalone: Add math tests for non-number arguments

Matches behavior for infinities and NaNs.

Cargo.lock

@@ -673,6 +673,7 @@ dependencies = [
  "inkwell",
  "insta",
  "itertools 0.11.0",
+ "lazy_static",
  "nac3parser",
  "parking_lot",
  "rayon",

nac3artiq/src/lib.rs

@@ -9,7 +9,6 @@ use inkwell::{
     memory_buffer::MemoryBuffer,
     module::{Linkage, Module},
     passes::PassBuilderOptions,
-    support::is_multithreaded,
     targets::*,
     OptimizationLevel,
 };
@@ -583,8 +582,7 @@ impl Nac3 {
             membuffer.lock().push(buffer);
         })));
         let size_t = if self.isa == Isa::Host { 64 } else { 32 };
-        let num_threads = if is_multithreaded() { 4 } else { 1 };
-        let thread_names: Vec<String> = (0..num_threads).map(|_| "main".to_string()).collect();
+        let thread_names: Vec<String> = (0..4).map(|_| "main".to_string()).collect();
         let threads: Vec<_> = thread_names
             .iter()
             .map(|s| Box::new(ArtiqCodeGenerator::new(s.to_string(), size_t, self.time_fns)))

nac3core/Cargo.toml

@@ -10,6 +10,7 @@ crossbeam = "0.8"
 parking_lot = "0.12"
 rayon = "1.5"
 nac3parser = { path = "../nac3parser" }
+lazy_static = "1.4"
 
 [dependencies.inkwell]
 version = "0.2"

nac3standalone/demo/run_demo.sh

@@ -31,8 +31,9 @@ else
     nac3standalone=../../target/x86_64-unknown-linux-gnu/release/nac3standalone
 fi
 
-rm -f ./*.o ./*.bc demo
 if [ -z "$use_lli" ]; then
+  rm -f "*.o" demo
+
   $nac3standalone "${nac3args[@]}"
 
   clang -c -std=gnu11 -Wall -Wextra -O3 -o demo.o demo.c
@@ -44,17 +45,15 @@ if [ -z "$use_lli" ]; then
     ./demo > "$outfile"
   fi
 else
+  rm -f "*.o" "*.bc" demo
+
   $nac3standalone --emit-llvm "${nac3args[@]}"
 
   clang -c -std=gnu11 -Wall -Wextra -O3 -emit-llvm -o demo.bc demo.c
 
-  shopt -s nullglob
-  llvm-link -o nac3out.bc module*.bc main.bc
-  shopt -u nullglob
-
   if [ -z "$outfile" ]; then
-    lli --extra-module demo.bc --extra-module irrt.bc nac3out.bc
+    lli --extra-module demo.bc --extra-module irrt.bc main.bc
   else
-    lli --extra-module demo.bc --extra-module irrt.bc nac3out.bc > "$outfile"
+    lli --extra-module demo.bc --extra-module irrt.bc main.bc > "$outfile"
   fi
 fi

nac3standalone/src/main.rs

@@ -2,7 +2,6 @@ use clap::Parser;
 use inkwell::{
     memory_buffer::MemoryBuffer,
     passes::PassBuilderOptions,
-    support::is_multithreaded,
     targets::*,
     OptimizationLevel,
 };
@@ -39,9 +38,8 @@ struct CommandLineArgs {
     /// The name of the input file.
     file_name: String,
 
-    /// The number of threads allocated to processing the source file. If 0 is passed to this
-    /// parameter, all available threads will be used for compilation.
-    #[arg(short = 'T', default_value_t = 1)]
+    /// The number of threads allocated to processing the source file.
+    #[arg(default_value_t = 1)]
     threads: u32,
 
     /// The level to optimize the LLVM IR.
@@ -49,8 +47,6 @@ struct CommandLineArgs {
     opt_level: u32,
 
     /// Whether to emit LLVM IR at the end of every module.
-    ///
-    /// If multithreaded compilation is also enabled, each thread will emit its own module.
     #[arg(long, default_value_t = false)]
     emit_llvm: bool,
 
@@ -211,20 +207,6 @@ fn main() {
         .map(|arg| if arg == "native" { host_target_machine.cpu.clone() } else { arg })
         .unwrap_or_default();
     let target_features = target_features.unwrap_or_default();
-    let threads = if is_multithreaded() {
-        if threads == 0 {
-            std::thread::available_parallelism()
-                .map(|threads| threads.get() as u32)
-                .unwrap_or(1u32)
-        } else {
-            threads
-        }
-    } else {
-        if threads != 1 {
-            println!("Warning: Number of threads specified in command-line but multithreading is disabled in LLVM at build time! Defaulting to single-threaded compilation")
-        }
-        1
-    };
     let opt_level = match opt_level {
         0 => OptimizationLevel::None,
         1 => OptimizationLevel::Less,

nix/llvm/default.nix

@@ -112,7 +112,7 @@ in stdenv.mkDerivation (rec {
     "-DLLVM_HOST_TRIPLE=${stdenv.hostPlatform.config}"
     "-DLLVM_DEFAULT_TARGET_TRIPLE=${stdenv.hostPlatform.config}"
     "-DLLVM_ENABLE_UNWIND_TABLES=OFF"
-    "-DLLVM_ENABLE_THREADS=ON"
+    "-DLLVM_ENABLE_THREADS=OFF"
     "-DLLVM_INCLUDE_BENCHMARKS=OFF"
     "-DLLVM_BUILD_TOOLS=OFF"
     "-DLLVM_TARGETS_TO_BUILD=X86;ARM;RISCV"

nix/windows/default.nix

@@ -65,7 +65,7 @@ in rec {
       ${silenceFontconfig}
       mkdir build
       cd build
-      wine64 cmake .. -DCMAKE_BUILD_TYPE=Release -DLLVM_ENABLE_UNWIND_TABLES=OFF -DLLVM_ENABLE_THREADS=ON -DLLVM_TARGETS_TO_BUILD=X86\;ARM\;RISCV -DLLVM_LINK_LLVM_DYLIB=OFF -DLLVM_ENABLE_FFI=OFF -DFFI_INCLUDE_DIR=fck-cmake -DFFI_LIBRARY_DIR=fck-cmake -DLLVM_ENABLE_LIBXML2=OFF -DLLVM_INCLUDE_BENCHMARKS=OFF -DLLVM_ENABLE_PROJECTS=clang -DCMAKE_INSTALL_PREFIX=Z:$out
+      wine64 cmake .. -DCMAKE_BUILD_TYPE=Release -DLLVM_ENABLE_UNWIND_TABLES=OFF -DLLVM_ENABLE_THREADS=OFF -DLLVM_TARGETS_TO_BUILD=X86\;ARM\;RISCV -DLLVM_LINK_LLVM_DYLIB=OFF -DLLVM_ENABLE_FFI=OFF -DFFI_INCLUDE_DIR=fck-cmake -DFFI_LIBRARY_DIR=fck-cmake -DLLVM_ENABLE_LIBXML2=OFF -DLLVM_INCLUDE_BENCHMARKS=OFF -DLLVM_ENABLE_PROJECTS=clang -DCMAKE_INSTALL_PREFIX=Z:$out
       '';
     buildPhase =
       ''