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 #include "test/unittests/test-utils.h" | 5 #include "test/unittests/test-utils.h" |
6 | 6 |
7 #include "src/v8.h" | 7 #include "src/v8.h" |
8 | 8 |
9 #include "test/cctest/wasm/test-signatures.h" | 9 #include "test/cctest/wasm/test-signatures.h" |
10 | 10 |
(...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
54 static byte code[] = {__VA_ARGS__}; \ | 54 static byte code[] = {__VA_ARGS__}; \ |
55 Verify(kError, env, code, code + arraysize(code)); \ | 55 Verify(kError, env, code, code + arraysize(code)); \ |
56 } while (false) | 56 } while (false) |
57 | 57 |
58 #define VERIFY(...) \ | 58 #define VERIFY(...) \ |
59 do { \ | 59 do { \ |
60 static const byte code[] = {__VA_ARGS__}; \ | 60 static const byte code[] = {__VA_ARGS__}; \ |
61 Verify(kSuccess, &env_v_i, code, code + sizeof(code)); \ | 61 Verify(kSuccess, &env_v_i, code, code + sizeof(code)); \ |
62 } while (false) | 62 } while (false) |
63 | 63 |
64 | 64 class AstDecoderTest : public TestWithZone { |
65 class WasmDecoderTest : public TestWithZone { | |
66 public: | 65 public: |
67 WasmDecoderTest() : TestWithZone(), sigs() { | 66 AstDecoderTest() : TestWithZone(), sigs() { |
68 init_env(&env_i_i, sigs.i_i()); | 67 init_env(&env_i_i, sigs.i_i()); |
69 init_env(&env_v_v, sigs.v_v()); | 68 init_env(&env_v_v, sigs.v_v()); |
70 init_env(&env_v_i, sigs.v_i()); | 69 init_env(&env_v_i, sigs.v_i()); |
71 init_env(&env_i_f, sigs.i_f()); | 70 init_env(&env_i_f, sigs.i_f()); |
72 init_env(&env_i_d, sigs.i_d()); | 71 init_env(&env_i_d, sigs.i_d()); |
73 init_env(&env_l_l, sigs.l_l()); | 72 init_env(&env_l_l, sigs.l_l()); |
74 init_env(&env_f_ff, sigs.f_ff()); | 73 init_env(&env_f_ff, sigs.f_ff()); |
75 init_env(&env_d_dd, sigs.d_dd()); | 74 init_env(&env_d_dd, sigs.d_dd()); |
76 } | 75 } |
77 | 76 |
(...skipping 103 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
181 FunctionEnv env; | 180 FunctionEnv env; |
182 env.module = nullptr; | 181 env.module = nullptr; |
183 env.sig = sig; | 182 env.sig = sig; |
184 env.local_i32_count = count; | 183 env.local_i32_count = count; |
185 env.local_f64_count = 0; | 184 env.local_f64_count = 0; |
186 env.local_f32_count = 0; | 185 env.local_f32_count = 0; |
187 env.total_locals = static_cast<unsigned>(count + sig->parameter_count()); | 186 env.total_locals = static_cast<unsigned>(count + sig->parameter_count()); |
188 return env; | 187 return env; |
189 } | 188 } |
190 | 189 |
191 | 190 TEST_F(AstDecoderTest, Int8Const) { |
192 TEST_F(WasmDecoderTest, Int8Const) { | |
193 byte code[] = {kExprI8Const, 0}; | 191 byte code[] = {kExprI8Const, 0}; |
194 for (int i = -128; i < 128; i++) { | 192 for (int i = -128; i < 128; i++) { |
195 code[1] = static_cast<byte>(i); | 193 code[1] = static_cast<byte>(i); |
196 EXPECT_VERIFIES(&env_i_i, code); | 194 EXPECT_VERIFIES(&env_i_i, code); |
197 } | 195 } |
198 } | 196 } |
199 | 197 |
200 | 198 TEST_F(AstDecoderTest, EmptyFunction) { |
201 TEST_F(WasmDecoderTest, EmptyFunction) { | |
202 byte code[] = {0}; | 199 byte code[] = {0}; |
203 Verify(kSuccess, &env_v_v, code, code); | 200 Verify(kSuccess, &env_v_v, code, code); |
204 Verify(kError, &env_i_i, code, code); | 201 Verify(kError, &env_i_i, code, code); |
205 } | 202 } |
206 | 203 |
207 | 204 TEST_F(AstDecoderTest, IncompleteIf1) { |
208 TEST_F(WasmDecoderTest, IncompleteIf1) { | |
209 byte code[] = {kExprIf}; | 205 byte code[] = {kExprIf}; |
210 EXPECT_FAILURE(&env_v_v, code); | 206 EXPECT_FAILURE(&env_v_v, code); |
211 EXPECT_FAILURE(&env_i_i, code); | 207 EXPECT_FAILURE(&env_i_i, code); |
212 } | 208 } |
213 | 209 |
214 | 210 TEST_F(AstDecoderTest, IncompleteIf2) { |
215 TEST_F(WasmDecoderTest, IncompleteIf2) { | |
216 byte code[] = {kExprIf, kExprI8Const, 0}; | 211 byte code[] = {kExprIf, kExprI8Const, 0}; |
217 EXPECT_FAILURE(&env_v_v, code); | 212 EXPECT_FAILURE(&env_v_v, code); |
218 EXPECT_FAILURE(&env_i_i, code); | 213 EXPECT_FAILURE(&env_i_i, code); |
219 } | 214 } |
220 | 215 |
221 | 216 TEST_F(AstDecoderTest, Int8Const_fallthru) { |
222 TEST_F(WasmDecoderTest, Int8Const_fallthru) { | |
223 byte code[] = {kExprI8Const, 0, kExprI8Const, 1}; | 217 byte code[] = {kExprI8Const, 0, kExprI8Const, 1}; |
224 EXPECT_VERIFIES(&env_i_i, code); | 218 EXPECT_VERIFIES(&env_i_i, code); |
225 } | 219 } |
226 | 220 |
227 | 221 TEST_F(AstDecoderTest, Int32Const) { |
228 TEST_F(WasmDecoderTest, Int32Const) { | |
229 byte code[] = {kExprI32Const, 0, 0, 0, 0}; | 222 byte code[] = {kExprI32Const, 0, 0, 0, 0}; |
230 int32_t* ptr = reinterpret_cast<int32_t*>(code + 1); | 223 int32_t* ptr = reinterpret_cast<int32_t*>(code + 1); |
231 const int kInc = 4498211; | 224 const int kInc = 4498211; |
232 for (int32_t i = kMinInt; i < kMaxInt - kInc; i = i + kInc) { | 225 for (int32_t i = kMinInt; i < kMaxInt - kInc; i = i + kInc) { |
233 *ptr = i; | 226 *ptr = i; |
234 EXPECT_VERIFIES(&env_i_i, code); | 227 EXPECT_VERIFIES(&env_i_i, code); |
235 } | 228 } |
236 } | 229 } |
237 | 230 |
238 | 231 TEST_F(AstDecoderTest, Int8Const_fallthru2) { |
239 TEST_F(WasmDecoderTest, Int8Const_fallthru2) { | |
240 byte code[] = {kExprI8Const, 0, kExprI32Const, 1, 2, 3, 4}; | 232 byte code[] = {kExprI8Const, 0, kExprI32Const, 1, 2, 3, 4}; |
241 EXPECT_VERIFIES(&env_i_i, code); | 233 EXPECT_VERIFIES(&env_i_i, code); |
242 } | 234 } |
243 | 235 |
244 | 236 TEST_F(AstDecoderTest, Int64Const) { |
245 TEST_F(WasmDecoderTest, Int64Const) { | |
246 byte code[] = {kExprI64Const, 0, 0, 0, 0, 0, 0, 0, 0}; | 237 byte code[] = {kExprI64Const, 0, 0, 0, 0, 0, 0, 0, 0}; |
247 int64_t* ptr = reinterpret_cast<int64_t*>(code + 1); | 238 int64_t* ptr = reinterpret_cast<int64_t*>(code + 1); |
248 const int kInc = 4498211; | 239 const int kInc = 4498211; |
249 for (int32_t i = kMinInt; i < kMaxInt - kInc; i = i + kInc) { | 240 for (int32_t i = kMinInt; i < kMaxInt - kInc; i = i + kInc) { |
250 *ptr = (static_cast<int64_t>(i) << 32) | i; | 241 *ptr = (static_cast<int64_t>(i) << 32) | i; |
251 EXPECT_VERIFIES(&env_l_l, code); | 242 EXPECT_VERIFIES(&env_l_l, code); |
252 } | 243 } |
253 } | 244 } |
254 | 245 |
255 | 246 TEST_F(AstDecoderTest, Float32Const) { |
256 TEST_F(WasmDecoderTest, Float32Const) { | |
257 byte code[] = {kExprF32Const, 0, 0, 0, 0}; | 247 byte code[] = {kExprF32Const, 0, 0, 0, 0}; |
258 float* ptr = reinterpret_cast<float*>(code + 1); | 248 float* ptr = reinterpret_cast<float*>(code + 1); |
259 for (int i = 0; i < 30; i++) { | 249 for (int i = 0; i < 30; i++) { |
260 *ptr = i * -7.75f; | 250 *ptr = i * -7.75f; |
261 EXPECT_VERIFIES(&env_f_ff, code); | 251 EXPECT_VERIFIES(&env_f_ff, code); |
262 } | 252 } |
263 } | 253 } |
264 | 254 |
265 | 255 TEST_F(AstDecoderTest, Float64Const) { |
266 TEST_F(WasmDecoderTest, Float64Const) { | |
267 byte code[] = {kExprF64Const, 0, 0, 0, 0, 0, 0, 0, 0}; | 256 byte code[] = {kExprF64Const, 0, 0, 0, 0, 0, 0, 0, 0}; |
268 double* ptr = reinterpret_cast<double*>(code + 1); | 257 double* ptr = reinterpret_cast<double*>(code + 1); |
269 for (int i = 0; i < 30; i++) { | 258 for (int i = 0; i < 30; i++) { |
270 *ptr = i * 33.45; | 259 *ptr = i * 33.45; |
271 EXPECT_VERIFIES(&env_d_dd, code); | 260 EXPECT_VERIFIES(&env_d_dd, code); |
272 } | 261 } |
273 } | 262 } |
274 | 263 |
275 | 264 TEST_F(AstDecoderTest, Int32Const_off_end) { |
276 TEST_F(WasmDecoderTest, Int32Const_off_end) { | |
277 byte code[] = {kExprI32Const, 0xaa, 0xbb, 0xcc, 0x44}; | 265 byte code[] = {kExprI32Const, 0xaa, 0xbb, 0xcc, 0x44}; |
278 | 266 |
279 for (int size = 1; size <= 4; size++) { | 267 for (int size = 1; size <= 4; size++) { |
280 Verify(kError, &env_i_i, code, code + size); | 268 Verify(kError, &env_i_i, code, code + size); |
281 } | 269 } |
282 } | 270 } |
283 | 271 |
284 | 272 TEST_F(AstDecoderTest, GetLocal0_param) { |
285 TEST_F(WasmDecoderTest, GetLocal0_param) { | |
286 EXPECT_VERIFIES(&env_i_i, kCodeGetLocal0); | 273 EXPECT_VERIFIES(&env_i_i, kCodeGetLocal0); |
287 } | 274 } |
288 | 275 |
289 | 276 TEST_F(AstDecoderTest, GetLocal0_local) { |
290 TEST_F(WasmDecoderTest, GetLocal0_local) { | |
291 FunctionEnv env; | 277 FunctionEnv env; |
292 init_env(&env, sigs.i_v()); | 278 init_env(&env, sigs.i_v()); |
293 env.AddLocals(kAstI32, 1); | 279 env.AddLocals(kAstI32, 1); |
294 EXPECT_VERIFIES(&env, kCodeGetLocal0); | 280 EXPECT_VERIFIES(&env, kCodeGetLocal0); |
295 } | 281 } |
296 | 282 |
297 | 283 TEST_F(AstDecoderTest, GetLocal0_param_n) { |
298 TEST_F(WasmDecoderTest, GetLocal0_param_n) { | |
299 FunctionSig* array[] = {sigs.i_i(), sigs.i_ii(), sigs.i_iii()}; | 284 FunctionSig* array[] = {sigs.i_i(), sigs.i_ii(), sigs.i_iii()}; |
300 | 285 |
301 for (size_t i = 0; i < arraysize(array); i++) { | 286 for (size_t i = 0; i < arraysize(array); i++) { |
302 FunctionEnv env = CreateInt32FunctionEnv(array[i], 0); | 287 FunctionEnv env = CreateInt32FunctionEnv(array[i], 0); |
303 EXPECT_VERIFIES(&env, kCodeGetLocal0); | 288 EXPECT_VERIFIES(&env, kCodeGetLocal0); |
304 } | 289 } |
305 } | 290 } |
306 | 291 |
307 | 292 TEST_F(AstDecoderTest, GetLocalN_local) { |
308 TEST_F(WasmDecoderTest, GetLocalN_local) { | |
309 for (byte i = 1; i < 8; i++) { | 293 for (byte i = 1; i < 8; i++) { |
310 FunctionEnv env = CreateInt32FunctionEnv(sigs.i_v(), i); | 294 FunctionEnv env = CreateInt32FunctionEnv(sigs.i_v(), i); |
311 for (byte j = 0; j < i; j++) { | 295 for (byte j = 0; j < i; j++) { |
312 byte code[] = {kExprGetLocal, j}; | 296 byte code[] = {kExprGetLocal, j}; |
313 EXPECT_VERIFIES(&env, code); | 297 EXPECT_VERIFIES(&env, code); |
314 } | 298 } |
315 } | 299 } |
316 } | 300 } |
317 | 301 |
318 | 302 TEST_F(AstDecoderTest, GetLocal0_fail_no_params) { |
319 TEST_F(WasmDecoderTest, GetLocal0_fail_no_params) { | |
320 FunctionEnv env = CreateInt32FunctionEnv(sigs.i_v(), 0); | 303 FunctionEnv env = CreateInt32FunctionEnv(sigs.i_v(), 0); |
321 | 304 |
322 EXPECT_FAILURE(&env, kCodeGetLocal0); | 305 EXPECT_FAILURE(&env, kCodeGetLocal0); |
323 } | 306 } |
324 | 307 |
325 | 308 TEST_F(AstDecoderTest, GetLocal1_fail_no_locals) { |
326 TEST_F(WasmDecoderTest, GetLocal1_fail_no_locals) { | |
327 EXPECT_FAILURE(&env_i_i, kCodeGetLocal1); | 309 EXPECT_FAILURE(&env_i_i, kCodeGetLocal1); |
328 } | 310 } |
329 | 311 |
330 | 312 TEST_F(AstDecoderTest, GetLocal_off_end) { |
331 TEST_F(WasmDecoderTest, GetLocal_off_end) { | |
332 static const byte code[] = {kExprGetLocal}; | 313 static const byte code[] = {kExprGetLocal}; |
333 EXPECT_FAILURE(&env_i_i, code); | 314 EXPECT_FAILURE(&env_i_i, code); |
334 } | 315 } |
335 | 316 |
336 | 317 TEST_F(AstDecoderTest, GetLocal_varint) { |
337 TEST_F(WasmDecoderTest, GetLocal_varint) { | |
338 env_i_i.local_i32_count = 1000000000; | 318 env_i_i.local_i32_count = 1000000000; |
339 env_i_i.total_locals += 1000000000; | 319 env_i_i.total_locals += 1000000000; |
340 | 320 |
341 { | 321 { |
342 static const byte code[] = {kExprGetLocal, 0xFF, 0x01}; | 322 static const byte code[] = {kExprGetLocal, 0xFF, 0x01}; |
343 EXPECT_VERIFIES(&env_i_i, code); | 323 EXPECT_VERIFIES(&env_i_i, code); |
344 EXPECT_FAILURE(&env_i_f, code); | 324 EXPECT_FAILURE(&env_i_f, code); |
345 } | 325 } |
346 | 326 |
347 { | 327 { |
348 static const byte code[] = {kExprGetLocal, 0xF0, 0x80, 0x01}; | 328 static const byte code[] = {kExprGetLocal, 0xF0, 0x80, 0x01}; |
349 EXPECT_VERIFIES(&env_i_i, code); | 329 EXPECT_VERIFIES(&env_i_i, code); |
350 EXPECT_FAILURE(&env_i_f, code); | 330 EXPECT_FAILURE(&env_i_f, code); |
351 } | 331 } |
352 | 332 |
353 { | 333 { |
354 static const byte code[] = {kExprGetLocal, 0xF2, 0x81, 0x82, 0x01}; | 334 static const byte code[] = {kExprGetLocal, 0xF2, 0x81, 0x82, 0x01}; |
355 EXPECT_VERIFIES(&env_i_i, code); | 335 EXPECT_VERIFIES(&env_i_i, code); |
356 EXPECT_FAILURE(&env_i_f, code); | 336 EXPECT_FAILURE(&env_i_f, code); |
357 } | 337 } |
358 | 338 |
359 { | 339 { |
360 static const byte code[] = {kExprGetLocal, 0xF3, 0xA1, 0xB1, 0xC1, 0x01}; | 340 static const byte code[] = {kExprGetLocal, 0xF3, 0xA1, 0xB1, 0xC1, 0x01}; |
361 EXPECT_VERIFIES(&env_i_i, code); | 341 EXPECT_VERIFIES(&env_i_i, code); |
362 EXPECT_FAILURE(&env_i_f, code); | 342 EXPECT_FAILURE(&env_i_f, code); |
363 } | 343 } |
364 } | 344 } |
365 | 345 |
366 | 346 TEST_F(AstDecoderTest, Binops_off_end) { |
367 TEST_F(WasmDecoderTest, Binops_off_end) { | |
368 byte code1[] = {0}; // [opcode] | 347 byte code1[] = {0}; // [opcode] |
369 for (size_t i = 0; i < arraysize(kInt32BinopOpcodes); i++) { | 348 for (size_t i = 0; i < arraysize(kInt32BinopOpcodes); i++) { |
370 code1[0] = kInt32BinopOpcodes[i]; | 349 code1[0] = kInt32BinopOpcodes[i]; |
371 EXPECT_FAILURE(&env_i_i, code1); | 350 EXPECT_FAILURE(&env_i_i, code1); |
372 } | 351 } |
373 | 352 |
374 byte code3[] = {0, kExprGetLocal, 0}; // [opcode] [expr] | 353 byte code3[] = {0, kExprGetLocal, 0}; // [opcode] [expr] |
375 for (size_t i = 0; i < arraysize(kInt32BinopOpcodes); i++) { | 354 for (size_t i = 0; i < arraysize(kInt32BinopOpcodes); i++) { |
376 code3[0] = kInt32BinopOpcodes[i]; | 355 code3[0] = kInt32BinopOpcodes[i]; |
377 EXPECT_FAILURE(&env_i_i, code3); | 356 EXPECT_FAILURE(&env_i_i, code3); |
378 } | 357 } |
379 | 358 |
380 byte code4[] = {0, kExprGetLocal, 0, 0}; // [opcode] [expr] [opcode] | 359 byte code4[] = {0, kExprGetLocal, 0, 0}; // [opcode] [expr] [opcode] |
381 for (size_t i = 0; i < arraysize(kInt32BinopOpcodes); i++) { | 360 for (size_t i = 0; i < arraysize(kInt32BinopOpcodes); i++) { |
382 code4[0] = kInt32BinopOpcodes[i]; | 361 code4[0] = kInt32BinopOpcodes[i]; |
383 code4[3] = kInt32BinopOpcodes[i]; | 362 code4[3] = kInt32BinopOpcodes[i]; |
384 EXPECT_FAILURE(&env_i_i, code4); | 363 EXPECT_FAILURE(&env_i_i, code4); |
385 } | 364 } |
386 } | 365 } |
387 | 366 |
388 | 367 |
389 //=================================================================== | 368 //=================================================================== |
390 //== Statements | 369 //== Statements |
391 //=================================================================== | 370 //=================================================================== |
392 TEST_F(WasmDecoderTest, Nop) { | 371 TEST_F(AstDecoderTest, Nop) { |
393 static const byte code[] = {kExprNop}; | 372 static const byte code[] = {kExprNop}; |
394 EXPECT_VERIFIES(&env_v_v, code); | 373 EXPECT_VERIFIES(&env_v_v, code); |
395 } | 374 } |
396 | 375 |
397 | 376 TEST_F(AstDecoderTest, SetLocal0_param) { |
398 TEST_F(WasmDecoderTest, SetLocal0_param) { | |
399 static const byte code[] = {kExprSetLocal, 0, kExprI8Const, 0}; | 377 static const byte code[] = {kExprSetLocal, 0, kExprI8Const, 0}; |
400 EXPECT_VERIFIES(&env_i_i, code); | 378 EXPECT_VERIFIES(&env_i_i, code); |
401 } | 379 } |
402 | 380 |
403 | 381 TEST_F(AstDecoderTest, SetLocal0_local) { |
404 TEST_F(WasmDecoderTest, SetLocal0_local) { | |
405 byte code[] = {kExprSetLocal, 0, kExprI8Const, 0}; | 382 byte code[] = {kExprSetLocal, 0, kExprI8Const, 0}; |
406 FunctionEnv env = CreateInt32FunctionEnv(sigs.i_v(), 1); | 383 FunctionEnv env = CreateInt32FunctionEnv(sigs.i_v(), 1); |
407 | 384 |
408 EXPECT_VERIFIES(&env, code); | 385 EXPECT_VERIFIES(&env, code); |
409 } | 386 } |
410 | 387 |
411 | 388 TEST_F(AstDecoderTest, SetLocalN_local) { |
412 TEST_F(WasmDecoderTest, SetLocalN_local) { | |
413 for (byte i = 1; i < 8; i++) { | 389 for (byte i = 1; i < 8; i++) { |
414 FunctionEnv env = CreateInt32FunctionEnv(sigs.i_v(), i); | 390 FunctionEnv env = CreateInt32FunctionEnv(sigs.i_v(), i); |
415 for (byte j = 0; j < i; j++) { | 391 for (byte j = 0; j < i; j++) { |
416 byte code[] = {kExprSetLocal, j, kExprI8Const, i}; | 392 byte code[] = {kExprSetLocal, j, kExprI8Const, i}; |
417 EXPECT_VERIFIES(&env, code); | 393 EXPECT_VERIFIES(&env, code); |
418 } | 394 } |
419 } | 395 } |
420 } | 396 } |
421 | 397 |
422 | 398 TEST_F(AstDecoderTest, Block0) { |
423 TEST_F(WasmDecoderTest, Block0) { | |
424 static const byte code[] = {kExprBlock, 0}; | 399 static const byte code[] = {kExprBlock, 0}; |
425 EXPECT_VERIFIES(&env_v_v, code); | 400 EXPECT_VERIFIES(&env_v_v, code); |
426 } | 401 } |
427 | 402 |
428 | 403 TEST_F(AstDecoderTest, Block0_fallthru1) { |
429 TEST_F(WasmDecoderTest, Block0_fallthru1) { | |
430 static const byte code[] = {kExprBlock, 0, kExprBlock, 0}; | 404 static const byte code[] = {kExprBlock, 0, kExprBlock, 0}; |
431 EXPECT_VERIFIES(&env_v_v, code); | 405 EXPECT_VERIFIES(&env_v_v, code); |
432 } | 406 } |
433 | 407 |
434 | 408 TEST_F(AstDecoderTest, Block1) { |
435 TEST_F(WasmDecoderTest, Block1) { | |
436 static const byte code[] = {kExprBlock, 1, kExprSetLocal, 0, kExprI8Const, 0}; | 409 static const byte code[] = {kExprBlock, 1, kExprSetLocal, 0, kExprI8Const, 0}; |
437 EXPECT_VERIFIES(&env_i_i, code); | 410 EXPECT_VERIFIES(&env_i_i, code); |
438 } | 411 } |
439 | 412 |
440 | 413 TEST_F(AstDecoderTest, Block0_fallthru2) { |
441 TEST_F(WasmDecoderTest, Block0_fallthru2) { | |
442 static const byte code[] = {kExprBlock, 0, kExprSetLocal, 0, kExprI8Const, 0}; | 414 static const byte code[] = {kExprBlock, 0, kExprSetLocal, 0, kExprI8Const, 0}; |
443 EXPECT_VERIFIES(&env_i_i, code); | 415 EXPECT_VERIFIES(&env_i_i, code); |
444 } | 416 } |
445 | 417 |
446 | 418 TEST_F(AstDecoderTest, Block2) { |
447 TEST_F(WasmDecoderTest, Block2) { | |
448 static const byte code[] = {kExprBlock, 2, // -- | 419 static const byte code[] = {kExprBlock, 2, // -- |
449 kExprSetLocal, 0, kExprI8Const, 0, // -- | 420 kExprSetLocal, 0, kExprI8Const, 0, // -- |
450 kExprSetLocal, 0, kExprI8Const, 0}; // -- | 421 kExprSetLocal, 0, kExprI8Const, 0}; // -- |
451 EXPECT_VERIFIES(&env_i_i, code); | 422 EXPECT_VERIFIES(&env_i_i, code); |
452 } | 423 } |
453 | 424 |
454 | 425 TEST_F(AstDecoderTest, Block2_fallthru) { |
455 TEST_F(WasmDecoderTest, Block2_fallthru) { | |
456 static const byte code[] = {kExprBlock, 2, // -- | 426 static const byte code[] = {kExprBlock, 2, // -- |
457 kExprSetLocal, 0, kExprI8Const, 0, // -- | 427 kExprSetLocal, 0, kExprI8Const, 0, // -- |
458 kExprSetLocal, 0, kExprI8Const, 0, // -- | 428 kExprSetLocal, 0, kExprI8Const, 0, // -- |
459 kExprI8Const, 11}; // -- | 429 kExprI8Const, 11}; // -- |
460 EXPECT_VERIFIES(&env_i_i, code); | 430 EXPECT_VERIFIES(&env_i_i, code); |
461 } | 431 } |
462 | 432 |
463 | 433 TEST_F(AstDecoderTest, BlockN) { |
464 TEST_F(WasmDecoderTest, BlockN) { | |
465 byte block[] = {kExprBlock, 2}; | 434 byte block[] = {kExprBlock, 2}; |
466 | 435 |
467 for (size_t i = 0; i < 10; i++) { | 436 for (size_t i = 0; i < 10; i++) { |
468 size_t total = sizeof(block) + sizeof(kCodeSetLocal0) * i; | 437 size_t total = sizeof(block) + sizeof(kCodeSetLocal0) * i; |
469 byte* code = reinterpret_cast<byte*>(malloc(total)); | 438 byte* code = reinterpret_cast<byte*>(malloc(total)); |
470 memcpy(code, block, sizeof(block)); | 439 memcpy(code, block, sizeof(block)); |
471 code[1] = static_cast<byte>(i); | 440 code[1] = static_cast<byte>(i); |
472 for (size_t j = 0; j < i; j++) { | 441 for (size_t j = 0; j < i; j++) { |
473 memcpy(code + sizeof(block) + j * sizeof(kCodeSetLocal0), kCodeSetLocal0, | 442 memcpy(code + sizeof(block) + j * sizeof(kCodeSetLocal0), kCodeSetLocal0, |
474 sizeof(kCodeSetLocal0)); | 443 sizeof(kCodeSetLocal0)); |
475 } | 444 } |
476 Verify(kSuccess, &env_v_i, code, code + total); | 445 Verify(kSuccess, &env_v_i, code, code + total); |
477 free(code); | 446 free(code); |
478 } | 447 } |
479 } | 448 } |
480 | 449 |
481 | 450 TEST_F(AstDecoderTest, BlockN_off_end) { |
482 TEST_F(WasmDecoderTest, BlockN_off_end) { | |
483 for (byte i = 2; i < 10; i++) { | 451 for (byte i = 2; i < 10; i++) { |
484 byte code[] = {kExprBlock, i, kExprNop}; | 452 byte code[] = {kExprBlock, i, kExprNop}; |
485 EXPECT_FAILURE(&env_v_v, code); | 453 EXPECT_FAILURE(&env_v_v, code); |
486 } | 454 } |
487 } | 455 } |
488 | 456 |
489 | 457 TEST_F(AstDecoderTest, Block1_break) { |
490 TEST_F(WasmDecoderTest, Block1_break) { | |
491 static const byte code[] = {kExprBlock, 1, kExprBr, 0, kExprNop}; | 458 static const byte code[] = {kExprBlock, 1, kExprBr, 0, kExprNop}; |
492 EXPECT_VERIFIES(&env_v_v, code); | 459 EXPECT_VERIFIES(&env_v_v, code); |
493 } | 460 } |
494 | 461 |
495 | 462 TEST_F(AstDecoderTest, Block2_break) { |
496 TEST_F(WasmDecoderTest, Block2_break) { | |
497 static const byte code[] = {kExprBlock, 2, kExprNop, kExprBr, 0, kExprNop}; | 463 static const byte code[] = {kExprBlock, 2, kExprNop, kExprBr, 0, kExprNop}; |
498 EXPECT_VERIFIES(&env_v_v, code); | 464 EXPECT_VERIFIES(&env_v_v, code); |
499 } | 465 } |
500 | 466 |
501 | 467 TEST_F(AstDecoderTest, Block1_continue) { |
502 TEST_F(WasmDecoderTest, Block1_continue) { | |
503 static const byte code[] = {kExprBlock, 1, kExprBr, 1, kExprNop}; | 468 static const byte code[] = {kExprBlock, 1, kExprBr, 1, kExprNop}; |
504 EXPECT_FAILURE(&env_v_v, code); | 469 EXPECT_FAILURE(&env_v_v, code); |
505 } | 470 } |
506 | 471 |
507 | 472 TEST_F(AstDecoderTest, Block2_continue) { |
508 TEST_F(WasmDecoderTest, Block2_continue) { | |
509 static const byte code[] = {kExprBlock, 2, kExprNop, kExprBr, 1, kExprNop}; | 473 static const byte code[] = {kExprBlock, 2, kExprNop, kExprBr, 1, kExprNop}; |
510 EXPECT_FAILURE(&env_v_v, code); | 474 EXPECT_FAILURE(&env_v_v, code); |
511 } | 475 } |
512 | 476 |
513 | 477 TEST_F(AstDecoderTest, ExprBlock0) { |
514 TEST_F(WasmDecoderTest, ExprBlock0) { | |
515 static const byte code[] = {kExprBlock, 0}; | 478 static const byte code[] = {kExprBlock, 0}; |
516 EXPECT_VERIFIES(&env_v_v, code); | 479 EXPECT_VERIFIES(&env_v_v, code); |
517 } | 480 } |
518 | 481 |
519 | 482 TEST_F(AstDecoderTest, ExprBlock1a) { |
520 TEST_F(WasmDecoderTest, ExprBlock1a) { | |
521 static const byte code[] = {kExprBlock, 1, kExprI8Const, 0}; | 483 static const byte code[] = {kExprBlock, 1, kExprI8Const, 0}; |
522 EXPECT_VERIFIES(&env_i_i, code); | 484 EXPECT_VERIFIES(&env_i_i, code); |
523 } | 485 } |
524 | 486 |
525 | 487 TEST_F(AstDecoderTest, ExprBlock1b) { |
526 TEST_F(WasmDecoderTest, ExprBlock1b) { | |
527 static const byte code[] = {kExprBlock, 1, kExprI8Const, 0}; | 488 static const byte code[] = {kExprBlock, 1, kExprI8Const, 0}; |
528 EXPECT_FAILURE(&env_f_ff, code); | 489 EXPECT_FAILURE(&env_f_ff, code); |
529 } | 490 } |
530 | 491 |
531 | 492 TEST_F(AstDecoderTest, ExprBlock1c) { |
532 TEST_F(WasmDecoderTest, ExprBlock1c) { | |
533 static const byte code[] = {kExprBlock, 1, kExprF32Const, 0, 0, 0, 0}; | 493 static const byte code[] = {kExprBlock, 1, kExprF32Const, 0, 0, 0, 0}; |
534 EXPECT_VERIFIES(&env_f_ff, code); | 494 EXPECT_VERIFIES(&env_f_ff, code); |
535 } | 495 } |
536 | 496 |
537 | 497 TEST_F(AstDecoderTest, IfEmpty) { |
538 TEST_F(WasmDecoderTest, IfEmpty) { | |
539 static const byte code[] = {kExprIf, kExprGetLocal, 0, kExprNop}; | 498 static const byte code[] = {kExprIf, kExprGetLocal, 0, kExprNop}; |
540 EXPECT_VERIFIES(&env_v_i, code); | 499 EXPECT_VERIFIES(&env_v_i, code); |
541 } | 500 } |
542 | 501 |
543 | 502 TEST_F(AstDecoderTest, IfSet) { |
544 TEST_F(WasmDecoderTest, IfSet) { | |
545 static const byte code[] = {kExprIfElse, kExprGetLocal, 0, kExprSetLocal, | 503 static const byte code[] = {kExprIfElse, kExprGetLocal, 0, kExprSetLocal, |
546 0, kExprI8Const, 0, kExprNop}; | 504 0, kExprI8Const, 0, kExprNop}; |
547 EXPECT_VERIFIES(&env_v_i, code); | 505 EXPECT_VERIFIES(&env_v_i, code); |
548 } | 506 } |
549 | 507 |
550 | 508 TEST_F(AstDecoderTest, IfBlock1) { |
551 TEST_F(WasmDecoderTest, IfBlock1) { | |
552 static const byte code[] = {kExprIfElse, kExprGetLocal, 0, kExprBlock, | 509 static const byte code[] = {kExprIfElse, kExprGetLocal, 0, kExprBlock, |
553 1, kExprSetLocal, 0, kExprI8Const, | 510 1, kExprSetLocal, 0, kExprI8Const, |
554 0, kExprNop}; | 511 0, kExprNop}; |
555 EXPECT_VERIFIES(&env_v_i, code); | 512 EXPECT_VERIFIES(&env_v_i, code); |
556 } | 513 } |
557 | 514 |
558 | 515 TEST_F(AstDecoderTest, IfBlock2) { |
559 TEST_F(WasmDecoderTest, IfBlock2) { | |
560 static const byte code[] = {kExprIf, kExprGetLocal, 0, kExprBlock, | 516 static const byte code[] = {kExprIf, kExprGetLocal, 0, kExprBlock, |
561 2, kExprSetLocal, 0, kExprI8Const, | 517 2, kExprSetLocal, 0, kExprI8Const, |
562 0, kExprSetLocal, 0, kExprI8Const, | 518 0, kExprSetLocal, 0, kExprI8Const, |
563 0}; | 519 0}; |
564 EXPECT_VERIFIES(&env_v_i, code); | 520 EXPECT_VERIFIES(&env_v_i, code); |
565 } | 521 } |
566 | 522 |
567 | 523 TEST_F(AstDecoderTest, IfElseEmpty) { |
568 TEST_F(WasmDecoderTest, IfElseEmpty) { | |
569 static const byte code[] = {kExprIfElse, kExprGetLocal, 0, kExprNop, | 524 static const byte code[] = {kExprIfElse, kExprGetLocal, 0, kExprNop, |
570 kExprNop}; | 525 kExprNop}; |
571 EXPECT_VERIFIES(&env_v_i, code); | 526 EXPECT_VERIFIES(&env_v_i, code); |
572 } | 527 } |
573 | 528 |
574 | 529 TEST_F(AstDecoderTest, IfElseSet) { |
575 TEST_F(WasmDecoderTest, IfElseSet) { | |
576 static const byte code[] = {kExprIfElse, | 530 static const byte code[] = {kExprIfElse, |
577 kExprGetLocal, | 531 kExprGetLocal, |
578 0, // -- | 532 0, // -- |
579 kExprSetLocal, | 533 kExprSetLocal, |
580 0, | 534 0, |
581 kExprI8Const, | 535 kExprI8Const, |
582 0, // -- | 536 0, // -- |
583 kExprSetLocal, | 537 kExprSetLocal, |
584 0, | 538 0, |
585 kExprI8Const, | 539 kExprI8Const, |
586 1}; // -- | 540 1}; // -- |
587 EXPECT_VERIFIES(&env_v_i, code); | 541 EXPECT_VERIFIES(&env_v_i, code); |
588 } | 542 } |
589 | 543 |
590 | 544 TEST_F(AstDecoderTest, IfElseUnreachable) { |
591 TEST_F(WasmDecoderTest, IfElseUnreachable) { | |
592 static const byte code[] = {kExprIfElse, kExprI8Const, 0, | 545 static const byte code[] = {kExprIfElse, kExprI8Const, 0, |
593 kExprUnreachable, kExprGetLocal, 0}; | 546 kExprUnreachable, kExprGetLocal, 0}; |
594 | 547 |
595 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 548 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
596 LocalType types[] = {kAstI32, kLocalTypes[i]}; | 549 LocalType types[] = {kAstI32, kLocalTypes[i]}; |
597 FunctionEnv env; | 550 FunctionEnv env; |
598 FunctionSig sig(1, 1, types); | 551 FunctionSig sig(1, 1, types); |
599 init_env(&env, &sig); | 552 init_env(&env, &sig); |
600 | 553 |
601 if (kLocalTypes[i] == kAstI32) { | 554 if (kLocalTypes[i] == kAstI32) { |
602 EXPECT_VERIFIES(&env, code); | 555 EXPECT_VERIFIES(&env, code); |
603 } else { | 556 } else { |
604 EXPECT_FAILURE(&env, code); | 557 EXPECT_FAILURE(&env, code); |
605 } | 558 } |
606 } | 559 } |
607 } | 560 } |
608 | 561 |
609 | 562 TEST_F(AstDecoderTest, Loop0) { |
610 TEST_F(WasmDecoderTest, Loop0) { | |
611 static const byte code[] = {kExprLoop, 0}; | 563 static const byte code[] = {kExprLoop, 0}; |
612 EXPECT_VERIFIES(&env_v_v, code); | 564 EXPECT_VERIFIES(&env_v_v, code); |
613 } | 565 } |
614 | 566 |
615 | 567 TEST_F(AstDecoderTest, Loop1) { |
616 TEST_F(WasmDecoderTest, Loop1) { | |
617 static const byte code[] = {kExprLoop, 1, kExprSetLocal, 0, kExprI8Const, 0}; | 568 static const byte code[] = {kExprLoop, 1, kExprSetLocal, 0, kExprI8Const, 0}; |
618 EXPECT_VERIFIES(&env_v_i, code); | 569 EXPECT_VERIFIES(&env_v_i, code); |
619 } | 570 } |
620 | 571 |
621 | 572 TEST_F(AstDecoderTest, Loop2) { |
622 TEST_F(WasmDecoderTest, Loop2) { | |
623 static const byte code[] = {kExprLoop, 2, // -- | 573 static const byte code[] = {kExprLoop, 2, // -- |
624 kExprSetLocal, 0, kExprI8Const, 0, // -- | 574 kExprSetLocal, 0, kExprI8Const, 0, // -- |
625 kExprSetLocal, 0, kExprI8Const, 0}; // -- | 575 kExprSetLocal, 0, kExprI8Const, 0}; // -- |
626 EXPECT_VERIFIES(&env_v_i, code); | 576 EXPECT_VERIFIES(&env_v_i, code); |
627 } | 577 } |
628 | 578 |
629 | 579 TEST_F(AstDecoderTest, Loop1_continue) { |
630 TEST_F(WasmDecoderTest, Loop1_continue) { | |
631 static const byte code[] = {kExprLoop, 1, kExprBr, 0, kExprNop}; | 580 static const byte code[] = {kExprLoop, 1, kExprBr, 0, kExprNop}; |
632 EXPECT_VERIFIES(&env_v_v, code); | 581 EXPECT_VERIFIES(&env_v_v, code); |
633 } | 582 } |
634 | 583 |
635 | 584 TEST_F(AstDecoderTest, Loop1_break) { |
636 TEST_F(WasmDecoderTest, Loop1_break) { | |
637 static const byte code[] = {kExprLoop, 1, kExprBr, 1, kExprNop}; | 585 static const byte code[] = {kExprLoop, 1, kExprBr, 1, kExprNop}; |
638 EXPECT_VERIFIES(&env_v_v, code); | 586 EXPECT_VERIFIES(&env_v_v, code); |
639 } | 587 } |
640 | 588 |
641 | 589 TEST_F(AstDecoderTest, Loop2_continue) { |
642 TEST_F(WasmDecoderTest, Loop2_continue) { | |
643 static const byte code[] = {kExprLoop, 2, // -- | 590 static const byte code[] = {kExprLoop, 2, // -- |
644 kExprSetLocal, 0, kExprI8Const, 0, // -- | 591 kExprSetLocal, 0, kExprI8Const, 0, // -- |
645 kExprBr, 0, kExprNop}; // -- | 592 kExprBr, 0, kExprNop}; // -- |
646 EXPECT_VERIFIES(&env_v_i, code); | 593 EXPECT_VERIFIES(&env_v_i, code); |
647 } | 594 } |
648 | 595 |
649 | 596 TEST_F(AstDecoderTest, Loop2_break) { |
650 TEST_F(WasmDecoderTest, Loop2_break) { | |
651 static const byte code[] = {kExprLoop, 2, // -- | 597 static const byte code[] = {kExprLoop, 2, // -- |
652 kExprSetLocal, 0, kExprI8Const, 0, // -- | 598 kExprSetLocal, 0, kExprI8Const, 0, // -- |
653 kExprBr, 1, kExprNop}; // -- | 599 kExprBr, 1, kExprNop}; // -- |
654 EXPECT_VERIFIES(&env_v_i, code); | 600 EXPECT_VERIFIES(&env_v_i, code); |
655 } | 601 } |
656 | 602 |
657 | 603 TEST_F(AstDecoderTest, ExprLoop0) { |
658 TEST_F(WasmDecoderTest, ExprLoop0) { | |
659 static const byte code[] = {kExprLoop, 0}; | 604 static const byte code[] = {kExprLoop, 0}; |
660 EXPECT_VERIFIES(&env_v_v, code); | 605 EXPECT_VERIFIES(&env_v_v, code); |
661 } | 606 } |
662 | 607 |
663 | 608 TEST_F(AstDecoderTest, ExprLoop1a) { |
664 TEST_F(WasmDecoderTest, ExprLoop1a) { | |
665 static const byte code[] = {kExprLoop, 1, kExprBr, 0, kExprI8Const, 0}; | 609 static const byte code[] = {kExprLoop, 1, kExprBr, 0, kExprI8Const, 0}; |
666 EXPECT_VERIFIES(&env_i_i, code); | 610 EXPECT_VERIFIES(&env_i_i, code); |
667 } | 611 } |
668 | 612 |
669 | 613 TEST_F(AstDecoderTest, ExprLoop1b) { |
670 TEST_F(WasmDecoderTest, ExprLoop1b) { | |
671 static const byte code[] = {kExprLoop, 1, kExprBr, 0, kExprI8Const, 0}; | 614 static const byte code[] = {kExprLoop, 1, kExprBr, 0, kExprI8Const, 0}; |
672 EXPECT_VERIFIES(&env_i_i, code); | 615 EXPECT_VERIFIES(&env_i_i, code); |
673 } | 616 } |
674 | 617 |
675 | 618 TEST_F(AstDecoderTest, ExprLoop2_unreachable) { |
676 TEST_F(WasmDecoderTest, ExprLoop2_unreachable) { | |
677 static const byte code[] = {kExprLoop, 2, kExprBr, 0, | 619 static const byte code[] = {kExprLoop, 2, kExprBr, 0, |
678 kExprI8Const, 0, kExprNop}; | 620 kExprI8Const, 0, kExprNop}; |
679 EXPECT_VERIFIES(&env_i_i, code); | 621 EXPECT_VERIFIES(&env_i_i, code); |
680 } | 622 } |
681 | 623 |
682 | 624 TEST_F(AstDecoderTest, ReturnVoid1) { |
683 TEST_F(WasmDecoderTest, ReturnVoid1) { | |
684 static const byte code[] = {kExprNop}; | 625 static const byte code[] = {kExprNop}; |
685 EXPECT_VERIFIES(&env_v_v, code); | 626 EXPECT_VERIFIES(&env_v_v, code); |
686 EXPECT_FAILURE(&env_i_i, code); | 627 EXPECT_FAILURE(&env_i_i, code); |
687 EXPECT_FAILURE(&env_i_f, code); | 628 EXPECT_FAILURE(&env_i_f, code); |
688 } | 629 } |
689 | 630 |
690 | 631 TEST_F(AstDecoderTest, ReturnVoid2) { |
691 TEST_F(WasmDecoderTest, ReturnVoid2) { | |
692 static const byte code[] = {kExprBlock, 1, kExprBr, 0, kExprNop}; | 632 static const byte code[] = {kExprBlock, 1, kExprBr, 0, kExprNop}; |
693 EXPECT_VERIFIES(&env_v_v, code); | 633 EXPECT_VERIFIES(&env_v_v, code); |
694 EXPECT_FAILURE(&env_i_i, code); | 634 EXPECT_FAILURE(&env_i_i, code); |
695 EXPECT_FAILURE(&env_i_f, code); | 635 EXPECT_FAILURE(&env_i_f, code); |
696 } | 636 } |
697 | 637 |
698 | 638 TEST_F(AstDecoderTest, ReturnVoid3) { |
699 TEST_F(WasmDecoderTest, ReturnVoid3) { | |
700 EXPECT_VERIFIES_INLINE(&env_v_v, kExprI8Const, 0); | 639 EXPECT_VERIFIES_INLINE(&env_v_v, kExprI8Const, 0); |
701 EXPECT_VERIFIES_INLINE(&env_v_v, kExprI32Const, 0, 0, 0, 0); | 640 EXPECT_VERIFIES_INLINE(&env_v_v, kExprI32Const, 0, 0, 0, 0); |
702 EXPECT_VERIFIES_INLINE(&env_v_v, kExprI64Const, 0, 0, 0, 0, 0, 0, 0, 0); | 641 EXPECT_VERIFIES_INLINE(&env_v_v, kExprI64Const, 0, 0, 0, 0, 0, 0, 0, 0); |
703 EXPECT_VERIFIES_INLINE(&env_v_v, kExprF32Const, 0, 0, 0, 0); | 642 EXPECT_VERIFIES_INLINE(&env_v_v, kExprF32Const, 0, 0, 0, 0); |
704 EXPECT_VERIFIES_INLINE(&env_v_v, kExprF64Const, 0, 0, 0, 0, 0, 0, 0, 0); | 643 EXPECT_VERIFIES_INLINE(&env_v_v, kExprF64Const, 0, 0, 0, 0, 0, 0, 0, 0); |
705 | 644 |
706 EXPECT_VERIFIES_INLINE(&env_v_i, kExprGetLocal, 0); | 645 EXPECT_VERIFIES_INLINE(&env_v_i, kExprGetLocal, 0); |
707 } | 646 } |
708 | 647 |
709 | 648 TEST_F(AstDecoderTest, Unreachable1) { |
710 TEST_F(WasmDecoderTest, Unreachable1) { | |
711 EXPECT_VERIFIES_INLINE(&env_v_v, kExprUnreachable); | 649 EXPECT_VERIFIES_INLINE(&env_v_v, kExprUnreachable); |
712 EXPECT_VERIFIES_INLINE(&env_v_v, kExprUnreachable, kExprUnreachable); | 650 EXPECT_VERIFIES_INLINE(&env_v_v, kExprUnreachable, kExprUnreachable); |
713 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(2, WASM_UNREACHABLE, WASM_ZERO)); | 651 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(2, WASM_UNREACHABLE, WASM_ZERO)); |
714 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(2, WASM_BR(0), WASM_ZERO)); | 652 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(2, WASM_BR(0), WASM_ZERO)); |
715 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(2, WASM_UNREACHABLE, WASM_ZERO)); | 653 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(2, WASM_UNREACHABLE, WASM_ZERO)); |
716 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(2, WASM_BR(0), WASM_ZERO)); | 654 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(2, WASM_BR(0), WASM_ZERO)); |
717 } | 655 } |
718 | 656 |
719 | 657 TEST_F(AstDecoderTest, Codeiness) { |
720 TEST_F(WasmDecoderTest, Codeiness) { | |
721 VERIFY(kExprLoop, 2, // -- | 658 VERIFY(kExprLoop, 2, // -- |
722 kExprSetLocal, 0, kExprI8Const, 0, // -- | 659 kExprSetLocal, 0, kExprI8Const, 0, // -- |
723 kExprBr, 0, kExprNop); // -- | 660 kExprBr, 0, kExprNop); // -- |
724 } | 661 } |
725 | 662 |
726 | 663 TEST_F(AstDecoderTest, ExprIf1) { |
727 TEST_F(WasmDecoderTest, ExprIf1) { | |
728 VERIFY(kExprIf, kExprGetLocal, 0, kExprI8Const, 0, kExprI8Const, 1); | 664 VERIFY(kExprIf, kExprGetLocal, 0, kExprI8Const, 0, kExprI8Const, 1); |
729 VERIFY(kExprIf, kExprGetLocal, 0, kExprGetLocal, 0, kExprGetLocal, 0); | 665 VERIFY(kExprIf, kExprGetLocal, 0, kExprGetLocal, 0, kExprGetLocal, 0); |
730 VERIFY(kExprIf, kExprGetLocal, 0, kExprI32Add, kExprGetLocal, 0, | 666 VERIFY(kExprIf, kExprGetLocal, 0, kExprI32Add, kExprGetLocal, 0, |
731 kExprGetLocal, 0, kExprI8Const, 1); | 667 kExprGetLocal, 0, kExprI8Const, 1); |
732 } | 668 } |
733 | 669 |
734 | 670 TEST_F(AstDecoderTest, ExprIf_off_end) { |
735 TEST_F(WasmDecoderTest, ExprIf_off_end) { | |
736 static const byte kCode[] = {kExprIf, kExprGetLocal, 0, kExprGetLocal, | 671 static const byte kCode[] = {kExprIf, kExprGetLocal, 0, kExprGetLocal, |
737 0, kExprGetLocal, 0}; | 672 0, kExprGetLocal, 0}; |
738 for (size_t len = 1; len < arraysize(kCode); len++) { | 673 for (size_t len = 1; len < arraysize(kCode); len++) { |
739 Verify(kError, &env_i_i, kCode, kCode + len); | 674 Verify(kError, &env_i_i, kCode, kCode + len); |
740 } | 675 } |
741 } | 676 } |
742 | 677 |
743 | 678 TEST_F(AstDecoderTest, ExprIf_type) { |
744 TEST_F(WasmDecoderTest, ExprIf_type) { | |
745 { | 679 { |
746 // float|double ? 1 : 2 | 680 // float|double ? 1 : 2 |
747 static const byte kCode[] = {kExprIfElse, kExprGetLocal, 0, kExprI8Const, | 681 static const byte kCode[] = {kExprIfElse, kExprGetLocal, 0, kExprI8Const, |
748 1, kExprI8Const, 2}; | 682 1, kExprI8Const, 2}; |
749 EXPECT_FAILURE(&env_i_f, kCode); | 683 EXPECT_FAILURE(&env_i_f, kCode); |
750 EXPECT_FAILURE(&env_i_d, kCode); | 684 EXPECT_FAILURE(&env_i_d, kCode); |
751 } | 685 } |
752 { | 686 { |
753 // 1 ? float|double : 2 | 687 // 1 ? float|double : 2 |
754 static const byte kCode[] = {kExprIfElse, kExprI8Const, 1, kExprGetLocal, | 688 static const byte kCode[] = {kExprIfElse, kExprI8Const, 1, kExprGetLocal, |
(...skipping 14 matching lines...) Expand all Loading... |
769 EXPECT_FAILURE(&env_i_i, kCode); | 703 EXPECT_FAILURE(&env_i_i, kCode); |
770 } | 704 } |
771 { | 705 { |
772 // 0 ? 1 : stmt | 706 // 0 ? 1 : stmt |
773 static const byte kCode[] = {kExprIfElse, kExprI8Const, 0, kExprI8Const, 1, | 707 static const byte kCode[] = {kExprIfElse, kExprI8Const, 0, kExprI8Const, 1, |
774 0, kExprBlock}; | 708 0, kExprBlock}; |
775 EXPECT_FAILURE(&env_i_i, kCode); | 709 EXPECT_FAILURE(&env_i_i, kCode); |
776 } | 710 } |
777 } | 711 } |
778 | 712 |
779 | 713 TEST_F(AstDecoderTest, Int64Local_param) { |
780 TEST_F(WasmDecoderTest, Int64Local_param) { | |
781 EXPECT_VERIFIES(&env_l_l, kCodeGetLocal0); | 714 EXPECT_VERIFIES(&env_l_l, kCodeGetLocal0); |
782 } | 715 } |
783 | 716 |
784 | 717 TEST_F(AstDecoderTest, Int64Locals) { |
785 TEST_F(WasmDecoderTest, Int64Locals) { | |
786 for (byte i = 1; i < 8; i++) { | 718 for (byte i = 1; i < 8; i++) { |
787 FunctionEnv env; | 719 FunctionEnv env; |
788 init_env(&env, sigs.l_v()); | 720 init_env(&env, sigs.l_v()); |
789 env.AddLocals(kAstI64, i); | 721 env.AddLocals(kAstI64, i); |
790 for (byte j = 0; j < i; j++) { | 722 for (byte j = 0; j < i; j++) { |
791 byte code[] = {kExprGetLocal, j}; | 723 byte code[] = {kExprGetLocal, j}; |
792 EXPECT_VERIFIES(&env, code); | 724 EXPECT_VERIFIES(&env, code); |
793 } | 725 } |
794 } | 726 } |
795 } | 727 } |
796 | 728 |
797 | 729 TEST_F(AstDecoderTest, Int32Binops) { |
798 TEST_F(WasmDecoderTest, Int32Binops) { | |
799 TestBinop(kExprI32Add, sigs.i_ii()); | 730 TestBinop(kExprI32Add, sigs.i_ii()); |
800 TestBinop(kExprI32Sub, sigs.i_ii()); | 731 TestBinop(kExprI32Sub, sigs.i_ii()); |
801 TestBinop(kExprI32Mul, sigs.i_ii()); | 732 TestBinop(kExprI32Mul, sigs.i_ii()); |
802 TestBinop(kExprI32DivS, sigs.i_ii()); | 733 TestBinop(kExprI32DivS, sigs.i_ii()); |
803 TestBinop(kExprI32DivU, sigs.i_ii()); | 734 TestBinop(kExprI32DivU, sigs.i_ii()); |
804 TestBinop(kExprI32RemS, sigs.i_ii()); | 735 TestBinop(kExprI32RemS, sigs.i_ii()); |
805 TestBinop(kExprI32RemU, sigs.i_ii()); | 736 TestBinop(kExprI32RemU, sigs.i_ii()); |
806 TestBinop(kExprI32And, sigs.i_ii()); | 737 TestBinop(kExprI32And, sigs.i_ii()); |
807 TestBinop(kExprI32Ior, sigs.i_ii()); | 738 TestBinop(kExprI32Ior, sigs.i_ii()); |
808 TestBinop(kExprI32Xor, sigs.i_ii()); | 739 TestBinop(kExprI32Xor, sigs.i_ii()); |
809 TestBinop(kExprI32Shl, sigs.i_ii()); | 740 TestBinop(kExprI32Shl, sigs.i_ii()); |
810 TestBinop(kExprI32ShrU, sigs.i_ii()); | 741 TestBinop(kExprI32ShrU, sigs.i_ii()); |
811 TestBinop(kExprI32ShrS, sigs.i_ii()); | 742 TestBinop(kExprI32ShrS, sigs.i_ii()); |
812 TestBinop(kExprI32Eq, sigs.i_ii()); | 743 TestBinop(kExprI32Eq, sigs.i_ii()); |
813 TestBinop(kExprI32LtS, sigs.i_ii()); | 744 TestBinop(kExprI32LtS, sigs.i_ii()); |
814 TestBinop(kExprI32LeS, sigs.i_ii()); | 745 TestBinop(kExprI32LeS, sigs.i_ii()); |
815 TestBinop(kExprI32LtU, sigs.i_ii()); | 746 TestBinop(kExprI32LtU, sigs.i_ii()); |
816 TestBinop(kExprI32LeU, sigs.i_ii()); | 747 TestBinop(kExprI32LeU, sigs.i_ii()); |
817 } | 748 } |
818 | 749 |
819 | 750 TEST_F(AstDecoderTest, DoubleBinops) { |
820 TEST_F(WasmDecoderTest, DoubleBinops) { | |
821 TestBinop(kExprF64Add, sigs.d_dd()); | 751 TestBinop(kExprF64Add, sigs.d_dd()); |
822 TestBinop(kExprF64Sub, sigs.d_dd()); | 752 TestBinop(kExprF64Sub, sigs.d_dd()); |
823 TestBinop(kExprF64Mul, sigs.d_dd()); | 753 TestBinop(kExprF64Mul, sigs.d_dd()); |
824 TestBinop(kExprF64Div, sigs.d_dd()); | 754 TestBinop(kExprF64Div, sigs.d_dd()); |
825 | 755 |
826 TestBinop(kExprF64Eq, sigs.i_dd()); | 756 TestBinop(kExprF64Eq, sigs.i_dd()); |
827 TestBinop(kExprF64Lt, sigs.i_dd()); | 757 TestBinop(kExprF64Lt, sigs.i_dd()); |
828 TestBinop(kExprF64Le, sigs.i_dd()); | 758 TestBinop(kExprF64Le, sigs.i_dd()); |
829 } | 759 } |
830 | 760 |
831 | 761 TEST_F(AstDecoderTest, FloatBinops) { |
832 TEST_F(WasmDecoderTest, FloatBinops) { | |
833 TestBinop(kExprF32Add, sigs.f_ff()); | 762 TestBinop(kExprF32Add, sigs.f_ff()); |
834 TestBinop(kExprF32Sub, sigs.f_ff()); | 763 TestBinop(kExprF32Sub, sigs.f_ff()); |
835 TestBinop(kExprF32Mul, sigs.f_ff()); | 764 TestBinop(kExprF32Mul, sigs.f_ff()); |
836 TestBinop(kExprF32Div, sigs.f_ff()); | 765 TestBinop(kExprF32Div, sigs.f_ff()); |
837 | 766 |
838 TestBinop(kExprF32Eq, sigs.i_ff()); | 767 TestBinop(kExprF32Eq, sigs.i_ff()); |
839 TestBinop(kExprF32Lt, sigs.i_ff()); | 768 TestBinop(kExprF32Lt, sigs.i_ff()); |
840 TestBinop(kExprF32Le, sigs.i_ff()); | 769 TestBinop(kExprF32Le, sigs.i_ff()); |
841 } | 770 } |
842 | 771 |
843 | 772 TEST_F(AstDecoderTest, TypeConversions) { |
844 TEST_F(WasmDecoderTest, TypeConversions) { | |
845 TestUnop(kExprI32SConvertF32, kAstI32, kAstF32); | 773 TestUnop(kExprI32SConvertF32, kAstI32, kAstF32); |
846 TestUnop(kExprI32SConvertF64, kAstI32, kAstF64); | 774 TestUnop(kExprI32SConvertF64, kAstI32, kAstF64); |
847 TestUnop(kExprI32UConvertF32, kAstI32, kAstF32); | 775 TestUnop(kExprI32UConvertF32, kAstI32, kAstF32); |
848 TestUnop(kExprI32UConvertF64, kAstI32, kAstF64); | 776 TestUnop(kExprI32UConvertF64, kAstI32, kAstF64); |
849 TestUnop(kExprF64SConvertI32, kAstF64, kAstI32); | 777 TestUnop(kExprF64SConvertI32, kAstF64, kAstI32); |
850 TestUnop(kExprF64UConvertI32, kAstF64, kAstI32); | 778 TestUnop(kExprF64UConvertI32, kAstF64, kAstI32); |
851 TestUnop(kExprF64ConvertF32, kAstF64, kAstF32); | 779 TestUnop(kExprF64ConvertF32, kAstF64, kAstF32); |
852 TestUnop(kExprF32SConvertI32, kAstF32, kAstI32); | 780 TestUnop(kExprF32SConvertI32, kAstF32, kAstI32); |
853 TestUnop(kExprF32UConvertI32, kAstF32, kAstI32); | 781 TestUnop(kExprF32UConvertI32, kAstF32, kAstI32); |
854 TestUnop(kExprF32ConvertF64, kAstF32, kAstF64); | 782 TestUnop(kExprF32ConvertF64, kAstF32, kAstF64); |
855 } | 783 } |
856 | 784 |
857 | 785 TEST_F(AstDecoderTest, MacrosStmt) { |
858 TEST_F(WasmDecoderTest, MacrosStmt) { | |
859 VERIFY(WASM_SET_LOCAL(0, WASM_I32(87348))); | 786 VERIFY(WASM_SET_LOCAL(0, WASM_I32(87348))); |
860 VERIFY(WASM_STORE_MEM(MachineType::Int32(), WASM_I8(24), WASM_I8(40))); | 787 VERIFY(WASM_STORE_MEM(MachineType::Int32(), WASM_I8(24), WASM_I8(40))); |
861 VERIFY(WASM_IF(WASM_GET_LOCAL(0), WASM_NOP)); | 788 VERIFY(WASM_IF(WASM_GET_LOCAL(0), WASM_NOP)); |
862 VERIFY(WASM_IF_ELSE(WASM_GET_LOCAL(0), WASM_NOP, WASM_NOP)); | 789 VERIFY(WASM_IF_ELSE(WASM_GET_LOCAL(0), WASM_NOP, WASM_NOP)); |
863 VERIFY(WASM_NOP); | 790 VERIFY(WASM_NOP); |
864 VERIFY(WASM_BLOCK(1, WASM_NOP)); | 791 VERIFY(WASM_BLOCK(1, WASM_NOP)); |
865 VERIFY(WASM_LOOP(1, WASM_NOP)); | 792 VERIFY(WASM_LOOP(1, WASM_NOP)); |
866 VERIFY(WASM_LOOP(1, WASM_BREAK(0))); | 793 VERIFY(WASM_LOOP(1, WASM_BREAK(0))); |
867 VERIFY(WASM_LOOP(1, WASM_CONTINUE(0))); | 794 VERIFY(WASM_LOOP(1, WASM_CONTINUE(0))); |
868 } | 795 } |
869 | 796 |
870 | 797 TEST_F(AstDecoderTest, MacrosBreak) { |
871 TEST_F(WasmDecoderTest, MacrosBreak) { | |
872 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BREAK(0))); | 798 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BREAK(0))); |
873 | 799 |
874 EXPECT_VERIFIES_INLINE(&env_i_i, WASM_LOOP(1, WASM_BREAKV(0, WASM_ZERO))); | 800 EXPECT_VERIFIES_INLINE(&env_i_i, WASM_LOOP(1, WASM_BREAKV(0, WASM_ZERO))); |
875 EXPECT_VERIFIES_INLINE(&env_l_l, WASM_LOOP(1, WASM_BREAKV(0, WASM_I64(0)))); | 801 EXPECT_VERIFIES_INLINE(&env_l_l, WASM_LOOP(1, WASM_BREAKV(0, WASM_I64(0)))); |
876 EXPECT_VERIFIES_INLINE(&env_f_ff, | 802 EXPECT_VERIFIES_INLINE(&env_f_ff, |
877 WASM_LOOP(1, WASM_BREAKV(0, WASM_F32(0.0)))); | 803 WASM_LOOP(1, WASM_BREAKV(0, WASM_F32(0.0)))); |
878 EXPECT_VERIFIES_INLINE(&env_d_dd, | 804 EXPECT_VERIFIES_INLINE(&env_d_dd, |
879 WASM_LOOP(1, WASM_BREAKV(0, WASM_F64(0.0)))); | 805 WASM_LOOP(1, WASM_BREAKV(0, WASM_F64(0.0)))); |
880 } | 806 } |
881 | 807 |
882 | 808 TEST_F(AstDecoderTest, MacrosContinue) { |
883 TEST_F(WasmDecoderTest, MacrosContinue) { | |
884 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_CONTINUE(0))); | 809 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_CONTINUE(0))); |
885 } | 810 } |
886 | 811 |
887 | 812 TEST_F(AstDecoderTest, MacrosVariadic) { |
888 TEST_F(WasmDecoderTest, MacrosVariadic) { | |
889 VERIFY(WASM_BLOCK(2, WASM_NOP, WASM_NOP)); | 813 VERIFY(WASM_BLOCK(2, WASM_NOP, WASM_NOP)); |
890 VERIFY(WASM_BLOCK(3, WASM_NOP, WASM_NOP, WASM_NOP)); | 814 VERIFY(WASM_BLOCK(3, WASM_NOP, WASM_NOP, WASM_NOP)); |
891 VERIFY(WASM_LOOP(2, WASM_NOP, WASM_NOP)); | 815 VERIFY(WASM_LOOP(2, WASM_NOP, WASM_NOP)); |
892 VERIFY(WASM_LOOP(3, WASM_NOP, WASM_NOP, WASM_NOP)); | 816 VERIFY(WASM_LOOP(3, WASM_NOP, WASM_NOP, WASM_NOP)); |
893 } | 817 } |
894 | 818 |
895 | 819 TEST_F(AstDecoderTest, MacrosNestedBlocks) { |
896 TEST_F(WasmDecoderTest, MacrosNestedBlocks) { | |
897 VERIFY(WASM_BLOCK(2, WASM_NOP, WASM_BLOCK(2, WASM_NOP, WASM_NOP))); | 820 VERIFY(WASM_BLOCK(2, WASM_NOP, WASM_BLOCK(2, WASM_NOP, WASM_NOP))); |
898 VERIFY(WASM_BLOCK(3, WASM_NOP, // -- | 821 VERIFY(WASM_BLOCK(3, WASM_NOP, // -- |
899 WASM_BLOCK(2, WASM_NOP, WASM_NOP), // -- | 822 WASM_BLOCK(2, WASM_NOP, WASM_NOP), // -- |
900 WASM_BLOCK(2, WASM_NOP, WASM_NOP))); // -- | 823 WASM_BLOCK(2, WASM_NOP, WASM_NOP))); // -- |
901 VERIFY(WASM_BLOCK(1, WASM_BLOCK(1, WASM_BLOCK(2, WASM_NOP, WASM_NOP)))); | 824 VERIFY(WASM_BLOCK(1, WASM_BLOCK(1, WASM_BLOCK(2, WASM_NOP, WASM_NOP)))); |
902 } | 825 } |
903 | 826 |
904 | 827 TEST_F(AstDecoderTest, MultipleReturn) { |
905 TEST_F(WasmDecoderTest, MultipleReturn) { | |
906 static LocalType kIntTypes5[] = {kAstI32, kAstI32, kAstI32, kAstI32, kAstI32}; | 828 static LocalType kIntTypes5[] = {kAstI32, kAstI32, kAstI32, kAstI32, kAstI32}; |
907 FunctionSig sig_ii_v(2, 0, kIntTypes5); | 829 FunctionSig sig_ii_v(2, 0, kIntTypes5); |
908 FunctionEnv env_ii_v; | 830 FunctionEnv env_ii_v; |
909 init_env(&env_ii_v, &sig_ii_v); | 831 init_env(&env_ii_v, &sig_ii_v); |
910 EXPECT_VERIFIES_INLINE(&env_ii_v, WASM_RETURN(WASM_ZERO, WASM_ONE)); | 832 EXPECT_VERIFIES_INLINE(&env_ii_v, WASM_RETURN(WASM_ZERO, WASM_ONE)); |
911 EXPECT_FAILURE_INLINE(&env_ii_v, WASM_RETURN(WASM_ZERO)); | 833 EXPECT_FAILURE_INLINE(&env_ii_v, WASM_RETURN(WASM_ZERO)); |
912 | 834 |
913 FunctionSig sig_iii_v(3, 0, kIntTypes5); | 835 FunctionSig sig_iii_v(3, 0, kIntTypes5); |
914 FunctionEnv env_iii_v; | 836 FunctionEnv env_iii_v; |
915 init_env(&env_iii_v, &sig_iii_v); | 837 init_env(&env_iii_v, &sig_iii_v); |
916 EXPECT_VERIFIES_INLINE(&env_iii_v, | 838 EXPECT_VERIFIES_INLINE(&env_iii_v, |
917 WASM_RETURN(WASM_ZERO, WASM_ONE, WASM_I8(44))); | 839 WASM_RETURN(WASM_ZERO, WASM_ONE, WASM_I8(44))); |
918 EXPECT_FAILURE_INLINE(&env_iii_v, WASM_RETURN(WASM_ZERO, WASM_ONE)); | 840 EXPECT_FAILURE_INLINE(&env_iii_v, WASM_RETURN(WASM_ZERO, WASM_ONE)); |
919 } | 841 } |
920 | 842 |
921 | 843 TEST_F(AstDecoderTest, MultipleReturn_fallthru) { |
922 TEST_F(WasmDecoderTest, MultipleReturn_fallthru) { | |
923 static LocalType kIntTypes5[] = {kAstI32, kAstI32, kAstI32, kAstI32, kAstI32}; | 844 static LocalType kIntTypes5[] = {kAstI32, kAstI32, kAstI32, kAstI32, kAstI32}; |
924 FunctionSig sig_ii_v(2, 0, kIntTypes5); | 845 FunctionSig sig_ii_v(2, 0, kIntTypes5); |
925 FunctionEnv env_ii_v; | 846 FunctionEnv env_ii_v; |
926 init_env(&env_ii_v, &sig_ii_v); | 847 init_env(&env_ii_v, &sig_ii_v); |
927 | 848 |
928 EXPECT_VERIFIES_INLINE(&env_ii_v, WASM_ZERO, WASM_ONE); | 849 EXPECT_VERIFIES_INLINE(&env_ii_v, WASM_ZERO, WASM_ONE); |
929 EXPECT_FAILURE_INLINE(&env_ii_v, WASM_ZERO); | 850 EXPECT_FAILURE_INLINE(&env_ii_v, WASM_ZERO); |
930 | 851 |
931 FunctionSig sig_iii_v(3, 0, kIntTypes5); | 852 FunctionSig sig_iii_v(3, 0, kIntTypes5); |
932 FunctionEnv env_iii_v; | 853 FunctionEnv env_iii_v; |
933 init_env(&env_iii_v, &sig_iii_v); | 854 init_env(&env_iii_v, &sig_iii_v); |
934 EXPECT_VERIFIES_INLINE(&env_iii_v, WASM_ZERO, WASM_ONE, WASM_I8(44)); | 855 EXPECT_VERIFIES_INLINE(&env_iii_v, WASM_ZERO, WASM_ONE, WASM_I8(44)); |
935 EXPECT_FAILURE_INLINE(&env_iii_v, WASM_ZERO, WASM_ONE); | 856 EXPECT_FAILURE_INLINE(&env_iii_v, WASM_ZERO, WASM_ONE); |
936 } | 857 } |
937 | 858 |
938 | 859 TEST_F(AstDecoderTest, MacrosInt32) { |
939 TEST_F(WasmDecoderTest, MacrosInt32) { | |
940 VERIFY(WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_I8(12))); | 860 VERIFY(WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_I8(12))); |
941 VERIFY(WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_I8(13))); | 861 VERIFY(WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_I8(13))); |
942 VERIFY(WASM_I32_MUL(WASM_GET_LOCAL(0), WASM_I8(14))); | 862 VERIFY(WASM_I32_MUL(WASM_GET_LOCAL(0), WASM_I8(14))); |
943 VERIFY(WASM_I32_DIVS(WASM_GET_LOCAL(0), WASM_I8(15))); | 863 VERIFY(WASM_I32_DIVS(WASM_GET_LOCAL(0), WASM_I8(15))); |
944 VERIFY(WASM_I32_DIVU(WASM_GET_LOCAL(0), WASM_I8(16))); | 864 VERIFY(WASM_I32_DIVU(WASM_GET_LOCAL(0), WASM_I8(16))); |
945 VERIFY(WASM_I32_REMS(WASM_GET_LOCAL(0), WASM_I8(17))); | 865 VERIFY(WASM_I32_REMS(WASM_GET_LOCAL(0), WASM_I8(17))); |
946 VERIFY(WASM_I32_REMU(WASM_GET_LOCAL(0), WASM_I8(18))); | 866 VERIFY(WASM_I32_REMU(WASM_GET_LOCAL(0), WASM_I8(18))); |
947 VERIFY(WASM_I32_AND(WASM_GET_LOCAL(0), WASM_I8(19))); | 867 VERIFY(WASM_I32_AND(WASM_GET_LOCAL(0), WASM_I8(19))); |
948 VERIFY(WASM_I32_IOR(WASM_GET_LOCAL(0), WASM_I8(20))); | 868 VERIFY(WASM_I32_IOR(WASM_GET_LOCAL(0), WASM_I8(20))); |
949 VERIFY(WASM_I32_XOR(WASM_GET_LOCAL(0), WASM_I8(21))); | 869 VERIFY(WASM_I32_XOR(WASM_GET_LOCAL(0), WASM_I8(21))); |
950 VERIFY(WASM_I32_SHL(WASM_GET_LOCAL(0), WASM_I8(22))); | 870 VERIFY(WASM_I32_SHL(WASM_GET_LOCAL(0), WASM_I8(22))); |
951 VERIFY(WASM_I32_SHR(WASM_GET_LOCAL(0), WASM_I8(23))); | 871 VERIFY(WASM_I32_SHR(WASM_GET_LOCAL(0), WASM_I8(23))); |
952 VERIFY(WASM_I32_SAR(WASM_GET_LOCAL(0), WASM_I8(24))); | 872 VERIFY(WASM_I32_SAR(WASM_GET_LOCAL(0), WASM_I8(24))); |
953 VERIFY(WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I8(25))); | 873 VERIFY(WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I8(25))); |
954 VERIFY(WASM_I32_NE(WASM_GET_LOCAL(0), WASM_I8(25))); | 874 VERIFY(WASM_I32_NE(WASM_GET_LOCAL(0), WASM_I8(25))); |
955 | 875 |
956 VERIFY(WASM_I32_LTS(WASM_GET_LOCAL(0), WASM_I8(26))); | 876 VERIFY(WASM_I32_LTS(WASM_GET_LOCAL(0), WASM_I8(26))); |
957 VERIFY(WASM_I32_LES(WASM_GET_LOCAL(0), WASM_I8(27))); | 877 VERIFY(WASM_I32_LES(WASM_GET_LOCAL(0), WASM_I8(27))); |
958 VERIFY(WASM_I32_LTU(WASM_GET_LOCAL(0), WASM_I8(28))); | 878 VERIFY(WASM_I32_LTU(WASM_GET_LOCAL(0), WASM_I8(28))); |
959 VERIFY(WASM_I32_LEU(WASM_GET_LOCAL(0), WASM_I8(29))); | 879 VERIFY(WASM_I32_LEU(WASM_GET_LOCAL(0), WASM_I8(29))); |
960 | 880 |
961 VERIFY(WASM_I32_GTS(WASM_GET_LOCAL(0), WASM_I8(26))); | 881 VERIFY(WASM_I32_GTS(WASM_GET_LOCAL(0), WASM_I8(26))); |
962 VERIFY(WASM_I32_GES(WASM_GET_LOCAL(0), WASM_I8(27))); | 882 VERIFY(WASM_I32_GES(WASM_GET_LOCAL(0), WASM_I8(27))); |
963 VERIFY(WASM_I32_GTU(WASM_GET_LOCAL(0), WASM_I8(28))); | 883 VERIFY(WASM_I32_GTU(WASM_GET_LOCAL(0), WASM_I8(28))); |
964 VERIFY(WASM_I32_GEU(WASM_GET_LOCAL(0), WASM_I8(29))); | 884 VERIFY(WASM_I32_GEU(WASM_GET_LOCAL(0), WASM_I8(29))); |
965 } | 885 } |
966 | 886 |
967 | 887 TEST_F(AstDecoderTest, MacrosInt64) { |
968 TEST_F(WasmDecoderTest, MacrosInt64) { | |
969 FunctionEnv env_i_ll; | 888 FunctionEnv env_i_ll; |
970 FunctionEnv env_l_ll; | 889 FunctionEnv env_l_ll; |
971 init_env(&env_i_ll, sigs.i_ll()); | 890 init_env(&env_i_ll, sigs.i_ll()); |
972 init_env(&env_l_ll, sigs.l_ll()); | 891 init_env(&env_l_ll, sigs.l_ll()); |
973 | 892 |
974 #define VERIFY_L_LL(...) EXPECT_VERIFIES_INLINE(&env_l_ll, __VA_ARGS__) | 893 #define VERIFY_L_LL(...) EXPECT_VERIFIES_INLINE(&env_l_ll, __VA_ARGS__) |
975 #define VERIFY_I_LL(...) EXPECT_VERIFIES_INLINE(&env_i_ll, __VA_ARGS__) | 894 #define VERIFY_I_LL(...) EXPECT_VERIFIES_INLINE(&env_i_ll, __VA_ARGS__) |
976 | 895 |
977 VERIFY_L_LL(WASM_I64_ADD(WASM_GET_LOCAL(0), WASM_I64(12))); | 896 VERIFY_L_LL(WASM_I64_ADD(WASM_GET_LOCAL(0), WASM_I64(12))); |
978 VERIFY_L_LL(WASM_I64_SUB(WASM_GET_LOCAL(0), WASM_I64(13))); | 897 VERIFY_L_LL(WASM_I64_SUB(WASM_GET_LOCAL(0), WASM_I64(13))); |
(...skipping 17 matching lines...) Expand all Loading... |
996 | 915 |
997 VERIFY_I_LL(WASM_I64_GTS(WASM_GET_LOCAL(0), WASM_I64(26))); | 916 VERIFY_I_LL(WASM_I64_GTS(WASM_GET_LOCAL(0), WASM_I64(26))); |
998 VERIFY_I_LL(WASM_I64_GES(WASM_GET_LOCAL(0), WASM_I64(27))); | 917 VERIFY_I_LL(WASM_I64_GES(WASM_GET_LOCAL(0), WASM_I64(27))); |
999 VERIFY_I_LL(WASM_I64_GTU(WASM_GET_LOCAL(0), WASM_I64(28))); | 918 VERIFY_I_LL(WASM_I64_GTU(WASM_GET_LOCAL(0), WASM_I64(28))); |
1000 VERIFY_I_LL(WASM_I64_GEU(WASM_GET_LOCAL(0), WASM_I64(29))); | 919 VERIFY_I_LL(WASM_I64_GEU(WASM_GET_LOCAL(0), WASM_I64(29))); |
1001 | 920 |
1002 VERIFY_I_LL(WASM_I64_EQ(WASM_GET_LOCAL(0), WASM_I64(25))); | 921 VERIFY_I_LL(WASM_I64_EQ(WASM_GET_LOCAL(0), WASM_I64(25))); |
1003 VERIFY_I_LL(WASM_I64_NE(WASM_GET_LOCAL(0), WASM_I64(25))); | 922 VERIFY_I_LL(WASM_I64_NE(WASM_GET_LOCAL(0), WASM_I64(25))); |
1004 } | 923 } |
1005 | 924 |
1006 | 925 TEST_F(AstDecoderTest, AllSimpleExpressions) { |
1007 TEST_F(WasmDecoderTest, AllSimpleExpressions) { | |
1008 // Test all simple expressions which are described by a signature. | 926 // Test all simple expressions which are described by a signature. |
1009 #define DECODE_TEST(name, opcode, sig) \ | 927 #define DECODE_TEST(name, opcode, sig) \ |
1010 { \ | 928 { \ |
1011 FunctionSig* sig = WasmOpcodes::Signature(kExpr##name); \ | 929 FunctionSig* sig = WasmOpcodes::Signature(kExpr##name); \ |
1012 if (sig->parameter_count() == 1) { \ | 930 if (sig->parameter_count() == 1) { \ |
1013 TestUnop(kExpr##name, sig); \ | 931 TestUnop(kExpr##name, sig); \ |
1014 } else { \ | 932 } else { \ |
1015 TestBinop(kExpr##name, sig); \ | 933 TestBinop(kExpr##name, sig); \ |
1016 } \ | 934 } \ |
1017 } | 935 } |
1018 | 936 |
1019 FOREACH_SIMPLE_OPCODE(DECODE_TEST); | 937 FOREACH_SIMPLE_OPCODE(DECODE_TEST); |
1020 | 938 |
1021 #undef DECODE_TEST | 939 #undef DECODE_TEST |
1022 } | 940 } |
1023 | 941 |
1024 | 942 TEST_F(AstDecoderTest, MemorySize) { |
1025 TEST_F(WasmDecoderTest, MemorySize) { | |
1026 byte code[] = {kExprMemorySize}; | 943 byte code[] = {kExprMemorySize}; |
1027 EXPECT_VERIFIES(&env_i_i, code); | 944 EXPECT_VERIFIES(&env_i_i, code); |
1028 EXPECT_FAILURE(&env_f_ff, code); | 945 EXPECT_FAILURE(&env_f_ff, code); |
1029 } | 946 } |
1030 | 947 |
1031 | 948 TEST_F(AstDecoderTest, GrowMemory) { |
1032 TEST_F(WasmDecoderTest, GrowMemory) { | |
1033 byte code[] = {kExprGrowMemory, kExprGetLocal, 0}; | 949 byte code[] = {kExprGrowMemory, kExprGetLocal, 0}; |
1034 EXPECT_VERIFIES(&env_i_i, code); | 950 EXPECT_VERIFIES(&env_i_i, code); |
1035 EXPECT_FAILURE(&env_i_d, code); | 951 EXPECT_FAILURE(&env_i_d, code); |
1036 } | 952 } |
1037 | 953 |
1038 | 954 TEST_F(AstDecoderTest, LoadMemOffset) { |
1039 TEST_F(WasmDecoderTest, LoadMemOffset) { | |
1040 for (int offset = 0; offset < 128; offset += 7) { | 955 for (int offset = 0; offset < 128; offset += 7) { |
1041 byte code[] = {kExprI32LoadMem, WasmOpcodes::LoadStoreAccessOf(true), | 956 byte code[] = {kExprI32LoadMem, WasmOpcodes::LoadStoreAccessOf(true), |
1042 static_cast<byte>(offset), kExprI8Const, 0}; | 957 static_cast<byte>(offset), kExprI8Const, 0}; |
1043 EXPECT_VERIFIES(&env_i_i, code); | 958 EXPECT_VERIFIES(&env_i_i, code); |
1044 } | 959 } |
1045 } | 960 } |
1046 | 961 |
1047 | 962 TEST_F(AstDecoderTest, StoreMemOffset) { |
1048 TEST_F(WasmDecoderTest, StoreMemOffset) { | |
1049 for (int offset = 0; offset < 128; offset += 7) { | 963 for (int offset = 0; offset < 128; offset += 7) { |
1050 byte code[] = {kExprI32StoreMem, | 964 byte code[] = {kExprI32StoreMem, |
1051 WasmOpcodes::LoadStoreAccessOf(true), | 965 WasmOpcodes::LoadStoreAccessOf(true), |
1052 static_cast<byte>(offset), | 966 static_cast<byte>(offset), |
1053 kExprI8Const, | 967 kExprI8Const, |
1054 0, | 968 0, |
1055 kExprI8Const, | 969 kExprI8Const, |
1056 0}; | 970 0}; |
1057 EXPECT_VERIFIES(&env_i_i, code); | 971 EXPECT_VERIFIES(&env_i_i, code); |
1058 } | 972 } |
1059 } | 973 } |
1060 | 974 |
1061 | 975 TEST_F(AstDecoderTest, LoadMemOffset_varint) { |
1062 TEST_F(WasmDecoderTest, LoadMemOffset_varint) { | |
1063 byte code1[] = {kExprI32LoadMem, WasmOpcodes::LoadStoreAccessOf(true), 0, | 976 byte code1[] = {kExprI32LoadMem, WasmOpcodes::LoadStoreAccessOf(true), 0, |
1064 kExprI8Const, 0}; | 977 kExprI8Const, 0}; |
1065 byte code2[] = {kExprI32LoadMem, | 978 byte code2[] = {kExprI32LoadMem, |
1066 WasmOpcodes::LoadStoreAccessOf(true), | 979 WasmOpcodes::LoadStoreAccessOf(true), |
1067 0x80, | 980 0x80, |
1068 1, | 981 1, |
1069 kExprI8Const, | 982 kExprI8Const, |
1070 0}; | 983 0}; |
1071 byte code3[] = {kExprI32LoadMem, | 984 byte code3[] = {kExprI32LoadMem, |
1072 WasmOpcodes::LoadStoreAccessOf(true), | 985 WasmOpcodes::LoadStoreAccessOf(true), |
(...skipping 10 matching lines...) Expand all Loading... |
1083 7, | 996 7, |
1084 kExprI8Const, | 997 kExprI8Const, |
1085 0}; | 998 0}; |
1086 | 999 |
1087 EXPECT_VERIFIES(&env_i_i, code1); | 1000 EXPECT_VERIFIES(&env_i_i, code1); |
1088 EXPECT_VERIFIES(&env_i_i, code2); | 1001 EXPECT_VERIFIES(&env_i_i, code2); |
1089 EXPECT_VERIFIES(&env_i_i, code3); | 1002 EXPECT_VERIFIES(&env_i_i, code3); |
1090 EXPECT_VERIFIES(&env_i_i, code4); | 1003 EXPECT_VERIFIES(&env_i_i, code4); |
1091 } | 1004 } |
1092 | 1005 |
1093 | 1006 TEST_F(AstDecoderTest, StoreMemOffset_varint) { |
1094 TEST_F(WasmDecoderTest, StoreMemOffset_varint) { | |
1095 byte code1[] = {kExprI32StoreMem, | 1007 byte code1[] = {kExprI32StoreMem, |
1096 WasmOpcodes::LoadStoreAccessOf(true), | 1008 WasmOpcodes::LoadStoreAccessOf(true), |
1097 0, | 1009 0, |
1098 kExprI8Const, | 1010 kExprI8Const, |
1099 0, | 1011 0, |
1100 kExprI8Const, | 1012 kExprI8Const, |
1101 0}; | 1013 0}; |
1102 byte code2[] = {kExprI32StoreMem, | 1014 byte code2[] = {kExprI32StoreMem, |
1103 WasmOpcodes::LoadStoreAccessOf(true), | 1015 WasmOpcodes::LoadStoreAccessOf(true), |
1104 0x80, | 1016 0x80, |
(...skipping 21 matching lines...) Expand all Loading... |
1126 0, | 1038 0, |
1127 kExprI8Const, | 1039 kExprI8Const, |
1128 0}; | 1040 0}; |
1129 | 1041 |
1130 EXPECT_VERIFIES(&env_i_i, code1); | 1042 EXPECT_VERIFIES(&env_i_i, code1); |
1131 EXPECT_VERIFIES(&env_i_i, code2); | 1043 EXPECT_VERIFIES(&env_i_i, code2); |
1132 EXPECT_VERIFIES(&env_i_i, code3); | 1044 EXPECT_VERIFIES(&env_i_i, code3); |
1133 EXPECT_VERIFIES(&env_i_i, code4); | 1045 EXPECT_VERIFIES(&env_i_i, code4); |
1134 } | 1046 } |
1135 | 1047 |
1136 | 1048 TEST_F(AstDecoderTest, AllLoadMemCombinations) { |
1137 TEST_F(WasmDecoderTest, AllLoadMemCombinations) { | |
1138 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1049 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
1139 LocalType local_type = kLocalTypes[i]; | 1050 LocalType local_type = kLocalTypes[i]; |
1140 for (size_t j = 0; j < arraysize(machineTypes); j++) { | 1051 for (size_t j = 0; j < arraysize(machineTypes); j++) { |
1141 MachineType mem_type = machineTypes[j]; | 1052 MachineType mem_type = machineTypes[j]; |
1142 byte code[] = { | 1053 byte code[] = { |
1143 static_cast<byte>(WasmOpcodes::LoadStoreOpcodeOf(mem_type, false)), | 1054 static_cast<byte>(WasmOpcodes::LoadStoreOpcodeOf(mem_type, false)), |
1144 WasmOpcodes::LoadStoreAccessOf(false), kExprI8Const, 0}; | 1055 WasmOpcodes::LoadStoreAccessOf(false), kExprI8Const, 0}; |
1145 FunctionEnv env; | 1056 FunctionEnv env; |
1146 FunctionSig sig(1, 0, &local_type); | 1057 FunctionSig sig(1, 0, &local_type); |
1147 init_env(&env, &sig); | 1058 init_env(&env, &sig); |
1148 if (local_type == WasmOpcodes::LocalTypeFor(mem_type)) { | 1059 if (local_type == WasmOpcodes::LocalTypeFor(mem_type)) { |
1149 EXPECT_VERIFIES(&env, code); | 1060 EXPECT_VERIFIES(&env, code); |
1150 } else { | 1061 } else { |
1151 EXPECT_FAILURE(&env, code); | 1062 EXPECT_FAILURE(&env, code); |
1152 } | 1063 } |
1153 } | 1064 } |
1154 } | 1065 } |
1155 } | 1066 } |
1156 | 1067 |
1157 | 1068 TEST_F(AstDecoderTest, AllStoreMemCombinations) { |
1158 TEST_F(WasmDecoderTest, AllStoreMemCombinations) { | |
1159 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1069 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
1160 LocalType local_type = kLocalTypes[i]; | 1070 LocalType local_type = kLocalTypes[i]; |
1161 for (size_t j = 0; j < arraysize(machineTypes); j++) { | 1071 for (size_t j = 0; j < arraysize(machineTypes); j++) { |
1162 MachineType mem_type = machineTypes[j]; | 1072 MachineType mem_type = machineTypes[j]; |
1163 byte code[] = { | 1073 byte code[] = { |
1164 static_cast<byte>(WasmOpcodes::LoadStoreOpcodeOf(mem_type, true)), | 1074 static_cast<byte>(WasmOpcodes::LoadStoreOpcodeOf(mem_type, true)), |
1165 WasmOpcodes::LoadStoreAccessOf(false), | 1075 WasmOpcodes::LoadStoreAccessOf(false), |
1166 kExprI8Const, | 1076 kExprI8Const, |
1167 0, | 1077 0, |
1168 kExprGetLocal, | 1078 kExprGetLocal, |
(...skipping 44 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1213 mod.import_table->push_back({sig, 0, 0}); | 1123 mod.import_table->push_back({sig, 0, 0}); |
1214 CHECK(mod.import_table->size() <= 127); | 1124 CHECK(mod.import_table->size() <= 127); |
1215 return static_cast<byte>(mod.import_table->size() - 1); | 1125 return static_cast<byte>(mod.import_table->size() - 1); |
1216 } | 1126 } |
1217 | 1127 |
1218 private: | 1128 private: |
1219 WasmModule mod; | 1129 WasmModule mod; |
1220 }; | 1130 }; |
1221 } // namespace | 1131 } // namespace |
1222 | 1132 |
1223 | 1133 TEST_F(AstDecoderTest, SimpleCalls) { |
1224 TEST_F(WasmDecoderTest, SimpleCalls) { | |
1225 FunctionEnv* env = &env_i_i; | 1134 FunctionEnv* env = &env_i_i; |
1226 TestModuleEnv module_env; | 1135 TestModuleEnv module_env; |
1227 env->module = &module_env; | 1136 env->module = &module_env; |
1228 | 1137 |
1229 module_env.AddFunction(sigs.i_v()); | 1138 module_env.AddFunction(sigs.i_v()); |
1230 module_env.AddFunction(sigs.i_i()); | 1139 module_env.AddFunction(sigs.i_i()); |
1231 module_env.AddFunction(sigs.i_ii()); | 1140 module_env.AddFunction(sigs.i_ii()); |
1232 | 1141 |
1233 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(0)); | 1142 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(0)); |
1234 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I8(27))); | 1143 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I8(27))); |
1235 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(2, WASM_I8(37), WASM_I8(77))); | 1144 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(2, WASM_I8(37), WASM_I8(77))); |
1236 } | 1145 } |
1237 | 1146 |
1238 | 1147 TEST_F(AstDecoderTest, CallsWithTooFewArguments) { |
1239 TEST_F(WasmDecoderTest, CallsWithTooFewArguments) { | |
1240 FunctionEnv* env = &env_i_i; | 1148 FunctionEnv* env = &env_i_i; |
1241 TestModuleEnv module_env; | 1149 TestModuleEnv module_env; |
1242 env->module = &module_env; | 1150 env->module = &module_env; |
1243 | 1151 |
1244 module_env.AddFunction(sigs.i_i()); | 1152 module_env.AddFunction(sigs.i_i()); |
1245 module_env.AddFunction(sigs.i_ii()); | 1153 module_env.AddFunction(sigs.i_ii()); |
1246 module_env.AddFunction(sigs.f_ff()); | 1154 module_env.AddFunction(sigs.f_ff()); |
1247 | 1155 |
1248 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION0(0)); | 1156 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION0(0)); |
1249 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_ZERO)); | 1157 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_ZERO)); |
1250 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(2, WASM_GET_LOCAL(0))); | 1158 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(2, WASM_GET_LOCAL(0))); |
1251 } | 1159 } |
1252 | 1160 |
1253 | 1161 TEST_F(AstDecoderTest, CallsWithSpilloverArgs) { |
1254 TEST_F(WasmDecoderTest, CallsWithSpilloverArgs) { | |
1255 static LocalType a_i_ff[] = {kAstI32, kAstF32, kAstF32}; | 1162 static LocalType a_i_ff[] = {kAstI32, kAstF32, kAstF32}; |
1256 FunctionSig sig_i_ff(1, 2, a_i_ff); | 1163 FunctionSig sig_i_ff(1, 2, a_i_ff); |
1257 FunctionEnv env_i_ff; | 1164 FunctionEnv env_i_ff; |
1258 init_env(&env_i_ff, &sig_i_ff); | 1165 init_env(&env_i_ff, &sig_i_ff); |
1259 | 1166 |
1260 TestModuleEnv module_env; | 1167 TestModuleEnv module_env; |
1261 env_i_ff.module = &module_env; | 1168 env_i_ff.module = &module_env; |
1262 env_i_i.module = &module_env; | 1169 env_i_i.module = &module_env; |
1263 env_f_ff.module = &module_env; | 1170 env_f_ff.module = &module_env; |
1264 | 1171 |
(...skipping 10 matching lines...) Expand all Loading... |
1275 | 1182 |
1276 EXPECT_FAILURE_INLINE( | 1183 EXPECT_FAILURE_INLINE( |
1277 &env_i_i, | 1184 &env_i_i, |
1278 WASM_CALL_FUNCTION(0, WASM_F32(0.1), WASM_F32(0.1), WASM_F32(0.2))); | 1185 WASM_CALL_FUNCTION(0, WASM_F32(0.1), WASM_F32(0.1), WASM_F32(0.2))); |
1279 | 1186 |
1280 EXPECT_VERIFIES_INLINE( | 1187 EXPECT_VERIFIES_INLINE( |
1281 &env_f_ff, | 1188 &env_f_ff, |
1282 WASM_CALL_FUNCTION(0, WASM_F32(0.1), WASM_F32(0.1), WASM_F32(11))); | 1189 WASM_CALL_FUNCTION(0, WASM_F32(0.1), WASM_F32(0.1), WASM_F32(11))); |
1283 } | 1190 } |
1284 | 1191 |
1285 | 1192 TEST_F(AstDecoderTest, CallsWithMismatchedSigs2) { |
1286 TEST_F(WasmDecoderTest, CallsWithMismatchedSigs2) { | |
1287 FunctionEnv* env = &env_i_i; | 1193 FunctionEnv* env = &env_i_i; |
1288 TestModuleEnv module_env; | 1194 TestModuleEnv module_env; |
1289 env->module = &module_env; | 1195 env->module = &module_env; |
1290 | 1196 |
1291 module_env.AddFunction(sigs.i_i()); | 1197 module_env.AddFunction(sigs.i_i()); |
1292 | 1198 |
1293 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I64(17))); | 1199 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I64(17))); |
1294 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F32(17.1))); | 1200 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F32(17.1))); |
1295 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F64(17.1))); | 1201 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F64(17.1))); |
1296 } | 1202 } |
1297 | 1203 |
1298 | 1204 TEST_F(AstDecoderTest, CallsWithMismatchedSigs3) { |
1299 TEST_F(WasmDecoderTest, CallsWithMismatchedSigs3) { | |
1300 FunctionEnv* env = &env_i_i; | 1205 FunctionEnv* env = &env_i_i; |
1301 TestModuleEnv module_env; | 1206 TestModuleEnv module_env; |
1302 env->module = &module_env; | 1207 env->module = &module_env; |
1303 | 1208 |
1304 module_env.AddFunction(sigs.i_f()); | 1209 module_env.AddFunction(sigs.i_f()); |
1305 | 1210 |
1306 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I8(17))); | 1211 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I8(17))); |
1307 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I64(27))); | 1212 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I64(27))); |
1308 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F64(37.2))); | 1213 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F64(37.2))); |
1309 | 1214 |
1310 module_env.AddFunction(sigs.i_d()); | 1215 module_env.AddFunction(sigs.i_d()); |
1311 | 1216 |
1312 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I8(16))); | 1217 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I8(16))); |
1313 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I64(16))); | 1218 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I64(16))); |
1314 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_F32(17.6))); | 1219 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_F32(17.6))); |
1315 } | 1220 } |
1316 | 1221 |
1317 | 1222 TEST_F(AstDecoderTest, SimpleIndirectCalls) { |
1318 TEST_F(WasmDecoderTest, SimpleIndirectCalls) { | |
1319 FunctionEnv* env = &env_i_i; | 1223 FunctionEnv* env = &env_i_i; |
1320 TestModuleEnv module_env; | 1224 TestModuleEnv module_env; |
1321 env->module = &module_env; | 1225 env->module = &module_env; |
1322 | 1226 |
1323 byte f0 = module_env.AddSignature(sigs.i_v()); | 1227 byte f0 = module_env.AddSignature(sigs.i_v()); |
1324 byte f1 = module_env.AddSignature(sigs.i_i()); | 1228 byte f1 = module_env.AddSignature(sigs.i_i()); |
1325 byte f2 = module_env.AddSignature(sigs.i_ii()); | 1229 byte f2 = module_env.AddSignature(sigs.i_ii()); |
1326 | 1230 |
1327 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_ZERO)); | 1231 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_ZERO)); |
1328 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I8(22))); | 1232 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I8(22))); |
1329 EXPECT_VERIFIES_INLINE( | 1233 EXPECT_VERIFIES_INLINE( |
1330 env, WASM_CALL_INDIRECT(f2, WASM_ZERO, WASM_I8(32), WASM_I8(72))); | 1234 env, WASM_CALL_INDIRECT(f2, WASM_ZERO, WASM_I8(32), WASM_I8(72))); |
1331 } | 1235 } |
1332 | 1236 |
1333 | 1237 TEST_F(AstDecoderTest, IndirectCallsOutOfBounds) { |
1334 TEST_F(WasmDecoderTest, IndirectCallsOutOfBounds) { | |
1335 FunctionEnv* env = &env_i_i; | 1238 FunctionEnv* env = &env_i_i; |
1336 TestModuleEnv module_env; | 1239 TestModuleEnv module_env; |
1337 env->module = &module_env; | 1240 env->module = &module_env; |
1338 | 1241 |
1339 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(0, WASM_ZERO)); | 1242 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(0, WASM_ZERO)); |
1340 module_env.AddSignature(sigs.i_v()); | 1243 module_env.AddSignature(sigs.i_v()); |
1341 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT0(0, WASM_ZERO)); | 1244 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT0(0, WASM_ZERO)); |
1342 | 1245 |
1343 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(1, WASM_ZERO, WASM_I8(22))); | 1246 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(1, WASM_ZERO, WASM_I8(22))); |
1344 module_env.AddSignature(sigs.i_i()); | 1247 module_env.AddSignature(sigs.i_i()); |
1345 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT(1, WASM_ZERO, WASM_I8(27))); | 1248 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT(1, WASM_ZERO, WASM_I8(27))); |
1346 | 1249 |
1347 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(2, WASM_ZERO, WASM_I8(27))); | 1250 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(2, WASM_ZERO, WASM_I8(27))); |
1348 } | 1251 } |
1349 | 1252 |
1350 | 1253 TEST_F(AstDecoderTest, IndirectCallsWithMismatchedSigs3) { |
1351 TEST_F(WasmDecoderTest, IndirectCallsWithMismatchedSigs3) { | |
1352 FunctionEnv* env = &env_i_i; | 1254 FunctionEnv* env = &env_i_i; |
1353 TestModuleEnv module_env; | 1255 TestModuleEnv module_env; |
1354 env->module = &module_env; | 1256 env->module = &module_env; |
1355 | 1257 |
1356 byte f0 = module_env.AddFunction(sigs.i_f()); | 1258 byte f0 = module_env.AddFunction(sigs.i_f()); |
1357 | 1259 |
1358 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_I8(17))); | 1260 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_I8(17))); |
1359 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_I64(27))); | 1261 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_I64(27))); |
1360 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_F64(37.2))); | 1262 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_F64(37.2))); |
1361 | 1263 |
1362 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_I8(17))); | 1264 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_I8(17))); |
1363 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_I64(27))); | 1265 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_I64(27))); |
1364 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_F64(37.2))); | 1266 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_F64(37.2))); |
1365 | 1267 |
1366 byte f1 = module_env.AddFunction(sigs.i_d()); | 1268 byte f1 = module_env.AddFunction(sigs.i_d()); |
1367 | 1269 |
1368 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I8(16))); | 1270 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I8(16))); |
1369 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I64(16))); | 1271 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I64(16))); |
1370 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_F32(17.6))); | 1272 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_F32(17.6))); |
1371 } | 1273 } |
1372 | 1274 |
1373 TEST_F(WasmDecoderTest, SimpleImportCalls) { | 1275 TEST_F(AstDecoderTest, SimpleImportCalls) { |
1374 FunctionEnv* env = &env_i_i; | 1276 FunctionEnv* env = &env_i_i; |
1375 TestModuleEnv module_env; | 1277 TestModuleEnv module_env; |
1376 env->module = &module_env; | 1278 env->module = &module_env; |
1377 | 1279 |
1378 byte f0 = module_env.AddImport(sigs.i_v()); | 1280 byte f0 = module_env.AddImport(sigs.i_v()); |
1379 byte f1 = module_env.AddImport(sigs.i_i()); | 1281 byte f1 = module_env.AddImport(sigs.i_i()); |
1380 byte f2 = module_env.AddImport(sigs.i_ii()); | 1282 byte f2 = module_env.AddImport(sigs.i_ii()); |
1381 | 1283 |
1382 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT0(f0)); | 1284 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT0(f0)); |
1383 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I8(22))); | 1285 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I8(22))); |
1384 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT(f2, WASM_I8(32), WASM_I8(72))); | 1286 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT(f2, WASM_I8(32), WASM_I8(72))); |
1385 } | 1287 } |
1386 | 1288 |
1387 TEST_F(WasmDecoderTest, ImportCallsWithMismatchedSigs3) { | 1289 TEST_F(AstDecoderTest, ImportCallsWithMismatchedSigs3) { |
1388 FunctionEnv* env = &env_i_i; | 1290 FunctionEnv* env = &env_i_i; |
1389 TestModuleEnv module_env; | 1291 TestModuleEnv module_env; |
1390 env->module = &module_env; | 1292 env->module = &module_env; |
1391 | 1293 |
1392 byte f0 = module_env.AddImport(sigs.i_f()); | 1294 byte f0 = module_env.AddImport(sigs.i_f()); |
1393 | 1295 |
1394 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT0(f0)); | 1296 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT0(f0)); |
1395 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_I8(17))); | 1297 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_I8(17))); |
1396 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_I64(27))); | 1298 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_I64(27))); |
1397 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_F64(37.2))); | 1299 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_F64(37.2))); |
1398 | 1300 |
1399 byte f1 = module_env.AddImport(sigs.i_d()); | 1301 byte f1 = module_env.AddImport(sigs.i_d()); |
1400 | 1302 |
1401 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT0(f1)); | 1303 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT0(f1)); |
1402 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I8(16))); | 1304 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I8(16))); |
1403 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I64(16))); | 1305 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I64(16))); |
1404 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_F32(17.6))); | 1306 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_F32(17.6))); |
1405 } | 1307 } |
1406 | 1308 |
1407 TEST_F(WasmDecoderTest, Int32Globals) { | 1309 TEST_F(AstDecoderTest, Int32Globals) { |
1408 FunctionEnv* env = &env_i_i; | 1310 FunctionEnv* env = &env_i_i; |
1409 TestModuleEnv module_env; | 1311 TestModuleEnv module_env; |
1410 env->module = &module_env; | 1312 env->module = &module_env; |
1411 | 1313 |
1412 module_env.AddGlobal(MachineType::Int8()); | 1314 module_env.AddGlobal(MachineType::Int8()); |
1413 module_env.AddGlobal(MachineType::Uint8()); | 1315 module_env.AddGlobal(MachineType::Uint8()); |
1414 module_env.AddGlobal(MachineType::Int16()); | 1316 module_env.AddGlobal(MachineType::Int16()); |
1415 module_env.AddGlobal(MachineType::Uint16()); | 1317 module_env.AddGlobal(MachineType::Uint16()); |
1416 module_env.AddGlobal(MachineType::Int32()); | 1318 module_env.AddGlobal(MachineType::Int32()); |
1417 module_env.AddGlobal(MachineType::Uint32()); | 1319 module_env.AddGlobal(MachineType::Uint32()); |
1418 | 1320 |
1419 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); | 1321 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); |
1420 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(1)); | 1322 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(1)); |
1421 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(2)); | 1323 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(2)); |
1422 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(3)); | 1324 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(3)); |
1423 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(4)); | 1325 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(4)); |
1424 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(5)); | 1326 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(5)); |
1425 | 1327 |
1426 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1328 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
1427 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); | 1329 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); |
1428 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(2, WASM_GET_LOCAL(0))); | 1330 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(2, WASM_GET_LOCAL(0))); |
1429 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(3, WASM_GET_LOCAL(0))); | 1331 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(3, WASM_GET_LOCAL(0))); |
1430 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(4, WASM_GET_LOCAL(0))); | 1332 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(4, WASM_GET_LOCAL(0))); |
1431 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(5, WASM_GET_LOCAL(0))); | 1333 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(5, WASM_GET_LOCAL(0))); |
1432 } | 1334 } |
1433 | 1335 |
1434 | 1336 TEST_F(AstDecoderTest, Int32Globals_fail) { |
1435 TEST_F(WasmDecoderTest, Int32Globals_fail) { | |
1436 FunctionEnv* env = &env_i_i; | 1337 FunctionEnv* env = &env_i_i; |
1437 TestModuleEnv module_env; | 1338 TestModuleEnv module_env; |
1438 env->module = &module_env; | 1339 env->module = &module_env; |
1439 | 1340 |
1440 module_env.AddGlobal(MachineType::Int64()); | 1341 module_env.AddGlobal(MachineType::Int64()); |
1441 module_env.AddGlobal(MachineType::Uint64()); | 1342 module_env.AddGlobal(MachineType::Uint64()); |
1442 module_env.AddGlobal(MachineType::Float32()); | 1343 module_env.AddGlobal(MachineType::Float32()); |
1443 module_env.AddGlobal(MachineType::Float64()); | 1344 module_env.AddGlobal(MachineType::Float64()); |
1444 | 1345 |
1445 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(0)); | 1346 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(0)); |
1446 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(1)); | 1347 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(1)); |
1447 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(2)); | 1348 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(2)); |
1448 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(3)); | 1349 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(3)); |
1449 | 1350 |
1450 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1351 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
1451 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); | 1352 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); |
1452 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(2, WASM_GET_LOCAL(0))); | 1353 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(2, WASM_GET_LOCAL(0))); |
1453 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(3, WASM_GET_LOCAL(0))); | 1354 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(3, WASM_GET_LOCAL(0))); |
1454 } | 1355 } |
1455 | 1356 |
1456 | 1357 TEST_F(AstDecoderTest, Int64Globals) { |
1457 TEST_F(WasmDecoderTest, Int64Globals) { | |
1458 FunctionEnv* env = &env_l_l; | 1358 FunctionEnv* env = &env_l_l; |
1459 TestModuleEnv module_env; | 1359 TestModuleEnv module_env; |
1460 env->module = &module_env; | 1360 env->module = &module_env; |
1461 | 1361 |
1462 module_env.AddGlobal(MachineType::Int64()); | 1362 module_env.AddGlobal(MachineType::Int64()); |
1463 module_env.AddGlobal(MachineType::Uint64()); | 1363 module_env.AddGlobal(MachineType::Uint64()); |
1464 | 1364 |
1465 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); | 1365 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); |
1466 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(1)); | 1366 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(1)); |
1467 | 1367 |
1468 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1368 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
1469 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); | 1369 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); |
1470 } | 1370 } |
1471 | 1371 |
1472 | 1372 TEST_F(AstDecoderTest, Float32Globals) { |
1473 TEST_F(WasmDecoderTest, Float32Globals) { | |
1474 FunctionEnv env_f_ff; | 1373 FunctionEnv env_f_ff; |
1475 FunctionEnv* env = &env_f_ff; | 1374 FunctionEnv* env = &env_f_ff; |
1476 init_env(env, sigs.f_ff()); | 1375 init_env(env, sigs.f_ff()); |
1477 TestModuleEnv module_env; | 1376 TestModuleEnv module_env; |
1478 env->module = &module_env; | 1377 env->module = &module_env; |
1479 | 1378 |
1480 module_env.AddGlobal(MachineType::Float32()); | 1379 module_env.AddGlobal(MachineType::Float32()); |
1481 | 1380 |
1482 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); | 1381 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); |
1483 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1382 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
1484 } | 1383 } |
1485 | 1384 |
1486 | 1385 TEST_F(AstDecoderTest, Float64Globals) { |
1487 TEST_F(WasmDecoderTest, Float64Globals) { | |
1488 FunctionEnv env_d_dd; | 1386 FunctionEnv env_d_dd; |
1489 FunctionEnv* env = &env_d_dd; | 1387 FunctionEnv* env = &env_d_dd; |
1490 init_env(env, sigs.d_dd()); | 1388 init_env(env, sigs.d_dd()); |
1491 TestModuleEnv module_env; | 1389 TestModuleEnv module_env; |
1492 env->module = &module_env; | 1390 env->module = &module_env; |
1493 | 1391 |
1494 module_env.AddGlobal(MachineType::Float64()); | 1392 module_env.AddGlobal(MachineType::Float64()); |
1495 | 1393 |
1496 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); | 1394 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); |
1497 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1395 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
1498 } | 1396 } |
1499 | 1397 |
1500 | 1398 TEST_F(AstDecoderTest, AllLoadGlobalCombinations) { |
1501 TEST_F(WasmDecoderTest, AllLoadGlobalCombinations) { | |
1502 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1399 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
1503 LocalType local_type = kLocalTypes[i]; | 1400 LocalType local_type = kLocalTypes[i]; |
1504 for (size_t j = 0; j < arraysize(machineTypes); j++) { | 1401 for (size_t j = 0; j < arraysize(machineTypes); j++) { |
1505 MachineType mem_type = machineTypes[j]; | 1402 MachineType mem_type = machineTypes[j]; |
1506 FunctionEnv env; | 1403 FunctionEnv env; |
1507 FunctionSig sig(1, 0, &local_type); | 1404 FunctionSig sig(1, 0, &local_type); |
1508 TestModuleEnv module_env; | 1405 TestModuleEnv module_env; |
1509 init_env(&env, &sig); | 1406 init_env(&env, &sig); |
1510 env.module = &module_env; | 1407 env.module = &module_env; |
1511 module_env.AddGlobal(mem_type); | 1408 module_env.AddGlobal(mem_type); |
1512 if (local_type == WasmOpcodes::LocalTypeFor(mem_type)) { | 1409 if (local_type == WasmOpcodes::LocalTypeFor(mem_type)) { |
1513 EXPECT_VERIFIES_INLINE(&env, WASM_LOAD_GLOBAL(0)); | 1410 EXPECT_VERIFIES_INLINE(&env, WASM_LOAD_GLOBAL(0)); |
1514 } else { | 1411 } else { |
1515 EXPECT_FAILURE_INLINE(&env, WASM_LOAD_GLOBAL(0)); | 1412 EXPECT_FAILURE_INLINE(&env, WASM_LOAD_GLOBAL(0)); |
1516 } | 1413 } |
1517 } | 1414 } |
1518 } | 1415 } |
1519 } | 1416 } |
1520 | 1417 |
1521 | 1418 TEST_F(AstDecoderTest, AllStoreGlobalCombinations) { |
1522 TEST_F(WasmDecoderTest, AllStoreGlobalCombinations) { | |
1523 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1419 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
1524 LocalType local_type = kLocalTypes[i]; | 1420 LocalType local_type = kLocalTypes[i]; |
1525 for (size_t j = 0; j < arraysize(machineTypes); j++) { | 1421 for (size_t j = 0; j < arraysize(machineTypes); j++) { |
1526 MachineType mem_type = machineTypes[j]; | 1422 MachineType mem_type = machineTypes[j]; |
1527 FunctionEnv env; | 1423 FunctionEnv env; |
1528 FunctionSig sig(0, 1, &local_type); | 1424 FunctionSig sig(0, 1, &local_type); |
1529 TestModuleEnv module_env; | 1425 TestModuleEnv module_env; |
1530 init_env(&env, &sig); | 1426 init_env(&env, &sig); |
1531 env.module = &module_env; | 1427 env.module = &module_env; |
1532 module_env.AddGlobal(mem_type); | 1428 module_env.AddGlobal(mem_type); |
1533 if (local_type == WasmOpcodes::LocalTypeFor(mem_type)) { | 1429 if (local_type == WasmOpcodes::LocalTypeFor(mem_type)) { |
1534 EXPECT_VERIFIES_INLINE(&env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1430 EXPECT_VERIFIES_INLINE(&env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
1535 } else { | 1431 } else { |
1536 EXPECT_FAILURE_INLINE(&env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1432 EXPECT_FAILURE_INLINE(&env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
1537 } | 1433 } |
1538 } | 1434 } |
1539 } | 1435 } |
1540 } | 1436 } |
1541 | 1437 |
1542 | 1438 TEST_F(AstDecoderTest, BreakNesting1) { |
1543 TEST_F(WasmDecoderTest, BreakNesting1) { | |
1544 for (int i = 0; i < 5; i++) { | 1439 for (int i = 0; i < 5; i++) { |
1545 // (block[2] (loop[2] (if (get p) break[N]) (set p 1)) p) | 1440 // (block[2] (loop[2] (if (get p) break[N]) (set p 1)) p) |
1546 byte code[] = {WASM_BLOCK( | 1441 byte code[] = {WASM_BLOCK( |
1547 2, WASM_LOOP(2, WASM_IF(WASM_GET_LOCAL(0), WASM_BRV(i, WASM_ZERO)), | 1442 2, WASM_LOOP(2, WASM_IF(WASM_GET_LOCAL(0), WASM_BRV(i, WASM_ZERO)), |
1548 WASM_SET_LOCAL(0, WASM_I8(1))), | 1443 WASM_SET_LOCAL(0, WASM_I8(1))), |
1549 WASM_GET_LOCAL(0))}; | 1444 WASM_GET_LOCAL(0))}; |
1550 if (i < 3) { | 1445 if (i < 3) { |
1551 EXPECT_VERIFIES(&env_i_i, code); | 1446 EXPECT_VERIFIES(&env_i_i, code); |
1552 } else { | 1447 } else { |
1553 EXPECT_FAILURE(&env_i_i, code); | 1448 EXPECT_FAILURE(&env_i_i, code); |
1554 } | 1449 } |
1555 } | 1450 } |
1556 } | 1451 } |
1557 | 1452 |
1558 | 1453 TEST_F(AstDecoderTest, BreakNesting2) { |
1559 TEST_F(WasmDecoderTest, BreakNesting2) { | |
1560 env_v_v.AddLocals(kAstI32, 1); | 1454 env_v_v.AddLocals(kAstI32, 1); |
1561 for (int i = 0; i < 5; i++) { | 1455 for (int i = 0; i < 5; i++) { |
1562 // (block[2] (loop[2] (if (get p) break[N]) (set p 1)) (return p)) (11) | 1456 // (block[2] (loop[2] (if (get p) break[N]) (set p 1)) (return p)) (11) |
1563 byte code[] = { | 1457 byte code[] = { |
1564 WASM_BLOCK(1, WASM_LOOP(2, WASM_IF(WASM_GET_LOCAL(0), WASM_BREAK(i)), | 1458 WASM_BLOCK(1, WASM_LOOP(2, WASM_IF(WASM_GET_LOCAL(0), WASM_BREAK(i)), |
1565 WASM_SET_LOCAL(0, WASM_I8(1)))), | 1459 WASM_SET_LOCAL(0, WASM_I8(1)))), |
1566 WASM_I8(11)}; | 1460 WASM_I8(11)}; |
1567 if (i < 2) { | 1461 if (i < 2) { |
1568 EXPECT_VERIFIES(&env_v_v, code); | 1462 EXPECT_VERIFIES(&env_v_v, code); |
1569 } else { | 1463 } else { |
1570 EXPECT_FAILURE(&env_v_v, code); | 1464 EXPECT_FAILURE(&env_v_v, code); |
1571 } | 1465 } |
1572 } | 1466 } |
1573 } | 1467 } |
1574 | 1468 |
1575 | 1469 TEST_F(AstDecoderTest, BreakNesting3) { |
1576 TEST_F(WasmDecoderTest, BreakNesting3) { | |
1577 env_v_v.AddLocals(kAstI32, 1); | 1470 env_v_v.AddLocals(kAstI32, 1); |
1578 for (int i = 0; i < 5; i++) { | 1471 for (int i = 0; i < 5; i++) { |
1579 // (block[1] (loop[1] (block[1] (if (get p) break[N]) | 1472 // (block[1] (loop[1] (block[1] (if (get p) break[N]) |
1580 byte code[] = {WASM_BLOCK( | 1473 byte code[] = {WASM_BLOCK( |
1581 1, WASM_LOOP( | 1474 1, WASM_LOOP( |
1582 1, WASM_BLOCK(1, WASM_IF(WASM_GET_LOCAL(0), WASM_BREAK(i)))))}; | 1475 1, WASM_BLOCK(1, WASM_IF(WASM_GET_LOCAL(0), WASM_BREAK(i)))))}; |
1583 if (i < 3) { | 1476 if (i < 3) { |
1584 EXPECT_VERIFIES(&env_v_v, code); | 1477 EXPECT_VERIFIES(&env_v_v, code); |
1585 } else { | 1478 } else { |
1586 EXPECT_FAILURE(&env_v_v, code); | 1479 EXPECT_FAILURE(&env_v_v, code); |
1587 } | 1480 } |
1588 } | 1481 } |
1589 } | 1482 } |
1590 | 1483 |
1591 | 1484 TEST_F(AstDecoderTest, BreaksWithMultipleTypes) { |
1592 TEST_F(WasmDecoderTest, BreaksWithMultipleTypes) { | |
1593 EXPECT_FAILURE_INLINE( | 1485 EXPECT_FAILURE_INLINE( |
1594 &env_i_i, WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_I8(7)), WASM_F32(7.7))); | 1486 &env_i_i, WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_I8(7)), WASM_F32(7.7))); |
1595 | 1487 |
1596 EXPECT_FAILURE_INLINE(&env_i_i, | 1488 EXPECT_FAILURE_INLINE(&env_i_i, |
1597 WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_I8(7)), | 1489 WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_I8(7)), |
1598 WASM_BRV_IF_ZERO(0, WASM_F32(7.7)))); | 1490 WASM_BRV_IF_ZERO(0, WASM_F32(7.7)))); |
1599 EXPECT_FAILURE_INLINE(&env_i_i, | 1491 EXPECT_FAILURE_INLINE(&env_i_i, |
1600 WASM_BLOCK(3, WASM_BRV_IF_ZERO(0, WASM_I8(8)), | 1492 WASM_BLOCK(3, WASM_BRV_IF_ZERO(0, WASM_I8(8)), |
1601 WASM_BRV_IF_ZERO(0, WASM_I8(0)), | 1493 WASM_BRV_IF_ZERO(0, WASM_I8(0)), |
1602 WASM_BRV_IF_ZERO(0, WASM_F32(7.7)))); | 1494 WASM_BRV_IF_ZERO(0, WASM_F32(7.7)))); |
1603 EXPECT_FAILURE_INLINE(&env_i_i, WASM_BLOCK(3, WASM_BRV_IF_ZERO(0, WASM_I8(9)), | 1495 EXPECT_FAILURE_INLINE(&env_i_i, WASM_BLOCK(3, WASM_BRV_IF_ZERO(0, WASM_I8(9)), |
1604 WASM_BRV_IF_ZERO(0, WASM_F32(7.7)), | 1496 WASM_BRV_IF_ZERO(0, WASM_F32(7.7)), |
1605 WASM_BRV_IF_ZERO(0, WASM_I8(11)))); | 1497 WASM_BRV_IF_ZERO(0, WASM_I8(11)))); |
1606 } | 1498 } |
1607 | 1499 |
1608 | 1500 TEST_F(AstDecoderTest, BreakNesting_6_levels) { |
1609 TEST_F(WasmDecoderTest, BreakNesting_6_levels) { | |
1610 for (int mask = 0; mask < 64; mask++) { | 1501 for (int mask = 0; mask < 64; mask++) { |
1611 for (int i = 0; i < 14; i++) { | 1502 for (int i = 0; i < 14; i++) { |
1612 byte code[] = { | 1503 byte code[] = { |
1613 kExprBlock, 1, // -- | 1504 kExprBlock, 1, // -- |
1614 kExprBlock, 1, // -- | 1505 kExprBlock, 1, // -- |
1615 kExprBlock, 1, // -- | 1506 kExprBlock, 1, // -- |
1616 kExprBlock, 1, // -- | 1507 kExprBlock, 1, // -- |
1617 kExprBlock, 1, // -- | 1508 kExprBlock, 1, // -- |
1618 kExprBlock, 1, // -- | 1509 kExprBlock, 1, // -- |
1619 kExprBr, static_cast<byte>(i), | 1510 kExprBr, static_cast<byte>(i), |
(...skipping 10 matching lines...) Expand all Loading... |
1630 | 1521 |
1631 if (i < depth) { | 1522 if (i < depth) { |
1632 EXPECT_VERIFIES(&env_v_v, code); | 1523 EXPECT_VERIFIES(&env_v_v, code); |
1633 } else { | 1524 } else { |
1634 EXPECT_FAILURE(&env_v_v, code); | 1525 EXPECT_FAILURE(&env_v_v, code); |
1635 } | 1526 } |
1636 } | 1527 } |
1637 } | 1528 } |
1638 } | 1529 } |
1639 | 1530 |
1640 | 1531 TEST_F(AstDecoderTest, ExprBreak_TypeCheck) { |
1641 TEST_F(WasmDecoderTest, ExprBreak_TypeCheck) { | |
1642 FunctionEnv* envs[] = {&env_i_i, &env_l_l, &env_f_ff, &env_d_dd}; | 1532 FunctionEnv* envs[] = {&env_i_i, &env_l_l, &env_f_ff, &env_d_dd}; |
1643 for (size_t i = 0; i < arraysize(envs); i++) { | 1533 for (size_t i = 0; i < arraysize(envs); i++) { |
1644 FunctionEnv* env = envs[i]; | 1534 FunctionEnv* env = envs[i]; |
1645 // unify X and X => OK | 1535 // unify X and X => OK |
1646 EXPECT_VERIFIES_INLINE( | 1536 EXPECT_VERIFIES_INLINE( |
1647 env, WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), | 1537 env, WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), |
1648 WASM_GET_LOCAL(0))); | 1538 WASM_GET_LOCAL(0))); |
1649 } | 1539 } |
1650 | 1540 |
1651 // unify i32 and f32 => fail | 1541 // unify i32 and f32 => fail |
1652 EXPECT_FAILURE_INLINE( | 1542 EXPECT_FAILURE_INLINE( |
1653 &env_i_i, | 1543 &env_i_i, |
1654 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_ZERO)), WASM_F32(1.2))); | 1544 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_ZERO)), WASM_F32(1.2))); |
1655 | 1545 |
1656 // unify f64 and f64 => OK | 1546 // unify f64 and f64 => OK |
1657 EXPECT_VERIFIES_INLINE( | 1547 EXPECT_VERIFIES_INLINE( |
1658 &env_d_dd, | 1548 &env_d_dd, |
1659 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), | 1549 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), |
1660 WASM_F64(1.2))); | 1550 WASM_F64(1.2))); |
1661 } | 1551 } |
1662 | 1552 |
1663 | 1553 TEST_F(AstDecoderTest, ExprBreak_TypeCheckAll) { |
1664 TEST_F(WasmDecoderTest, ExprBreak_TypeCheckAll) { | |
1665 byte code1[] = {WASM_BLOCK(2, | 1554 byte code1[] = {WASM_BLOCK(2, |
1666 WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), | 1555 WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), |
1667 WASM_GET_LOCAL(1))}; | 1556 WASM_GET_LOCAL(1))}; |
1668 byte code2[] = { | 1557 byte code2[] = { |
1669 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV_IF_ZERO(0, WASM_GET_LOCAL(0))), | 1558 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV_IF_ZERO(0, WASM_GET_LOCAL(0))), |
1670 WASM_GET_LOCAL(1))}; | 1559 WASM_GET_LOCAL(1))}; |
1671 | 1560 |
1672 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1561 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
1673 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { | 1562 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { |
1674 FunctionEnv env; | 1563 FunctionEnv env; |
1675 LocalType storage[] = {kLocalTypes[i], kLocalTypes[i], kLocalTypes[j]}; | 1564 LocalType storage[] = {kLocalTypes[i], kLocalTypes[i], kLocalTypes[j]}; |
1676 FunctionSig sig(1, 2, storage); | 1565 FunctionSig sig(1, 2, storage); |
1677 init_env(&env, &sig); | 1566 init_env(&env, &sig); |
1678 | 1567 |
1679 if (i == j) { | 1568 if (i == j) { |
1680 EXPECT_VERIFIES(&env, code1); | 1569 EXPECT_VERIFIES(&env, code1); |
1681 EXPECT_VERIFIES(&env, code2); | 1570 EXPECT_VERIFIES(&env, code2); |
1682 } else { | 1571 } else { |
1683 EXPECT_FAILURE(&env, code1); | 1572 EXPECT_FAILURE(&env, code1); |
1684 EXPECT_FAILURE(&env, code2); | 1573 EXPECT_FAILURE(&env, code2); |
1685 } | 1574 } |
1686 } | 1575 } |
1687 } | 1576 } |
1688 } | 1577 } |
1689 | 1578 |
1690 | 1579 TEST_F(AstDecoderTest, ExprBr_Unify) { |
1691 TEST_F(WasmDecoderTest, ExprBr_Unify) { | |
1692 FunctionEnv env; | 1580 FunctionEnv env; |
1693 | 1581 |
1694 for (int which = 0; which < 2; which++) { | 1582 for (int which = 0; which < 2; which++) { |
1695 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1583 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
1696 LocalType type = kLocalTypes[i]; | 1584 LocalType type = kLocalTypes[i]; |
1697 LocalType storage[] = {kAstI32, kAstI32, type}; | 1585 LocalType storage[] = {kAstI32, kAstI32, type}; |
1698 FunctionSig sig(1, 2, storage); | 1586 FunctionSig sig(1, 2, storage); |
1699 init_env(&env, &sig); // (i32, X) -> i32 | 1587 init_env(&env, &sig); // (i32, X) -> i32 |
1700 | 1588 |
1701 byte code1[] = { | 1589 byte code1[] = { |
1702 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(which))), | 1590 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(which))), |
1703 WASM_GET_LOCAL(which ^ 1))}; | 1591 WASM_GET_LOCAL(which ^ 1))}; |
1704 byte code2[] = { | 1592 byte code2[] = { |
1705 WASM_LOOP(2, WASM_IF(WASM_ZERO, WASM_BRV(1, WASM_GET_LOCAL(which))), | 1593 WASM_LOOP(2, WASM_IF(WASM_ZERO, WASM_BRV(1, WASM_GET_LOCAL(which))), |
1706 WASM_GET_LOCAL(which ^ 1))}; | 1594 WASM_GET_LOCAL(which ^ 1))}; |
1707 | 1595 |
1708 | 1596 |
1709 if (type == kAstI32) { | 1597 if (type == kAstI32) { |
1710 EXPECT_VERIFIES(&env, code1); | 1598 EXPECT_VERIFIES(&env, code1); |
1711 EXPECT_VERIFIES(&env, code2); | 1599 EXPECT_VERIFIES(&env, code2); |
1712 } else { | 1600 } else { |
1713 EXPECT_FAILURE(&env, code1); | 1601 EXPECT_FAILURE(&env, code1); |
1714 EXPECT_FAILURE(&env, code2); | 1602 EXPECT_FAILURE(&env, code2); |
1715 } | 1603 } |
1716 } | 1604 } |
1717 } | 1605 } |
1718 } | 1606 } |
1719 | 1607 |
1720 TEST_F(WasmDecoderTest, ExprBrIf_cond_type) { | 1608 TEST_F(AstDecoderTest, ExprBrIf_cond_type) { |
1721 FunctionEnv env; | 1609 FunctionEnv env; |
1722 byte code[] = { | 1610 byte code[] = { |
1723 WASM_BLOCK(1, WASM_BRV_IF(0, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)))}; | 1611 WASM_BLOCK(1, WASM_BRV_IF(0, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)))}; |
1724 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1612 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
1725 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { | 1613 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { |
1726 LocalType types[] = {kLocalTypes[i], kLocalTypes[j]}; | 1614 LocalType types[] = {kLocalTypes[i], kLocalTypes[j]}; |
1727 FunctionSig sig(0, 2, types); | 1615 FunctionSig sig(0, 2, types); |
1728 init_env(&env, &sig); | 1616 init_env(&env, &sig); |
1729 | 1617 |
1730 if (types[1] == kAstI32) { | 1618 if (types[1] == kAstI32) { |
1731 EXPECT_VERIFIES(&env, code); | 1619 EXPECT_VERIFIES(&env, code); |
1732 } else { | 1620 } else { |
1733 EXPECT_FAILURE(&env, code); | 1621 EXPECT_FAILURE(&env, code); |
1734 } | 1622 } |
1735 } | 1623 } |
1736 } | 1624 } |
1737 } | 1625 } |
1738 | 1626 |
1739 TEST_F(WasmDecoderTest, ExprBrIf_val_type) { | 1627 TEST_F(AstDecoderTest, ExprBrIf_val_type) { |
1740 FunctionEnv env; | 1628 FunctionEnv env; |
1741 byte code[] = { | 1629 byte code[] = { |
1742 WASM_BLOCK(2, WASM_BRV_IF(0, WASM_GET_LOCAL(1), WASM_GET_LOCAL(2)), | 1630 WASM_BLOCK(2, WASM_BRV_IF(0, WASM_GET_LOCAL(1), WASM_GET_LOCAL(2)), |
1743 WASM_GET_LOCAL(0))}; | 1631 WASM_GET_LOCAL(0))}; |
1744 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1632 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
1745 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { | 1633 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { |
1746 LocalType types[] = {kLocalTypes[i], kLocalTypes[i], kLocalTypes[j], | 1634 LocalType types[] = {kLocalTypes[i], kLocalTypes[i], kLocalTypes[j], |
1747 kAstI32}; | 1635 kAstI32}; |
1748 FunctionSig sig(1, 3, types); | 1636 FunctionSig sig(1, 3, types); |
1749 init_env(&env, &sig); | 1637 init_env(&env, &sig); |
1750 | 1638 |
1751 if (i == j) { | 1639 if (i == j) { |
1752 EXPECT_VERIFIES(&env, code); | 1640 EXPECT_VERIFIES(&env, code); |
1753 } else { | 1641 } else { |
1754 EXPECT_FAILURE(&env, code); | 1642 EXPECT_FAILURE(&env, code); |
1755 } | 1643 } |
1756 } | 1644 } |
1757 } | 1645 } |
1758 } | 1646 } |
1759 | 1647 |
1760 | 1648 TEST_F(AstDecoderTest, ExprBrIf_Unify) { |
1761 TEST_F(WasmDecoderTest, ExprBrIf_Unify) { | |
1762 FunctionEnv env; | 1649 FunctionEnv env; |
1763 | 1650 |
1764 for (int which = 0; which < 2; which++) { | 1651 for (int which = 0; which < 2; which++) { |
1765 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1652 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
1766 LocalType type = kLocalTypes[i]; | 1653 LocalType type = kLocalTypes[i]; |
1767 LocalType storage[] = {kAstI32, kAstI32, type}; | 1654 LocalType storage[] = {kAstI32, kAstI32, type}; |
1768 FunctionSig sig(1, 2, storage); | 1655 FunctionSig sig(1, 2, storage); |
1769 init_env(&env, &sig); // (i32, X) -> i32 | 1656 init_env(&env, &sig); // (i32, X) -> i32 |
1770 | 1657 |
1771 byte code1[] = {WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_GET_LOCAL(which)), | 1658 byte code1[] = {WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_GET_LOCAL(which)), |
1772 WASM_GET_LOCAL(which ^ 1))}; | 1659 WASM_GET_LOCAL(which ^ 1))}; |
1773 byte code2[] = {WASM_LOOP(2, WASM_BRV_IF_ZERO(1, WASM_GET_LOCAL(which)), | 1660 byte code2[] = {WASM_LOOP(2, WASM_BRV_IF_ZERO(1, WASM_GET_LOCAL(which)), |
1774 WASM_GET_LOCAL(which ^ 1))}; | 1661 WASM_GET_LOCAL(which ^ 1))}; |
1775 | 1662 |
1776 if (type == kAstI32) { | 1663 if (type == kAstI32) { |
1777 EXPECT_VERIFIES(&env, code1); | 1664 EXPECT_VERIFIES(&env, code1); |
1778 EXPECT_VERIFIES(&env, code2); | 1665 EXPECT_VERIFIES(&env, code2); |
1779 } else { | 1666 } else { |
1780 EXPECT_FAILURE(&env, code1); | 1667 EXPECT_FAILURE(&env, code1); |
1781 EXPECT_FAILURE(&env, code2); | 1668 EXPECT_FAILURE(&env, code2); |
1782 } | 1669 } |
1783 } | 1670 } |
1784 } | 1671 } |
1785 } | 1672 } |
1786 | 1673 |
1787 | 1674 TEST_F(AstDecoderTest, TableSwitch0) { |
1788 TEST_F(WasmDecoderTest, TableSwitch0) { | |
1789 static byte code[] = {kExprTableSwitch, 0, 0, 0, 0}; | 1675 static byte code[] = {kExprTableSwitch, 0, 0, 0, 0}; |
1790 EXPECT_FAILURE(&env_v_v, code); | 1676 EXPECT_FAILURE(&env_v_v, code); |
1791 } | 1677 } |
1792 | 1678 |
1793 | 1679 TEST_F(AstDecoderTest, TableSwitch0b) { |
1794 TEST_F(WasmDecoderTest, TableSwitch0b) { | |
1795 static byte code[] = {kExprTableSwitch, 0, 0, 0, 0, kExprI8Const, 11}; | 1680 static byte code[] = {kExprTableSwitch, 0, 0, 0, 0, kExprI8Const, 11}; |
1796 EXPECT_FAILURE(&env_v_v, code); | 1681 EXPECT_FAILURE(&env_v_v, code); |
1797 EXPECT_FAILURE(&env_i_i, code); | 1682 EXPECT_FAILURE(&env_i_i, code); |
1798 } | 1683 } |
1799 | 1684 |
1800 | 1685 TEST_F(AstDecoderTest, TableSwitch0c) { |
1801 TEST_F(WasmDecoderTest, TableSwitch0c) { | |
1802 static byte code[] = { | 1686 static byte code[] = { |
1803 WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(0)), WASM_I8(67))}; | 1687 WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(0)), WASM_I8(67))}; |
1804 EXPECT_VERIFIES(&env_v_v, code); | 1688 EXPECT_VERIFIES(&env_v_v, code); |
1805 } | 1689 } |
1806 | 1690 |
1807 TEST_F(WasmDecoderTest, TableSwitch0d) { | 1691 TEST_F(AstDecoderTest, TableSwitch0d) { |
1808 static byte code[] = { | 1692 static byte code[] = { |
1809 WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 2, WASM_CASE_BR(0), WASM_CASE_BR(1)), | 1693 WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 2, WASM_CASE_BR(0), WASM_CASE_BR(1)), |
1810 WASM_I8(67))}; | 1694 WASM_I8(67))}; |
1811 EXPECT_VERIFIES(&env_v_v, code); | 1695 EXPECT_VERIFIES(&env_v_v, code); |
1812 } | 1696 } |
1813 | 1697 |
1814 TEST_F(WasmDecoderTest, TableSwitch1) { | 1698 TEST_F(AstDecoderTest, TableSwitch1) { |
1815 static byte code[] = {WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1699 static byte code[] = {WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
1816 WASM_TABLESWITCH_BODY(WASM_I8(0), WASM_I8(9))}; | 1700 WASM_TABLESWITCH_BODY(WASM_I8(0), WASM_I8(9))}; |
1817 EXPECT_VERIFIES(&env_i_i, code); | 1701 EXPECT_VERIFIES(&env_i_i, code); |
1818 EXPECT_VERIFIES(&env_v_v, code); | 1702 EXPECT_VERIFIES(&env_v_v, code); |
1819 EXPECT_FAILURE(&env_f_ff, code); | 1703 EXPECT_FAILURE(&env_f_ff, code); |
1820 EXPECT_FAILURE(&env_d_dd, code); | 1704 EXPECT_FAILURE(&env_d_dd, code); |
1821 } | 1705 } |
1822 | 1706 |
1823 | 1707 TEST_F(AstDecoderTest, TableSwitch_off_end) { |
1824 TEST_F(WasmDecoderTest, TableSwitch_off_end) { | |
1825 static byte code[] = {WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1708 static byte code[] = {WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
1826 WASM_TABLESWITCH_BODY(WASM_I8(0), WASM_I8(9))}; | 1709 WASM_TABLESWITCH_BODY(WASM_I8(0), WASM_I8(9))}; |
1827 for (size_t len = arraysize(code) - 1; len > 0; len--) { | 1710 for (size_t len = arraysize(code) - 1; len > 0; len--) { |
1828 Verify(kError, &env_v_v, code, code + len); | 1711 Verify(kError, &env_v_v, code, code + len); |
1829 } | 1712 } |
1830 } | 1713 } |
1831 | 1714 |
1832 | 1715 TEST_F(AstDecoderTest, TableSwitch2) { |
1833 TEST_F(WasmDecoderTest, TableSwitch2) { | |
1834 static byte code[] = { | 1716 static byte code[] = { |
1835 WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), | 1717 WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), |
1836 WASM_TABLESWITCH_BODY(WASM_I8(3), WASM_I8(10), WASM_I8(11))}; | 1718 WASM_TABLESWITCH_BODY(WASM_I8(3), WASM_I8(10), WASM_I8(11))}; |
1837 EXPECT_VERIFIES(&env_i_i, code); | 1719 EXPECT_VERIFIES(&env_i_i, code); |
1838 EXPECT_VERIFIES(&env_v_v, code); | 1720 EXPECT_VERIFIES(&env_v_v, code); |
1839 EXPECT_FAILURE(&env_f_ff, code); | 1721 EXPECT_FAILURE(&env_f_ff, code); |
1840 EXPECT_FAILURE(&env_d_dd, code); | 1722 EXPECT_FAILURE(&env_d_dd, code); |
1841 } | 1723 } |
1842 | 1724 |
1843 | 1725 TEST_F(AstDecoderTest, TableSwitch1b) { |
1844 TEST_F(WasmDecoderTest, TableSwitch1b) { | |
1845 EXPECT_VERIFIES_INLINE(&env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1726 EXPECT_VERIFIES_INLINE(&env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
1846 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_ZERO)); | 1727 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_ZERO)); |
1847 | 1728 |
1848 EXPECT_VERIFIES_INLINE(&env_f_ff, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1729 EXPECT_VERIFIES_INLINE(&env_f_ff, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
1849 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_F32(0.0))); | 1730 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_F32(0.0))); |
1850 | 1731 |
1851 EXPECT_VERIFIES_INLINE(&env_d_dd, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1732 EXPECT_VERIFIES_INLINE(&env_d_dd, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
1852 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_F64(0.0))); | 1733 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_F64(0.0))); |
1853 } | 1734 } |
1854 | 1735 |
1855 TEST_F(WasmDecoderTest, TableSwitch_br1) { | 1736 TEST_F(AstDecoderTest, TableSwitch_br1) { |
1856 for (int depth = 0; depth < 2; depth++) { | 1737 for (int depth = 0; depth < 2; depth++) { |
1857 byte code[] = {WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(depth)), | 1738 byte code[] = {WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(depth)), |
1858 WASM_GET_LOCAL(0))}; | 1739 WASM_GET_LOCAL(0))}; |
1859 EXPECT_VERIFIES(&env_v_i, code); | 1740 EXPECT_VERIFIES(&env_v_i, code); |
1860 EXPECT_FAILURE(&env_i_i, code); | 1741 EXPECT_FAILURE(&env_i_i, code); |
1861 } | 1742 } |
1862 } | 1743 } |
1863 | 1744 |
1864 | 1745 TEST_F(AstDecoderTest, TableSwitch_invalid_br) { |
1865 TEST_F(WasmDecoderTest, TableSwitch_invalid_br) { | |
1866 for (int depth = 1; depth < 4; depth++) { | 1746 for (int depth = 1; depth < 4; depth++) { |
1867 EXPECT_FAILURE_INLINE(&env_v_i, | 1747 EXPECT_FAILURE_INLINE(&env_v_i, |
1868 WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(depth)), | 1748 WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(depth)), |
1869 WASM_GET_LOCAL(0)); | 1749 WASM_GET_LOCAL(0)); |
1870 EXPECT_FAILURE_INLINE( | 1750 EXPECT_FAILURE_INLINE( |
1871 &env_v_i, | 1751 &env_v_i, |
1872 WASM_TABLESWITCH_OP(0, 2, WASM_CASE_BR(depth), WASM_CASE_BR(depth)), | 1752 WASM_TABLESWITCH_OP(0, 2, WASM_CASE_BR(depth), WASM_CASE_BR(depth)), |
1873 WASM_GET_LOCAL(0)); | 1753 WASM_GET_LOCAL(0)); |
1874 } | 1754 } |
1875 } | 1755 } |
1876 | 1756 |
1877 | 1757 TEST_F(AstDecoderTest, TableSwitch_invalid_case_ref) { |
1878 TEST_F(WasmDecoderTest, TableSwitch_invalid_case_ref) { | |
1879 EXPECT_FAILURE_INLINE(&env_i_i, WASM_TABLESWITCH_OP(0, 1, WASM_CASE(0)), | 1758 EXPECT_FAILURE_INLINE(&env_i_i, WASM_TABLESWITCH_OP(0, 1, WASM_CASE(0)), |
1880 WASM_GET_LOCAL(0)); | 1759 WASM_GET_LOCAL(0)); |
1881 EXPECT_FAILURE_INLINE(&env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(1)), | 1760 EXPECT_FAILURE_INLINE(&env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(1)), |
1882 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_ZERO)); | 1761 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_ZERO)); |
1883 } | 1762 } |
1884 | 1763 |
1885 | 1764 TEST_F(AstDecoderTest, TableSwitch1_br) { |
1886 TEST_F(WasmDecoderTest, TableSwitch1_br) { | |
1887 EXPECT_VERIFIES_INLINE( | 1765 EXPECT_VERIFIES_INLINE( |
1888 &env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1766 &env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
1889 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_ZERO))); | 1767 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_ZERO))); |
1890 } | 1768 } |
1891 | 1769 |
1892 | 1770 TEST_F(AstDecoderTest, TableSwitch2_br) { |
1893 TEST_F(WasmDecoderTest, TableSwitch2_br) { | |
1894 EXPECT_VERIFIES_INLINE( | 1771 EXPECT_VERIFIES_INLINE( |
1895 &env_i_i, WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), | 1772 &env_i_i, WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), |
1896 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_I8(0)), | 1773 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_I8(0)), |
1897 WASM_BRV(0, WASM_I8(1)))); | 1774 WASM_BRV(0, WASM_I8(1)))); |
1898 | 1775 |
1899 EXPECT_FAILURE_INLINE( | 1776 EXPECT_FAILURE_INLINE( |
1900 &env_f_ff, WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), | 1777 &env_f_ff, WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), |
1901 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_BRV(0, WASM_I8(3)), | 1778 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_BRV(0, WASM_I8(3)), |
1902 WASM_BRV(0, WASM_I8(4)))); | 1779 WASM_BRV(0, WASM_I8(4)))); |
1903 } | 1780 } |
1904 | 1781 |
1905 | 1782 TEST_F(AstDecoderTest, TableSwitch2x2) { |
1906 TEST_F(WasmDecoderTest, TableSwitch2x2) { | |
1907 EXPECT_VERIFIES_INLINE( | 1783 EXPECT_VERIFIES_INLINE( |
1908 &env_i_i, WASM_TABLESWITCH_OP(2, 4, WASM_CASE(0), WASM_CASE(1), | 1784 &env_i_i, WASM_TABLESWITCH_OP(2, 4, WASM_CASE(0), WASM_CASE(1), |
1909 WASM_CASE(0), WASM_CASE(1)), | 1785 WASM_CASE(0), WASM_CASE(1)), |
1910 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_I8(3)), | 1786 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_I8(3)), |
1911 WASM_BRV(0, WASM_I8(4)))); | 1787 WASM_BRV(0, WASM_I8(4)))); |
1912 } | 1788 } |
1913 | 1789 |
1914 | 1790 TEST_F(AstDecoderTest, ExprBreakNesting1) { |
1915 TEST_F(WasmDecoderTest, ExprBreakNesting1) { | |
1916 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BRV(0, WASM_ZERO))); | 1791 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BRV(0, WASM_ZERO))); |
1917 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BR(0))); | 1792 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BR(0))); |
1918 EXPECT_VERIFIES_INLINE(&env_v_v, | 1793 EXPECT_VERIFIES_INLINE(&env_v_v, |
1919 WASM_BLOCK(1, WASM_BRV_IF(0, WASM_ZERO, WASM_ZERO))); | 1794 WASM_BLOCK(1, WASM_BRV_IF(0, WASM_ZERO, WASM_ZERO))); |
1920 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BR_IF(0, WASM_ZERO))); | 1795 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BR_IF(0, WASM_ZERO))); |
1921 | 1796 |
1922 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BRV(0, WASM_ZERO))); | 1797 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BRV(0, WASM_ZERO))); |
1923 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR(0))); | 1798 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR(0))); |
1924 EXPECT_VERIFIES_INLINE(&env_v_v, | 1799 EXPECT_VERIFIES_INLINE(&env_v_v, |
1925 WASM_LOOP(1, WASM_BRV_IF(0, WASM_ZERO, WASM_ZERO))); | 1800 WASM_LOOP(1, WASM_BRV_IF(0, WASM_ZERO, WASM_ZERO))); |
1926 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR_IF(0, WASM_ZERO))); | 1801 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR_IF(0, WASM_ZERO))); |
1927 | 1802 |
1928 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BRV(1, WASM_ZERO))); | 1803 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BRV(1, WASM_ZERO))); |
1929 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR(1))); | 1804 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR(1))); |
1930 } | 1805 } |
1931 | 1806 |
1932 | 1807 TEST_F(AstDecoderTest, Select) { |
1933 TEST_F(WasmDecoderTest, Select) { | |
1934 EXPECT_VERIFIES_INLINE( | 1808 EXPECT_VERIFIES_INLINE( |
1935 &env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_ZERO)); | 1809 &env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_ZERO)); |
1936 EXPECT_VERIFIES_INLINE(&env_f_ff, | 1810 EXPECT_VERIFIES_INLINE(&env_f_ff, |
1937 WASM_SELECT(WASM_F32(0.0), WASM_F32(0.0), WASM_ZERO)); | 1811 WASM_SELECT(WASM_F32(0.0), WASM_F32(0.0), WASM_ZERO)); |
1938 EXPECT_VERIFIES_INLINE(&env_d_dd, | 1812 EXPECT_VERIFIES_INLINE(&env_d_dd, |
1939 WASM_SELECT(WASM_F64(0.0), WASM_F64(0.0), WASM_ZERO)); | 1813 WASM_SELECT(WASM_F64(0.0), WASM_F64(0.0), WASM_ZERO)); |
1940 EXPECT_VERIFIES_INLINE(&env_l_l, | 1814 EXPECT_VERIFIES_INLINE(&env_l_l, |
1941 WASM_SELECT(WASM_I64(0), WASM_I64(0), WASM_ZERO)); | 1815 WASM_SELECT(WASM_I64(0), WASM_I64(0), WASM_ZERO)); |
1942 } | 1816 } |
1943 | 1817 |
1944 TEST_F(WasmDecoderTest, Select_fail1) { | 1818 TEST_F(AstDecoderTest, Select_fail1) { |
1945 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_F32(0.0), WASM_GET_LOCAL(0), | 1819 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_F32(0.0), WASM_GET_LOCAL(0), |
1946 WASM_GET_LOCAL(0))); | 1820 WASM_GET_LOCAL(0))); |
1947 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_F32(0.0), | 1821 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_F32(0.0), |
1948 WASM_GET_LOCAL(0))); | 1822 WASM_GET_LOCAL(0))); |
1949 EXPECT_FAILURE_INLINE( | 1823 EXPECT_FAILURE_INLINE( |
1950 &env_i_i, | 1824 &env_i_i, |
1951 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_F32(0.0))); | 1825 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_F32(0.0))); |
1952 } | 1826 } |
1953 | 1827 |
1954 TEST_F(WasmDecoderTest, Select_fail2) { | 1828 TEST_F(AstDecoderTest, Select_fail2) { |
1955 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1829 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
1956 LocalType type = kLocalTypes[i]; | 1830 LocalType type = kLocalTypes[i]; |
1957 if (type == kAstI32) continue; | 1831 if (type == kAstI32) continue; |
1958 | 1832 |
1959 LocalType types[] = {type, kAstI32, type}; | 1833 LocalType types[] = {type, kAstI32, type}; |
1960 FunctionSig sig(1, 2, types); | 1834 FunctionSig sig(1, 2, types); |
1961 FunctionEnv env; | 1835 FunctionEnv env; |
1962 init_env(&env, &sig); | 1836 init_env(&env, &sig); |
1963 | 1837 |
1964 EXPECT_VERIFIES_INLINE( | 1838 EXPECT_VERIFIES_INLINE( |
1965 &env, | 1839 &env, |
1966 WASM_SELECT(WASM_GET_LOCAL(1), WASM_GET_LOCAL(1), WASM_GET_LOCAL(0))); | 1840 WASM_SELECT(WASM_GET_LOCAL(1), WASM_GET_LOCAL(1), WASM_GET_LOCAL(0))); |
1967 | 1841 |
1968 EXPECT_FAILURE_INLINE( | 1842 EXPECT_FAILURE_INLINE( |
1969 &env, | 1843 &env, |
1970 WASM_SELECT(WASM_GET_LOCAL(1), WASM_GET_LOCAL(0), WASM_GET_LOCAL(0))); | 1844 WASM_SELECT(WASM_GET_LOCAL(1), WASM_GET_LOCAL(0), WASM_GET_LOCAL(0))); |
1971 | 1845 |
1972 EXPECT_FAILURE_INLINE( | 1846 EXPECT_FAILURE_INLINE( |
1973 &env, | 1847 &env, |
1974 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1), WASM_GET_LOCAL(0))); | 1848 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1), WASM_GET_LOCAL(0))); |
1975 | 1849 |
1976 EXPECT_FAILURE_INLINE( | 1850 EXPECT_FAILURE_INLINE( |
1977 &env, | 1851 &env, |
1978 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))); | 1852 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))); |
1979 } | 1853 } |
1980 } | 1854 } |
1981 | 1855 |
1982 | 1856 TEST_F(AstDecoderTest, Select_TypeCheck) { |
1983 TEST_F(WasmDecoderTest, Select_TypeCheck) { | |
1984 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_F32(9.9), WASM_GET_LOCAL(0), | 1857 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_F32(9.9), WASM_GET_LOCAL(0), |
1985 WASM_GET_LOCAL(0))); | 1858 WASM_GET_LOCAL(0))); |
1986 | 1859 |
1987 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_F64(0.25), | 1860 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_F64(0.25), |
1988 WASM_GET_LOCAL(0))); | 1861 WASM_GET_LOCAL(0))); |
1989 | 1862 |
1990 EXPECT_FAILURE_INLINE( | 1863 EXPECT_FAILURE_INLINE( |
1991 &env_i_i, WASM_SELECT(WASM_F32(9.9), WASM_GET_LOCAL(0), WASM_I64(0))); | 1864 &env_i_i, WASM_SELECT(WASM_F32(9.9), WASM_GET_LOCAL(0), WASM_I64(0))); |
1992 } | 1865 } |
1993 | 1866 |
(...skipping 244 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2238 EXPECT_ARITY(2, kExprIf); | 2111 EXPECT_ARITY(2, kExprIf); |
2239 EXPECT_ARITY(3, kExprIfElse); | 2112 EXPECT_ARITY(3, kExprIfElse); |
2240 EXPECT_ARITY(3, kExprSelect); | 2113 EXPECT_ARITY(3, kExprSelect); |
2241 | 2114 |
2242 EXPECT_ARITY(1, kExprBr); | 2115 EXPECT_ARITY(1, kExprBr); |
2243 EXPECT_ARITY(2, kExprBrIf); | 2116 EXPECT_ARITY(2, kExprBrIf); |
2244 | 2117 |
2245 { | 2118 { |
2246 TestSignatures sigs; | 2119 TestSignatures sigs; |
2247 FunctionEnv env; | 2120 FunctionEnv env; |
2248 WasmDecoderTest::init_env(&env, sigs.v_v()); | 2121 AstDecoderTest::init_env(&env, sigs.v_v()); |
2249 EXPECT_ARITY(0, kExprReturn); | 2122 EXPECT_ARITY(0, kExprReturn); |
2250 WasmDecoderTest::init_env(&env, sigs.i_i()); | 2123 AstDecoderTest::init_env(&env, sigs.i_i()); |
2251 EXPECT_ARITY(1, kExprReturn); | 2124 EXPECT_ARITY(1, kExprReturn); |
2252 } | 2125 } |
2253 } | 2126 } |
2254 | 2127 |
2255 | 2128 |
2256 TEST_F(WasmOpcodeArityTest, Misc) { | 2129 TEST_F(WasmOpcodeArityTest, Misc) { |
2257 FunctionEnv env; | 2130 FunctionEnv env; |
2258 | 2131 |
2259 EXPECT_ARITY(0, kExprI8Const); | 2132 EXPECT_ARITY(0, kExprI8Const); |
2260 EXPECT_ARITY(0, kExprI32Const); | 2133 EXPECT_ARITY(0, kExprI32Const); |
(...skipping 14 matching lines...) Expand all Loading... |
2275 module.AddFunction(sigs.i_i()); | 2148 module.AddFunction(sigs.i_i()); |
2276 | 2149 |
2277 module.AddSignature(sigs.f_ff()); | 2150 module.AddSignature(sigs.f_ff()); |
2278 module.AddSignature(sigs.i_d()); | 2151 module.AddSignature(sigs.i_d()); |
2279 | 2152 |
2280 module.AddImport(sigs.f_ff()); | 2153 module.AddImport(sigs.f_ff()); |
2281 module.AddImport(sigs.i_d()); | 2154 module.AddImport(sigs.i_d()); |
2282 | 2155 |
2283 { | 2156 { |
2284 FunctionEnv env; | 2157 FunctionEnv env; |
2285 WasmDecoderTest::init_env(&env, sigs.i_ii()); | 2158 AstDecoderTest::init_env(&env, sigs.i_ii()); |
2286 env.module = &module; | 2159 env.module = &module; |
2287 | 2160 |
2288 EXPECT_ARITY(2, kExprCallFunction, 0); | 2161 EXPECT_ARITY(2, kExprCallFunction, 0); |
2289 EXPECT_ARITY(2, kExprCallImport, 0); | 2162 EXPECT_ARITY(2, kExprCallImport, 0); |
2290 EXPECT_ARITY(3, kExprCallIndirect, 0); | 2163 EXPECT_ARITY(3, kExprCallIndirect, 0); |
2291 EXPECT_ARITY(1, kExprBr); | 2164 EXPECT_ARITY(1, kExprBr); |
2292 EXPECT_ARITY(2, kExprBrIf); | 2165 EXPECT_ARITY(2, kExprBrIf); |
2293 } | 2166 } |
2294 | 2167 |
2295 { | 2168 { |
2296 FunctionEnv env; | 2169 FunctionEnv env; |
2297 WasmDecoderTest::init_env(&env, sigs.v_v()); | 2170 AstDecoderTest::init_env(&env, sigs.v_v()); |
2298 env.module = &module; | 2171 env.module = &module; |
2299 | 2172 |
2300 EXPECT_ARITY(1, kExprCallFunction, 1); | 2173 EXPECT_ARITY(1, kExprCallFunction, 1); |
2301 EXPECT_ARITY(1, kExprCallImport, 1); | 2174 EXPECT_ARITY(1, kExprCallImport, 1); |
2302 EXPECT_ARITY(2, kExprCallIndirect, 1); | 2175 EXPECT_ARITY(2, kExprCallIndirect, 1); |
2303 EXPECT_ARITY(1, kExprBr); | 2176 EXPECT_ARITY(1, kExprBr); |
2304 EXPECT_ARITY(2, kExprBrIf); | 2177 EXPECT_ARITY(2, kExprBrIf); |
2305 } | 2178 } |
2306 } | 2179 } |
2307 | 2180 |
(...skipping 155 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2463 EXPECT_ARITY(1, kExprF64SConvertI64); | 2336 EXPECT_ARITY(1, kExprF64SConvertI64); |
2464 EXPECT_ARITY(1, kExprF64UConvertI64); | 2337 EXPECT_ARITY(1, kExprF64UConvertI64); |
2465 EXPECT_ARITY(1, kExprF64ConvertF32); | 2338 EXPECT_ARITY(1, kExprF64ConvertF32); |
2466 EXPECT_ARITY(1, kExprF64ReinterpretI64); | 2339 EXPECT_ARITY(1, kExprF64ReinterpretI64); |
2467 EXPECT_ARITY(1, kExprI32ReinterpretF32); | 2340 EXPECT_ARITY(1, kExprI32ReinterpretF32); |
2468 EXPECT_ARITY(1, kExprI64ReinterpretF64); | 2341 EXPECT_ARITY(1, kExprI64ReinterpretF64); |
2469 } | 2342 } |
2470 } // namespace wasm | 2343 } // namespace wasm |
2471 } // namespace internal | 2344 } // namespace internal |
2472 } // namespace v8 | 2345 } // namespace v8 |
OLD | NEW |