blob: ab7c498784283f4962bae59c2651445a15690052 [file] [log] [blame] [edit]
(module
(func $dummy)
(func (export "i32.popcnt") (param $0 i32) (result i32)
(i32.popcnt (local.get $0)))
(func (export "check_popcnt_i64") (param $0 i64) (param $r i64) (result i32)
(i64.eq (i64.popcnt (local.get $0)) (local.get $r)))
(func (export "check_extend_ui32") (param $0 i32) (param $r i64) (result i32)
(i64.eq (i64.extend_i32_u (local.get $0)) (local.get $r)))
(func (export "check_extend_si32") (param $0 i32) (param $r i64) (result i32)
(i64.eq (i64.extend_i32_s (local.get $0)) (local.get $r)))
(func (export "check_eqz_i64") (param $0 i64) (result i32)
(i64.eqz (local.get $0)))
(func (export "i32.clz") (param $0 i32) (result i32)
(i32.clz (local.get $0)))
(func (export "i32.ctz") (param $0 i32) (result i32)
(i32.ctz (local.get $0)))
(func (export "check_clz_i64") (param $0 i64) (param $r i64) (result i32)
(i64.eq (i64.clz (local.get $0)) (local.get $r)))
(func (export "check_ctz_i64") (param $0 i64) (param $r i64) (result i32)
(i64.eq (i64.ctz (local.get $0)) (local.get $r)))
)
(assert_return (invoke "i32.popcnt" (i32.const 0)) (i32.const 0))
(assert_return (invoke "i32.popcnt" (i32.const 1)) (i32.const 1))
(assert_return (invoke "i32.popcnt" (i32.const 0x7fffffff)) (i32.const 31))
(assert_return (invoke "i32.popcnt" (i32.const 0xffffffff)) (i32.const 32))
(assert_return (invoke "check_popcnt_i64" (i32.const 0) (i32.const 0)
(i32.const 0) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_popcnt_i64" (i32.const 1) (i32.const 0)
(i32.const 1) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_popcnt_i64" (i32.const 0) (i32.const 1)
(i32.const 1) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_popcnt_i64" (i32.const 0x7fffffff) (i32.const 0)
(i32.const 31) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_popcnt_i64" (i32.const 0x7fffffff) (i32.const 1)
(i32.const 32) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_popcnt_i64" (i32.const 0x7fffffff) (i32.const 0x7fffffff)
(i32.const 62) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_popcnt_i64" (i32.const 0xffffffff) (i32.const 0xffffffff)
(i32.const 64) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_extend_ui32" (i32.const 0)
(i32.const 0) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_extend_ui32" (i32.const 1)
(i32.const 1) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_extend_ui32" (i32.const 0x7fffffff)
(i32.const 0x7fffffff) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_extend_ui32" (i32.const 0xffffffff)
(i32.const 0xffffffff) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_extend_si32" (i32.const 0)
(i32.const 0) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_extend_si32" (i32.const 1)
(i32.const 1) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_extend_si32" (i32.const 0x7fffffff)
(i32.const 0x7fffffff) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_extend_si32" (i32.const 0x80000000)
(i32.const 0x80000000) (i32.const 0xffffffff))
(i32.const 1))
(assert_return (invoke "check_extend_si32" (i32.const 0xffffffff)
(i32.const 0xffffffff) (i32.const 0xffffffff))
(i32.const 1))
(assert_return (invoke "check_eqz_i64" (i32.const 0) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_eqz_i64" (i32.const 1) (i32.const 0))
(i32.const 0))
(assert_return (invoke "check_eqz_i64" (i32.const 0) (i32.const 1))
(i32.const 0))
(assert_return (invoke "i32.clz" (i32.const 0)) (i32.const 32))
(assert_return (invoke "i32.clz" (i32.const 1)) (i32.const 31))
(assert_return (invoke "i32.clz" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "i32.clz" (i32.const 0xffffffff)) (i32.const 0))
(assert_return (invoke "i32.ctz" (i32.const 0)) (i32.const 32))
(assert_return (invoke "i32.ctz" (i32.const 1)) (i32.const 0))
(assert_return (invoke "i32.ctz" (i32.const 0xfffffffe)) (i32.const 1))
(assert_return (invoke "i32.ctz" (i32.const 0x80000000)) (i32.const 31))
(assert_return (invoke "check_clz_i64"
(i32.const 0) (i32.const 0)
(i32.const 64) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_clz_i64"
(i32.const 1) (i32.const 0)
(i32.const 63) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_clz_i64"
(i32.const 0x80000000) (i32.const 0)
(i32.const 32) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_clz_i64"
(i32.const 0) (i32.const 1)
(i32.const 31) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_clz_i64"
(i32.const 0) (i32.const 0x80000000)
(i32.const 0) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_ctz_i64"
(i32.const 0) (i32.const 0)
(i32.const 64) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_ctz_i64"
(i32.const 0) (i32.const 0x80000000)
(i32.const 63) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_ctz_i64"
(i32.const 0) (i32.const 1)
(i32.const 32) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_ctz_i64"
(i32.const 0x80000000) (i32.const 0)
(i32.const 31) (i32.const 0))
(i32.const 1))
(assert_return (invoke "check_ctz_i64"
(i32.const 1) (i32.const 0)
(i32.const 0) (i32.const 0))
(i32.const 1))