Fix relaxed trunc signed (#127)

Fixes #126.
WebAssembly · Feb 22, 2023 · f443590 · f443590
1 parent d847308
commit f443590
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/proposals/relaxed-simd/Overview.md b/proposals/relaxed-simd/Overview.md
@@ -114,12 +114,12 @@ def relaxed_i32x4_trunc_f32x4_s(a : f32x4) -> i32x4:
     result = [0, 0, 0, 0]
     for i in range(4):
       if isnan(a[i]):
-        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(0, INT32_MAX)
+        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(0, INT32_MIN)
       r = truncate(a[i])
       if r < INT32_MIN:
-        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(INT32_MIN, INT32_MAX)
+        result[i] = INT32_MIN
       elif r > INT32_MAX
-        result[i] = INT32_MAX
+        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(INT32_MIN, INT32_MAX)
       else:
         result[i] = r
 
@@ -140,12 +140,12 @@ def relaxed_i32x4_trunc_f64x2_zero_s(a : f64x2) -> i32x4:
     result = [0, 0, 0, 0]
     for i in range(2):
       if isnan(a[i]):
-        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(0, INT32_MAX)
+        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(0, INT32_MIN)
       r = truncate(a[i])
       if r < INT32_MIN:
-        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(INT32_MIN, INT32_MAX)
+        result[i] = INT32_MIN
       elif r > INT32_MAX
-        result[i] = INT32_MAX
+        result[i] = IMPLEMENTATION_DEFINED_ONE_OF(INT32_MIN, INT32_MAX)
       else:
         result[i] = r