| OLD | NEW |
| 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: --expose-wasm |
| 6 | 6 |
| 7 function EmptyTest() { | 7 function EmptyTest() { |
| 8 "use asm"; | 8 "use asm"; |
| 9 function caller() { | 9 function caller() { |
| 10 empty(); | 10 empty(); |
| 11 return 11; | 11 return 11; |
| 12 } | 12 } |
| 13 function empty() { | 13 function empty() { |
| 14 } | 14 } |
| 15 return {caller: caller}; | 15 return {caller: caller}; |
| 16 } | 16 } |
| 17 | 17 |
| 18 assertEquals(11, _WASMEXP_.asmCompileRun(EmptyTest.toString())); | 18 assertEquals(11, _WASMEXP_.asmCompileRun(EmptyTest.toString())); |
| 19 | 19 |
| 20 |
| 20 function IntTest() { | 21 function IntTest() { |
| 21 "use asm"; | 22 "use asm"; |
| 22 function sum(a, b) { | 23 function sum(a, b) { |
| 23 a = a|0; | 24 a = a|0; |
| 24 b = b|0; | 25 b = b|0; |
| 25 var c = (b + 1)|0 | 26 var c = (b + 1)|0 |
| 26 var d = 3.0; | 27 var d = 3.0; |
| 27 var e = d | 0; // double conversion | 28 var e = d | 0; // double conversion |
| 28 return (a + c + 1)|0; | 29 return (a + c + 1)|0; |
| 29 } | 30 } |
| 30 | 31 |
| 31 function caller() { | 32 function caller() { |
| 32 return sum(77,22) | 0; | 33 return sum(77,22) | 0; |
| 33 } | 34 } |
| 34 | 35 |
| 35 return {caller: caller}; | 36 return {caller: caller}; |
| 36 } | 37 } |
| 37 | 38 |
| 38 assertEquals(101, _WASMEXP_.asmCompileRun(IntTest.toString())); | 39 assertEquals(101, _WASMEXP_.asmCompileRun(IntTest.toString())); |
| 39 | 40 |
| 41 |
| 40 function Float64Test() { | 42 function Float64Test() { |
| 41 "use asm"; | 43 "use asm"; |
| 42 function sum(a, b) { | 44 function sum(a, b) { |
| 43 a = +a; | 45 a = +a; |
| 44 b = +b; | 46 b = +b; |
| 45 return +(a + b); | 47 return +(a + b); |
| 46 } | 48 } |
| 47 | 49 |
| 48 function caller() { | 50 function caller() { |
| 49 var a = +sum(70.1,10.2); | 51 var a = +sum(70.1,10.2); |
| 50 var ret = 0|0; | 52 var ret = 0|0; |
| 51 if (a == 80.3) { | 53 if (a == 80.3) { |
| 52 ret = 1|0; | 54 ret = 1|0; |
| 53 } else { | 55 } else { |
| 54 ret = 0|0; | 56 ret = 0|0; |
| 55 } | 57 } |
| 56 return ret|0; | 58 return ret|0; |
| 57 } | 59 } |
| 58 | 60 |
| 59 return {caller: caller}; | 61 return {caller: caller}; |
| 60 } | 62 } |
| 61 | 63 |
| 62 assertEquals(1, _WASMEXP_.asmCompileRun(Float64Test.toString())); | 64 assertEquals(1, _WASMEXP_.asmCompileRun(Float64Test.toString())); |
| 63 | 65 |
| 66 |
| 64 function BadModule() { | 67 function BadModule() { |
| 65 "use asm"; | 68 "use asm"; |
| 66 function caller(a, b) { | 69 function caller(a, b) { |
| 67 a = a|0; | 70 a = a|0; |
| 68 b = b+0; | 71 b = b+0; |
| 69 var c = (b + 1)|0 | 72 var c = (b + 1)|0 |
| 70 return (a + c + 1)|0; | 73 return (a + c + 1)|0; |
| 71 } | 74 } |
| 72 | 75 |
| 73 function caller() { | 76 function caller() { |
| 74 return call(1, 2)|0; | 77 return call(1, 2)|0; |
| 75 } | 78 } |
| 76 | 79 |
| 77 return {caller: caller}; | 80 return {caller: caller}; |
| 78 } | 81 } |
| 79 | 82 |
| 80 assertThrows(function() { | 83 assertThrows(function() { |
| 81 _WASMEXP_.asmCompileRun(BadModule.toString()) | 84 _WASMEXP_.asmCompileRun(BadModule.toString()) |
| 82 }); | 85 }); |
| 83 | 86 |
| 87 |
| 84 function TestReturnInBlock() { | 88 function TestReturnInBlock() { |
| 85 "use asm"; | 89 "use asm"; |
| 86 | 90 |
| 87 function caller() { | 91 function caller() { |
| 88 if(1) { | 92 if(1) { |
| 89 { | 93 { |
| 90 { | 94 { |
| 91 return 1; | 95 return 1; |
| 92 } | 96 } |
| 93 } | 97 } |
| 94 } | 98 } |
| 95 return 0; | 99 return 0; |
| 96 } | 100 } |
| 97 | 101 |
| 98 return {caller: caller}; | 102 return {caller: caller}; |
| 99 } | 103 } |
| 100 | 104 |
| 101 assertEquals(1, _WASMEXP_.asmCompileRun(TestReturnInBlock.toString())); | 105 assertEquals(1, _WASMEXP_.asmCompileRun(TestReturnInBlock.toString())); |
| 102 | 106 |
| 107 |
| 103 function TestWhileSimple() { | 108 function TestWhileSimple() { |
| 104 "use asm"; | 109 "use asm"; |
| 105 | 110 |
| 106 function caller() { | 111 function caller() { |
| 107 var x = 0; | 112 var x = 0; |
| 108 while(x < 5) { | 113 while(x < 5) { |
| 109 x = (x + 1)|0; | 114 x = (x + 1)|0; |
| 110 } | 115 } |
| 111 return x|0; | 116 return x|0; |
| 112 } | 117 } |
| 113 | 118 |
| 114 return {caller: caller}; | 119 return {caller: caller}; |
| 115 } | 120 } |
| 116 | 121 |
| 117 assertEquals(5, _WASMEXP_.asmCompileRun(TestWhileSimple.toString())); | 122 assertEquals(5, _WASMEXP_.asmCompileRun(TestWhileSimple.toString())); |
| 118 | 123 |
| 124 |
| 119 function TestWhileWithoutBraces() { | 125 function TestWhileWithoutBraces() { |
| 120 "use asm"; | 126 "use asm"; |
| 121 | 127 |
| 122 function caller() { | 128 function caller() { |
| 123 var x = 0; | 129 var x = 0; |
| 124 while(x <= 3) | 130 while(x <= 3) |
| 125 x = (x + 1)|0; | 131 x = (x + 1)|0; |
| 126 return x|0; | 132 return x|0; |
| 127 } | 133 } |
| 128 | 134 |
| 129 return {caller: caller}; | 135 return {caller: caller}; |
| 130 } | 136 } |
| 131 | 137 |
| 132 assertEquals(4, _WASMEXP_.asmCompileRun(TestWhileWithoutBraces.toString())); | 138 assertEquals(4, _WASMEXP_.asmCompileRun(TestWhileWithoutBraces.toString())); |
| 133 | 139 |
| 140 |
| 134 function TestReturnInWhile() { | 141 function TestReturnInWhile() { |
| 135 "use asm"; | 142 "use asm"; |
| 136 | 143 |
| 137 function caller() { | 144 function caller() { |
| 138 var x = 0; | 145 var x = 0; |
| 139 while(x < 10) { | 146 while(x < 10) { |
| 140 x = (x + 6)|0; | 147 x = (x + 6)|0; |
| 141 return x|0; | 148 return x|0; |
| 142 } | 149 } |
| 143 return x|0; | 150 return x|0; |
| 144 } | 151 } |
| 145 | 152 |
| 146 return {caller: caller}; | 153 return {caller: caller}; |
| 147 } | 154 } |
| 148 | 155 |
| 149 assertEquals(6, _WASMEXP_.asmCompileRun(TestReturnInWhile.toString())); | 156 assertEquals(6, _WASMEXP_.asmCompileRun(TestReturnInWhile.toString())); |
| 150 | 157 |
| 158 |
| 151 function TestReturnInWhileWithoutBraces() { | 159 function TestReturnInWhileWithoutBraces() { |
| 152 "use asm"; | 160 "use asm"; |
| 153 | 161 |
| 154 function caller() { | 162 function caller() { |
| 155 var x = 0; | 163 var x = 0; |
| 156 while(x < 5) | 164 while(x < 5) |
| 157 return 7; | 165 return 7; |
| 158 return x|0; | 166 return x|0; |
| 159 } | 167 } |
| 160 | 168 |
| 161 return {caller: caller}; | 169 return {caller: caller}; |
| 162 } | 170 } |
| 163 | 171 |
| 164 assertEquals(7, _WASMEXP_.asmCompileRun(TestReturnInWhileWithoutBraces.toString(
))); | 172 assertEquals( |
| 173 7, _WASMEXP_.asmCompileRun(TestReturnInWhileWithoutBraces.toString())); |
| 174 |
| 165 | 175 |
| 166 function TestBreakInWhile() { | 176 function TestBreakInWhile() { |
| 167 "use asm"; | 177 "use asm"; |
| 168 | 178 |
| 169 function caller() { | 179 function caller() { |
| 170 while(1) { | 180 while(1) { |
| 171 break; | 181 break; |
| 172 } | 182 } |
| 173 return 8; | 183 return 8; |
| 174 } | 184 } |
| 175 | 185 |
| 176 return {caller: caller}; | 186 return {caller: caller}; |
| 177 } | 187 } |
| 178 | 188 |
| 179 assertEquals(8, _WASMEXP_.asmCompileRun(TestBreakInWhile.toString())); | 189 assertEquals(8, _WASMEXP_.asmCompileRun(TestBreakInWhile.toString())); |
| 180 | 190 |
| 191 |
| 181 function TestBreakInNestedWhile() { | 192 function TestBreakInNestedWhile() { |
| 182 "use asm"; | 193 "use asm"; |
| 183 | 194 |
| 184 function caller() { | 195 function caller() { |
| 185 var x = 1.0; | 196 var x = 1.0; |
| 186 while(x < 1.5) { | 197 while(x < 1.5) { |
| 187 while(1) | 198 while(1) |
| 188 break; | 199 break; |
| 189 x = +(x + 0.25); | 200 x = +(x + 0.25); |
| 190 } | 201 } |
| 191 var ret = 0; | 202 var ret = 0; |
| 192 if (x == 1.5) { | 203 if (x == 1.5) { |
| 193 ret = 9; | 204 ret = 9; |
| 194 } | 205 } |
| 195 return ret|0; | 206 return ret|0; |
| 196 } | 207 } |
| 197 | 208 |
| 198 return {caller: caller}; | 209 return {caller: caller}; |
| 199 } | 210 } |
| 200 | 211 |
| 201 assertEquals(9, _WASMEXP_.asmCompileRun(TestBreakInNestedWhile.toString())); | 212 assertEquals(9, _WASMEXP_.asmCompileRun(TestBreakInNestedWhile.toString())); |
| 202 | 213 |
| 214 |
| 203 function TestBreakInBlock() { | 215 function TestBreakInBlock() { |
| 204 "use asm"; | 216 "use asm"; |
| 205 | 217 |
| 206 function caller() { | 218 function caller() { |
| 207 var x = 0; | 219 var x = 0; |
| 208 abc: { | 220 abc: { |
| 209 x = 10; | 221 x = 10; |
| 210 if (x == 10) { | 222 if (x == 10) { |
| 211 break abc; | 223 break abc; |
| 212 } | 224 } |
| 213 x = 20; | 225 x = 20; |
| 214 } | 226 } |
| 215 return x|0; | 227 return x|0; |
| 216 } | 228 } |
| 217 | 229 |
| 218 return {caller: caller}; | 230 return {caller: caller}; |
| 219 } | 231 } |
| 220 | 232 |
| 221 assertEquals(10, _WASMEXP_.asmCompileRun(TestBreakInBlock.toString())); | 233 assertEquals(10, _WASMEXP_.asmCompileRun(TestBreakInBlock.toString())); |
| 222 | 234 |
| 235 |
| 223 function TestBreakInNamedWhile() { | 236 function TestBreakInNamedWhile() { |
| 224 "use asm"; | 237 "use asm"; |
| 225 | 238 |
| 226 function caller() { | 239 function caller() { |
| 227 var x = 0; | 240 var x = 0; |
| 228 outer: while (1) { | 241 outer: while (1) { |
| 229 x = (x + 1)|0; | 242 x = (x + 1)|0; |
| 230 while (x == 11) { | 243 while (x == 11) { |
| 231 break outer; | 244 break outer; |
| 232 } | 245 } |
| 233 } | 246 } |
| 234 return x|0; | 247 return x|0; |
| 235 } | 248 } |
| 236 | 249 |
| 237 return {caller: caller}; | 250 return {caller: caller}; |
| 238 } | 251 } |
| 239 | 252 |
| 240 assertEquals(11, _WASMEXP_.asmCompileRun(TestBreakInNamedWhile.toString())); | 253 assertEquals(11, _WASMEXP_.asmCompileRun(TestBreakInNamedWhile.toString())); |
| 241 | 254 |
| 255 |
| 242 function TestContinue() { | 256 function TestContinue() { |
| 243 "use asm"; | 257 "use asm"; |
| 244 | 258 |
| 245 function caller() { | 259 function caller() { |
| 246 var x = 5; | 260 var x = 5; |
| 247 var ret = 0; | 261 var ret = 0; |
| 248 while (x >= 0) { | 262 while (x >= 0) { |
| 249 x = (x - 1)|0; | 263 x = (x - 1)|0; |
| 250 if (x == 2) { | 264 if (x == 2) { |
| 251 continue; | 265 continue; |
| 252 } | 266 } |
| 253 ret = (ret - 1)|0; | 267 ret = (ret - 1)|0; |
| 254 } | 268 } |
| 255 return ret|0; | 269 return ret|0; |
| 256 } | 270 } |
| 257 | 271 |
| 258 return {caller: caller}; | 272 return {caller: caller}; |
| 259 } | 273 } |
| 260 | 274 |
| 261 assertEquals(-5, _WASMEXP_.asmCompileRun(TestContinue.toString())); | 275 assertEquals(-5, _WASMEXP_.asmCompileRun(TestContinue.toString())); |
| 262 | 276 |
| 277 |
| 263 function TestContinueInNamedWhile() { | 278 function TestContinueInNamedWhile() { |
| 264 "use asm"; | 279 "use asm"; |
| 265 | 280 |
| 266 function caller() { | 281 function caller() { |
| 267 var x = 5; | 282 var x = 5; |
| 268 var y = 0; | 283 var y = 0; |
| 269 var ret = 0; | 284 var ret = 0; |
| 270 outer: while (x > 0) { | 285 outer: while (x > 0) { |
| 271 x = (x - 1)|0; | 286 x = (x - 1)|0; |
| 272 y = 0; | 287 y = 0; |
| 273 while (y < 5) { | 288 while (y < 5) { |
| 274 if (x == 3) { | 289 if (x == 3) { |
| 275 continue outer; | 290 continue outer; |
| 276 } | 291 } |
| 277 ret = (ret + 1)|0; | 292 ret = (ret + 1)|0; |
| 278 y = (y + 1)|0; | 293 y = (y + 1)|0; |
| 279 } | 294 } |
| 280 } | 295 } |
| 281 return ret|0; | 296 return ret|0; |
| 282 } | 297 } |
| 283 | 298 |
| 284 return {caller: caller}; | 299 return {caller: caller}; |
| 285 } | 300 } |
| 286 | 301 |
| 287 assertEquals(20, _WASMEXP_.asmCompileRun(TestContinueInNamedWhile.toString())); | 302 assertEquals(20, _WASMEXP_.asmCompileRun(TestContinueInNamedWhile.toString())); |
| 288 | 303 |
| 304 |
| 289 function TestNot() { | 305 function TestNot() { |
| 290 "use asm"; | 306 "use asm"; |
| 291 | 307 |
| 292 function caller() { | 308 function caller() { |
| 293 var a = !(2 > 3); | 309 var a = !(2 > 3); |
| 294 return a | 0; | 310 return a | 0; |
| 295 } | 311 } |
| 296 | 312 |
| 297 return {caller:caller}; | 313 return {caller:caller}; |
| 298 } | 314 } |
| 299 | 315 |
| 300 assertEquals(1, _WASMEXP_.asmCompileRun(TestNot.toString())); | 316 assertEquals(1, _WASMEXP_.asmCompileRun(TestNot.toString())); |
| 301 | 317 |
| 318 |
| 302 function TestNotEquals() { | 319 function TestNotEquals() { |
| 303 "use asm"; | 320 "use asm"; |
| 304 | 321 |
| 305 function caller() { | 322 function caller() { |
| 306 var a = 3; | 323 var a = 3; |
| 307 if (a != 2) { | 324 if (a != 2) { |
| 308 return 21; | 325 return 21; |
| 309 } | 326 } |
| 310 return 0; | 327 return 0; |
| 311 } | 328 } |
| 312 | 329 |
| 313 return {caller:caller}; | 330 return {caller:caller}; |
| 314 } | 331 } |
| 315 | 332 |
| 316 assertEquals(21, _WASMEXP_.asmCompileRun(TestNotEquals.toString())); | 333 assertEquals(21, _WASMEXP_.asmCompileRun(TestNotEquals.toString())); |
| 317 | 334 |
| 335 |
| 318 function TestUnsignedComparison() { | 336 function TestUnsignedComparison() { |
| 319 "use asm"; | 337 "use asm"; |
| 320 | 338 |
| 321 function caller() { | 339 function caller() { |
| 322 var a = 0xffffffff; | 340 var a = 0xffffffff; |
| 323 if ((a>>>0) > (0>>>0)) { | 341 if ((a>>>0) > (0>>>0)) { |
| 324 return 22; | 342 return 22; |
| 325 } | 343 } |
| 326 return 0; | 344 return 0; |
| 327 } | 345 } |
| 328 | 346 |
| 329 return {caller:caller}; | 347 return {caller:caller}; |
| 330 } | 348 } |
| 331 | 349 |
| 332 assertEquals(22, _WASMEXP_.asmCompileRun(TestUnsignedComparison.toString())); | 350 assertEquals(22, _WASMEXP_.asmCompileRun(TestUnsignedComparison.toString())); |
| 333 | 351 |
| 352 |
| 334 function TestMixedAdd() { | 353 function TestMixedAdd() { |
| 335 "use asm"; | 354 "use asm"; |
| 336 | 355 |
| 337 function caller() { | 356 function caller() { |
| 338 var a = 0x80000000; | 357 var a = 0x80000000; |
| 339 var b = 0x7fffffff; | 358 var b = 0x7fffffff; |
| 340 var c = 0; | 359 var c = 0; |
| 341 c = ((a>>>0) + b)|0; | 360 c = ((a>>>0) + b)|0; |
| 342 if ((c >>> 0) > (0>>>0)) { | 361 if ((c >>> 0) > (0>>>0)) { |
| 343 if (c < 0) { | 362 if (c < 0) { |
| 344 return 23; | 363 return 23; |
| 345 } | 364 } |
| 346 } | 365 } |
| 347 return 0; | 366 return 0; |
| 348 } | 367 } |
| 349 | 368 |
| 350 return {caller:caller}; | 369 return {caller:caller}; |
| 351 } | 370 } |
| 352 | 371 |
| 353 assertEquals(23, _WASMEXP_.asmCompileRun(TestMixedAdd.toString())); | 372 assertEquals(23, _WASMEXP_.asmCompileRun(TestMixedAdd.toString())); |
| 354 | 373 |
| 374 |
| 355 function TestInt32HeapAccess(stdlib, foreign, buffer) { | 375 function TestInt32HeapAccess(stdlib, foreign, buffer) { |
| 356 "use asm"; | 376 "use asm"; |
| 357 | 377 |
| 358 var m = new stdlib.Int32Array(buffer); | 378 var m = new stdlib.Int32Array(buffer); |
| 359 function caller() { | 379 function caller() { |
| 360 var i = 4; | 380 var i = 4; |
| 361 | 381 |
| 362 m[0] = (i + 1) | 0; | 382 m[0] = (i + 1) | 0; |
| 363 m[i >> 2] = ((m[0]|0) + 1) | 0; | 383 m[i >> 2] = ((m[0]|0) + 1) | 0; |
| 364 m[2] = ((m[i >> 2]|0) + 1) | 0; | 384 m[2] = ((m[i >> 2]|0) + 1) | 0; |
| 365 return m[2] | 0; | 385 return m[2] | 0; |
| 366 } | 386 } |
| 367 | 387 |
| 368 return {caller: caller}; | 388 return {caller: caller}; |
| 369 } | 389 } |
| 370 | 390 |
| 371 assertEquals(7, _WASMEXP_.asmCompileRun(TestInt32HeapAccess.toString())); | 391 assertEquals(7, _WASMEXP_.asmCompileRun(TestInt32HeapAccess.toString())); |
| 372 | 392 |
| 393 |
| 373 function TestHeapAccessIntTypes() { | 394 function TestHeapAccessIntTypes() { |
| 374 var types = [ | 395 var types = [ |
| 375 ['Int8Array', '>> 0'], | 396 ['Int8Array', '>> 0'], |
| 376 ['Uint8Array', '>> 0'], | 397 ['Uint8Array', '>> 0'], |
| 377 ['Int16Array', '>> 1'], | 398 ['Int16Array', '>> 1'], |
| 378 ['Uint16Array', '>> 1'], | 399 ['Uint16Array', '>> 1'], |
| 379 ['Int32Array', '>> 2'], | 400 ['Int32Array', '>> 2'], |
| 380 ['Uint32Array', '>> 2'], | 401 ['Uint32Array', '>> 2'], |
| 381 ]; | 402 ]; |
| 382 for (var i = 0; i < types.length; i++) { | 403 for (var i = 0; i < types.length; i++) { |
| 383 var code = TestInt32HeapAccess.toString(); | 404 var code = TestInt32HeapAccess.toString(); |
| 384 code = code.replace('Int32Array', types[i][0]); | 405 code = code.replace('Int32Array', types[i][0]); |
| 385 code = code.replace(/>> 2/g, types[i][1]); | 406 code = code.replace(/>> 2/g, types[i][1]); |
| 386 assertEquals(7, _WASMEXP_.asmCompileRun(code)); | 407 assertEquals(7, _WASMEXP_.asmCompileRun(code)); |
| 387 } | 408 } |
| 388 } | 409 } |
| 389 | 410 |
| 390 TestHeapAccessIntTypes(); | 411 TestHeapAccessIntTypes(); |
| 391 | 412 |
| 413 |
| 392 function TestFloatHeapAccess(stdlib, foreign, buffer) { | 414 function TestFloatHeapAccess(stdlib, foreign, buffer) { |
| 393 "use asm"; | 415 "use asm"; |
| 394 | 416 |
| 395 var f32 = new stdlib.Float32Array(buffer); | 417 var f32 = new stdlib.Float32Array(buffer); |
| 396 var f64 = new stdlib.Float64Array(buffer); | 418 var f64 = new stdlib.Float64Array(buffer); |
| 397 var fround = stdlib.Math.fround; | 419 var fround = stdlib.Math.fround; |
| 398 function caller() { | 420 function caller() { |
| 399 var i = 8; | 421 var i = 8; |
| 400 var j = 8; | 422 var j = 8; |
| 401 var v = 6.0; | 423 var v = 6.0; |
| 402 | 424 |
| 403 // TODO(bradnelson): Add float32 when asm-wasm supports it. | 425 // TODO(bradnelson): Add float32 when asm-wasm supports it. |
| 404 f64[2] = v + 1.0; | 426 f64[2] = v + 1.0; |
| 405 f64[i >> 3] = +f64[2] + 1.0; | 427 f64[i >> 3] = +f64[2] + 1.0; |
| 406 f64[j >> 3] = +f64[j >> 3] + 1.0; | 428 f64[j >> 3] = +f64[j >> 3] + 1.0; |
| 407 i = +f64[i >> 3] == 9.0; | 429 i = +f64[i >> 3] == 9.0; |
| 408 return i|0; | 430 return i|0; |
| 409 } | 431 } |
| 410 | 432 |
| 411 return {caller: caller}; | 433 return {caller: caller}; |
| 412 } | 434 } |
| 413 | 435 |
| 414 assertEquals(1, _WASMEXP_.asmCompileRun(TestFloatHeapAccess.toString())); | 436 assertEquals(1, _WASMEXP_.asmCompileRun(TestFloatHeapAccess.toString())); |
| 415 | 437 |
| 438 |
| 416 function TestConvertI32() { | 439 function TestConvertI32() { |
| 417 "use asm"; | 440 "use asm"; |
| 418 | 441 |
| 419 function caller() { | 442 function caller() { |
| 420 var a = 1.5; | 443 var a = 1.5; |
| 421 if ((~~(a + a)) == 3) { | 444 if ((~~(a + a)) == 3) { |
| 422 return 24; | 445 return 24; |
| 423 } | 446 } |
| 424 return 0; | 447 return 0; |
| 425 } | 448 } |
| 426 | 449 |
| 427 return {caller:caller}; | 450 return {caller:caller}; |
| 428 } | 451 } |
| 429 | 452 |
| 430 assertEquals(24, _WASMEXP_.asmCompileRun(TestConvertI32.toString())); | 453 assertEquals(24, _WASMEXP_.asmCompileRun(TestConvertI32.toString())); |
| 431 | 454 |
| 455 |
| 432 function TestConvertF64FromInt() { | 456 function TestConvertF64FromInt() { |
| 433 "use asm"; | 457 "use asm"; |
| 434 | 458 |
| 435 function caller() { | 459 function caller() { |
| 436 var a = 1; | 460 var a = 1; |
| 437 if ((+(a + a)) > 1.5) { | 461 if ((+(a + a)) > 1.5) { |
| 438 return 25; | 462 return 25; |
| 439 } | 463 } |
| 440 return 0; | 464 return 0; |
| 441 } | 465 } |
| 442 | 466 |
| 443 return {caller:caller}; | 467 return {caller:caller}; |
| 444 } | 468 } |
| 445 | 469 |
| 446 assertEquals(25, _WASMEXP_.asmCompileRun(TestConvertF64FromInt.toString())); | 470 assertEquals(25, _WASMEXP_.asmCompileRun(TestConvertF64FromInt.toString())); |
| 447 | 471 |
| 472 |
| 448 function TestConvertF64FromUnsigned() { | 473 function TestConvertF64FromUnsigned() { |
| 449 "use asm"; | 474 "use asm"; |
| 450 | 475 |
| 451 function caller() { | 476 function caller() { |
| 452 var a = 0xffffffff; | 477 var a = 0xffffffff; |
| 453 if ((+(a>>>0)) > 0.0) { | 478 if ((+(a>>>0)) > 0.0) { |
| 454 if((+a) < 0.0) { | 479 if((+a) < 0.0) { |
| 455 return 26; | 480 return 26; |
| 456 } | 481 } |
| 457 } | 482 } |
| 458 return 0; | 483 return 0; |
| 459 } | 484 } |
| 460 | 485 |
| 461 return {caller:caller}; | 486 return {caller:caller}; |
| 462 } | 487 } |
| 463 | 488 |
| 464 assertEquals(26, _WASMEXP_.asmCompileRun(TestConvertF64FromUnsigned.toString()))
; | 489 assertEquals(26, _WASMEXP_.asmCompileRun(TestConvertF64FromUnsigned.toString()))
; |
| 465 | 490 |
| 491 |
| 466 function TestModInt() { | 492 function TestModInt() { |
| 467 "use asm"; | 493 "use asm"; |
| 468 | 494 |
| 469 function caller() { | 495 function caller() { |
| 470 var a = -83; | 496 var a = -83; |
| 471 var b = 28; | 497 var b = 28; |
| 472 return ((a|0)%(b|0))|0; | 498 return ((a|0)%(b|0))|0; |
| 473 } | 499 } |
| 474 | 500 |
| 475 return {caller:caller}; | 501 return {caller:caller}; |
| 476 } | 502 } |
| 477 | 503 |
| 478 assertEquals(-27, _WASMEXP_.asmCompileRun(TestModInt.toString())); | 504 assertEquals(-27, _WASMEXP_.asmCompileRun(TestModInt.toString())); |
| 479 | 505 |
| 506 |
| 480 function TestModUnsignedInt() { | 507 function TestModUnsignedInt() { |
| 481 "use asm"; | 508 "use asm"; |
| 482 | 509 |
| 483 function caller() { | 510 function caller() { |
| 484 var a = 0x80000000; //2147483648 | 511 var a = 0x80000000; //2147483648 |
| 485 var b = 10; | 512 var b = 10; |
| 486 return ((a>>>0)%(b>>>0))|0; | 513 return ((a>>>0)%(b>>>0))|0; |
| 487 } | 514 } |
| 488 | 515 |
| 489 return {caller:caller}; | 516 return {caller:caller}; |
| 490 } | 517 } |
| 491 | 518 |
| 492 assertEquals(8, _WASMEXP_.asmCompileRun(TestModUnsignedInt.toString())); | 519 assertEquals(8, _WASMEXP_.asmCompileRun(TestModUnsignedInt.toString())); |
| 493 | 520 |
| 521 |
| 494 function TestModDouble() { | 522 function TestModDouble() { |
| 495 "use asm"; | 523 "use asm"; |
| 496 | 524 |
| 497 function caller() { | 525 function caller() { |
| 498 var a = 5.25; | 526 var a = 5.25; |
| 499 var b = 2.5; | 527 var b = 2.5; |
| 500 if (a%b == 0.25) { | 528 if (a%b == 0.25) { |
| 501 return 28; | 529 return 28; |
| 502 } | 530 } |
| 503 return 0; | 531 return 0; |
| 504 } | 532 } |
| 505 | 533 |
| 506 return {caller:caller}; | 534 return {caller:caller}; |
| 507 } | 535 } |
| 508 | 536 |
| 509 assertEquals(28, _WASMEXP_.asmCompileRun(TestModDouble.toString())); | 537 assertEquals(28, _WASMEXP_.asmCompileRun(TestModDouble.toString())); |
| 510 | 538 |
| 539 |
| 511 /* | 540 /* |
| 512 TODO: Fix parsing of negative doubles | 541 TODO: Fix parsing of negative doubles |
| 513 Fix code to use trunc instead of casts | 542 Fix code to use trunc instead of casts |
| 514 function TestModDoubleNegative() { | 543 function TestModDoubleNegative() { |
| 515 "use asm"; | 544 "use asm"; |
| 516 | 545 |
| 517 function caller() { | 546 function caller() { |
| 518 var a = -34359738368.25; | 547 var a = -34359738368.25; |
| 519 var b = 2.5; | 548 var b = 2.5; |
| 520 if (a%b == -0.75) { | 549 if (a%b == -0.75) { |
| 521 return 28; | 550 return 28; |
| 522 } | 551 } |
| 523 return 0; | 552 return 0; |
| 524 } | 553 } |
| 525 | 554 |
| 526 return {caller:caller}; | 555 return {caller:caller}; |
| 527 } | 556 } |
| 528 | 557 |
| 529 assertEquals(28, _WASMEXP_.asmCompileRun(TestModDoubleNegative.toString())); | 558 assertEquals(28, _WASMEXP_.asmCompileRun(TestModDoubleNegative.toString())); |
| 530 */ | 559 */ |
| 531 | 560 |
| 561 |
| 532 function TestNamedFunctions() { | 562 function TestNamedFunctions() { |
| 533 "use asm"; | 563 "use asm"; |
| 534 | 564 |
| 535 var a = 0.0; | 565 var a = 0.0; |
| 536 var b = 0.0; | 566 var b = 0.0; |
| 537 | 567 |
| 538 function add() { | 568 function add() { |
| 539 return +(a + b); | 569 return +(a + b); |
| 540 } | 570 } |
| 541 | 571 |
| 542 function init() { | 572 function init() { |
| 543 a = 43.25; | 573 a = 43.25; |
| 544 b = 34.25; | 574 b = 34.25; |
| 545 } | 575 } |
| 546 | 576 |
| 547 return {init:init, | 577 return {init:init, |
| 548 add:add}; | 578 add:add}; |
| 549 } | 579 } |
| 550 | 580 |
| 551 var module = _WASMEXP_.instantiateModuleFromAsm(TestNamedFunctions.toString()); | 581 var module = _WASMEXP_.instantiateModuleFromAsm(TestNamedFunctions.toString()); |
| 552 module.init(); | 582 module.init(); |
| 553 assertEquals(77.5, module.add()); | 583 assertEquals(77.5, module.add()); |
| 554 | 584 |
| 585 |
| 555 function TestGlobalsWithInit() { | 586 function TestGlobalsWithInit() { |
| 556 "use asm"; | 587 "use asm"; |
| 557 | 588 |
| 558 var a = 43.25; | 589 var a = 43.25; |
| 559 var b = 34.25; | 590 var b = 34.25; |
| 560 | 591 |
| 561 function add() { | 592 function add() { |
| 562 return +(a + b); | 593 return +(a + b); |
| 563 } | 594 } |
| 564 | 595 |
| 565 return {add:add}; | 596 return {add:add}; |
| 566 } | 597 } |
| 567 | 598 |
| 568 var module = _WASMEXP_.instantiateModuleFromAsm(TestGlobalsWithInit.toString()); | 599 var module = _WASMEXP_.instantiateModuleFromAsm(TestGlobalsWithInit.toString()); |
| 569 module.__init__(); | 600 module.__init__(); |
| 570 assertEquals(77.5, module.add()); | 601 assertEquals(77.5, module.add()); |
| 571 | 602 |
| 603 |
| 572 function TestForLoop() { | 604 function TestForLoop() { |
| 573 "use asm" | 605 "use asm" |
| 574 | 606 |
| 575 function caller() { | 607 function caller() { |
| 576 var ret = 0; | 608 var ret = 0; |
| 577 var i = 0; | 609 var i = 0; |
| 578 for (i = 2; i <= 10; i = (i+1)|0) { | 610 for (i = 2; i <= 10; i = (i+1)|0) { |
| 579 ret = (ret + i) | 0; | 611 ret = (ret + i) | 0; |
| 580 } | 612 } |
| 581 return ret|0; | 613 return ret|0; |
| 582 } | 614 } |
| 583 | 615 |
| 584 return {caller:caller}; | 616 return {caller:caller}; |
| 585 } | 617 } |
| 586 | 618 |
| 587 assertEquals(54, _WASMEXP_.asmCompileRun(TestForLoop.toString())); | 619 assertEquals(54, _WASMEXP_.asmCompileRun(TestForLoop.toString())); |
| 588 | 620 |
| 621 |
| 589 function TestForLoopWithoutInit() { | 622 function TestForLoopWithoutInit() { |
| 590 "use asm" | 623 "use asm" |
| 591 | 624 |
| 592 function caller() { | 625 function caller() { |
| 593 var ret = 0; | 626 var ret = 0; |
| 594 var i = 0; | 627 var i = 0; |
| 595 for (; i < 10; i = (i+1)|0) { | 628 for (; i < 10; i = (i+1)|0) { |
| 596 ret = (ret + 10) | 0; | 629 ret = (ret + 10) | 0; |
| 597 } | 630 } |
| 598 return ret|0; | 631 return ret|0; |
| 599 } | 632 } |
| 600 | 633 |
| 601 return {caller:caller}; | 634 return {caller:caller}; |
| 602 } | 635 } |
| 603 | 636 |
| 604 assertEquals(100, _WASMEXP_.asmCompileRun(TestForLoopWithoutInit.toString())); | 637 assertEquals(100, _WASMEXP_.asmCompileRun(TestForLoopWithoutInit.toString())); |
| 605 | 638 |
| 639 |
| 606 function TestForLoopWithoutCondition() { | 640 function TestForLoopWithoutCondition() { |
| 607 "use asm" | 641 "use asm" |
| 608 | 642 |
| 609 function caller() { | 643 function caller() { |
| 610 var ret = 0; | 644 var ret = 0; |
| 611 var i = 0; | 645 var i = 0; |
| 612 for (i=1;; i = (i+1)|0) { | 646 for (i=1;; i = (i+1)|0) { |
| 613 ret = (ret + i) | 0; | 647 ret = (ret + i) | 0; |
| 614 if (i == 11) { | 648 if (i == 11) { |
| 615 break; | 649 break; |
| 616 } | 650 } |
| 617 } | 651 } |
| 618 return ret|0; | 652 return ret|0; |
| 619 } | 653 } |
| 620 | 654 |
| 621 return {caller:caller}; | 655 return {caller:caller}; |
| 622 } | 656 } |
| 623 | 657 |
| 624 assertEquals(66, _WASMEXP_.asmCompileRun(TestForLoopWithoutCondition.toString())
); | 658 assertEquals(66, _WASMEXP_.asmCompileRun(TestForLoopWithoutCondition.toString())
); |
| 625 | 659 |
| 660 |
| 626 function TestForLoopWithoutNext() { | 661 function TestForLoopWithoutNext() { |
| 627 "use asm" | 662 "use asm" |
| 628 | 663 |
| 629 function caller() { | 664 function caller() { |
| 630 var i = 0; | 665 var i = 0; |
| 631 for (i=1; i < 41;) { | 666 for (i=1; i < 41;) { |
| 632 i = (i + 1) | 0; | 667 i = (i + 1) | 0; |
| 633 } | 668 } |
| 634 return i|0; | 669 return i|0; |
| 635 } | 670 } |
| 636 | 671 |
| 637 return {caller:caller}; | 672 return {caller:caller}; |
| 638 } | 673 } |
| 639 | 674 |
| 640 assertEquals(41, _WASMEXP_.asmCompileRun(TestForLoopWithoutNext.toString())); | 675 assertEquals(41, _WASMEXP_.asmCompileRun(TestForLoopWithoutNext.toString())); |
| 641 | 676 |
| 677 |
| 642 function TestForLoopWithoutBody() { | 678 function TestForLoopWithoutBody() { |
| 643 "use asm" | 679 "use asm" |
| 644 | 680 |
| 645 function caller() { | 681 function caller() { |
| 646 var i = 0; | 682 var i = 0; |
| 647 for (i=1; i < 45 ; i = (i+1)|0) { | 683 for (i=1; i < 45 ; i = (i+1)|0) { |
| 648 } | 684 } |
| 649 return i|0; | 685 return i|0; |
| 650 } | 686 } |
| 651 | 687 |
| 652 return {caller:caller}; | 688 return {caller:caller}; |
| 653 } | 689 } |
| 654 | 690 |
| 655 assertEquals(45, _WASMEXP_.asmCompileRun(TestForLoopWithoutBody.toString())); | 691 assertEquals(45, _WASMEXP_.asmCompileRun(TestForLoopWithoutBody.toString())); |
| 656 | 692 |
| 693 |
| 657 function TestDoWhile() { | 694 function TestDoWhile() { |
| 658 "use asm" | 695 "use asm" |
| 659 | 696 |
| 660 function caller() { | 697 function caller() { |
| 661 var i = 0; | 698 var i = 0; |
| 662 var ret = 21; | 699 var ret = 21; |
| 663 do { | 700 do { |
| 664 ret = (ret + ret)|0; | 701 ret = (ret + ret)|0; |
| 665 i = (i + 1)|0; | 702 i = (i + 1)|0; |
| 666 } while (i < 2); | 703 } while (i < 2); |
| 667 return ret|0; | 704 return ret|0; |
| 668 } | 705 } |
| 669 | 706 |
| 670 return {caller:caller}; | 707 return {caller:caller}; |
| 671 } | 708 } |
| 672 | 709 |
| 673 assertEquals(84, _WASMEXP_.asmCompileRun(TestDoWhile.toString())); | 710 assertEquals(84, _WASMEXP_.asmCompileRun(TestDoWhile.toString())); |
| 674 | 711 |
| 712 |
| 675 function TestConditional() { | 713 function TestConditional() { |
| 676 "use asm" | 714 "use asm" |
| 677 | 715 |
| 678 function caller() { | 716 function caller() { |
| 679 var x = 1; | 717 var x = 1; |
| 680 return ((x > 0) ? 41 : 71)|0; | 718 return ((x > 0) ? 41 : 71)|0; |
| 681 } | 719 } |
| 682 | 720 |
| 683 return {caller:caller}; | 721 return {caller:caller}; |
| 684 } | 722 } |
| 685 | 723 |
| 686 assertEquals(41, _WASMEXP_.asmCompileRun(TestConditional.toString())); | 724 assertEquals(41, _WASMEXP_.asmCompileRun(TestConditional.toString())); |
| 687 | 725 |
| 726 |
| 688 function TestSwitch() { | 727 function TestSwitch() { |
| 689 "use asm" | 728 "use asm" |
| 690 | 729 |
| 691 function caller() { | 730 function caller() { |
| 692 var ret = 0; | 731 var ret = 0; |
| 693 var x = 7; | 732 var x = 7; |
| 694 switch (x) { | 733 switch (x) { |
| 695 case 1: return 0; | 734 case 1: return 0; |
| 696 case 7: { | 735 case 7: { |
| 697 ret = 12; | 736 ret = 12; |
| 698 break; | 737 break; |
| 699 } | 738 } |
| 700 default: return 0; | 739 default: return 0; |
| 701 } | 740 } |
| 702 switch (x) { | 741 switch (x) { |
| 703 case 1: return 0; | 742 case 1: return 0; |
| 704 case 8: return 0; | 743 case 8: return 0; |
| 705 default: ret = (ret + 11)|0; | 744 default: ret = (ret + 11)|0; |
| 706 } | 745 } |
| 707 return ret|0; | 746 return ret|0; |
| 708 } | 747 } |
| 709 | 748 |
| 710 return {caller:caller}; | 749 return {caller:caller}; |
| 711 } | 750 } |
| 712 | 751 |
| 713 assertEquals(23, _WASMEXP_.asmCompileRun(TestSwitch.toString())); | 752 assertEquals(23, _WASMEXP_.asmCompileRun(TestSwitch.toString())); |
| 714 | 753 |
| 754 |
| 715 function TestSwitchFallthrough() { | 755 function TestSwitchFallthrough() { |
| 716 "use asm" | 756 "use asm" |
| 717 | 757 |
| 718 function caller() { | 758 function caller() { |
| 719 var x = 17; | 759 var x = 17; |
| 720 var ret = 0; | 760 var ret = 0; |
| 721 switch (x) { | 761 switch (x) { |
| 722 case 17: | 762 case 17: |
| 723 case 14: ret = 39; | 763 case 14: ret = 39; |
| 724 case 1: ret = (ret + 3)|0; | 764 case 1: ret = (ret + 3)|0; |
| 725 case 4: break; | 765 case 4: break; |
| 726 default: ret = (ret + 1)|0; | 766 default: ret = (ret + 1)|0; |
| 727 } | 767 } |
| 728 return ret|0; | 768 return ret|0; |
| 729 } | 769 } |
| 730 | 770 |
| 731 return {caller:caller}; | 771 return {caller:caller}; |
| 732 } | 772 } |
| 733 | 773 |
| 734 assertEquals(42, _WASMEXP_.asmCompileRun(TestSwitchFallthrough.toString())); | 774 assertEquals(42, _WASMEXP_.asmCompileRun(TestSwitchFallthrough.toString())); |
| 735 | 775 |
| 776 |
| 736 function TestNestedSwitch() { | 777 function TestNestedSwitch() { |
| 737 "use asm" | 778 "use asm" |
| 738 | 779 |
| 739 function caller() { | 780 function caller() { |
| 740 var x = 3; | 781 var x = 3; |
| 741 var y = -13; | 782 var y = -13; |
| 742 switch (x) { | 783 switch (x) { |
| 743 case 1: return 0; | 784 case 1: return 0; |
| 744 case 3: { | 785 case 3: { |
| 745 switch (y) { | 786 switch (y) { |
| 746 case 2: return 0; | 787 case 2: return 0; |
| 747 case -13: return 43; | 788 case -13: return 43; |
| 748 default: return 0; | 789 default: return 0; |
| 749 } | 790 } |
| 750 } | 791 } |
| 751 default: return 0; | 792 default: return 0; |
| 752 } | 793 } |
| 753 return 0; | 794 return 0; |
| 754 } | 795 } |
| 755 | 796 |
| 756 return {caller:caller}; | 797 return {caller:caller}; |
| 757 } | 798 } |
| 758 | 799 |
| 759 assertEquals(43, _WASMEXP_.asmCompileRun(TestNestedSwitch.toString())); | 800 assertEquals(43, _WASMEXP_.asmCompileRun(TestNestedSwitch.toString())); |
| 760 | 801 |
| 802 |
| 761 function TestInitFunctionWithNoGlobals() { | 803 function TestInitFunctionWithNoGlobals() { |
| 762 "use asm"; | 804 "use asm"; |
| 763 function caller() { | 805 function caller() { |
| 764 return 51; | 806 return 51; |
| 765 } | 807 } |
| 766 return {caller}; | 808 return {caller}; |
| 767 } | 809 } |
| 768 | 810 |
| 769 var module = _WASMEXP_.instantiateModuleFromAsm( | 811 var module = _WASMEXP_.instantiateModuleFromAsm( |
| 770 TestInitFunctionWithNoGlobals.toString()); | 812 TestInitFunctionWithNoGlobals.toString()); |
| 771 module.__init__(); | 813 module.__init__(); |
| 772 assertEquals(51, module.caller()); | 814 assertEquals(51, module.caller()); |
| 773 | 815 |
| 816 |
| 774 function TestExportNameDifferentFromFunctionName() { | 817 function TestExportNameDifferentFromFunctionName() { |
| 775 "use asm"; | 818 "use asm"; |
| 776 function caller() { | 819 function caller() { |
| 777 return 55; | 820 return 55; |
| 778 } | 821 } |
| 779 return {alt_caller:caller}; | 822 return {alt_caller:caller}; |
| 780 } | 823 } |
| 781 | 824 |
| 782 var module = _WASMEXP_.instantiateModuleFromAsm( | 825 var module = _WASMEXP_.instantiateModuleFromAsm( |
| 783 TestExportNameDifferentFromFunctionName.toString()); | 826 TestExportNameDifferentFromFunctionName.toString()); |
| 784 module.__init__(); | 827 module.__init__(); |
| 785 assertEquals(55, module.alt_caller()); | 828 assertEquals(55, module.alt_caller()); |
| OLD | NEW |