function testConversion0(resultType, opcode, paramType, op, expect) {if (resultType === 'i64' ) {0 ))const ${op}`);// The same, but now the input is a constant. const ${op}))else if (paramType === 'i64' ) {0 ))"run" ) (result ${resultType})const ${op}else {0 )))"run" (func 0 ))for (var bad of ['i32' , 'f32' , 'f64' , 'i64' ]) {if (bad !== resultType) {0 ))))`,if (bad !== paramType) {0 ))))`,function testConversion(resultType, opcode, paramType, op, expect) {function testSignExtension(resultType, opcode, paramType, op, expect) {function testTrap(resultType, opcode, paramType, op) {0 ))0 0 "" (func 1 ))"" ];'nan' ? /invalid conversion to integer/ : /integer overflow/;var p = Math.pow;'i32' , 'wrap_i64' , 'i64' , '0x100000028' , 40 );'i32' , 'wrap_i64' , 'i64' , -10 , -10 );'i32' , 'wrap_i64' , 'i64' , "0xffffffff7fffffff" , 0 x7fffffff);'i32' , 'wrap_i64' , 'i64' , "0xffffffff00000000" , 0 );'i32' , 'wrap_i64' , 'i64' , "0xfffffffeffffffff" , -1 );'i32' , 'wrap_i64' , 'i64' , "0x1234567801abcdef" , 0 x01abcdef);'i32' , 'wrap_i64' , 'i64' , "0x8000000000000002" , 2 );'i64' , 'extend_i32_s' , 'i32' , 0 , 0 );'i64' , 'extend_i32_s' , 'i32' , 1234 , 1234 );'i64' , 'extend_i32_s' , 'i32' , -567 , -567 );'i64' , 'extend_i32_s' , 'i32' , 0 x7fffffff, "0x000000007fffffff" );'i64' , 'extend_i32_s' , 'i32' , 0 x80000000, "0xffffffff80000000" );'i64' , 'extend_i32_u' , 'i32' , 0 , 0 );'i64' , 'extend_i32_u' , 'i32' , 1234 , 1234 );'i64' , 'extend_i32_u' , 'i32' , -567 , "0x00000000fffffdc9" );'i64' , 'extend_i32_u' , 'i32' , -1 , "0x00000000ffffffff" );'i64' , 'extend_i32_u' , 'i32' , 0 x7fffffff, "0x000000007fffffff" );'i64' , 'extend_i32_u' , 'i32' , 0 x80000000, "0x0000000080000000" );'f32' , 'convert_i64_s' , 'i64' , 1 , 1 .0 );'f32' , 'convert_i64_s' , 'i64' , -1 , -1 .0 );'f32' , 'convert_i64_s' , 'i64' , 0 , 0 .0 );'f32' , 'convert_i64_s' , 'i64' , "0x7fffffffffffffff" , 9223372036854775807 .0 );'f32' , 'convert_i64_s' , 'i64' , "0x8000000000000000" , -9223372036854775808 .0 );'f32' , 'convert_i64_s' , 'i64' , "0x11db9e76a2483" , 314159275180032 .0 );'f32' , 'convert_i64_s' , 'i64' , "0x7fffffff" , 2147483648 .0 ); // closest approx. 'f32' , 'convert_i64_s' , 'i64' , "0x80000000" , 2147483648 .0 );'f32' , 'convert_i64_s' , 'i64' , "0x80000001" , 2147483648 .0 ); // closest approx. // Interesting values at the boundaries. 'f32' , 'convert_i64_s' , 'i64' , "0x358a09a000000002" , 3857906751034621952 );'f32' , 'convert_i64_s' , 'i64' , "0x8000004000000001" , -9223371487098961920 );'f32' , 'convert_i64_s' , 'i64' , "0xffdfffffdfffffff" , -9007200328482816 );'f32' , 'convert_i64_s' , 'i64' , "0x0020000020000001" , 9007200328482816 );'f32' , 'convert_i64_s' , 'i64' , "0x7fffff4000000001" , 9223371487098961920 );'f64' , 'convert_i64_s' , 'i64' , 1 , 1 .0 );'f64' , 'convert_i64_s' , 'i64' , -1 , -1 .0 );'f64' , 'convert_i64_s' , 'i64' , 0 , 0 .0 );'f64' , 'convert_i64_s' , 'i64' , "0x7fffffffffffffff" , 9223372036854775807 .0 );'f64' , 'convert_i64_s' , 'i64' , "0x8000000000000000" , -9223372036854775808 .0 );'f64' , 'convert_i64_s' , 'i64' , "0x10969d374b968e" , 4669201609102990 );'f64' , 'convert_i64_s' , 'i64' , "0x7fffffff" , 2147483647 .0 );'f64' , 'convert_i64_s' , 'i64' , "0x80000000" , 2147483648 .0 );'f64' , 'convert_i64_s' , 'i64' , "0x80000001" , 2147483649 .0 );'f32' , 'convert_i64_u' , 'i64' , 1 , 1 .0 );'f32' , 'convert_i64_u' , 'i64' , 0 , 0 .0 );'f32' , 'convert_i64_u' , 'i64' , "0x7fffffffffffffff" , 9223372036854775807 .0 );'f32' , 'convert_i64_u' , 'i64' , "0x8000000000000000" , 9223372036854775808 .0 );'f32' , 'convert_i64_u' , 'i64' , -1 , 18446744073709551616 .0 );'f32' , 'convert_i64_u' , 'i64' , "0xffff0000ffff0000" , 18446462598732840000 .0 );// Interesting values at the boundaries. 'f32' , 'convert_i64_u' , 'i64' , "0x100404900000008" , 72128280609685500 );'f32' , 'convert_i64_u' , 'i64' , "0x7fffff4000000001" , 9223371487098962000 );'f32' , 'convert_i64_u' , 'i64' , "0x0020000020000001" , 9007200328482816 );'f32' , 'convert_i64_u' , 'i64' , "0x7fffffbfffffffff" , 9223371487098961920 );'f32' , 'convert_i64_u' , 'i64' , "0x8000008000000001" , 9223373136366403584 );'f32' , 'convert_i64_u' , 'i64' , "0xfffffe8000000001" , 18446742974197923840 );'f64' , 'convert_i64_u' , 'i64' , 1 , 1 .0 );'f64' , 'convert_i64_u' , 'i64' , 0 , 0 .0 );'f64' , 'convert_i64_u' , 'i64' , "0x7fffffffffffffff" , 9223372036854775807 .0 );'f64' , 'convert_i64_u' , 'i64' , "0x8000000000000000" , 9223372036854775808 .0 );'f64' , 'convert_i64_u' , 'i64' , -1 , 18446744073709551616 .0 );'f64' , 'convert_i64_u' , 'i64' , "0xffff0000ffff0000" , 18446462603027743000 .0 );'f64' , 'convert_i64_u' , 'i64' , "0xbf869c3369c26401" , 13800889852755077000 );'f64' , 'convert_i64_u' , 'i64' , "0x7fffff4000000001" , 9223371212221054976 );'f64' , 'convert_i64_u' , 'i64' , "0x8000008000000001" , 9223372586610589696 );'f64' , 'convert_i64_u' , 'i64' , "0xfffffe8000000001" , 18446742424442109952 );'i64' , 'trunc_f64_s' , 'f64' , 0 .0 , 0 );'i64' , 'trunc_f64_s' , 'f64' , "-0.0" , 0 );'i64' , 'trunc_f64_s' , 'f64' , 1 .0 , 1 );'i64' , 'trunc_f64_s' , 'f64' , 1 .1 , 1 );'i64' , 'trunc_f64_s' , 'f64' , 1 .5 , 1 );'i64' , 'trunc_f64_s' , 'f64' , 1 .99 , 1 );'i64' , 'trunc_f64_s' , 'f64' , 40 .1 , 40 );'i64' , 'trunc_f64_s' , 'f64' , -1 .0 , -1 );'i64' , 'trunc_f64_s' , 'f64' , -1 .1 , -1 );'i64' , 'trunc_f64_s' , 'f64' , -1 .5 , -1 );'i64' , 'trunc_f64_s' , 'f64' , -1 .99 , -1 );'i64' , 'trunc_f64_s' , 'f64' , -2 .0 , -2 );'i64' , 'trunc_f64_s' , 'f64' , 4294967296 .1 , "0x100000000" );'i64' , 'trunc_f64_s' , 'f64' , -4294967296 .8 , "0xffffffff00000000" );'i64' , 'trunc_f64_s' , 'f64' , 9223372036854774784 .8 , "0x7ffffffffffffc00" );'i64' , 'trunc_f64_s' , 'f64' , -9223372036854775808 .3 , "0x8000000000000000" );'i64' , 'trunc_f64_u' , 'f64' , 0 .0 , 0 );'i64' , 'trunc_f64_u' , 'f64' , "-0.0" , 0 );'i64' , 'trunc_f64_u' , 'f64' , 1 .0 , 1 );'i64' , 'trunc_f64_u' , 'f64' , 1 .1 , 1 );'i64' , 'trunc_f64_u' , 'f64' , 1 .5 , 1 );'i64' , 'trunc_f64_u' , 'f64' , 1 .99 , 1 );'i64' , 'trunc_f64_u' , 'f64' , -0 .9 , 0 );'i64' , 'trunc_f64_u' , 'f64' , 40 .1 , 40 );'i64' , 'trunc_f64_u' , 'f64' , 4294967295 , "0xffffffff" );'i64' , 'trunc_f64_u' , 'f64' , 4294967296 .1 , "0x100000000" );'i64' , 'trunc_f64_u' , 'f64' , 1 e8, "0x5f5e100" );'i64' , 'trunc_f64_u' , 'f64' , 1 e16, "0x2386f26fc10000" );'i64' , 'trunc_f64_u' , 'f64' , 9223372036854775808 , "0x8000000000000000" );'i64' , 'trunc_f64_u' , 'f64' , 18446744073709549568 .1 , -2048 );'i64' , 'trunc_f32_s' , 'f32' , 0 .0 , 0 );'i64' , 'trunc_f32_s' , 'f32' , "-0.0" , 0 );'i64' , 'trunc_f32_s' , 'f32' , 1 .0 , 1 );'i64' , 'trunc_f32_s' , 'f32' , 1 .1 , 1 );'i64' , 'trunc_f32_s' , 'f32' , 1 .5 , 1 );'i64' , 'trunc_f32_s' , 'f32' , 1 .99 , 1 );'i64' , 'trunc_f32_s' , 'f32' , 40 .1 , 40 );'i64' , 'trunc_f32_s' , 'f32' , -1 .0 , -1 );'i64' , 'trunc_f32_s' , 'f32' , -1 .1 , -1 );'i64' , 'trunc_f32_s' , 'f32' , -1 .5 , -1 );'i64' , 'trunc_f32_s' , 'f32' , -1 .99 , -1 );'i64' , 'trunc_f32_s' , 'f32' , -2 .0 , -2 );'i64' , 'trunc_f32_s' , 'f32' , 4294967296 .1 , "0x100000000" );'i64' , 'trunc_f32_s' , 'f32' , -4294967296 .8 , "0xffffffff00000000" );'i64' , 'trunc_f32_s' , 'f32' , 9223371487098961920 .0 , "0x7fffff8000000000" );'i64' , 'trunc_f32_s' , 'f32' , -9223372036854775808 .3 , "0x8000000000000000" );'i64' , 'trunc_f32_u' , 'f32' , 0 .0 , 0 );'i64' , 'trunc_f32_u' , 'f32' , "-0.0" , 0 );'i64' , 'trunc_f32_u' , 'f32' , 1 .0 , 1 );'i64' , 'trunc_f32_u' , 'f32' , 1 .1 , 1 );'i64' , 'trunc_f32_u' , 'f32' , 1 .5 , 1 );'i64' , 'trunc_f32_u' , 'f32' , 1 .99 , 1 );'i64' , 'trunc_f32_u' , 'f32' , -0 .9 , 0 );'i64' , 'trunc_f32_u' , 'f32' , 40 .1 , 40 );'i64' , 'trunc_f32_u' , 'f32' , 1 e8, "0x5f5e100" );'i64' , 'trunc_f32_u' , 'f32' , 4294967296 , "0x100000000" );'i64' , 'trunc_f32_u' , 'f32' , 18446742974197923840 .0 , "0xffffff0000000000" );'i64' , 'trunc_f64_s' , 'f64' , 9223372036854776000 .0 );'i64' , 'trunc_f64_s' , 'f64' , -9223372036854778000 .0 );'i64' , 'trunc_f64_s' , 'f64' , "nan" );'i64' , 'trunc_f64_s' , 'f64' , "inf" );'i64' , 'trunc_f64_s' , 'f64' , "-inf" );'i64' , 'trunc_f64_u' , 'f64' , -1 );'i64' , 'trunc_f64_u' , 'f64' , 18446744073709551616 .0 );'i64' , 'trunc_f64_u' , 'f64' , "nan" );'i64' , 'trunc_f64_u' , 'f64' , "inf" );'i64' , 'trunc_f64_u' , 'f64' , "-inf" );'i64' , 'trunc_f32_s' , 'f32' , 9223372036854776000 .0 );'i64' , 'trunc_f32_s' , 'f32' , -9223372586610630000 .0 );'i64' , 'trunc_f32_s' , 'f32' , "nan" );'i64' , 'trunc_f32_s' , 'f32' , "inf" );'i64' , 'trunc_f32_s' , 'f32' , "-inf" );'i64' , 'trunc_f32_u' , 'f32' , 18446744073709551616 .0 );'i64' , 'trunc_f32_u' , 'f32' , -1 );'i64' , 'trunc_f32_u' , 'f32' , "nan" );'i64' , 'trunc_f32_u' , 'f32' , "inf" );'i64' , 'trunc_f32_u' , 'f32' , "-inf" );'i64' , 'reinterpret_f64' , 'f64' , 40 .09999999999968 , "0x40440ccccccccca0" );'f64' , 'reinterpret_i64' , 'i64' , "0x40440ccccccccca0" , 40 .09999999999968 );var u64max = '0xffffffffffffffff' ;var s64max = '0x7fffffffffffffff' ;var s64min = '-0x8000000000000000' ;var s32max = 2147483647 ;var s32min = -2147483648 ;'i32' , 'trunc_sat_f32_s' , 'f32' , NaN, 0 );'i32' , 'trunc_sat_f32_s' , 'f32' , Infinity, s32max);'i32' , 'trunc_sat_f32_s' , 'f32' , -Infinity, s32min);'i32' , 'trunc_sat_f32_s' , 'f32' , p(2 , 31 ), s32max);'i32' , 'trunc_sat_f32_s' , 'f32' , -p(2 , 31 ) - 256 , s32min);'i32' , 'trunc_sat_f64_s' , 'f64' , NaN, 0 );'i32' , 'trunc_sat_f64_s' , 'f64' , Infinity, s32max);'i32' , 'trunc_sat_f64_s' , 'f64' , -Infinity, s32min);'i32' , 'trunc_sat_f64_s' , 'f64' , p(2 , 31 ), s32max);'i32' , 'trunc_sat_f64_s' , 'f64' , -p(2 , 31 ) - 1 , s32min);'i32' , 'trunc_sat_f32_u' , 'f32' , NaN, 0 );'i32' , 'trunc_sat_f32_u' , 'f32' , Infinity, -1 );'i32' , 'trunc_sat_f32_u' , 'f32' , -Infinity, 0 );'i32' , 'trunc_sat_f32_u' , 'f32' , -1 , 0 );'i32' , 'trunc_sat_f32_u' , 'f32' , p(2 , 32 ), -1 );'i32' , 'trunc_sat_f64_u' , 'f64' , NaN, 0 );'i32' , 'trunc_sat_f64_u' , 'f64' , Infinity, -1 );'i32' , 'trunc_sat_f64_u' , 'f64' , -Infinity, 0 );'i32' , 'trunc_sat_f64_u' , 'f64' , -1 , 0 );'i32' , 'trunc_sat_f64_u' , 'f64' , p(2 , 32 ), -1 );'i64' , 'trunc_sat_f64_s' , 'f64' , 9223372036854776000 .0 , s64max);'i64' , 'trunc_sat_f64_s' , 'f64' , -9223372036854778000 .0 , s64min);'i64' , 'trunc_sat_f64_s' , 'f64' , 'nan' , '0' );'i64' , 'trunc_sat_f64_s' , 'f64' , 'inf' , s64max);'i64' , 'trunc_sat_f64_s' , 'f64' , '-inf' , s64min);'i64' , 'trunc_sat_f64_u' , 'f64' , -1 , '0' );'i64' , 'trunc_sat_f64_u' , 'f64' , 18446744073709551616 .0 , u64max);'i64' , 'trunc_sat_f64_u' , 'f64' , 'nan' , '0' );'i64' , 'trunc_sat_f64_u' , 'f64' , 'inf' , u64max);'i64' , 'trunc_sat_f64_u' , 'f64' , '-inf' , '0' );'i64' , 'trunc_sat_f32_s' , 'f32' , 9223372036854776000 .0 , s64max);'i64' , 'trunc_sat_f32_s' , 'f32' , -9223372586610630000 .0 , s64min);'i64' , 'trunc_sat_f32_s' , 'f32' , 'nan' , '0' );'i64' , 'trunc_sat_f32_s' , 'f32' , 'inf' , s64max);'i64' , 'trunc_sat_f32_s' , 'f32' , '-inf' , s64min);'i64' , 'trunc_sat_f32_u' , 'f32' , 18446744073709551616 .0 , u64max);'i64' , 'trunc_sat_f32_u' , 'f32' , -1 , '0' );'i64' , 'trunc_sat_f32_u' , 'f32' , 'nan' , '0' );'i64' , 'trunc_sat_f32_u' , 'f32' , 'inf' , u64max);'i64' , 'trunc_sat_f32_u' , 'f32' , '-inf' , '0' );'i32' , 'extend8_s' , 'i32' , 0 x7F, 0 x7F);'i32' , 'extend8_s' , 'i32' , 0 x80, -0 x80);'i32' , 'extend16_s' , 'i32' , 0 x7FFF, 0 x7FFF);'i32' , 'extend16_s' , 'i32' , 0 x8000, -0 x8000);'i64' , 'extend8_s' , 'i64' , 0 x7F, 0 x7F);'i64' , 'extend8_s' , 'i64' , 0 x80, -0 x80);'i64' , 'extend16_s' , 'i64' , 0 x7FFF, 0 x7FFF);'i64' , 'extend16_s' , 'i64' , 0 x8000, -0 x8000);'i64' , 'extend_i32_s' , 'i32' , 0 x7FFFFFFF, 0 x7FFFFFFF);'i64' , 'extend_i32_s' , 'i32' , "0x80000000" , "0xFFFFFFFF80000000" );// i32.trunc_s* : all values in ] -2**31 - 1; 2**31 [ are acceptable. // f32: 'i32' , 'trunc_f32_s' , 'f32' , 40 .1 , 40 );'i32' , 'trunc_f32_s' , 'f32' , p(2 , 31 ) - 128 , p(2 , 31 ) - 128 ); // last f32 value exactly representable < 2**31. 'i32' , 'trunc_f32_s' , 'f32' , -p(2 , 31 ), -p(2 ,31 )); // last f32 value exactly representable > -2**31 - 1. 'i32' , 'trunc_f32_s' , 'f32' , 'nan' );'i32' , 'trunc_f32_s' , 'f32' , 'inf' );'i32' , 'trunc_f32_s' , 'f32' , '-inf' );'i32' , 'trunc_f32_s' , 'f32' , p(2 , 31 ));'i32' , 'trunc_f32_s' , 'f32' , -p(2 ,31 ) - 256 );'i32' , 'trunc_f64_s' , 'f64' , 40 .1 , 40 );'i32' , 'trunc_f64_s' , 'f64' , p(2 ,31 ) - 0 .001 , p(2 ,31 ) - 1 ); // example value near the top. 'i32' , 'trunc_f64_s' , 'f64' , -p(2 ,31 ) - 0 .999 , -p(2 ,31 )); // example value near the bottom. // f64: 'i32' , 'trunc_f64_s' , 'f64' , 'nan' );'i32' , 'trunc_f64_s' , 'f64' , 'inf' );'i32' , 'trunc_f64_s' , 'f64' , '-inf' );'i32' , 'trunc_f64_s' , 'f64' , p(2 ,31 ));'i32' , 'trunc_f64_s' , 'f64' , -p(2 ,31 ) - 1 );// i32.trunc_u* : all values in ] -1; 2**32 [ are acceptable. // f32: 'i32' , 'trunc_f32_u' , 'f32' , 40 .1 , 40 );'i32' , 'trunc_f32_u' , 'f32' , p(2 ,31 ), p(2 ,31 )|0 );'i32' , 'trunc_f32_u' , 'f32' , p(2 ,32 ) - 256 , (p(2 ,32 ) - 256 )|0 ); // last f32 value exactly representable < 2**32. 'i32' , 'trunc_f32_u' , 'f32' , -0 .99 , 0 ); // example value near the bottom. 'i32' , 'trunc_f32_u' , 'f32' , 'nan' );'i32' , 'trunc_f32_u' , 'f32' , 'inf' );'i32' , 'trunc_f32_u' , 'f32' , '-inf' );'i32' , 'trunc_f32_u' , 'f32' , -1 );'i32' , 'trunc_f32_u' , 'f32' , p(2 ,32 ));// f64: 'i32' , 'trunc_f64_u' , 'f64' , 40 .1 , 40 );'i32' , 'trunc_f64_u' , 'f64' , p(2 ,32 ) - 0 .001 , (p(2 ,32 ) - 1 )|0 ); // example value near the top. 'i32' , 'trunc_f64_u' , 'f64' , -0 .99999 , 0 ); // example value near the bottom. 'i32' , 'trunc_f64_u' , 'f64' , 'nan' );'i32' , 'trunc_f64_u' , 'f64' , 'inf' );'i32' , 'trunc_f64_u' , 'f64' , '-inf' );'i32' , 'trunc_f64_u' , 'f64' , -1 );'i32' , 'trunc_f64_u' , 'f64' , p(2 ,32 ));// Other opcodes. 'i32' , 'reinterpret_f32' , 'f32' , 40 .1 , 1109419622 );'f32' , 'reinterpret_i32' , 'i32' , 40 , 5 .605193857299268 e-44 );'f32' , 'convert_i32_s' , 'i32' , 40 , 40 );'f32' , 'convert_i32_u' , 'i32' , 40 , 40 );'f64' , 'convert_i32_s' , 'i32' , 40 , 40 );'f64' , 'convert_i32_u' , 'i32' , 40 , 40 );'f32' , 'demote_f64' , 'f64' , 40 .1 , 40 .099998474121094 );'f64' , 'promote_f32' , 'f32' , 40 .1 , 40 .099998474121094 );// Non-canonical NaNs. // Wasm v1.1 spec 4.3.4 "Conversions", subsection demote(z): if z is a NaN but // not canonical, return any NaN. That is, the sign is arbitrary and the // payload is arbitrary, except that the most significant bit of the payload // must be set. We check simply that a quiet NaN is returned and ignore the // sign and payload. const 0 x7FC00000)const -nan:0 x4444444444444)))))"run" (func 0 )))`,0 x7FC00000);// Wasm v1.1 spec 4.3.4 "Conversions", subsection promote(z): if z is a NaN but // not canonical, return any NaN. See above. const 0 x7FF8000000000000)const -nan:0 x222222)))))"run" (func 0 )))`,0 x7FF8_0000_0000_0000n);
Messung V0.5 in Prozent C=93 H=85 G=88
¤ Dauer der Verarbeitung: 0.5 Sekunden
¤ *© Formatika GbR, Deutschland
