Incorporate the remaining tests from unsigned.wasm into conversions.wasm.

Author: sunfishcode

ml-proto/test/conversions.wasm

@@ -163,8 +163,12 @@
 (assert_eq (invoke "i32.trunc_u_f64" (f64.const 2147483648)) (i32.const -2147483648)) ;; 0x1.00000p+31 -> 8000 0000
 (assert_eq (invoke "i32.trunc_u_f64" (f64.const 4294967295.0)) (i32.const -1))
 (assert_eq (invoke "i32.trunc_u_f64" (f64.const -0.9)) (i32.const 0))
+(assert_eq (invoke "i32.trunc_u_f64" (f64.const 1e8)) (i32.const 100000000))
 (assert_trap (invoke "i32.trunc_u_f64" (f64.const 4294967296.0)) "runtime: integer overflow")
 (assert_trap (invoke "i32.trunc_u_f64" (f64.const -1.0)) "runtime: integer overflow")
+(assert_trap (invoke "i32.trunc_u_f64" (f64.const 1e16)) "runtime: integer overflow")
+(assert_trap (invoke "i32.trunc_u_f64" (f64.const 1e30)) "runtime: integer overflow")
+(assert_trap (invoke "i32.trunc_u_f64" (f64.const 9223372036854775808)) "runtime: integer overflow")
 
 (assert_eq (invoke "i64.trunc_s_f32" (f32.const 0.0)) (i64.const 0))
 (assert_eq (invoke "i64.trunc_s_f32" (f32.const -0.0)) (i64.const 0))
@@ -224,9 +228,13 @@
 (assert_eq (invoke "i64.trunc_u_f64" (f64.const 1.0)) (i64.const 1))
 (assert_eq (invoke "i64.trunc_u_f64" (f64.const 1.1)) (i64.const 1))
 (assert_eq (invoke "i64.trunc_u_f64" (f64.const 1.5)) (i64.const 1))
-(assert_eq (invoke "i64.trunc_u_f64" (f64.const 4294967296)) (i64.const 4294967296))
+(assert_eq (invoke "i64.trunc_u_f64" (f64.const 4294967295)) (i64.const 0xffffffff))
+(assert_eq (invoke "i64.trunc_u_f64" (f64.const 4294967296)) (i64.const 0x100000000))
 (assert_eq (invoke "i64.trunc_u_f64" (f64.const 18446744073709549568.0)) (i64.const -2048))
 (assert_eq (invoke "i64.trunc_u_f64" (f64.const -0.9)) (i64.const 0))
+(assert_eq (invoke "i64.trunc_u_f64" (f64.const 1e8)) (i64.const 100000000))
+(assert_eq (invoke "i64.trunc_u_f64" (f64.const 1e16)) (i64.const 10000000000000000))
+(assert_eq (invoke "i64.trunc_u_f64" (f64.const 9223372036854775808)) (i64.const -9223372036854775808))
 (assert_trap (invoke "i64.trunc_u_f64" (f64.const 18446744073709551616.0)) "runtime: integer overflow")
 (assert_trap (invoke "i64.trunc_u_f64" (f64.const -1.0)) "runtime: integer overflow")