assertEq(wasmEvalText('(module (func (result i32) (i32.const -1)) (export "" (func 0)))' ).exports["" ](), -1);'(module (func (result i32) (i32.const -2147483648)) (export "" (func 0)))' ).exports["" ](), -2147483648);'(module (func (result i32) (i32.const 4294967295)) (export "" (func 0)))' ).exports["" ](), -1);function testUnary(type, opcode, op, expect) {if (type === 'i64' ) {// Test with constant const ${op}))))`, expect);// Test with param (local.get 0))))`, expect, {}, `i64.const ${op}`);return ;// Test with constant const ${op}))) (export "run" (func 0)))`, expect);// Test with param get 0))) (export "run" (func 0)))`, expect, {}, op);function testBinary64(opcode, lhs, rhs, expect) {const ${lhs}`;const ${rhs}`;ocal.get 0) (local.get 1))))`, expect, {}, lsrc, rsrc);// The same, but now the RHS is a constant. (i64.const ${rhs}))))`, expect, {}, lsrc);// LHS and RHS are constants. const ${lhs}) (i64.const function testBinary32(opcode, lhs, rhs, expect) {t 0) (local.get 1))) (export "run" (func 0)))`, expect, {}, lhs, rhs);// The same, but now the RHS is a constant. const ${rhs}))) (export "run" (func 0)))`, expect, {}, lhs);// LHS and RHS are constants. const ${lhs}) (i32.const ${rhs}))) (export "run" (func 0)))`, expect);function testComparison32(opcode, lhs, rhs, expect) {t 0) (local.get 1))) (export "run" (func 0)))`, expect, {}, lhs, rhs);function testComparison64(opcode, lhs, rhs, expect) {const ${lhs}`;const ${rhs}`;assert (result i32)const ${lhs}const ${rhs}"run" (func $assert )))`, expect);// Also test `if`, for the compare-and-branch path. if (result i32) (i64.${opcode} (local.get 0) (local.get 1))const 1))else (i32.const 0))))assert (result i32)const ${lhs}const ${rhs}"run" (func $assert )))`, expect);function testI64Eqz(input, expect) {const ${input}))) (export "run" (func 0)))`, expect, {});assert (result i32) (i64.const ${input}) (call 0))"run" (func $assert )))`, expect);function testTrap32(opcode, lhs, rhs, expect) {i32.${opcode} (local.get 0) (local.get 1))) (export "" (func 0)))`).exports["" ](lhs, rhs), Error, expect);// The same, but now the RHS is a constant. de} (local.get 0) (i32.const ${rhs}))) (export "" (func 0)))`).exports["" ](lhs), Error, expect);// LHS and RHS are constants. const ${lhs}) (i32.const ${rhs}))) (export "" (func 0)))`).exports["" ], Error, expect);function testTrap64(opcode, lhs, rhs, expect) {"" ) (i64.const ${lhs}) (i64.const ${rhs}) (call 0) drop)"" ], Error, expect);// The same, but now the RHS is a constant. const ${rhs})))"" ) (i64.const ${lhs}) (call 0) drop)"" ], Error, expect);// LHS and RHS are constants. const ${lhs}) (i64.const ${rhs})))"" ) (call 0) drop)"" ], Error, expect);'i32' , 'clz' , 40, 26);'i32' , 'clz' , 0, 32);'i32' , 'clz' , 0xFFFFFFFF, 0);'i32' , 'clz' , -2147483648, 0);'i32' , 'ctz' , 40, 3);'i32' , 'ctz' , 0, 32);'i32' , 'ctz' , -2147483648, 31);'i32' , 'popcnt' , 40, 2);'i32' , 'popcnt' , 0, 0);'i32' , 'popcnt' , 0xFFFFFFFF, 32);'i32' , 'eqz' , 0, 1);'i32' , 'eqz' , 1, 0);'i32' , 'eqz' , 0xFFFFFFFF, 0);'add' , 40, 2, 42);'sub' , 40, 2, 38);'mul' , 40, 2, 80);'div_s' , -40, 2, -20);'div_s' , -40, 8, -5);'div_s' , -40, 7, -5);'div_s' , 40, 8, 5);'div_s' , 40, 7, 5);'div_u' , -40, 2, 2147483628);'div_u' , 40, 2, 20);'div_u' , 40, 8, 5);'rem_s' , 40, -3, 1);'rem_s' , 0, -3, 0);'rem_s' , 5, 2, 1);'rem_s' , 65, 64, 1);'rem_s' , -65, 64, -1);'rem_u' , 40, -3, 40);'rem_u' , 41, 8, 1);'and' , 42, 6, 2);'or' , 42, 6, 46);'xor' , 42, 2, 40);'xor' , -1, 1739168047, -1739168048);'xor' , -1739168043, -1, 1739168042);'shl' , 40, 0, 40);'shl' , 40, 2, 160);'shr_s' , -40, 0, -40);'shr_s' , -40, 2, -10);'shr_u' , -40, 0, -40);'shr_u' , -40, 2, 1073741814);'div_s' , 42, 0, /integer divide by zero/);'div_s' , 0x80000000 | 0, -1, /integer overflow/);'div_u' , 42, 0, /integer divide by zero/);'rem_s' , 42, 0, /integer divide by zero/);'rem_u' , 42, 0, /integer divide by zero/);'rotl' , 40, 2, 160);'rotl' , 40, 34, 160);'rotr' , 40, 2, 10);'rotr' , 40, 34, 10);'rotr' , 40, 0, 40);'rotl' , 40, 0, 40);'eq' , 40, 40, 1);'ne' , 40, 40, 0);'lt_s' , 40, 40, 0);'lt_u' , 40, 40, 0);'le_s' , 40, 40, 1);'le_u' , 40, 40, 1);'gt_s' , 40, 40, 0);'gt_u' , 40, 40, 0);'ge_s' , 40, 40, 1);'ge_u' , 40, 40, 1);// On 32-bit debug builds, with --ion-eager, this test can run into our // per-process JIT code limits and OOM. Trigger a GC to discard code. if (getJitCompilerOptions()["ion.warmup.trigger" ] === 0)// Test MTest's GVN branch inversion. var testTrunc = wasmEvalText(`(module (func (param f32) (result i32) (if (result i32) (i32.eqz (i32.trunc_f32_s (local.get 0))) (then (i32.const 0)) (else (i32.const 1)))) (export "" (func 0)))`).exports["" ];'add' , 40, 2, 42);'add' , "0x1234567887654321" , -1, "0x1234567887654320" );'add' , "0xffffffffffffffff" , 1, 0);'sub' , 40, 2, 38);'sub' , "0x1234567887654321" , "0x123456789" , "0x12345677641fdb98" );'sub' , 3, 5, -2);'mul' , 40, 2, 80);'mul' , -1, 2, -2);'mul' , 0x123456, "0x9876543210" , "0xad77d2c5f941160" );'mul' , 2, -1, -2);'mul' , "0x80000000" , -1, -2147483648);'mul' , "0x7fffffff" , -1, -2147483647);'mul' , "0x7fffffffffffffff" , -1, "0x8000000000000001" );'mul' , 2, 2, 4);'mul' , "0x80000000" , 2, "0x100000000" );'mul' , "0x7fffffff" , 2, "0xfffffffe" );'div_s' , -40, 2, -20);'div_s' , -40, 8, -5);'div_s' , -40, 7, -5);'div_s' , 40, 8, 5);'div_s' , 40, 7, 5);'div_s' , "0x1234567887654321" , 2, "0x91a2b3c43b2a190" );'div_s' , "0x1234567887654321" , "0x1000000000" , "0x1234567" );'div_s' , -1, "0x100000000" , 0);'div_u' , -40, 2, "0x7fffffffffffffec" );'div_u' , "0x1234567887654321" , 9, "0x205d0b80f0b4059" );'div_u' , 40, 2, 20);'div_u' , 40, 8, 5);'rem_s' , 40, -3, 1);'rem_s' , 0, -3, 0);'rem_s' , 5, 2, 1);'rem_s' , 65, 64, 1);'rem_s' , "0x1234567887654321" , "0x1000000000" , "0x887654321" );'rem_s' , "0x7fffffffffffffff" , -1, 0);'rem_s' , "0x8000000000000001" , 1000, -807);'rem_s' , "0x8000000000000000" , -1, 0);'rem_u' , 40, -3, 40);'rem_u' , 41, 8, 1);'rem_u' , "0x1234567887654321" , "0x1000000000" , "0x887654321" );'rem_u' , "0x8000000000000000" , -1, "0x8000000000000000" );'rem_u' , "0x8ff00ff00ff00ff0" , "0x100000001" , "0x80000001" );'div_s' , 10, 0, /integer divide by zero/);'div_s' , "0x8000000000000000" , -1, /integer overflow/);'div_u' , 0, 0, /integer divide by zero/);'rem_s' , 10, 0, /integer divide by zero/);'rem_u' , 10, 0, /integer divide by zero/);// Bitops. 'or' , 42, 6, 46);'or' , "0x8765432112345678" , "0xffff0000ffff0000" , "0xffff4321ffff5678" );'xor' , 42, 2, 40);'xor' , "0x8765432112345678" , "0xffff0000ffff0000" , "0x789a4321edcb5678" );'xor' , "0xffffffffffffffff" , "0x2c73173d985666d0" , "0xd38ce8c267a9992f" );'xor' , "0xe8f3437fe059746a" , "0xffffffffffffffff" , "0x170cbc801fa68b95" );'shl' , 0xff00ff, 28, "0x0ff00ff0000000" );'shl' , 0xff00ff, 30, "0x3fc03fc0000000" );'shl' , 0xff00ff, 31, "0x7f807f80000000" );'shl' , 0xff00ff, 32, "0xff00ff00000000" );'shl' , 1, 63, "0x8000000000000000" );'shl' , 1, 64, 1);'shl' , 40, 2, 160);'shl' , 40, 0, 40);'shr_s' , -40, 0, -40);'shr_s' , -40, 2, -10);'shr_s' , "0xff00ff0000000" , 28, 0xff00ff);'shr_s' , "0xff00ff0000000" , 30, 0x3fc03f);'shr_s' , "0xff00ff0000000" , 31, 0x1fe01f);'shr_s' , "0xff00ff0000000" , 32, 0x0ff00f);'shr_u' , -40, 0, -40);'shr_u' , -40, 2, "0x3ffffffffffffff6" );'shr_u' , "0x8ffff00ff0000000" , 30, "0x23fffc03f" );'shr_u' , "0x8ffff00ff0000000" , 31, "0x11fffe01f" );'shr_u' , "0x8ffff00ff0000000" , 32, "0x08ffff00f" );'shr_u' , "0x8ffff00ff0000000" , 56, 0x8f);'and' , 42, 0, 0);'and' , 42, 6, 2);'and' , "0x0000000012345678" , "0xffff0000ffff0000" , "0x0000000012340000" );'and' , "0x8765432112345678" , "0xffff0000ffff0000" , "0x8765000012340000" );// Rotations. 'rotl' , 40, 0, 0x28);'rotl' , 40, 2, 0xA0);'rotl' , 40, 8, 0x2800);'rotl' , 40, 30, "0xA00000000" );'rotl' , 40, 31, "0x1400000000" );'rotl' , 40, 32, "0x2800000000" );'rotl' , "0x1234567812345678" , 4, "0x2345678123456781" );'rotl' , "0x1234567812345678" , 30, "0x048D159E048D159E" );'rotl' , "0x1234567812345678" , 31, "0x091A2B3C091A2B3C" );'rotl' , "0x1234567812345678" , 32, "0x1234567812345678" );'rotl' , "0x0000000000001000" , 127, "0x0000000000000800" );'rotr' , 40, 0, 0x28);'rotr' , 40, 2, 0x0A);'rotr' , 40, 30, "0xA000000000" );'rotr' , 40, 31, "0x5000000000" );'rotr' , 40, 32, "0x2800000000" );'rotr' , "0x1234567812345678" , 4, "0x8123456781234567" );'rotr' , "0x1234567812345678" , 30, "0x48D159E048D159E0" );'rotr' , "0x1234567812345678" , 31, "0x2468ACF02468ACF0" );'rotr' , "0x1234567812345678" , 32, "0x1234567812345678" );'rotr' , "0x1234567812345678" , 60, "0x2345678123456781" );'rotr' , "0x0000000000001000" , 127, "0x0000000000002000" );// Comparisons. 'eq' , 40, 40, 1);'ne' , 40, 40, 0);'lt_s' , 40, 40, 0);'lt_u' , 40, 40, 0);'le_s' , 40, 40, 1);'le_u' , 40, 40, 1);'gt_s' , 40, 40, 0);'gt_u' , 40, 40, 0);'ge_s' , 40, 40, 1);'ge_u' , 40, 40, 1);'eq' , "0x400012345678" , "0x400012345678" , 1);'eq' , "0x400012345678" , "0x500012345678" , 0);'ne' , "0x400012345678" , "0x400012345678" , 0);'ne' , "0x400012345678" , "0x500012345678" , 1);'eq' , "0xffffffffffffffff" , -1, 1);'lt_s' , "0x8000000012345678" , "0x1" , 1);'lt_s' , "0x1" , "0x8000000012345678" , 0);'lt_u' , "0x8000000012345678" , "0x1" , 0);'lt_u' , "0x1" , "0x8000000012345678" , 1);'le_s' , -1, 0, 1);'le_s' , -1, -1, 1);'le_s' , 0, -1, 0);'le_u' , -1, 0, 0);'le_u' , -1, -1, 1);'le_u' , 0, -1, 1);'gt_s' , 1, "0x8000000000000000" , 1);'gt_s' , "0x8000000000000000" , 1, 0);'gt_u' , 1, "0x8000000000000000" , 0);'gt_u' , "0x8000000000000000" , 1, 1);'ge_s' , 1, "0x8000000000000000" , 1);'ge_s' , "0x8000000000000000" , 1, 0);'ge_u' , 1, "0x8000000000000000" , 0);'ge_u' , "0x8000000000000000" , 1, 1);'i64' , 'clz' , 40, 58);'i64' , 'clz' , "0x8000000000000000" , 0);'i64' , 'clz' , "0x7fffffffffffffff" , 1);'i64' , 'clz' , "0x4000000000000000" , 1);'i64' , 'clz' , "0x3000000000000000" , 2);'i64' , 'clz' , "0x2000000000000000" , 2);'i64' , 'clz' , "0x1000000000000000" , 3);'i64' , 'clz' , "0x0030000000000000" , 10);'i64' , 'clz' , "0x0000800000000000" , 16);'i64' , 'clz' , "0x00000000ffffffff" , 32);'i64' , 'clz' , -1, 0);'i64' , 'clz' , 0, 64);'i64' , 'ctz' , 40, 3);'i64' , 'ctz' , "0x8000000000000000" , 63);'i64' , 'ctz' , "0x7fffffffffffffff" , 0);'i64' , 'ctz' , "0x4000000000000000" , 62);'i64' , 'ctz' , "0x3000000000000000" , 60);'i64' , 'ctz' , "0x2000000000000000" , 61);'i64' , 'ctz' , "0x1000000000000000" , 60);'i64' , 'ctz' , "0x0030000000000000" , 52);'i64' , 'ctz' , "0x0000800000000000" , 47);'i64' , 'ctz' , "0x00000000ffffffff" , 0);'i64' , 'ctz' , -1, 0);'i64' , 'ctz' , 0, 64);'i64' , 'popcnt' , 40, 2);'i64' , 'popcnt' , 0, 0);'i64' , 'popcnt' , "0x8000000000000000" , 1);'i64' , 'popcnt' , "0x7fffffffffffffff" , 63);'i64' , 'popcnt' , "0x4000000000000000" , 1);'i64' , 'popcnt' , "0x3000000000000000" , 2);'i64' , 'popcnt' , "0x2000000000000000" , 1);'i64' , 'popcnt' , "0x1000000000000000" , 1);'i64' , 'popcnt' , "0x0030000000000000" , 2);'i64' , 'popcnt' , "0x0000800000000000" , 1);'i64' , 'popcnt' , "0x00000000ffffffff" , 32);'i64' , 'popcnt' , -1, 64);'i64' , 'popcnt' , 0, 0);ocal.get 0) (local.get 0))) (i64.shl (local.get 1) (local.get 1))))`,'i64' , func: '$run' , args: ['i64.const 2' ], expected: 2048}]);// Test MTest's GVN branch inversion. var testTrunc = wasmEvalText(`(module (func (param f32) (result i32) (if (result i32) (i64.eqz (i64.trunc_f32_s (local.get 0))) (then (i32.const 0)) (else (i32.const 1)))) (export "" (func 0)))`).exports["" ];const 1) (i64.const 0xf))) (i64.rem_s (local.get 0) (local.get 0))))`,'i64' , func: '$run' , expected: 0 }]);'(module (func (param f32) (result i32) (i32.clz (local.get 0))))' , mismatchError("f32" , "i32" ));'(module (func (param i32) (result f32) (i32.clz (local.get 0))))' , mismatchError("i32" , "f32" ));'(module (func (param f32) (result f32) (i32.clz (local.get 0))))' , mismatchError("f32" , "i32" ));'(module (func (param f32) (param i32) (result i32) (i32.add (local.get 0) (local.get 1))))' , mismatchError("f32" , "i32" ));'(module (func (param i32) (param f32) (result i32) (i32.add (local.get 0) (local.get 1))))' , mismatchError("f32" , "i32" ));'(module (func (param i32) (param i32) (result f32) (i32.add (local.get 0) (local.get 1))))' , mismatchError("i32" , "f32" ));'(module (func (param f32) (param f32) (result f32) (i32.add (local.get 0) (local.get 1))))' , mismatchError("f32" , "i32" ));'(module (func (param f32) (param i32) (result i32) (i32.eq (local.get 0) (local.get 1))))' , mismatchError("f32" , "i32" ));'(module (func (param i32) (param f32) (result i32) (i32.eq (local.get 0) (local.get 1))))' , mismatchError("f32" , "i32" ));'(module (func (param i32) (param i32) (result f32) (i32.eq (local.get 0) (local.get 1))))' , mismatchError("i32" , "f32" ));
Messung V0.5 C=96 H=100 G=97
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
