Use do_run_from_file() for test_i32_mul_semiprecise

2 files changed, 38 insertions, 0 deletions

diff --git a/tests/core/test_i32_mul_semiprecise.in b/tests/core/test_i32_mul_semiprecise.in
new file mode 100644
index 00000000..c7b4cb96
--- /dev/null
+++ b/tests/core/test_i32_mul_semiprecise.in
@@ -0,0 +1,28 @@
+
+      #include <stdio.h>
+
+      typedef unsigned int uint;
+
+      // from cube2, zlib licensed
+
+      #define N (624)
+      #define M (397)
+      #define K (0x9908B0DFU)
+
+      static uint state[N];
+      static int next = N;
+
+      void seedMT(uint seed)
+      {
+          state[0] = seed;
+          for(uint i = 1; i < N; i++) // if we do not do this precisely, at least we should coerce to int immediately, not wait
+              state[i] = seed = 1812433253U * (seed ^ (seed >> 30)) + i;
+          next = 0;
+      }
+
+      int main() {
+        seedMT(5497);
+        for (int i = 0; i < 10; i++) printf("%d: %u\n", i, state[i]);
+        return 0;
+      }
+    
\ No newline at end of file
diff --git a/tests/core/test_i32_mul_semiprecise.out b/tests/core/test_i32_mul_semiprecise.out
new file mode 100644
index 00000000..261bf9a9
--- /dev/null
+++ b/tests/core/test_i32_mul_semiprecise.out
@@ -0,0 +1,10 @@
+0: 5497
+1: 2916432318
+2: 2502517762
+3: 3151524867
+4: 2323729668
+5: 2053478917
+6: 2409490438
+7: 848473607
+8: 691103752
+9: 3915535113