Add more extend testcases and convert the wrap testcases to hex constants.

Author: sunfishcode

ml-proto/test/conversions.wasm

@@ -66,23 +66,29 @@
 (assert_eq (invoke "i64.extend_s_i32" (i32.const 0)) (i64.const 0))
 (assert_eq (invoke "i64.extend_s_i32" (i32.const 10000)) (i64.const 10000))
 (assert_eq (invoke "i64.extend_s_i32" (i32.const -10000)) (i64.const -10000))
+(assert_eq (invoke "i64.extend_s_i32" (i32.const -1)) (i64.const -1))
+(assert_eq (invoke "i64.extend_s_i32" (i32.const 0x7fffffff)) (i64.const 0x000000007fffffff))
+(assert_eq (invoke "i64.extend_s_i32" (i32.const 0x80000000)) (i64.const 0xffffffff80000000))
 
 (assert_eq (invoke "i64.extend_u_i32" (i32.const 0)) (i64.const 0))
 (assert_eq (invoke "i64.extend_u_i32" (i32.const 10000)) (i64.const 10000))
 (assert_eq (invoke "i64.extend_u_i32" (i32.const -10000)) (i64.const 0x00000000ffffd8f0))
+(assert_eq (invoke "i64.extend_u_i32" (i32.const -1)) (i64.const 0xffffffff))
+(assert_eq (invoke "i64.extend_u_i32" (i32.const 0x7fffffff)) (i64.const 0x000000007fffffff))
+(assert_eq (invoke "i64.extend_u_i32" (i32.const 0x80000000)) (i64.const 0x0000000080000000))
 
 (assert_eq (invoke "i32.wrap_i64" (i64.const -1)) (i32.const -1))
 (assert_eq (invoke "i32.wrap_i64" (i64.const -100000)) (i32.const -100000))
-(assert_eq (invoke "i32.wrap_i64" (i64.const -2147483648)) (i32.const 0x80000000))
-(assert_eq (invoke "i32.wrap_i64" (i64.const -2147483649)) (i32.const 0x7fffffff))
-(assert_eq (invoke "i32.wrap_i64" (i64.const -4294967296)) (i32.const 0x00000000))
-(assert_eq (invoke "i32.wrap_i64" (i64.const -4294967297)) (i32.const 0xffffffff))
-(assert_eq (invoke "i32.wrap_i64" (i64.const -4294967295)) (i32.const 0x00000001))
+(assert_eq (invoke "i32.wrap_i64" (i64.const 0x80000000)) (i32.const 0x80000000))
+(assert_eq (invoke "i32.wrap_i64" (i64.const 0xffffffff7fffffff)) (i32.const 0x7fffffff))
+(assert_eq (invoke "i32.wrap_i64" (i64.const 0xffffffff00000000)) (i32.const 0x00000000))
+(assert_eq (invoke "i32.wrap_i64" (i64.const 0xfffffffeffffffff)) (i32.const 0xffffffff))
+(assert_eq (invoke "i32.wrap_i64" (i64.const 0xffffffff00000001)) (i32.const 0x00000001))
 (assert_eq (invoke "i32.wrap_i64" (i64.const 0)) (i32.const 0))
 (assert_eq (invoke "i32.wrap_i64" (i64.const 1311768467463790320)) (i32.const 0x9abcdef0))
-(assert_eq (invoke "i32.wrap_i64" (i64.const 4294967295)) (i32.const 0xffffffff))
-(assert_eq (invoke "i32.wrap_i64" (i64.const 4294967296)) (i32.const 0x00000000))
-(assert_eq (invoke "i32.wrap_i64" (i64.const 4294967297)) (i32.const 0x00000001))
+(assert_eq (invoke "i32.wrap_i64" (i64.const 0x00000000ffffffff)) (i32.const 0xffffffff))
+(assert_eq (invoke "i32.wrap_i64" (i64.const 0x0000000100000000)) (i32.const 0x00000000))
+(assert_eq (invoke "i32.wrap_i64" (i64.const 0x0000000100000001)) (i32.const 0x00000001))
 
 (assert_eq (invoke "i32.trunc_s_f32" (f32.const 1.0)) (i32.const 1))
 (assert_eq (invoke "i32.trunc_s_f32" (f32.const 1.1)) (i32.const 1))