float trunc symbolic tests

OCamlPro · Feb 13, 2024 · 2ef083c · 2ef083c
1 parent 0d51186
commit 2ef083c
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 10 deletions.
diff --git a/src/symbolic_value.ml b/src/symbolic_value.ml
@@ -412,7 +412,7 @@ module S = struct
 
     let floor x = unop ty Floor x
 
-    let trunc _ = assert false
+    let trunc x = unop ty Trunc x
 
     let nearest x = unop ty Nearest x
 
@@ -484,7 +484,7 @@ module S = struct
 
     let floor x = unop ty Floor x
 
-    let trunc _x = assert false
+    let trunc x = unop ty Trunc x
 
     let nearest x = unop ty Nearest x
 

diff --git a/test/sym/unop_f32.wat b/test/sym/unop_f32.wat
@@ -30,10 +30,8 @@
     (f32.le (f32.neg (local.get $f32)) (f32.const 42))
     (if (then unreachable))
 
-    ;; owi: internal error, uncaught exception:
-    ;;  File "src/symbolic_value.ml", line 420, characters 18-24: Assertion failed
-    ;; (f32.eq (f32.trunc (local.get $f32)) (f32.const 123))
-    ;; (if (then unreachable))
+    (f32.eq (f32.trunc (local.get $f32)) (f32.const 123))
+    (if (then unreachable))
 
     ;; very long computation
     ;; (f32.eq (f32.sqrt (local.get $f32)) (f32.const 0))

diff --git a/test/sym/unop_f64.wat b/test/sym/unop_f64.wat
@@ -30,10 +30,8 @@
     (f64.le (f64.neg (local.get $f64)) (f64.const 42))
     (if (then unreachable))
 
-    ;; owi: internal error, uncaught exception:
-    ;;  File "src/symbolic_value.ml", line 420, characters 18-24: Assertion failed
-    ;; (f64.eq (f64.trunc (local.get $f64)) (f64.const 123))
-    ;; (if (then unreachable))
+    (f64.eq (f64.trunc (local.get $f64)) (f64.const 123))
+    (if (then unreachable))
 
     ;; very long computation
     ;; (f64.eq (f64.sqrt (local.get $f64)) (f64.const 0))