Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(555)

Side by Side Diff: test/mjsunit/wasm/asm-wasm.js

Issue 2264913002: [wasm] asm.js - Remove Wasm.instantiateModuleFromAsm, use asm.js directly. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: fix Created 4 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
1 // Copyright 2015 the V8 project authors. All rights reserved. 1 // Copyright 2015 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 // Flags: --expose-wasm 5 // Flags: --validate-asm --allow-natives-syntax
6 6
7 var stdlib = this; 7 var stdlib = this;
8 8
9 function assertValidAsm(func) {
10 assertTrue(%IsAsmWasmCode(func) ||
11 %GetOptimizationStatus(func) === 3);
12 }
13
9 function assertWasm(expected, func, ffi) { 14 function assertWasm(expected, func, ffi) {
10 print("Testing " + func.name + "..."); 15 print("Testing " + func.name + "...");
11 assertEquals(expected, Wasm.instantiateModuleFromAsm( 16 assertEquals(
12 func.toString(), stdlib, ffi).caller()); 17 expected, func(stdlib, ffi, new ArrayBuffer(1024)).caller());
18 assertValidAsm(func);
13 } 19 }
14 20
15 function EmptyTest() { 21 function EmptyTest(a, b, c) {
16 "use asm"; 22 "use asm";
17 function caller() { 23 function caller() {
18 empty(); 24 empty();
19 return 11; 25 return 11;
20 } 26 }
21 function empty() { 27 function empty() {
22 } 28 }
23 return {caller: caller}; 29 return {caller: caller};
24 } 30 }
25 31
26 assertWasm(11, EmptyTest); 32 assertWasm(11, EmptyTest);
27 33
28 function VoidReturnTest() { 34 function VoidReturnTest(a, b, c) {
29 "use asm"; 35 "use asm";
30 function caller() { 36 function caller() {
31 empty(); 37 empty();
32 return 19; 38 return 19;
33 } 39 }
34 function empty() { 40 function empty() {
35 var x = 0; 41 var x = 0;
36 if (x) return; 42 if (x) return;
37 } 43 }
38 return {caller: caller}; 44 return {caller: caller};
39 } 45 }
40 46
41 assertWasm(19, VoidReturnTest); 47 assertWasm(19, VoidReturnTest);
42 48
43 function IntTest() { 49 function IntTest(a, b, c) {
44 "use asm"; 50 "use asm";
45 function sum(a, b) { 51 function sum(a, b) {
46 a = a|0; 52 a = a|0;
47 b = b|0; 53 b = b|0;
48 var c = 0; 54 var c = 0;
49 var d = 3.0; 55 var d = 3.0;
50 var e = 0; 56 var e = 0;
51 e = ~~d; // double conversion 57 e = ~~d; // double conversion
52 c = (b + 1)|0 58 c = (b + 1)|0
53 return (a + c + 1)|0; 59 return (a + c + 1)|0;
(...skipping 45 matching lines...) Expand 10 before | Expand all | Expand 10 after
99 return (a + c + 1)|0; 105 return (a + c + 1)|0;
100 } 106 }
101 107
102 function caller() { 108 function caller() {
103 return call(1, 2)|0; 109 return call(1, 2)|0;
104 } 110 }
105 111
106 return {caller: caller}; 112 return {caller: caller};
107 } 113 }
108 114
109 assertThrows(function() { 115 assertFalse(%IsAsmWasmCode(BadModule));
110 Wasm.instantiateModuleFromAsm(BadModule.toString(), stdlib).caller();
111 });
112 116
113 117
114 function TestReturnInBlock() { 118 function TestReturnInBlock() {
115 "use asm"; 119 "use asm";
116 120
117 function caller() { 121 function caller() {
118 if(1) { 122 if(1) {
119 { 123 {
120 { 124 {
121 return 1; 125 return 1;
(...skipping 371 matching lines...) Expand 10 before | Expand all | Expand 10 after
493 497
494 return {caller: caller}; 498 return {caller: caller};
495 } 499 }
496 500
497 assertWasm(7, TestInt32HeapAccess); 501 assertWasm(7, TestInt32HeapAccess);
498 502
499 503
500 function TestInt32HeapAccessExternal() { 504 function TestInt32HeapAccessExternal() {
501 var memory = new ArrayBuffer(1024); 505 var memory = new ArrayBuffer(1024);
502 var memory_int32 = new Int32Array(memory); 506 var memory_int32 = new Int32Array(memory);
503 var module = Wasm.instantiateModuleFromAsm( 507 var module_decl = eval('(' + TestInt32HeapAccess.toString() + ')');
504 TestInt32HeapAccess.toString(), stdlib, null, memory); 508 var module = module_decl(stdlib, null, memory);
509 assertValidAsm(module_decl);
505 assertEquals(7, module.caller()); 510 assertEquals(7, module.caller());
506 assertEquals(7, memory_int32[2]); 511 assertEquals(7, memory_int32[2]);
507 } 512 }
508 513
509 TestInt32HeapAccessExternal(); 514 TestInt32HeapAccessExternal();
510 515
511 516
512 function TestHeapAccessIntTypes() { 517 function TestHeapAccessIntTypes() {
513 var types = [ 518 var types = [
514 [Int8Array, 'Int8Array', '>> 0'], 519 [Int8Array, 'Int8Array', '>> 0'],
515 [Uint8Array, 'Uint8Array', '>> 0'], 520 [Uint8Array, 'Uint8Array', '>> 0'],
516 [Int16Array, 'Int16Array', '>> 1'], 521 [Int16Array, 'Int16Array', '>> 1'],
517 [Uint16Array, 'Uint16Array', '>> 1'], 522 [Uint16Array, 'Uint16Array', '>> 1'],
518 [Int32Array, 'Int32Array', '>> 2'], 523 [Int32Array, 'Int32Array', '>> 2'],
519 [Uint32Array, 'Uint32Array', '>> 2'], 524 [Uint32Array, 'Uint32Array', '>> 2'],
520 ]; 525 ];
521 for (var i = 0; i < types.length; i++) { 526 for (var i = 0; i < types.length; i++) {
522 var code = TestInt32HeapAccess.toString(); 527 var code = TestInt32HeapAccess.toString();
523 code = code.replace('Int32Array', types[i][1]); 528 code = code.replace('Int32Array', types[i][1]);
524 code = code.replace(/>> 2/g, types[i][2]); 529 code = code.replace(/>> 2/g, types[i][2]);
525 var memory = new ArrayBuffer(1024); 530 var memory = new ArrayBuffer(1024);
526 var memory_view = new types[i][0](memory); 531 var memory_view = new types[i][0](memory);
527 var module = Wasm.instantiateModuleFromAsm(code, stdlib, null, memory); 532 var module_decl = eval('(' + code + ')');
533 var module = module_decl(stdlib, null, memory);
534 assertValidAsm(module_decl);
528 assertEquals(7, module.caller()); 535 assertEquals(7, module.caller());
529 assertEquals(7, memory_view[2]); 536 assertEquals(7, memory_view[2]);
530 assertEquals(7, Wasm.instantiateModuleFromAsm(code, stdlib).caller()); 537 assertEquals(7, module_decl(stdlib).caller());
538 assertValidAsm(module_decl);
531 } 539 }
532 } 540 }
533 541
534 TestHeapAccessIntTypes(); 542 TestHeapAccessIntTypes();
535 543
536 544
537 function TestFloatHeapAccess(stdlib, foreign, buffer) { 545 function TestFloatHeapAccess(stdlib, foreign, buffer) {
538 "use asm"; 546 "use asm";
539 547
540 var f32 = new stdlib.Float32Array(buffer); 548 var f32 = new stdlib.Float32Array(buffer);
541 var f64 = new stdlib.Float64Array(buffer); 549 var f64 = new stdlib.Float64Array(buffer);
542 var fround = stdlib.Math.fround; 550 var fround = stdlib.Math.fround;
543 function caller() { 551 function caller() {
544 var i = 8; 552 var i = 8;
545 var j = 8; 553 var j = 8;
546 var v = 6.0; 554 var v = 6.0;
547 555
548 f64[2] = v + 1.0; 556 f64[2] = v + 1.0;
549 f64[i >> 3] = +f64[2] + 1.0; 557 f64[i >> 3] = +f64[2] + 1.0;
550 f64[j >> 3] = +f64[j >> 3] + 1.0; 558 f64[j >> 3] = +f64[j >> 3] + 1.0;
551 i = +f64[i >> 3] == 9.0; 559 i = +f64[i >> 3] == 9.0;
552 return i|0; 560 return i|0;
553 } 561 }
554 562
555 return {caller: caller}; 563 return {caller: caller};
556 } 564 }
557 565
558 assertEquals(1, Wasm.instantiateModuleFromAsm( 566 assertWasm(1, TestFloatHeapAccess);
559 TestFloatHeapAccess.toString(), stdlib).caller());
560 567
561 568
562 function TestFloatHeapAccessExternal() { 569 function TestFloatHeapAccessExternal() {
563 var memory = new ArrayBuffer(1024); 570 var memory = new ArrayBuffer(1024);
564 var memory_float64 = new Float64Array(memory); 571 var memory_float64 = new Float64Array(memory);
565 var module = Wasm.instantiateModuleFromAsm( 572 var module_decl = eval('(' + TestFloatHeapAccess.toString() + ')');
566 TestFloatHeapAccess.toString(), stdlib, null, memory); 573 var module = module_decl(stdlib, null, memory);
574 assertValidAsm(module_decl);
567 assertEquals(1, module.caller()); 575 assertEquals(1, module.caller());
568 assertEquals(9.0, memory_float64[1]); 576 assertEquals(9.0, memory_float64[1]);
569 } 577 }
570 578
571 TestFloatHeapAccessExternal(); 579 TestFloatHeapAccessExternal();
572 580
573 581
574 function TestConvertI32() { 582 function TestConvertI32() {
575 "use asm"; 583 "use asm";
576 584
(...skipping 126 matching lines...) Expand 10 before | Expand all | Expand 10 after
703 711
704 function init() { 712 function init() {
705 a = 43.25; 713 a = 43.25;
706 b = 34.25; 714 b = 34.25;
707 } 715 }
708 716
709 return {init:init, 717 return {init:init,
710 add:add}; 718 add:add};
711 } 719 }
712 720
713 var module = Wasm.instantiateModuleFromAsm( 721 var module_decl = eval('(' + TestNamedFunctions.toString() + ')');
714 TestNamedFunctions.toString(), stdlib); 722 var module = module_decl(stdlib);
723 assertValidAsm(module_decl);
715 module.init(); 724 module.init();
716 assertEquals(77.5, module.add()); 725 assertEquals(77.5, module.add());
717 })(); 726 })();
718 727
719 728
720 (function () { 729 (function () {
721 function TestGlobalsWithInit() { 730 function TestGlobalsWithInit() {
722 "use asm"; 731 "use asm";
723 732
724 var a = 43.25; 733 var a = 43.25;
725 var b = 34.25; 734 var b = 34.25;
726 735
727 function add() { 736 function add() {
728 return +(a + b); 737 return +(a + b);
729 } 738 }
730 739
731 return {add:add}; 740 return {add:add};
732 } 741 }
733 742
734 var module = Wasm.instantiateModuleFromAsm( 743 var module_decl = eval('(' + TestGlobalsWithInit.toString() + ')');
735 TestGlobalsWithInit.toString(), stdlib); 744 var module = module_decl(stdlib);
745 assertValidAsm(module_decl);
736 assertEquals(77.5, module.add()); 746 assertEquals(77.5, module.add());
737 })(); 747 })();
738 748
739 function TestForLoop() { 749 function TestForLoop() {
740 "use asm" 750 "use asm"
741 751
742 function caller() { 752 function caller() {
743 var ret = 0; 753 var ret = 0;
744 var i = 0; 754 var i = 0;
745 for (i = 2; (i|0) <= 10; i = (i+1)|0) { 755 for (i = 2; (i|0) <= 10; i = (i+1)|0) {
(...skipping 106 matching lines...) Expand 10 before | Expand all | Expand 10 after
852 var x = 1; 862 var x = 1;
853 return (((x|0) > 0) ? 41 : 71)|0; 863 return (((x|0) > 0) ? 41 : 71)|0;
854 } 864 }
855 865
856 return {caller:caller}; 866 return {caller:caller};
857 } 867 }
858 868
859 assertWasm(41, TestConditional); 869 assertWasm(41, TestConditional);
860 870
861 871
862 (function () {
863 function TestInitFunctionWithNoGlobals() { 872 function TestInitFunctionWithNoGlobals() {
864 "use asm"; 873 "use asm";
865 function caller() { 874 function caller() {
866 return 51; 875 return 51;
867 } 876 }
868 return {caller}; 877 return {caller};
869 } 878 }
870 879
871 var module = Wasm.instantiateModuleFromAsm( 880 assertWasm(51, TestInitFunctionWithNoGlobals);
872 TestInitFunctionWithNoGlobals.toString(), stdlib); 881
873 assertEquals(51, module.caller());
874 })();
875 882
876 (function () { 883 (function () {
877 function TestExportNameDifferentFromFunctionName() { 884 function TestExportNameDifferentFromFunctionName() {
878 "use asm"; 885 "use asm";
879 function caller() { 886 function caller() {
880 return 55; 887 return 55;
881 } 888 }
882 return {alt_caller:caller}; 889 return {alt_caller:caller};
883 } 890 }
884 891
885 var module = Wasm.instantiateModuleFromAsm( 892 var module_decl = eval(
886 TestExportNameDifferentFromFunctionName.toString(), stdlib); 893 '(' + TestExportNameDifferentFromFunctionName.toString() + ')');
894 var module = module_decl(stdlib);
895 assertValidAsm(module_decl);
887 assertEquals(55, module.alt_caller()); 896 assertEquals(55, module.alt_caller());
888 })(); 897 })();
889 898
899
890 function TestFunctionTableSingleFunction() { 900 function TestFunctionTableSingleFunction() {
891 "use asm"; 901 "use asm";
892 902
893 function dummy() { 903 function dummy() {
894 return 71; 904 return 71;
895 } 905 }
896 906
897 function caller() { 907 function caller() {
898 // TODO(jpp): the parser optimizes function_table[0&0] to function table[0]. 908 // TODO(jpp): the parser optimizes function_table[0&0] to function table[0].
899 var v = 0; 909 var v = 0;
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after
933 943
934 var function_table = [inc1, inc2] 944 var function_table = [inc1, inc2]
935 945
936 return {caller:caller}; 946 return {caller:caller};
937 } 947 }
938 948
939 assertWasm(73, TestFunctionTableMultipleFunctions); 949 assertWasm(73, TestFunctionTableMultipleFunctions);
940 950
941 951
942 (function () { 952 (function () {
943 function TestFunctionTable() { 953 function TestFunctionTable(stdlib, foreign, buffer) {
944 "use asm"; 954 "use asm";
945 955
946 function add(a, b) { 956 function add(a, b) {
947 a = a|0; 957 a = a|0;
948 b = b|0; 958 b = b|0;
949 return (a+b)|0; 959 return (a+b)|0;
950 } 960 }
951 961
952 function sub(a, b) { 962 function sub(a, b) {
953 a = a|0; 963 a = a|0;
(...skipping 18 matching lines...) Expand all
972 } 982 }
973 return 0; 983 return 0;
974 } 984 }
975 985
976 var funBin = [add, sub, sub, add]; 986 var funBin = [add, sub, sub, add];
977 var fun = [inc]; 987 var fun = [inc];
978 988
979 return {caller:caller}; 989 return {caller:caller};
980 } 990 }
981 991
982 var module = Wasm.instantiateModuleFromAsm( 992 var module = TestFunctionTable(stdlib);
983 TestFunctionTable.toString(), stdlib);
984 assertEquals(55, module.caller(0, 0, 33, 22)); 993 assertEquals(55, module.caller(0, 0, 33, 22));
985 assertEquals(11, module.caller(0, 1, 33, 22)); 994 assertEquals(11, module.caller(0, 1, 33, 22));
986 assertEquals(9, module.caller(0, 2, 54, 45)); 995 assertEquals(9, module.caller(0, 2, 54, 45));
987 assertEquals(99, module.caller(0, 3, 54, 45)); 996 assertEquals(99, module.caller(0, 3, 54, 45));
988 assertEquals(23, module.caller(0, 4, 12, 11)); 997 assertEquals(23, module.caller(0, 4, 12, 11));
989 assertEquals(31, module.caller(1, 0, 30, 11)); 998 assertEquals(31, module.caller(1, 0, 30, 11));
990 })(); 999 })();
991 1000
992 1001
993 function TestForeignFunctions() { 1002 function TestForeignFunctions() {
(...skipping 25 matching lines...) Expand all
1019 1028
1020 function setVal(new_val) { 1029 function setVal(new_val) {
1021 val = new_val; 1030 val = new_val;
1022 } 1031 }
1023 1032
1024 return {getVal:getVal, setVal:setVal}; 1033 return {getVal:getVal, setVal:setVal};
1025 } 1034 }
1026 1035
1027 var foreign = new ffi(23); 1036 var foreign = new ffi(23);
1028 1037
1029 var module = Wasm.instantiateModuleFromAsm( 1038 var module = AsmModule({Math: Math}, foreign, null);
1030 AsmModule.toString(), stdlib, foreign, null); 1039 assertValidAsm(AsmModule);
1031 1040
1032 assertEquals(103, module.caller(23, 103)); 1041 assertEquals(103, module.caller(23, 103));
1033 } 1042 }
1034 1043
1035 TestForeignFunctions(); 1044 TestForeignFunctions();
1036 1045
1037 1046
1038 function TestForeignFunctionMultipleUse() { 1047 function TestForeignFunctionMultipleUse() {
1039 function AsmModule(stdlib, foreign, buffer) { 1048 function AsmModule(stdlib, foreign, buffer) {
1040 "use asm"; 1049 "use asm";
(...skipping 17 matching lines...) Expand all
1058 function ffi() { 1067 function ffi() {
1059 function getVal() { 1068 function getVal() {
1060 return 83.25; 1069 return 83.25;
1061 } 1070 }
1062 1071
1063 return {getVal:getVal}; 1072 return {getVal:getVal};
1064 } 1073 }
1065 1074
1066 var foreign = new ffi(); 1075 var foreign = new ffi();
1067 1076
1068 var module = Wasm.instantiateModuleFromAsm( 1077 var module_decl = eval('(' + AsmModule.toString() + ')');
1069 AsmModule.toString(), stdlib, foreign, null); 1078 var module = module_decl(stdlib, foreign, null);
1079 assertValidAsm(module_decl);
1070 1080
1071 assertEquals(89, module.caller(83, 83.25)); 1081 assertEquals(89, module.caller(83, 83.25));
1072 } 1082 }
1073 1083
1074 TestForeignFunctionMultipleUse(); 1084 TestForeignFunctionMultipleUse();
1075 1085
1076 1086
1077 function TestForeignVariables() { 1087 function TestForeignVariables() {
1078 function AsmModule(stdlib, foreign, buffer) { 1088 function AsmModule(stdlib, foreign, buffer) {
1079 "use asm"; 1089 "use asm";
(...skipping 17 matching lines...) Expand all
1097 1107
1098 function getf2() { 1108 function getf2() {
1099 return +f2; 1109 return +f2;
1100 } 1110 }
1101 1111
1102 return {geti1:geti1, getf1:getf1, geti2:geti2, getf2:getf2}; 1112 return {geti1:geti1, getf1:getf1, geti2:geti2, getf2:getf2};
1103 } 1113 }
1104 1114
1105 function TestCase(env, i1, f1, i2, f2) { 1115 function TestCase(env, i1, f1, i2, f2) {
1106 print("Testing foreign variables..."); 1116 print("Testing foreign variables...");
1107 var module = Wasm.instantiateModuleFromAsm( 1117 var module_decl = eval('(' + AsmModule.toString() + ')');
1108 AsmModule.toString(), stdlib, env); 1118 var module = module_decl(stdlib, env);
1119 assertValidAsm(module_decl);
1109 assertEquals(i1, module.geti1()); 1120 assertEquals(i1, module.geti1());
1110 assertEquals(f1, module.getf1()); 1121 assertEquals(f1, module.getf1());
1111 assertEquals(i2, module.geti2()); 1122 assertEquals(i2, module.geti2());
1112 assertEquals(f2, module.getf2()); 1123 assertEquals(f2, module.getf2());
1113 } 1124 }
1114 1125
1115 // Check normal operation. 1126 // Check normal operation.
1116 TestCase({foo: 123, bar: 234.5, baz: 345.7}, 123, 234.5, 345, 345.7); 1127 TestCase({foo: 123, bar: 234.5, baz: 345.7}, 123, 234.5, 345, 345.7);
1117 // Check partial operation. 1128 // Check partial operation.
1118 TestCase({baz: 345.7}, 0, NaN, 345, 345.7); 1129 TestCase({baz: 345.7}, 0, NaN, 345, 345.7);
(...skipping 70 matching lines...) Expand 10 before | Expand all | Expand 10 after
1189 } 1200 }
1190 1201
1191 function iload(i) { 1202 function iload(i) {
1192 i = i | 0; 1203 i = i | 0;
1193 return HEAP8[HEAP32[i >> 2] | 0] | 0; 1204 return HEAP8[HEAP32[i >> 2] | 0] | 0;
1194 } 1205 }
1195 1206
1196 return {load: load, iload: iload, store: store, storeb: storeb}; 1207 return {load: load, iload: iload, store: store, storeb: storeb};
1197 } 1208 }
1198 1209
1199 var m = Wasm.instantiateModuleFromAsm( 1210 var module_decl = eval('(' + TestByteHeapAccessCompat.toString() + ')');
1200 TestByteHeapAccessCompat.toString(), stdlib); 1211 var m = module_decl(stdlib);
1212 assertValidAsm(module_decl);
1201 m.store(0, 20); 1213 m.store(0, 20);
1202 m.store(4, 21); 1214 m.store(4, 21);
1203 m.store(8, 22); 1215 m.store(8, 22);
1204 m.storeb(20, 123); 1216 m.storeb(20, 123);
1205 m.storeb(21, 42); 1217 m.storeb(21, 42);
1206 m.storeb(22, 77); 1218 m.storeb(22, 77);
1207 assertEquals(123, m.load(20)); 1219 assertEquals(123, m.load(20));
1208 assertEquals(42, m.load(21)); 1220 assertEquals(42, m.load(21));
1209 assertEquals(77, m.load(22)); 1221 assertEquals(77, m.load(22));
1210 assertEquals(123, m.iload(0)); 1222 assertEquals(123, m.iload(0));
(...skipping 28 matching lines...) Expand all
1239 1251
1240 function dfunc(a, b) { 1252 function dfunc(a, b) {
1241 a = a | 0; 1253 a = a | 0;
1242 b = +b; 1254 b = +b;
1243 return +(a, b); 1255 return +(a, b);
1244 } 1256 }
1245 1257
1246 return {ifunc: ifunc, dfunc: dfunc}; 1258 return {ifunc: ifunc, dfunc: dfunc};
1247 } 1259 }
1248 1260
1249 var m = Wasm.instantiateModuleFromAsm( 1261 var module_decl = eval('(' + CommaModule.toString() + ')');
1250 CommaModule.toString(), stdlib); 1262 var m = module_decl(stdlib);
1263 assertValidAsm(module_decl);
1251 assertEquals(123, m.ifunc(456.7, 123)); 1264 assertEquals(123, m.ifunc(456.7, 123));
1252 assertEquals(123.4, m.dfunc(456, 123.4)); 1265 assertEquals(123.4, m.dfunc(456, 123.4));
1253 })(); 1266 })();
1254 1267
1255 1268
1256 function TestFloatAsDouble(stdlib) { 1269 function TestFloatAsDouble(stdlib) {
1257 "use asm"; 1270 "use asm";
1258 var fround = stdlib.Math.fround; 1271 var fround = stdlib.Math.fround;
1259 function func() { 1272 function func() {
1260 var x = fround(1.0); 1273 var x = fround(1.0);
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after
1297 var x = 3; 1310 var x = 3;
1298 var y = 2; 1311 var y = 2;
1299 return (x ^ y) | 0; 1312 return (x ^ y) | 0;
1300 } 1313 }
1301 return {caller: func}; 1314 return {caller: func};
1302 } 1315 }
1303 1316
1304 assertWasm(1, TestXor); 1317 assertWasm(1, TestXor);
1305 1318
1306 1319
1307 (function TestIntishAssignment() { 1320 function TestIntishAssignment(stdlib, foreign, heap) {
1308 function Module(stdlib, foreign, heap) { 1321 "use asm";
1309 "use asm"; 1322 var HEAP32 = new stdlib.Int32Array(heap);
1310 var HEAP32 = new stdlib.Int32Array(heap); 1323 function func() {
1311 function func() { 1324 var a = 1;
1312 var a = 1; 1325 var b = 2;
1313 var b = 2; 1326 HEAP32[0] = a + b;
1314 HEAP32[0] = a + b; 1327 return HEAP32[0] | 0;
1315 return HEAP32[0] | 0;
1316 }
1317 return {func: func};
1318 } 1328 }
1329 return {caller: func};
1330 }
1319 1331
1320 var m = Wasm.instantiateModuleFromAsm( 1332 assertWasm(3, TestIntishAssignment);
1321 Module.toString(), stdlib);
1322 assertEquals(3, m.func());
1323 })();
1324 1333
1325 1334
1326 (function TestFloatishAssignment() { 1335 function TestFloatishAssignment(stdlib, foreign, heap) {
1327 function Module(stdlib, foreign, heap) { 1336 "use asm";
1328 "use asm"; 1337 var HEAPF32 = new stdlib.Float32Array(heap);
1329 var HEAPF32 = new stdlib.Float32Array(heap); 1338 var fround = stdlib.Math.fround;
1330 var fround = stdlib.Math.fround; 1339 function func() {
1331 function func() { 1340 var a = fround(1.0);
1332 var a = fround(1.0); 1341 var b = fround(2.0);
1333 var b = fround(2.0); 1342 HEAPF32[0] = a + b;
1334 HEAPF32[0] = a + b; 1343 return +HEAPF32[0];
1335 return +HEAPF32[0];
1336 }
1337 return {func: func};
1338 } 1344 }
1345 return {caller: func};
1346 }
1339 1347
1340 var m = Wasm.instantiateModuleFromAsm( 1348 assertWasm(3, TestFloatishAssignment);
1341 Module.toString(), stdlib);
1342 assertEquals(3, m.func());
1343 })();
1344 1349
1345 1350
1346 (function TestDoubleToFloatAssignment() { 1351 function TestDoubleToFloatAssignment(stdlib, foreign, heap) {
1347 function Module(stdlib, foreign, heap) { 1352 "use asm";
1348 "use asm"; 1353 var HEAPF32 = new stdlib.Float32Array(heap);
1349 var HEAPF32 = new stdlib.Float32Array(heap); 1354 var fround = stdlib.Math.fround;
1350 var fround = stdlib.Math.fround; 1355 function func() {
1351 function func() { 1356 var a = 1.23;
1352 var a = 1.23; 1357 HEAPF32[0] = a;
1353 HEAPF32[0] = a; 1358 return +HEAPF32[0];
1354 return +HEAPF32[0];
1355 }
1356 return {func: func};
1357 } 1359 }
1360 return {caller: func};
1361 }
1358 1362
1359 var m = Wasm.instantiateModuleFromAsm( 1363 assertWasm(Math.fround(1.23), TestDoubleToFloatAssignment);
1360 Module.toString(), stdlib);
1361 assertEquals(1.23, m.func());
1362 });
1363 1364
1364 1365
1365 (function TestIntegerMultiplyBothWays() { 1366 function TestIntegerMultiplyBothWays(stdlib, foreign, heap) {
1366 function Module(stdlib, foreign, heap) { 1367 "use asm";
1367 "use asm"; 1368 function func() {
1368 function func() { 1369 var a = 1;
1369 var a = 1; 1370 return (((a * 3)|0) + ((4 * a)|0)) | 0;
1370 return (((a * 3)|0) + ((4 * a)|0)) | 0;
1371 }
1372 return {func: func};
1373 } 1371 }
1372 return {caller: func};
1373 }
1374 1374
1375 var m = Wasm.instantiateModuleFromAsm( 1375 assertWasm(7, TestIntegerMultiplyBothWays);
1376 Module.toString(), stdlib);
1377 assertEquals(7, m.func());
1378 })();
1379 1376
1380 1377
1381 (function TestBadAssignDoubleFromIntish() { 1378 (function TestBadAssignDoubleFromIntish() {
1382 function Module(stdlib, foreign, heap) { 1379 function Module(stdlib, foreign, heap) {
1383 "use asm"; 1380 "use asm";
1384 function func() { 1381 function func() {
1385 var a = 1; 1382 var a = 1;
1386 var b = 3.0; 1383 var b = 3.0;
1387 b = a; 1384 b = a;
1388 } 1385 }
1389 return {func: func}; 1386 return {func: func};
1390 } 1387 }
1391 assertThrows(function() { 1388 Module(stdlib);
1392 Wasm.instantiateModuleFromAsm(Module.toString(), stdlib); 1389 assertFalse(%IsAsmWasmCode(Module));
1393 });
1394 })(); 1390 })();
1395 1391
1396 1392
1397 (function TestBadAssignIntFromDouble() { 1393 (function TestBadAssignIntFromDouble() {
1398 function Module(stdlib, foreign, heap) { 1394 function Module(stdlib, foreign, heap) {
1399 "use asm"; 1395 "use asm";
1400 function func() { 1396 function func() {
1401 var a = 1; 1397 var a = 1;
1402 var b = 3.0; 1398 var b = 3.0;
1403 a = b; 1399 a = b;
1404 } 1400 }
1405 return {func: func}; 1401 return {func: func};
1406 } 1402 }
1407 assertThrows(function() { 1403 Module(stdlib);
1408 Wasm.instantiateModuleFromAsm(Module.toString(), stdlib); 1404 assertFalse(%IsAsmWasmCode(Module));
1409 });
1410 })(); 1405 })();
1411 1406
1412 1407
1413 (function TestBadMultiplyIntish() { 1408 (function TestBadMultiplyIntish() {
1414 function Module(stdlib, foreign, heap) { 1409 function Module(stdlib, foreign, heap) {
1415 "use asm"; 1410 "use asm";
1416 function func() { 1411 function func() {
1417 var a = 1; 1412 var a = 1;
1418 return ((a + a) * 4) | 0; 1413 return ((a + a) * 4) | 0;
1419 } 1414 }
1420 return {func: func}; 1415 return {func: func};
1421 } 1416 }
1422 assertThrows(function() { 1417 Module(stdlib);
1423 Wasm.instantiateModuleFromAsm(Module.toString(), stdlib); 1418 assertFalse(%IsAsmWasmCode(Module));
1424 });
1425 })(); 1419 })();
1426 1420
1427 1421
1428 (function TestBadCastFromInt() { 1422 (function TestBadCastFromInt() {
1429 function Module(stdlib, foreign, heap) { 1423 function Module(stdlib, foreign, heap) {
1430 "use asm"; 1424 "use asm";
1431 function func() { 1425 function func() {
1432 var a = 1; 1426 var a = 1;
1433 return +a; 1427 return +a;
1434 } 1428 }
1435 return {func: func}; 1429 return {func: func};
1436 } 1430 }
1437 assertThrows(function() { 1431 Module(stdlib);
1438 Wasm.instantiateModuleFromAsm(Module.toString(), stdlib); 1432 assertFalse(%IsAsmWasmCode(Module));
1439 });
1440 })(); 1433 })();
1441 1434
1442 1435
1443 (function TestAndNegative() { 1436 function TestAndNegative() {
1444 function Module() { 1437 "use asm";
1445 "use asm"; 1438 function func() {
1446 function func() { 1439 var x = 1;
1447 var x = 1; 1440 var y = 2;
1448 var y = 2; 1441 var z = 0;
1449 var z = 0; 1442 z = x + y & -1;
1450 z = x + y & -1; 1443 return z | 0;
1451 return z | 0;
1452 }
1453 return {func: func};
1454 } 1444 }
1445 return {caller: func};
1446 }
1455 1447
1456 var m = Wasm.instantiateModuleFromAsm(Module.toString(), stdlib); 1448 assertWasm(3, TestAndNegative);
1457 assertEquals(3, m.func());
1458 })();
1459 1449
1460 1450
1461 (function TestNegativeDouble() { 1451 function TestNegativeDouble() {
1462 function Module() { 1452 "use asm";
1463 "use asm"; 1453 function func() {
1464 function func() { 1454 var x = -(34359738368.25);
1465 var x = -(34359738368.25); 1455 var y = -2.5;
1466 var y = -2.5; 1456 return +(x + y);
1467 return +(x + y);
1468 }
1469 return {func: func};
1470 } 1457 }
1458 return {caller: func};
1459 }
1471 1460
1472 var m = Wasm.instantiateModuleFromAsm(Module.toString(), stdlib); 1461 assertWasm(-34359738370.75, TestNegativeDouble);
1473 assertEquals(-34359738370.75, m.func());
1474 })();
1475 1462
1476 1463
1477 (function TestBadAndDouble() { 1464 (function TestBadAndDouble() {
1478 function Module() { 1465 function Module() {
1479 "use asm"; 1466 "use asm";
1480 function func() { 1467 function func() {
1481 var x = 1.0; 1468 var x = 1.0;
1482 var y = 2.0; 1469 var y = 2.0;
1483 return (x & y) | 0; 1470 return (x & y) | 0;
1484 } 1471 }
1485 return {func: func}; 1472 return {func: func};
1486 } 1473 }
1487 1474
1488 assertThrows(function() { 1475 Module(stdlib);
1489 Wasm.instantiateModuleFromAsm(Module.toString(), stdlib); 1476 assertFalse(%IsAsmWasmCode(Module));
1490 });
1491 })(); 1477 })();
1492 1478
1493 1479
1494 (function TestAndIntAndHeapValue() { 1480 function TestAndIntAndHeapValue(stdlib, foreign, buffer) {
1495 function Module(stdlib, foreign, buffer) { 1481 "use asm";
1496 "use asm"; 1482 var HEAP32 = new stdlib.Int32Array(buffer);
1497 var HEAP32 = new stdlib.Int32Array(buffer); 1483 function func() {
1498 function func() { 1484 var x = 0;
1499 var x = 0; 1485 x = HEAP32[0] & -1;
1500 x = HEAP32[0] & -1; 1486 return x | 0;
1501 return x | 0;
1502 }
1503 return {func: func};
1504 } 1487 }
1488 return {caller: func};
1489 }
1505 1490
1506 var m = Wasm.instantiateModuleFromAsm(Module.toString(), stdlib); 1491 assertWasm(0, TestAndIntAndHeapValue);
1507 assertEquals(0, m.func());
1508 })();
1509 1492
1510 (function TestOutOfBoundsConversion() { 1493
1511 function asmModule($a,$b,$c){'use asm'; 1494 function TestOutOfBoundsConversion($a,$b,$c){'use asm';
1512 function aaa() { 1495 function aaa() {
1513 var f = 0.0; 1496 var f = 0.0;
1514 var a = 0; 1497 var a = 0;
1515 f = 5616315000.000001; 1498 f = 5616315000.000001;
1516 a = ~~f >>>0; 1499 a = ~~f >>>0;
1517 return a | 0; 1500 return a | 0;
1518 }
1519 return { main : aaa };
1520 } 1501 }
1521 var wasm = Wasm.instantiateModuleFromAsm(asmModule.toString(), stdlib); 1502 return { caller : aaa };
1522 assertEquals(1321347704, wasm.main()); 1503 }
1523 })(); 1504
1505 assertWasm(1321347704, TestOutOfBoundsConversion);
1506
1524 1507
1525 (function TestUnsignedLiterals() { 1508 (function TestUnsignedLiterals() {
1526 function asmModule() { 1509 function asmModule() {
1527 "use asm"; 1510 "use asm";
1528 function u0xffffffff() { 1511 function u0xffffffff() {
1529 var f = 0xffffffff; 1512 var f = 0xffffffff;
1530 return +(f >>> 0); 1513 return +(f >>> 0);
1531 } 1514 }
1532 function u0x80000000() { 1515 function u0x80000000() {
1533 var f = 0x80000000; 1516 var f = 0x80000000;
1534 return +(f >>> 0); 1517 return +(f >>> 0);
1535 } 1518 }
1536 function u0x87654321() { 1519 function u0x87654321() {
1537 var f = 0x87654321; 1520 var f = 0x87654321;
1538 return +(f >>> 0); 1521 return +(f >>> 0);
1539 } 1522 }
1540 return { 1523 return {
1541 u0xffffffff: u0xffffffff, 1524 u0xffffffff: u0xffffffff,
1542 u0x80000000: u0x80000000, 1525 u0x80000000: u0x80000000,
1543 u0x87654321: u0x87654321, 1526 u0x87654321: u0x87654321,
1544 }; 1527 };
1545 } 1528 }
1546 var wasm = Wasm.instantiateModuleFromAsm(asmModule.toString(), stdlib); 1529 var decl = eval('(' + asmModule.toString() + ')');
1530 var wasm = decl(stdlib);
1531 assertValidAsm(decl);
1547 assertEquals(0xffffffff, wasm.u0xffffffff()); 1532 assertEquals(0xffffffff, wasm.u0xffffffff());
1548 assertEquals(0x80000000, wasm.u0x80000000()); 1533 assertEquals(0x80000000, wasm.u0x80000000());
1549 assertEquals(0x87654321, wasm.u0x87654321()); 1534 assertEquals(0x87654321, wasm.u0x87654321());
1550 })(); 1535 })();
1551 1536
1552 (function TestBadNoDeclaration() {
1553 assertThrows(function() {
1554 Wasm.instantiateModuleFromAsm('33;', stdlib);
1555 });
1556 })();
1557 1537
1558 (function TestBadVarDeclaration() { 1538 function TestIfWithUnsigned() {
1559 assertThrows(function() { 1539 "use asm";
1560 Wasm.instantiateModuleFromAsm('var x = 3;', stdlib); 1540 function main() {
1561 }); 1541 if (2147483658) { // 2^31 + 10
1562 })(); 1542 return 231;
1543 }
1544 return 0;
1545 }
1546 return {caller:main};
1547 }
1563 1548
1564 (function TestIfWithUnsigned() { 1549 assertWasm(231, TestIfWithUnsigned);
1565 function asmModule() { 1550
1566 "use asm"; 1551
1567 function main() { 1552 function TestLoopsWithUnsigned() {
1568 if (2147483658) { // 2^31 + 10 1553 "use asm";
1569 return 231; 1554 function main() {
1570 } 1555 var val = 1;
1571 return 0; 1556 var count = 0;
1557 for (val = 2147483648; 2147483648;) {
1558 val = 2147483649;
1559 break;
1572 } 1560 }
1573 return {main:main}; 1561 while (val>>>0) {
1574 } 1562 val = (val + 1) | 0;
1575 var wasm = Wasm.instantiateModuleFromAsm(asmModule.toString(), stdlib); 1563 count = (count + 1)|0;
1576 assertEquals(231, wasm.main()); 1564 if ((count|0) == 9) {
1577 })();
1578
1579 (function TestLoopsWithUnsigned() {
1580 function asmModule() {
1581 "use asm";
1582 function main() {
1583 var val = 1;
1584 var count = 0;
1585 for (val = 2147483648; 2147483648;) {
1586 val = 2147483649;
1587 break; 1565 break;
1588 } 1566 }
1589 while (val>>>0) { 1567 }
1590 val = (val + 1) | 0; 1568 count = 0;
1591 count = (count + 1)|0; 1569 do {
1592 if ((count|0) == 9) { 1570 val = (val + 2) | 0;
1593 break; 1571 count = (count + 1)|0;
1594 } 1572 if ((count|0) == 5) {
1573 break;
1595 } 1574 }
1596 count = 0; 1575 } while (0xffffffff);
1597 do { 1576 if ((val>>>0) == 2147483668) {
1598 val = (val + 2) | 0; 1577 return 323;
1599 count = (count + 1)|0;
1600 if ((count|0) == 5) {
1601 break;
1602 }
1603 } while (0xffffffff);
1604 if ((val>>>0) == 2147483668) {
1605 return 323;
1606 }
1607 return 0;
1608 } 1578 }
1609 return {main:main}; 1579 return 0;
1610 } 1580 }
1611 var wasm = Wasm.instantiateModuleFromAsm(asmModule.toString(), stdlib); 1581 return {caller:main};
1612 assertEquals(323, wasm.main()); 1582 }
1613 })(); 1583
1584 assertWasm(323, TestLoopsWithUnsigned);
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698