switch.wast.js (3961B)
1 (function switch_wast_js() { 2 3 // switch.wast:1 4 let $$1 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x8f\x80\x80\x80\x00\x03\x60\x01\x7f\x01\x7f\x60\x01\x7e\x01\x7e\x60\x00\x01\x7f\x03\x85\x80\x80\x80\x00\x04\x00\x01\x00\x02\x07\x9e\x80\x80\x80\x00\x04\x04\x73\x74\x6d\x74\x00\x00\x04\x65\x78\x70\x72\x00\x01\x03\x61\x72\x67\x00\x02\x06\x63\x6f\x72\x6e\x65\x72\x00\x03\x0a\xee\x81\x80\x80\x00\x04\xd7\x80\x80\x80\x00\x01\x01\x7f\x41\xe4\x00\x21\x01\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x20\x00\x0e\x08\x00\x01\x02\x03\x04\x05\x06\x08\x07\x0b\x20\x00\x0f\x0b\x01\x0b\x0b\x41\x00\x20\x00\x6b\x21\x01\x0c\x05\x0b\x0c\x04\x0b\x41\xe5\x00\x21\x01\x0c\x03\x0b\x41\xe5\x00\x21\x01\x0b\x41\xe6\x00\x21\x01\x0b\x0b\x20\x01\x0f\x0b\xcc\x80\x80\x80\x00\x01\x01\x7e\x42\xe4\x00\x21\x01\x02\x7e\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x02\x40\x20\x00\xa7\x0e\x08\x00\x01\x02\x03\x06\x05\x04\x08\x07\x0b\x20\x00\x0f\x0b\x01\x0b\x0b\x42\x00\x20\x00\x7d\x0c\x05\x0b\x42\xe5\x00\x21\x01\x0b\x0b\x0b\x20\x01\x0c\x01\x0b\x42\x7b\x0b\x0f\x0b\xaa\x80\x80\x80\x00\x00\x02\x7f\x41\x0a\x02\x7f\x41\xe4\x00\x02\x7f\x41\xe8\x07\x02\x7f\x41\x02\x20\x00\x6c\x41\x03\x20\x00\x71\x0e\x03\x01\x02\x03\x00\x0b\x6a\x0b\x6a\x0b\x6a\x0b\x0f\x0b\x8c\x80\x80\x80\x00\x00\x02\x40\x41\x00\x0e\x00\x00\x0b\x41\x01\x0b", "switch.wast:1"); 5 6 // switch.wast:1 7 let $1 = instance($$1); 8 9 // switch.wast:120 10 assert_return(() => call($1, "stmt", [0]), "switch.wast:120", 0); 11 12 // switch.wast:121 13 assert_return(() => call($1, "stmt", [1]), "switch.wast:121", -1); 14 15 // switch.wast:122 16 assert_return(() => call($1, "stmt", [2]), "switch.wast:122", -2); 17 18 // switch.wast:123 19 assert_return(() => call($1, "stmt", [3]), "switch.wast:123", -3); 20 21 // switch.wast:124 22 assert_return(() => call($1, "stmt", [4]), "switch.wast:124", 100); 23 24 // switch.wast:125 25 assert_return(() => call($1, "stmt", [5]), "switch.wast:125", 101); 26 27 // switch.wast:126 28 assert_return(() => call($1, "stmt", [6]), "switch.wast:126", 102); 29 30 // switch.wast:127 31 assert_return(() => call($1, "stmt", [7]), "switch.wast:127", 100); 32 33 // switch.wast:128 34 assert_return(() => call($1, "stmt", [-10]), "switch.wast:128", 102); 35 36 // switch.wast:130 37 assert_return(() => call($1, "expr", [0n]), "switch.wast:130", 0n); 38 39 // switch.wast:131 40 assert_return(() => call($1, "expr", [1n]), "switch.wast:131", -1n); 41 42 // switch.wast:132 43 assert_return(() => call($1, "expr", [2n]), "switch.wast:132", -2n); 44 45 // switch.wast:133 46 assert_return(() => call($1, "expr", [3n]), "switch.wast:133", -3n); 47 48 // switch.wast:134 49 assert_return(() => call($1, "expr", [6n]), "switch.wast:134", 101n); 50 51 // switch.wast:135 52 assert_return(() => call($1, "expr", [7n]), "switch.wast:135", -5n); 53 54 // switch.wast:136 55 assert_return(() => call($1, "expr", [-10n]), "switch.wast:136", 100n); 56 57 // switch.wast:138 58 assert_return(() => call($1, "arg", [0]), "switch.wast:138", 110); 59 60 // switch.wast:139 61 assert_return(() => call($1, "arg", [1]), "switch.wast:139", 12); 62 63 // switch.wast:140 64 assert_return(() => call($1, "arg", [2]), "switch.wast:140", 4); 65 66 // switch.wast:141 67 assert_return(() => call($1, "arg", [3]), "switch.wast:141", 1_116); 68 69 // switch.wast:142 70 assert_return(() => call($1, "arg", [4]), "switch.wast:142", 118); 71 72 // switch.wast:143 73 assert_return(() => call($1, "arg", [5]), "switch.wast:143", 20); 74 75 // switch.wast:144 76 assert_return(() => call($1, "arg", [6]), "switch.wast:144", 12); 77 78 // switch.wast:145 79 assert_return(() => call($1, "arg", [7]), "switch.wast:145", 1_124); 80 81 // switch.wast:146 82 assert_return(() => call($1, "arg", [8]), "switch.wast:146", 126); 83 84 // switch.wast:148 85 assert_return(() => call($1, "corner", []), "switch.wast:148", 1); 86 87 // switch.wast:150 88 assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80\x00\x01\x60\x00\x00\x03\x82\x80\x80\x80\x00\x01\x00\x0a\x8d\x80\x80\x80\x00\x01\x87\x80\x80\x80\x00\x00\x41\x00\x0e\x00\x03\x0b", "switch.wast:150"); 89 reinitializeRegistry(); 90 })();