Alternative output for i32x4_relaxed_trunc.wast tests

Additional variants for i32x4.relaxed_trunc_f32x4_u and i32x4.relaxed_trunc_f64x2_u_zero
based on algorithms implemented by SpiderMonkey and v8.

Author: yurydelendik

test/core/relaxed-simd/i32x4_relaxed_trunc.wast

@@ -50,13 +50,19 @@
                        (v128.const f32x4 0 -1.0 4294967040.0 4294967296.0))
                ;; out of range -> saturate or UINT32_MAX
                (either (v128.const i32x4 0 0 4294967040 0xffffffff)
-                       (v128.const i32x4 0 0xffffffff 4294967040 0xffffffff)))
+                       (v128.const i32x4 0 0xffffffff 4294967040 0xffffffff)
+                       ;; output generated by the algorithm in V8 and SpiderMonkey
+                       (v128.const i32x4 0 0xffffffff 4294967040 0)))
 
 (assert_return (invoke "i32x4.relaxed_trunc_f32x4_u"
                        (v128.const f32x4 nan -nan nan:0x444444 -nan:0x444444))
                ;; nans -> 0 or UINT32_MAX
                (either (v128.const i32x4 0 0 0 0)
-                       (v128.const i32x4 0xffffffff 0xffffffff 0xffffffff 0xffffffff)))
+                       (v128.const i32x4 0xffffffff 0xffffffff 0xffffffff 0xffffffff)
+                       ;; output generated by the algorithm in V8
+                       (v128.const i32x4 0xc0000000 0xc0000000 0xc4444400 0xc4444400)
+                       ;; output generated by the algorithm in SpiderMonkey
+                       (v128.const i32x4 0x80000000 0x80000000 0x80000000 0x80000000)))
 
 (assert_return (invoke "i32x4.relaxed_trunc_f64x2_s_zero"
                        (v128.const f64x2 -2147483904.0 2147483904.0))
@@ -73,7 +79,9 @@
                        (v128.const f64x2 -1.0 4294967296.0))
                ;; out of range -> saturate or UINT32_MAX
                (either (v128.const i32x4 0 0xffffffff 0 0)
-                       (v128.const i32x4 0xffffffff 0xffffffff 0 0)))
+                       (v128.const i32x4 0xffffffff 0xffffffff 0 0)
+                       ;; output generated by the algorithm in V8 and SpiderMonkey
+                       (v128.const i32x4 0xfffffffe 0 0 0)))
 
 (assert_return (invoke "i32x4.relaxed_trunc_f64x2_u_zero"
                        (v128.const f64x2 nan -nan))