| 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 40 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1209 mod.import_table.push_back({sig, 0, 0}); | 1119 mod.import_table.push_back({sig, 0, 0}); |
| 1210 CHECK(mod.import_table.size() <= 127); | 1120 CHECK(mod.import_table.size() <= 127); |
| 1211 return static_cast<byte>(mod.import_table.size() - 1); | 1121 return static_cast<byte>(mod.import_table.size() - 1); |
| 1212 } | 1122 } |
| 1213 | 1123 |
| 1214 private: | 1124 private: |
| 1215 WasmModule mod; | 1125 WasmModule mod; |
| 1216 }; | 1126 }; |
| 1217 } // namespace | 1127 } // namespace |
| 1218 | 1128 |
| 1219 | 1129 TEST_F(AstDecoderTest, SimpleCalls) { |
| 1220 TEST_F(WasmDecoderTest, SimpleCalls) { | |
| 1221 FunctionEnv* env = &env_i_i; | 1130 FunctionEnv* env = &env_i_i; |
| 1222 TestModuleEnv module_env; | 1131 TestModuleEnv module_env; |
| 1223 env->module = &module_env; | 1132 env->module = &module_env; |
| 1224 | 1133 |
| 1225 module_env.AddFunction(sigs.i_v()); | 1134 module_env.AddFunction(sigs.i_v()); |
| 1226 module_env.AddFunction(sigs.i_i()); | 1135 module_env.AddFunction(sigs.i_i()); |
| 1227 module_env.AddFunction(sigs.i_ii()); | 1136 module_env.AddFunction(sigs.i_ii()); |
| 1228 | 1137 |
| 1229 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(0)); | 1138 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(0)); |
| 1230 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I8(27))); | 1139 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I8(27))); |
| 1231 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(2, WASM_I8(37), WASM_I8(77))); | 1140 EXPECT_VERIFIES_INLINE(env, WASM_CALL_FUNCTION(2, WASM_I8(37), WASM_I8(77))); |
| 1232 } | 1141 } |
| 1233 | 1142 |
| 1234 | 1143 TEST_F(AstDecoderTest, CallsWithTooFewArguments) { |
| 1235 TEST_F(WasmDecoderTest, CallsWithTooFewArguments) { | |
| 1236 FunctionEnv* env = &env_i_i; | 1144 FunctionEnv* env = &env_i_i; |
| 1237 TestModuleEnv module_env; | 1145 TestModuleEnv module_env; |
| 1238 env->module = &module_env; | 1146 env->module = &module_env; |
| 1239 | 1147 |
| 1240 module_env.AddFunction(sigs.i_i()); | 1148 module_env.AddFunction(sigs.i_i()); |
| 1241 module_env.AddFunction(sigs.i_ii()); | 1149 module_env.AddFunction(sigs.i_ii()); |
| 1242 module_env.AddFunction(sigs.f_ff()); | 1150 module_env.AddFunction(sigs.f_ff()); |
| 1243 | 1151 |
| 1244 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION0(0)); | 1152 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION0(0)); |
| 1245 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_ZERO)); | 1153 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_ZERO)); |
| 1246 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(2, WASM_GET_LOCAL(0))); | 1154 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(2, WASM_GET_LOCAL(0))); |
| 1247 } | 1155 } |
| 1248 | 1156 |
| 1249 | 1157 TEST_F(AstDecoderTest, CallsWithSpilloverArgs) { |
| 1250 TEST_F(WasmDecoderTest, CallsWithSpilloverArgs) { | |
| 1251 static LocalType a_i_ff[] = {kAstI32, kAstF32, kAstF32}; | 1158 static LocalType a_i_ff[] = {kAstI32, kAstF32, kAstF32}; |
| 1252 FunctionSig sig_i_ff(1, 2, a_i_ff); | 1159 FunctionSig sig_i_ff(1, 2, a_i_ff); |
| 1253 FunctionEnv env_i_ff; | 1160 FunctionEnv env_i_ff; |
| 1254 init_env(&env_i_ff, &sig_i_ff); | 1161 init_env(&env_i_ff, &sig_i_ff); |
| 1255 | 1162 |
| 1256 TestModuleEnv module_env; | 1163 TestModuleEnv module_env; |
| 1257 env_i_ff.module = &module_env; | 1164 env_i_ff.module = &module_env; |
| 1258 env_i_i.module = &module_env; | 1165 env_i_i.module = &module_env; |
| 1259 env_f_ff.module = &module_env; | 1166 env_f_ff.module = &module_env; |
| 1260 | 1167 |
| (...skipping 10 matching lines...) Expand all Loading... |
| 1271 | 1178 |
| 1272 EXPECT_FAILURE_INLINE( | 1179 EXPECT_FAILURE_INLINE( |
| 1273 &env_i_i, | 1180 &env_i_i, |
| 1274 WASM_CALL_FUNCTION(0, WASM_F32(0.1), WASM_F32(0.1), WASM_F32(0.2))); | 1181 WASM_CALL_FUNCTION(0, WASM_F32(0.1), WASM_F32(0.1), WASM_F32(0.2))); |
| 1275 | 1182 |
| 1276 EXPECT_VERIFIES_INLINE( | 1183 EXPECT_VERIFIES_INLINE( |
| 1277 &env_f_ff, | 1184 &env_f_ff, |
| 1278 WASM_CALL_FUNCTION(0, WASM_F32(0.1), WASM_F32(0.1), WASM_F32(11))); | 1185 WASM_CALL_FUNCTION(0, WASM_F32(0.1), WASM_F32(0.1), WASM_F32(11))); |
| 1279 } | 1186 } |
| 1280 | 1187 |
| 1281 | 1188 TEST_F(AstDecoderTest, CallsWithMismatchedSigs2) { |
| 1282 TEST_F(WasmDecoderTest, CallsWithMismatchedSigs2) { | |
| 1283 FunctionEnv* env = &env_i_i; | 1189 FunctionEnv* env = &env_i_i; |
| 1284 TestModuleEnv module_env; | 1190 TestModuleEnv module_env; |
| 1285 env->module = &module_env; | 1191 env->module = &module_env; |
| 1286 | 1192 |
| 1287 module_env.AddFunction(sigs.i_i()); | 1193 module_env.AddFunction(sigs.i_i()); |
| 1288 | 1194 |
| 1289 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I64(17))); | 1195 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I64(17))); |
| 1290 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F32(17.1))); | 1196 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F32(17.1))); |
| 1291 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F64(17.1))); | 1197 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F64(17.1))); |
| 1292 } | 1198 } |
| 1293 | 1199 |
| 1294 | 1200 TEST_F(AstDecoderTest, CallsWithMismatchedSigs3) { |
| 1295 TEST_F(WasmDecoderTest, CallsWithMismatchedSigs3) { | |
| 1296 FunctionEnv* env = &env_i_i; | 1201 FunctionEnv* env = &env_i_i; |
| 1297 TestModuleEnv module_env; | 1202 TestModuleEnv module_env; |
| 1298 env->module = &module_env; | 1203 env->module = &module_env; |
| 1299 | 1204 |
| 1300 module_env.AddFunction(sigs.i_f()); | 1205 module_env.AddFunction(sigs.i_f()); |
| 1301 | 1206 |
| 1302 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I8(17))); | 1207 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I8(17))); |
| 1303 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I64(27))); | 1208 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_I64(27))); |
| 1304 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F64(37.2))); | 1209 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(0, WASM_F64(37.2))); |
| 1305 | 1210 |
| 1306 module_env.AddFunction(sigs.i_d()); | 1211 module_env.AddFunction(sigs.i_d()); |
| 1307 | 1212 |
| 1308 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I8(16))); | 1213 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I8(16))); |
| 1309 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I64(16))); | 1214 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_I64(16))); |
| 1310 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_F32(17.6))); | 1215 EXPECT_FAILURE_INLINE(env, WASM_CALL_FUNCTION(1, WASM_F32(17.6))); |
| 1311 } | 1216 } |
| 1312 | 1217 |
| 1313 | 1218 TEST_F(AstDecoderTest, SimpleIndirectCalls) { |
| 1314 TEST_F(WasmDecoderTest, SimpleIndirectCalls) { | |
| 1315 FunctionEnv* env = &env_i_i; | 1219 FunctionEnv* env = &env_i_i; |
| 1316 TestModuleEnv module_env; | 1220 TestModuleEnv module_env; |
| 1317 env->module = &module_env; | 1221 env->module = &module_env; |
| 1318 | 1222 |
| 1319 byte f0 = module_env.AddSignature(sigs.i_v()); | 1223 byte f0 = module_env.AddSignature(sigs.i_v()); |
| 1320 byte f1 = module_env.AddSignature(sigs.i_i()); | 1224 byte f1 = module_env.AddSignature(sigs.i_i()); |
| 1321 byte f2 = module_env.AddSignature(sigs.i_ii()); | 1225 byte f2 = module_env.AddSignature(sigs.i_ii()); |
| 1322 | 1226 |
| 1323 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_ZERO)); | 1227 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_ZERO)); |
| 1324 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I8(22))); | 1228 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I8(22))); |
| 1325 EXPECT_VERIFIES_INLINE( | 1229 EXPECT_VERIFIES_INLINE( |
| 1326 env, WASM_CALL_INDIRECT(f2, WASM_ZERO, WASM_I8(32), WASM_I8(72))); | 1230 env, WASM_CALL_INDIRECT(f2, WASM_ZERO, WASM_I8(32), WASM_I8(72))); |
| 1327 } | 1231 } |
| 1328 | 1232 |
| 1329 | 1233 TEST_F(AstDecoderTest, IndirectCallsOutOfBounds) { |
| 1330 TEST_F(WasmDecoderTest, IndirectCallsOutOfBounds) { | |
| 1331 FunctionEnv* env = &env_i_i; | 1234 FunctionEnv* env = &env_i_i; |
| 1332 TestModuleEnv module_env; | 1235 TestModuleEnv module_env; |
| 1333 env->module = &module_env; | 1236 env->module = &module_env; |
| 1334 | 1237 |
| 1335 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(0, WASM_ZERO)); | 1238 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(0, WASM_ZERO)); |
| 1336 module_env.AddSignature(sigs.i_v()); | 1239 module_env.AddSignature(sigs.i_v()); |
| 1337 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT0(0, WASM_ZERO)); | 1240 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT0(0, WASM_ZERO)); |
| 1338 | 1241 |
| 1339 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(1, WASM_ZERO, WASM_I8(22))); | 1242 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(1, WASM_ZERO, WASM_I8(22))); |
| 1340 module_env.AddSignature(sigs.i_i()); | 1243 module_env.AddSignature(sigs.i_i()); |
| 1341 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT(1, WASM_ZERO, WASM_I8(27))); | 1244 EXPECT_VERIFIES_INLINE(env, WASM_CALL_INDIRECT(1, WASM_ZERO, WASM_I8(27))); |
| 1342 | 1245 |
| 1343 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(2, WASM_ZERO, WASM_I8(27))); | 1246 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(2, WASM_ZERO, WASM_I8(27))); |
| 1344 } | 1247 } |
| 1345 | 1248 |
| 1346 | 1249 TEST_F(AstDecoderTest, IndirectCallsWithMismatchedSigs3) { |
| 1347 TEST_F(WasmDecoderTest, IndirectCallsWithMismatchedSigs3) { | |
| 1348 FunctionEnv* env = &env_i_i; | 1250 FunctionEnv* env = &env_i_i; |
| 1349 TestModuleEnv module_env; | 1251 TestModuleEnv module_env; |
| 1350 env->module = &module_env; | 1252 env->module = &module_env; |
| 1351 | 1253 |
| 1352 byte f0 = module_env.AddFunction(sigs.i_f()); | 1254 byte f0 = module_env.AddFunction(sigs.i_f()); |
| 1353 | 1255 |
| 1354 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_I8(17))); | 1256 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_I8(17))); |
| 1355 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_I64(27))); | 1257 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_I64(27))); |
| 1356 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_F64(37.2))); | 1258 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f0, WASM_ZERO, WASM_F64(37.2))); |
| 1357 | 1259 |
| 1358 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_I8(17))); | 1260 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_I8(17))); |
| 1359 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_I64(27))); | 1261 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_I64(27))); |
| 1360 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_F64(37.2))); | 1262 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT0(f0, WASM_F64(37.2))); |
| 1361 | 1263 |
| 1362 byte f1 = module_env.AddFunction(sigs.i_d()); | 1264 byte f1 = module_env.AddFunction(sigs.i_d()); |
| 1363 | 1265 |
| 1364 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I8(16))); | 1266 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I8(16))); |
| 1365 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I64(16))); | 1267 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_I64(16))); |
| 1366 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_F32(17.6))); | 1268 EXPECT_FAILURE_INLINE(env, WASM_CALL_INDIRECT(f1, WASM_ZERO, WASM_F32(17.6))); |
| 1367 } | 1269 } |
| 1368 | 1270 |
| 1369 TEST_F(WasmDecoderTest, SimpleImportCalls) { | 1271 TEST_F(AstDecoderTest, SimpleImportCalls) { |
| 1370 FunctionEnv* env = &env_i_i; | 1272 FunctionEnv* env = &env_i_i; |
| 1371 TestModuleEnv module_env; | 1273 TestModuleEnv module_env; |
| 1372 env->module = &module_env; | 1274 env->module = &module_env; |
| 1373 | 1275 |
| 1374 byte f0 = module_env.AddImport(sigs.i_v()); | 1276 byte f0 = module_env.AddImport(sigs.i_v()); |
| 1375 byte f1 = module_env.AddImport(sigs.i_i()); | 1277 byte f1 = module_env.AddImport(sigs.i_i()); |
| 1376 byte f2 = module_env.AddImport(sigs.i_ii()); | 1278 byte f2 = module_env.AddImport(sigs.i_ii()); |
| 1377 | 1279 |
| 1378 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT0(f0)); | 1280 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT0(f0)); |
| 1379 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I8(22))); | 1281 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I8(22))); |
| 1380 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT(f2, WASM_I8(32), WASM_I8(72))); | 1282 EXPECT_VERIFIES_INLINE(env, WASM_CALL_IMPORT(f2, WASM_I8(32), WASM_I8(72))); |
| 1381 } | 1283 } |
| 1382 | 1284 |
| 1383 TEST_F(WasmDecoderTest, ImportCallsWithMismatchedSigs3) { | 1285 TEST_F(AstDecoderTest, ImportCallsWithMismatchedSigs3) { |
| 1384 FunctionEnv* env = &env_i_i; | 1286 FunctionEnv* env = &env_i_i; |
| 1385 TestModuleEnv module_env; | 1287 TestModuleEnv module_env; |
| 1386 env->module = &module_env; | 1288 env->module = &module_env; |
| 1387 | 1289 |
| 1388 byte f0 = module_env.AddImport(sigs.i_f()); | 1290 byte f0 = module_env.AddImport(sigs.i_f()); |
| 1389 | 1291 |
| 1390 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT0(f0)); | 1292 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT0(f0)); |
| 1391 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_I8(17))); | 1293 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_I8(17))); |
| 1392 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_I64(27))); | 1294 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_I64(27))); |
| 1393 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_F64(37.2))); | 1295 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f0, WASM_F64(37.2))); |
| 1394 | 1296 |
| 1395 byte f1 = module_env.AddImport(sigs.i_d()); | 1297 byte f1 = module_env.AddImport(sigs.i_d()); |
| 1396 | 1298 |
| 1397 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT0(f1)); | 1299 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT0(f1)); |
| 1398 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I8(16))); | 1300 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I8(16))); |
| 1399 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I64(16))); | 1301 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_I64(16))); |
| 1400 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_F32(17.6))); | 1302 EXPECT_FAILURE_INLINE(env, WASM_CALL_IMPORT(f1, WASM_F32(17.6))); |
| 1401 } | 1303 } |
| 1402 | 1304 |
| 1403 TEST_F(WasmDecoderTest, Int32Globals) { | 1305 TEST_F(AstDecoderTest, Int32Globals) { |
| 1404 FunctionEnv* env = &env_i_i; | 1306 FunctionEnv* env = &env_i_i; |
| 1405 TestModuleEnv module_env; | 1307 TestModuleEnv module_env; |
| 1406 env->module = &module_env; | 1308 env->module = &module_env; |
| 1407 | 1309 |
| 1408 module_env.AddGlobal(MachineType::Int8()); | 1310 module_env.AddGlobal(MachineType::Int8()); |
| 1409 module_env.AddGlobal(MachineType::Uint8()); | 1311 module_env.AddGlobal(MachineType::Uint8()); |
| 1410 module_env.AddGlobal(MachineType::Int16()); | 1312 module_env.AddGlobal(MachineType::Int16()); |
| 1411 module_env.AddGlobal(MachineType::Uint16()); | 1313 module_env.AddGlobal(MachineType::Uint16()); |
| 1412 module_env.AddGlobal(MachineType::Int32()); | 1314 module_env.AddGlobal(MachineType::Int32()); |
| 1413 module_env.AddGlobal(MachineType::Uint32()); | 1315 module_env.AddGlobal(MachineType::Uint32()); |
| 1414 | 1316 |
| 1415 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); | 1317 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); |
| 1416 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(1)); | 1318 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(1)); |
| 1417 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(2)); | 1319 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(2)); |
| 1418 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(3)); | 1320 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(3)); |
| 1419 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(4)); | 1321 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(4)); |
| 1420 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(5)); | 1322 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(5)); |
| 1421 | 1323 |
| 1422 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1324 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
| 1423 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); | 1325 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); |
| 1424 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(2, WASM_GET_LOCAL(0))); | 1326 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(2, WASM_GET_LOCAL(0))); |
| 1425 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(3, WASM_GET_LOCAL(0))); | 1327 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(3, WASM_GET_LOCAL(0))); |
| 1426 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(4, WASM_GET_LOCAL(0))); | 1328 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(4, WASM_GET_LOCAL(0))); |
| 1427 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(5, WASM_GET_LOCAL(0))); | 1329 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(5, WASM_GET_LOCAL(0))); |
| 1428 } | 1330 } |
| 1429 | 1331 |
| 1430 | 1332 TEST_F(AstDecoderTest, Int32Globals_fail) { |
| 1431 TEST_F(WasmDecoderTest, Int32Globals_fail) { | |
| 1432 FunctionEnv* env = &env_i_i; | 1333 FunctionEnv* env = &env_i_i; |
| 1433 TestModuleEnv module_env; | 1334 TestModuleEnv module_env; |
| 1434 env->module = &module_env; | 1335 env->module = &module_env; |
| 1435 | 1336 |
| 1436 module_env.AddGlobal(MachineType::Int64()); | 1337 module_env.AddGlobal(MachineType::Int64()); |
| 1437 module_env.AddGlobal(MachineType::Uint64()); | 1338 module_env.AddGlobal(MachineType::Uint64()); |
| 1438 module_env.AddGlobal(MachineType::Float32()); | 1339 module_env.AddGlobal(MachineType::Float32()); |
| 1439 module_env.AddGlobal(MachineType::Float64()); | 1340 module_env.AddGlobal(MachineType::Float64()); |
| 1440 | 1341 |
| 1441 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(0)); | 1342 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(0)); |
| 1442 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(1)); | 1343 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(1)); |
| 1443 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(2)); | 1344 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(2)); |
| 1444 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(3)); | 1345 EXPECT_FAILURE_INLINE(env, WASM_LOAD_GLOBAL(3)); |
| 1445 | 1346 |
| 1446 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1347 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
| 1447 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); | 1348 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); |
| 1448 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(2, WASM_GET_LOCAL(0))); | 1349 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(2, WASM_GET_LOCAL(0))); |
| 1449 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(3, WASM_GET_LOCAL(0))); | 1350 EXPECT_FAILURE_INLINE(env, WASM_STORE_GLOBAL(3, WASM_GET_LOCAL(0))); |
| 1450 } | 1351 } |
| 1451 | 1352 |
| 1452 | 1353 TEST_F(AstDecoderTest, Int64Globals) { |
| 1453 TEST_F(WasmDecoderTest, Int64Globals) { | |
| 1454 FunctionEnv* env = &env_l_l; | 1354 FunctionEnv* env = &env_l_l; |
| 1455 TestModuleEnv module_env; | 1355 TestModuleEnv module_env; |
| 1456 env->module = &module_env; | 1356 env->module = &module_env; |
| 1457 | 1357 |
| 1458 module_env.AddGlobal(MachineType::Int64()); | 1358 module_env.AddGlobal(MachineType::Int64()); |
| 1459 module_env.AddGlobal(MachineType::Uint64()); | 1359 module_env.AddGlobal(MachineType::Uint64()); |
| 1460 | 1360 |
| 1461 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); | 1361 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); |
| 1462 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(1)); | 1362 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(1)); |
| 1463 | 1363 |
| 1464 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1364 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
| 1465 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); | 1365 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(1, WASM_GET_LOCAL(0))); |
| 1466 } | 1366 } |
| 1467 | 1367 |
| 1468 | 1368 TEST_F(AstDecoderTest, Float32Globals) { |
| 1469 TEST_F(WasmDecoderTest, Float32Globals) { | |
| 1470 FunctionEnv env_f_ff; | 1369 FunctionEnv env_f_ff; |
| 1471 FunctionEnv* env = &env_f_ff; | 1370 FunctionEnv* env = &env_f_ff; |
| 1472 init_env(env, sigs.f_ff()); | 1371 init_env(env, sigs.f_ff()); |
| 1473 TestModuleEnv module_env; | 1372 TestModuleEnv module_env; |
| 1474 env->module = &module_env; | 1373 env->module = &module_env; |
| 1475 | 1374 |
| 1476 module_env.AddGlobal(MachineType::Float32()); | 1375 module_env.AddGlobal(MachineType::Float32()); |
| 1477 | 1376 |
| 1478 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); | 1377 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); |
| 1479 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1378 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
| 1480 } | 1379 } |
| 1481 | 1380 |
| 1482 | 1381 TEST_F(AstDecoderTest, Float64Globals) { |
| 1483 TEST_F(WasmDecoderTest, Float64Globals) { | |
| 1484 FunctionEnv env_d_dd; | 1382 FunctionEnv env_d_dd; |
| 1485 FunctionEnv* env = &env_d_dd; | 1383 FunctionEnv* env = &env_d_dd; |
| 1486 init_env(env, sigs.d_dd()); | 1384 init_env(env, sigs.d_dd()); |
| 1487 TestModuleEnv module_env; | 1385 TestModuleEnv module_env; |
| 1488 env->module = &module_env; | 1386 env->module = &module_env; |
| 1489 | 1387 |
| 1490 module_env.AddGlobal(MachineType::Float64()); | 1388 module_env.AddGlobal(MachineType::Float64()); |
| 1491 | 1389 |
| 1492 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); | 1390 EXPECT_VERIFIES_INLINE(env, WASM_LOAD_GLOBAL(0)); |
| 1493 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1391 EXPECT_VERIFIES_INLINE(env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
| 1494 } | 1392 } |
| 1495 | 1393 |
| 1496 | 1394 TEST_F(AstDecoderTest, AllLoadGlobalCombinations) { |
| 1497 TEST_F(WasmDecoderTest, AllLoadGlobalCombinations) { | |
| 1498 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1395 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 1499 LocalType local_type = kLocalTypes[i]; | 1396 LocalType local_type = kLocalTypes[i]; |
| 1500 for (size_t j = 0; j < arraysize(machineTypes); j++) { | 1397 for (size_t j = 0; j < arraysize(machineTypes); j++) { |
| 1501 MachineType mem_type = machineTypes[j]; | 1398 MachineType mem_type = machineTypes[j]; |
| 1502 FunctionEnv env; | 1399 FunctionEnv env; |
| 1503 FunctionSig sig(1, 0, &local_type); | 1400 FunctionSig sig(1, 0, &local_type); |
| 1504 TestModuleEnv module_env; | 1401 TestModuleEnv module_env; |
| 1505 init_env(&env, &sig); | 1402 init_env(&env, &sig); |
| 1506 env.module = &module_env; | 1403 env.module = &module_env; |
| 1507 module_env.AddGlobal(mem_type); | 1404 module_env.AddGlobal(mem_type); |
| 1508 if (local_type == WasmOpcodes::LocalTypeFor(mem_type)) { | 1405 if (local_type == WasmOpcodes::LocalTypeFor(mem_type)) { |
| 1509 EXPECT_VERIFIES_INLINE(&env, WASM_LOAD_GLOBAL(0)); | 1406 EXPECT_VERIFIES_INLINE(&env, WASM_LOAD_GLOBAL(0)); |
| 1510 } else { | 1407 } else { |
| 1511 EXPECT_FAILURE_INLINE(&env, WASM_LOAD_GLOBAL(0)); | 1408 EXPECT_FAILURE_INLINE(&env, WASM_LOAD_GLOBAL(0)); |
| 1512 } | 1409 } |
| 1513 } | 1410 } |
| 1514 } | 1411 } |
| 1515 } | 1412 } |
| 1516 | 1413 |
| 1517 | 1414 TEST_F(AstDecoderTest, AllStoreGlobalCombinations) { |
| 1518 TEST_F(WasmDecoderTest, AllStoreGlobalCombinations) { | |
| 1519 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1415 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 1520 LocalType local_type = kLocalTypes[i]; | 1416 LocalType local_type = kLocalTypes[i]; |
| 1521 for (size_t j = 0; j < arraysize(machineTypes); j++) { | 1417 for (size_t j = 0; j < arraysize(machineTypes); j++) { |
| 1522 MachineType mem_type = machineTypes[j]; | 1418 MachineType mem_type = machineTypes[j]; |
| 1523 FunctionEnv env; | 1419 FunctionEnv env; |
| 1524 FunctionSig sig(0, 1, &local_type); | 1420 FunctionSig sig(0, 1, &local_type); |
| 1525 TestModuleEnv module_env; | 1421 TestModuleEnv module_env; |
| 1526 init_env(&env, &sig); | 1422 init_env(&env, &sig); |
| 1527 env.module = &module_env; | 1423 env.module = &module_env; |
| 1528 module_env.AddGlobal(mem_type); | 1424 module_env.AddGlobal(mem_type); |
| 1529 if (local_type == WasmOpcodes::LocalTypeFor(mem_type)) { | 1425 if (local_type == WasmOpcodes::LocalTypeFor(mem_type)) { |
| 1530 EXPECT_VERIFIES_INLINE(&env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1426 EXPECT_VERIFIES_INLINE(&env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
| 1531 } else { | 1427 } else { |
| 1532 EXPECT_FAILURE_INLINE(&env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); | 1428 EXPECT_FAILURE_INLINE(&env, WASM_STORE_GLOBAL(0, WASM_GET_LOCAL(0))); |
| 1533 } | 1429 } |
| 1534 } | 1430 } |
| 1535 } | 1431 } |
| 1536 } | 1432 } |
| 1537 | 1433 |
| 1538 | 1434 TEST_F(AstDecoderTest, BreakNesting1) { |
| 1539 TEST_F(WasmDecoderTest, BreakNesting1) { | |
| 1540 for (int i = 0; i < 5; i++) { | 1435 for (int i = 0; i < 5; i++) { |
| 1541 // (block[2] (loop[2] (if (get p) break[N]) (set p 1)) p) | 1436 // (block[2] (loop[2] (if (get p) break[N]) (set p 1)) p) |
| 1542 byte code[] = {WASM_BLOCK( | 1437 byte code[] = {WASM_BLOCK( |
| 1543 2, WASM_LOOP(2, WASM_IF(WASM_GET_LOCAL(0), WASM_BRV(i, WASM_ZERO)), | 1438 2, WASM_LOOP(2, WASM_IF(WASM_GET_LOCAL(0), WASM_BRV(i, WASM_ZERO)), |
| 1544 WASM_SET_LOCAL(0, WASM_I8(1))), | 1439 WASM_SET_LOCAL(0, WASM_I8(1))), |
| 1545 WASM_GET_LOCAL(0))}; | 1440 WASM_GET_LOCAL(0))}; |
| 1546 if (i < 3) { | 1441 if (i < 3) { |
| 1547 EXPECT_VERIFIES(&env_i_i, code); | 1442 EXPECT_VERIFIES(&env_i_i, code); |
| 1548 } else { | 1443 } else { |
| 1549 EXPECT_FAILURE(&env_i_i, code); | 1444 EXPECT_FAILURE(&env_i_i, code); |
| 1550 } | 1445 } |
| 1551 } | 1446 } |
| 1552 } | 1447 } |
| 1553 | 1448 |
| 1554 | 1449 TEST_F(AstDecoderTest, BreakNesting2) { |
| 1555 TEST_F(WasmDecoderTest, BreakNesting2) { | |
| 1556 env_v_v.AddLocals(kAstI32, 1); | 1450 env_v_v.AddLocals(kAstI32, 1); |
| 1557 for (int i = 0; i < 5; i++) { | 1451 for (int i = 0; i < 5; i++) { |
| 1558 // (block[2] (loop[2] (if (get p) break[N]) (set p 1)) (return p)) (11) | 1452 // (block[2] (loop[2] (if (get p) break[N]) (set p 1)) (return p)) (11) |
| 1559 byte code[] = { | 1453 byte code[] = { |
| 1560 WASM_BLOCK(1, WASM_LOOP(2, WASM_IF(WASM_GET_LOCAL(0), WASM_BREAK(i)), | 1454 WASM_BLOCK(1, WASM_LOOP(2, WASM_IF(WASM_GET_LOCAL(0), WASM_BREAK(i)), |
| 1561 WASM_SET_LOCAL(0, WASM_I8(1)))), | 1455 WASM_SET_LOCAL(0, WASM_I8(1)))), |
| 1562 WASM_I8(11)}; | 1456 WASM_I8(11)}; |
| 1563 if (i < 2) { | 1457 if (i < 2) { |
| 1564 EXPECT_VERIFIES(&env_v_v, code); | 1458 EXPECT_VERIFIES(&env_v_v, code); |
| 1565 } else { | 1459 } else { |
| 1566 EXPECT_FAILURE(&env_v_v, code); | 1460 EXPECT_FAILURE(&env_v_v, code); |
| 1567 } | 1461 } |
| 1568 } | 1462 } |
| 1569 } | 1463 } |
| 1570 | 1464 |
| 1571 | 1465 TEST_F(AstDecoderTest, BreakNesting3) { |
| 1572 TEST_F(WasmDecoderTest, BreakNesting3) { | |
| 1573 env_v_v.AddLocals(kAstI32, 1); | 1466 env_v_v.AddLocals(kAstI32, 1); |
| 1574 for (int i = 0; i < 5; i++) { | 1467 for (int i = 0; i < 5; i++) { |
| 1575 // (block[1] (loop[1] (block[1] (if (get p) break[N]) | 1468 // (block[1] (loop[1] (block[1] (if (get p) break[N]) |
| 1576 byte code[] = {WASM_BLOCK( | 1469 byte code[] = {WASM_BLOCK( |
| 1577 1, WASM_LOOP( | 1470 1, WASM_LOOP( |
| 1578 1, WASM_BLOCK(1, WASM_IF(WASM_GET_LOCAL(0), WASM_BREAK(i)))))}; | 1471 1, WASM_BLOCK(1, WASM_IF(WASM_GET_LOCAL(0), WASM_BREAK(i)))))}; |
| 1579 if (i < 3) { | 1472 if (i < 3) { |
| 1580 EXPECT_VERIFIES(&env_v_v, code); | 1473 EXPECT_VERIFIES(&env_v_v, code); |
| 1581 } else { | 1474 } else { |
| 1582 EXPECT_FAILURE(&env_v_v, code); | 1475 EXPECT_FAILURE(&env_v_v, code); |
| 1583 } | 1476 } |
| 1584 } | 1477 } |
| 1585 } | 1478 } |
| 1586 | 1479 |
| 1587 | 1480 TEST_F(AstDecoderTest, BreaksWithMultipleTypes) { |
| 1588 TEST_F(WasmDecoderTest, BreaksWithMultipleTypes) { | |
| 1589 EXPECT_FAILURE_INLINE( | 1481 EXPECT_FAILURE_INLINE( |
| 1590 &env_i_i, WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_I8(7)), WASM_F32(7.7))); | 1482 &env_i_i, WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_I8(7)), WASM_F32(7.7))); |
| 1591 | 1483 |
| 1592 EXPECT_FAILURE_INLINE(&env_i_i, | 1484 EXPECT_FAILURE_INLINE(&env_i_i, |
| 1593 WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_I8(7)), | 1485 WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_I8(7)), |
| 1594 WASM_BRV_IF_ZERO(0, WASM_F32(7.7)))); | 1486 WASM_BRV_IF_ZERO(0, WASM_F32(7.7)))); |
| 1595 EXPECT_FAILURE_INLINE(&env_i_i, | 1487 EXPECT_FAILURE_INLINE(&env_i_i, |
| 1596 WASM_BLOCK(3, WASM_BRV_IF_ZERO(0, WASM_I8(8)), | 1488 WASM_BLOCK(3, WASM_BRV_IF_ZERO(0, WASM_I8(8)), |
| 1597 WASM_BRV_IF_ZERO(0, WASM_I8(0)), | 1489 WASM_BRV_IF_ZERO(0, WASM_I8(0)), |
| 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, WASM_BLOCK(3, WASM_BRV_IF_ZERO(0, WASM_I8(9)), | 1491 EXPECT_FAILURE_INLINE(&env_i_i, WASM_BLOCK(3, WASM_BRV_IF_ZERO(0, WASM_I8(9)), |
| 1600 WASM_BRV_IF_ZERO(0, WASM_F32(7.7)), | 1492 WASM_BRV_IF_ZERO(0, WASM_F32(7.7)), |
| 1601 WASM_BRV_IF_ZERO(0, WASM_I8(11)))); | 1493 WASM_BRV_IF_ZERO(0, WASM_I8(11)))); |
| 1602 } | 1494 } |
| 1603 | 1495 |
| 1604 | 1496 TEST_F(AstDecoderTest, BreakNesting_6_levels) { |
| 1605 TEST_F(WasmDecoderTest, BreakNesting_6_levels) { | |
| 1606 for (int mask = 0; mask < 64; mask++) { | 1497 for (int mask = 0; mask < 64; mask++) { |
| 1607 for (int i = 0; i < 14; i++) { | 1498 for (int i = 0; i < 14; i++) { |
| 1608 byte code[] = { | 1499 byte code[] = { |
| 1609 kExprBlock, 1, // -- | 1500 kExprBlock, 1, // -- |
| 1610 kExprBlock, 1, // -- | 1501 kExprBlock, 1, // -- |
| 1611 kExprBlock, 1, // -- | 1502 kExprBlock, 1, // -- |
| 1612 kExprBlock, 1, // -- | 1503 kExprBlock, 1, // -- |
| 1613 kExprBlock, 1, // -- | 1504 kExprBlock, 1, // -- |
| 1614 kExprBlock, 1, // -- | 1505 kExprBlock, 1, // -- |
| 1615 kExprBr, static_cast<byte>(i), | 1506 kExprBr, static_cast<byte>(i), |
| (...skipping 10 matching lines...) Expand all Loading... |
| 1626 | 1517 |
| 1627 if (i < depth) { | 1518 if (i < depth) { |
| 1628 EXPECT_VERIFIES(&env_v_v, code); | 1519 EXPECT_VERIFIES(&env_v_v, code); |
| 1629 } else { | 1520 } else { |
| 1630 EXPECT_FAILURE(&env_v_v, code); | 1521 EXPECT_FAILURE(&env_v_v, code); |
| 1631 } | 1522 } |
| 1632 } | 1523 } |
| 1633 } | 1524 } |
| 1634 } | 1525 } |
| 1635 | 1526 |
| 1636 | 1527 TEST_F(AstDecoderTest, ExprBreak_TypeCheck) { |
| 1637 TEST_F(WasmDecoderTest, ExprBreak_TypeCheck) { | |
| 1638 FunctionEnv* envs[] = {&env_i_i, &env_l_l, &env_f_ff, &env_d_dd}; | 1528 FunctionEnv* envs[] = {&env_i_i, &env_l_l, &env_f_ff, &env_d_dd}; |
| 1639 for (size_t i = 0; i < arraysize(envs); i++) { | 1529 for (size_t i = 0; i < arraysize(envs); i++) { |
| 1640 FunctionEnv* env = envs[i]; | 1530 FunctionEnv* env = envs[i]; |
| 1641 // unify X and X => OK | 1531 // unify X and X => OK |
| 1642 EXPECT_VERIFIES_INLINE( | 1532 EXPECT_VERIFIES_INLINE( |
| 1643 env, WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), | 1533 env, WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), |
| 1644 WASM_GET_LOCAL(0))); | 1534 WASM_GET_LOCAL(0))); |
| 1645 } | 1535 } |
| 1646 | 1536 |
| 1647 // unify i32 and f32 => fail | 1537 // unify i32 and f32 => fail |
| 1648 EXPECT_FAILURE_INLINE( | 1538 EXPECT_FAILURE_INLINE( |
| 1649 &env_i_i, | 1539 &env_i_i, |
| 1650 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_ZERO)), WASM_F32(1.2))); | 1540 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_ZERO)), WASM_F32(1.2))); |
| 1651 | 1541 |
| 1652 // unify f64 and f64 => OK | 1542 // unify f64 and f64 => OK |
| 1653 EXPECT_VERIFIES_INLINE( | 1543 EXPECT_VERIFIES_INLINE( |
| 1654 &env_d_dd, | 1544 &env_d_dd, |
| 1655 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), | 1545 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), |
| 1656 WASM_F64(1.2))); | 1546 WASM_F64(1.2))); |
| 1657 } | 1547 } |
| 1658 | 1548 |
| 1659 | 1549 TEST_F(AstDecoderTest, ExprBreak_TypeCheckAll) { |
| 1660 TEST_F(WasmDecoderTest, ExprBreak_TypeCheckAll) { | |
| 1661 byte code1[] = {WASM_BLOCK(2, | 1550 byte code1[] = {WASM_BLOCK(2, |
| 1662 WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), | 1551 WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(0))), |
| 1663 WASM_GET_LOCAL(1))}; | 1552 WASM_GET_LOCAL(1))}; |
| 1664 byte code2[] = { | 1553 byte code2[] = { |
| 1665 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV_IF_ZERO(0, WASM_GET_LOCAL(0))), | 1554 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV_IF_ZERO(0, WASM_GET_LOCAL(0))), |
| 1666 WASM_GET_LOCAL(1))}; | 1555 WASM_GET_LOCAL(1))}; |
| 1667 | 1556 |
| 1668 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1557 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 1669 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { | 1558 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { |
| 1670 FunctionEnv env; | 1559 FunctionEnv env; |
| 1671 LocalType storage[] = {kLocalTypes[i], kLocalTypes[i], kLocalTypes[j]}; | 1560 LocalType storage[] = {kLocalTypes[i], kLocalTypes[i], kLocalTypes[j]}; |
| 1672 FunctionSig sig(1, 2, storage); | 1561 FunctionSig sig(1, 2, storage); |
| 1673 init_env(&env, &sig); | 1562 init_env(&env, &sig); |
| 1674 | 1563 |
| 1675 if (i == j) { | 1564 if (i == j) { |
| 1676 EXPECT_VERIFIES(&env, code1); | 1565 EXPECT_VERIFIES(&env, code1); |
| 1677 EXPECT_VERIFIES(&env, code2); | 1566 EXPECT_VERIFIES(&env, code2); |
| 1678 } else { | 1567 } else { |
| 1679 EXPECT_FAILURE(&env, code1); | 1568 EXPECT_FAILURE(&env, code1); |
| 1680 EXPECT_FAILURE(&env, code2); | 1569 EXPECT_FAILURE(&env, code2); |
| 1681 } | 1570 } |
| 1682 } | 1571 } |
| 1683 } | 1572 } |
| 1684 } | 1573 } |
| 1685 | 1574 |
| 1686 | 1575 TEST_F(AstDecoderTest, ExprBr_Unify) { |
| 1687 TEST_F(WasmDecoderTest, ExprBr_Unify) { | |
| 1688 FunctionEnv env; | 1576 FunctionEnv env; |
| 1689 | 1577 |
| 1690 for (int which = 0; which < 2; which++) { | 1578 for (int which = 0; which < 2; which++) { |
| 1691 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1579 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 1692 LocalType type = kLocalTypes[i]; | 1580 LocalType type = kLocalTypes[i]; |
| 1693 LocalType storage[] = {kAstI32, kAstI32, type}; | 1581 LocalType storage[] = {kAstI32, kAstI32, type}; |
| 1694 FunctionSig sig(1, 2, storage); | 1582 FunctionSig sig(1, 2, storage); |
| 1695 init_env(&env, &sig); // (i32, X) -> i32 | 1583 init_env(&env, &sig); // (i32, X) -> i32 |
| 1696 | 1584 |
| 1697 byte code1[] = { | 1585 byte code1[] = { |
| 1698 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(which))), | 1586 WASM_BLOCK(2, WASM_IF(WASM_ZERO, WASM_BRV(0, WASM_GET_LOCAL(which))), |
| 1699 WASM_GET_LOCAL(which ^ 1))}; | 1587 WASM_GET_LOCAL(which ^ 1))}; |
| 1700 byte code2[] = { | 1588 byte code2[] = { |
| 1701 WASM_LOOP(2, WASM_IF(WASM_ZERO, WASM_BRV(1, WASM_GET_LOCAL(which))), | 1589 WASM_LOOP(2, WASM_IF(WASM_ZERO, WASM_BRV(1, WASM_GET_LOCAL(which))), |
| 1702 WASM_GET_LOCAL(which ^ 1))}; | 1590 WASM_GET_LOCAL(which ^ 1))}; |
| 1703 | 1591 |
| 1704 | 1592 |
| 1705 if (type == kAstI32) { | 1593 if (type == kAstI32) { |
| 1706 EXPECT_VERIFIES(&env, code1); | 1594 EXPECT_VERIFIES(&env, code1); |
| 1707 EXPECT_VERIFIES(&env, code2); | 1595 EXPECT_VERIFIES(&env, code2); |
| 1708 } else { | 1596 } else { |
| 1709 EXPECT_FAILURE(&env, code1); | 1597 EXPECT_FAILURE(&env, code1); |
| 1710 EXPECT_FAILURE(&env, code2); | 1598 EXPECT_FAILURE(&env, code2); |
| 1711 } | 1599 } |
| 1712 } | 1600 } |
| 1713 } | 1601 } |
| 1714 } | 1602 } |
| 1715 | 1603 |
| 1716 TEST_F(WasmDecoderTest, ExprBrIf_cond_type) { | 1604 TEST_F(AstDecoderTest, ExprBrIf_cond_type) { |
| 1717 FunctionEnv env; | 1605 FunctionEnv env; |
| 1718 byte code[] = { | 1606 byte code[] = { |
| 1719 WASM_BLOCK(1, WASM_BRV_IF(0, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)))}; | 1607 WASM_BLOCK(1, WASM_BRV_IF(0, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)))}; |
| 1720 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1608 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 1721 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { | 1609 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { |
| 1722 LocalType types[] = {kLocalTypes[i], kLocalTypes[j]}; | 1610 LocalType types[] = {kLocalTypes[i], kLocalTypes[j]}; |
| 1723 FunctionSig sig(0, 2, types); | 1611 FunctionSig sig(0, 2, types); |
| 1724 init_env(&env, &sig); | 1612 init_env(&env, &sig); |
| 1725 | 1613 |
| 1726 if (types[1] == kAstI32) { | 1614 if (types[1] == kAstI32) { |
| 1727 EXPECT_VERIFIES(&env, code); | 1615 EXPECT_VERIFIES(&env, code); |
| 1728 } else { | 1616 } else { |
| 1729 EXPECT_FAILURE(&env, code); | 1617 EXPECT_FAILURE(&env, code); |
| 1730 } | 1618 } |
| 1731 } | 1619 } |
| 1732 } | 1620 } |
| 1733 } | 1621 } |
| 1734 | 1622 |
| 1735 TEST_F(WasmDecoderTest, ExprBrIf_val_type) { | 1623 TEST_F(AstDecoderTest, ExprBrIf_val_type) { |
| 1736 FunctionEnv env; | 1624 FunctionEnv env; |
| 1737 byte code[] = { | 1625 byte code[] = { |
| 1738 WASM_BLOCK(2, WASM_BRV_IF(0, WASM_GET_LOCAL(1), WASM_GET_LOCAL(2)), | 1626 WASM_BLOCK(2, WASM_BRV_IF(0, WASM_GET_LOCAL(1), WASM_GET_LOCAL(2)), |
| 1739 WASM_GET_LOCAL(0))}; | 1627 WASM_GET_LOCAL(0))}; |
| 1740 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1628 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 1741 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { | 1629 for (size_t j = 0; j < arraysize(kLocalTypes); j++) { |
| 1742 LocalType types[] = {kLocalTypes[i], kLocalTypes[i], kLocalTypes[j], | 1630 LocalType types[] = {kLocalTypes[i], kLocalTypes[i], kLocalTypes[j], |
| 1743 kAstI32}; | 1631 kAstI32}; |
| 1744 FunctionSig sig(1, 3, types); | 1632 FunctionSig sig(1, 3, types); |
| 1745 init_env(&env, &sig); | 1633 init_env(&env, &sig); |
| 1746 | 1634 |
| 1747 if (i == j) { | 1635 if (i == j) { |
| 1748 EXPECT_VERIFIES(&env, code); | 1636 EXPECT_VERIFIES(&env, code); |
| 1749 } else { | 1637 } else { |
| 1750 EXPECT_FAILURE(&env, code); | 1638 EXPECT_FAILURE(&env, code); |
| 1751 } | 1639 } |
| 1752 } | 1640 } |
| 1753 } | 1641 } |
| 1754 } | 1642 } |
| 1755 | 1643 |
| 1756 | 1644 TEST_F(AstDecoderTest, ExprBrIf_Unify) { |
| 1757 TEST_F(WasmDecoderTest, ExprBrIf_Unify) { | |
| 1758 FunctionEnv env; | 1645 FunctionEnv env; |
| 1759 | 1646 |
| 1760 for (int which = 0; which < 2; which++) { | 1647 for (int which = 0; which < 2; which++) { |
| 1761 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1648 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 1762 LocalType type = kLocalTypes[i]; | 1649 LocalType type = kLocalTypes[i]; |
| 1763 LocalType storage[] = {kAstI32, kAstI32, type}; | 1650 LocalType storage[] = {kAstI32, kAstI32, type}; |
| 1764 FunctionSig sig(1, 2, storage); | 1651 FunctionSig sig(1, 2, storage); |
| 1765 init_env(&env, &sig); // (i32, X) -> i32 | 1652 init_env(&env, &sig); // (i32, X) -> i32 |
| 1766 | 1653 |
| 1767 byte code1[] = {WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_GET_LOCAL(which)), | 1654 byte code1[] = {WASM_BLOCK(2, WASM_BRV_IF_ZERO(0, WASM_GET_LOCAL(which)), |
| 1768 WASM_GET_LOCAL(which ^ 1))}; | 1655 WASM_GET_LOCAL(which ^ 1))}; |
| 1769 byte code2[] = {WASM_LOOP(2, WASM_BRV_IF_ZERO(1, WASM_GET_LOCAL(which)), | 1656 byte code2[] = {WASM_LOOP(2, WASM_BRV_IF_ZERO(1, WASM_GET_LOCAL(which)), |
| 1770 WASM_GET_LOCAL(which ^ 1))}; | 1657 WASM_GET_LOCAL(which ^ 1))}; |
| 1771 | 1658 |
| 1772 if (type == kAstI32) { | 1659 if (type == kAstI32) { |
| 1773 EXPECT_VERIFIES(&env, code1); | 1660 EXPECT_VERIFIES(&env, code1); |
| 1774 EXPECT_VERIFIES(&env, code2); | 1661 EXPECT_VERIFIES(&env, code2); |
| 1775 } else { | 1662 } else { |
| 1776 EXPECT_FAILURE(&env, code1); | 1663 EXPECT_FAILURE(&env, code1); |
| 1777 EXPECT_FAILURE(&env, code2); | 1664 EXPECT_FAILURE(&env, code2); |
| 1778 } | 1665 } |
| 1779 } | 1666 } |
| 1780 } | 1667 } |
| 1781 } | 1668 } |
| 1782 | 1669 |
| 1783 | 1670 TEST_F(AstDecoderTest, TableSwitch0) { |
| 1784 TEST_F(WasmDecoderTest, TableSwitch0) { | |
| 1785 static byte code[] = {kExprTableSwitch, 0, 0, 0, 0}; | 1671 static byte code[] = {kExprTableSwitch, 0, 0, 0, 0}; |
| 1786 EXPECT_FAILURE(&env_v_v, code); | 1672 EXPECT_FAILURE(&env_v_v, code); |
| 1787 } | 1673 } |
| 1788 | 1674 |
| 1789 | 1675 TEST_F(AstDecoderTest, TableSwitch0b) { |
| 1790 TEST_F(WasmDecoderTest, TableSwitch0b) { | |
| 1791 static byte code[] = {kExprTableSwitch, 0, 0, 0, 0, kExprI8Const, 11}; | 1676 static byte code[] = {kExprTableSwitch, 0, 0, 0, 0, kExprI8Const, 11}; |
| 1792 EXPECT_FAILURE(&env_v_v, code); | 1677 EXPECT_FAILURE(&env_v_v, code); |
| 1793 EXPECT_FAILURE(&env_i_i, code); | 1678 EXPECT_FAILURE(&env_i_i, code); |
| 1794 } | 1679 } |
| 1795 | 1680 |
| 1796 | 1681 TEST_F(AstDecoderTest, TableSwitch0c) { |
| 1797 TEST_F(WasmDecoderTest, TableSwitch0c) { | |
| 1798 static byte code[] = { | 1682 static byte code[] = { |
| 1799 WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(0)), WASM_I8(67))}; | 1683 WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(0)), WASM_I8(67))}; |
| 1800 EXPECT_VERIFIES(&env_v_v, code); | 1684 EXPECT_VERIFIES(&env_v_v, code); |
| 1801 } | 1685 } |
| 1802 | 1686 |
| 1803 TEST_F(WasmDecoderTest, TableSwitch0d) { | 1687 TEST_F(AstDecoderTest, TableSwitch0d) { |
| 1804 static byte code[] = { | 1688 static byte code[] = { |
| 1805 WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 2, WASM_CASE_BR(0), WASM_CASE_BR(1)), | 1689 WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 2, WASM_CASE_BR(0), WASM_CASE_BR(1)), |
| 1806 WASM_I8(67))}; | 1690 WASM_I8(67))}; |
| 1807 EXPECT_VERIFIES(&env_v_v, code); | 1691 EXPECT_VERIFIES(&env_v_v, code); |
| 1808 } | 1692 } |
| 1809 | 1693 |
| 1810 TEST_F(WasmDecoderTest, TableSwitch1) { | 1694 TEST_F(AstDecoderTest, TableSwitch1) { |
| 1811 static byte code[] = {WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1695 static byte code[] = {WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
| 1812 WASM_TABLESWITCH_BODY(WASM_I8(0), WASM_I8(9))}; | 1696 WASM_TABLESWITCH_BODY(WASM_I8(0), WASM_I8(9))}; |
| 1813 EXPECT_VERIFIES(&env_i_i, code); | 1697 EXPECT_VERIFIES(&env_i_i, code); |
| 1814 EXPECT_VERIFIES(&env_v_v, code); | 1698 EXPECT_VERIFIES(&env_v_v, code); |
| 1815 EXPECT_FAILURE(&env_f_ff, code); | 1699 EXPECT_FAILURE(&env_f_ff, code); |
| 1816 EXPECT_FAILURE(&env_d_dd, code); | 1700 EXPECT_FAILURE(&env_d_dd, code); |
| 1817 } | 1701 } |
| 1818 | 1702 |
| 1819 | 1703 TEST_F(AstDecoderTest, TableSwitch_off_end) { |
| 1820 TEST_F(WasmDecoderTest, TableSwitch_off_end) { | |
| 1821 static byte code[] = {WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1704 static byte code[] = {WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
| 1822 WASM_TABLESWITCH_BODY(WASM_I8(0), WASM_I8(9))}; | 1705 WASM_TABLESWITCH_BODY(WASM_I8(0), WASM_I8(9))}; |
| 1823 for (size_t len = arraysize(code) - 1; len > 0; len--) { | 1706 for (size_t len = arraysize(code) - 1; len > 0; len--) { |
| 1824 Verify(kError, &env_v_v, code, code + len); | 1707 Verify(kError, &env_v_v, code, code + len); |
| 1825 } | 1708 } |
| 1826 } | 1709 } |
| 1827 | 1710 |
| 1828 | 1711 TEST_F(AstDecoderTest, TableSwitch2) { |
| 1829 TEST_F(WasmDecoderTest, TableSwitch2) { | |
| 1830 static byte code[] = { | 1712 static byte code[] = { |
| 1831 WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), | 1713 WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), |
| 1832 WASM_TABLESWITCH_BODY(WASM_I8(3), WASM_I8(10), WASM_I8(11))}; | 1714 WASM_TABLESWITCH_BODY(WASM_I8(3), WASM_I8(10), WASM_I8(11))}; |
| 1833 EXPECT_VERIFIES(&env_i_i, code); | 1715 EXPECT_VERIFIES(&env_i_i, code); |
| 1834 EXPECT_VERIFIES(&env_v_v, code); | 1716 EXPECT_VERIFIES(&env_v_v, code); |
| 1835 EXPECT_FAILURE(&env_f_ff, code); | 1717 EXPECT_FAILURE(&env_f_ff, code); |
| 1836 EXPECT_FAILURE(&env_d_dd, code); | 1718 EXPECT_FAILURE(&env_d_dd, code); |
| 1837 } | 1719 } |
| 1838 | 1720 |
| 1839 | 1721 TEST_F(AstDecoderTest, TableSwitch1b) { |
| 1840 TEST_F(WasmDecoderTest, TableSwitch1b) { | |
| 1841 EXPECT_VERIFIES_INLINE(&env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1722 EXPECT_VERIFIES_INLINE(&env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
| 1842 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_ZERO)); | 1723 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_ZERO)); |
| 1843 | 1724 |
| 1844 EXPECT_VERIFIES_INLINE(&env_f_ff, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1725 EXPECT_VERIFIES_INLINE(&env_f_ff, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
| 1845 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_F32(0.0))); | 1726 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_F32(0.0))); |
| 1846 | 1727 |
| 1847 EXPECT_VERIFIES_INLINE(&env_d_dd, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1728 EXPECT_VERIFIES_INLINE(&env_d_dd, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
| 1848 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_F64(0.0))); | 1729 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_F64(0.0))); |
| 1849 } | 1730 } |
| 1850 | 1731 |
| 1851 TEST_F(WasmDecoderTest, TableSwitch_br1) { | 1732 TEST_F(AstDecoderTest, TableSwitch_br1) { |
| 1852 for (int depth = 0; depth < 2; depth++) { | 1733 for (int depth = 0; depth < 2; depth++) { |
| 1853 byte code[] = {WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(depth)), | 1734 byte code[] = {WASM_BLOCK(1, WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(depth)), |
| 1854 WASM_GET_LOCAL(0))}; | 1735 WASM_GET_LOCAL(0))}; |
| 1855 EXPECT_VERIFIES(&env_v_i, code); | 1736 EXPECT_VERIFIES(&env_v_i, code); |
| 1856 EXPECT_FAILURE(&env_i_i, code); | 1737 EXPECT_FAILURE(&env_i_i, code); |
| 1857 } | 1738 } |
| 1858 } | 1739 } |
| 1859 | 1740 |
| 1860 | 1741 TEST_F(AstDecoderTest, TableSwitch_invalid_br) { |
| 1861 TEST_F(WasmDecoderTest, TableSwitch_invalid_br) { | |
| 1862 for (int depth = 1; depth < 4; depth++) { | 1742 for (int depth = 1; depth < 4; depth++) { |
| 1863 EXPECT_FAILURE_INLINE(&env_v_i, | 1743 EXPECT_FAILURE_INLINE(&env_v_i, |
| 1864 WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(depth)), | 1744 WASM_TABLESWITCH_OP(0, 1, WASM_CASE_BR(depth)), |
| 1865 WASM_GET_LOCAL(0)); | 1745 WASM_GET_LOCAL(0)); |
| 1866 EXPECT_FAILURE_INLINE( | 1746 EXPECT_FAILURE_INLINE( |
| 1867 &env_v_i, | 1747 &env_v_i, |
| 1868 WASM_TABLESWITCH_OP(0, 2, WASM_CASE_BR(depth), WASM_CASE_BR(depth)), | 1748 WASM_TABLESWITCH_OP(0, 2, WASM_CASE_BR(depth), WASM_CASE_BR(depth)), |
| 1869 WASM_GET_LOCAL(0)); | 1749 WASM_GET_LOCAL(0)); |
| 1870 } | 1750 } |
| 1871 } | 1751 } |
| 1872 | 1752 |
| 1873 | 1753 TEST_F(AstDecoderTest, TableSwitch_invalid_case_ref) { |
| 1874 TEST_F(WasmDecoderTest, TableSwitch_invalid_case_ref) { | |
| 1875 EXPECT_FAILURE_INLINE(&env_i_i, WASM_TABLESWITCH_OP(0, 1, WASM_CASE(0)), | 1754 EXPECT_FAILURE_INLINE(&env_i_i, WASM_TABLESWITCH_OP(0, 1, WASM_CASE(0)), |
| 1876 WASM_GET_LOCAL(0)); | 1755 WASM_GET_LOCAL(0)); |
| 1877 EXPECT_FAILURE_INLINE(&env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(1)), | 1756 EXPECT_FAILURE_INLINE(&env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(1)), |
| 1878 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_ZERO)); | 1757 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_ZERO)); |
| 1879 } | 1758 } |
| 1880 | 1759 |
| 1881 | 1760 TEST_F(AstDecoderTest, TableSwitch1_br) { |
| 1882 TEST_F(WasmDecoderTest, TableSwitch1_br) { | |
| 1883 EXPECT_VERIFIES_INLINE( | 1761 EXPECT_VERIFIES_INLINE( |
| 1884 &env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), | 1762 &env_i_i, WASM_TABLESWITCH_OP(1, 1, WASM_CASE(0)), |
| 1885 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_ZERO))); | 1763 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_ZERO))); |
| 1886 } | 1764 } |
| 1887 | 1765 |
| 1888 | 1766 TEST_F(AstDecoderTest, TableSwitch2_br) { |
| 1889 TEST_F(WasmDecoderTest, TableSwitch2_br) { | |
| 1890 EXPECT_VERIFIES_INLINE( | 1767 EXPECT_VERIFIES_INLINE( |
| 1891 &env_i_i, WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), | 1768 &env_i_i, WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), |
| 1892 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_I8(0)), | 1769 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_I8(0)), |
| 1893 WASM_BRV(0, WASM_I8(1)))); | 1770 WASM_BRV(0, WASM_I8(1)))); |
| 1894 | 1771 |
| 1895 EXPECT_FAILURE_INLINE( | 1772 EXPECT_FAILURE_INLINE( |
| 1896 &env_f_ff, WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), | 1773 &env_f_ff, WASM_TABLESWITCH_OP(2, 2, WASM_CASE(0), WASM_CASE(1)), |
| 1897 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_BRV(0, WASM_I8(3)), | 1774 WASM_TABLESWITCH_BODY(WASM_ZERO, WASM_BRV(0, WASM_I8(3)), |
| 1898 WASM_BRV(0, WASM_I8(4)))); | 1775 WASM_BRV(0, WASM_I8(4)))); |
| 1899 } | 1776 } |
| 1900 | 1777 |
| 1901 | 1778 TEST_F(AstDecoderTest, TableSwitch2x2) { |
| 1902 TEST_F(WasmDecoderTest, TableSwitch2x2) { | |
| 1903 EXPECT_VERIFIES_INLINE( | 1779 EXPECT_VERIFIES_INLINE( |
| 1904 &env_i_i, WASM_TABLESWITCH_OP(2, 4, WASM_CASE(0), WASM_CASE(1), | 1780 &env_i_i, WASM_TABLESWITCH_OP(2, 4, WASM_CASE(0), WASM_CASE(1), |
| 1905 WASM_CASE(0), WASM_CASE(1)), | 1781 WASM_CASE(0), WASM_CASE(1)), |
| 1906 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_I8(3)), | 1782 WASM_TABLESWITCH_BODY(WASM_GET_LOCAL(0), WASM_BRV(0, WASM_I8(3)), |
| 1907 WASM_BRV(0, WASM_I8(4)))); | 1783 WASM_BRV(0, WASM_I8(4)))); |
| 1908 } | 1784 } |
| 1909 | 1785 |
| 1910 | 1786 TEST_F(AstDecoderTest, ExprBreakNesting1) { |
| 1911 TEST_F(WasmDecoderTest, ExprBreakNesting1) { | |
| 1912 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BRV(0, WASM_ZERO))); | 1787 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BRV(0, WASM_ZERO))); |
| 1913 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BR(0))); | 1788 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BR(0))); |
| 1914 EXPECT_VERIFIES_INLINE(&env_v_v, | 1789 EXPECT_VERIFIES_INLINE(&env_v_v, |
| 1915 WASM_BLOCK(1, WASM_BRV_IF(0, WASM_ZERO, WASM_ZERO))); | 1790 WASM_BLOCK(1, WASM_BRV_IF(0, WASM_ZERO, WASM_ZERO))); |
| 1916 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BR_IF(0, WASM_ZERO))); | 1791 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_BLOCK(1, WASM_BR_IF(0, WASM_ZERO))); |
| 1917 | 1792 |
| 1918 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BRV(0, WASM_ZERO))); | 1793 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BRV(0, WASM_ZERO))); |
| 1919 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR(0))); | 1794 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR(0))); |
| 1920 EXPECT_VERIFIES_INLINE(&env_v_v, | 1795 EXPECT_VERIFIES_INLINE(&env_v_v, |
| 1921 WASM_LOOP(1, WASM_BRV_IF(0, WASM_ZERO, WASM_ZERO))); | 1796 WASM_LOOP(1, WASM_BRV_IF(0, WASM_ZERO, WASM_ZERO))); |
| 1922 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR_IF(0, WASM_ZERO))); | 1797 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR_IF(0, WASM_ZERO))); |
| 1923 | 1798 |
| 1924 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BRV(1, WASM_ZERO))); | 1799 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BRV(1, WASM_ZERO))); |
| 1925 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR(1))); | 1800 EXPECT_VERIFIES_INLINE(&env_v_v, WASM_LOOP(1, WASM_BR(1))); |
| 1926 } | 1801 } |
| 1927 | 1802 |
| 1928 | 1803 TEST_F(AstDecoderTest, Select) { |
| 1929 TEST_F(WasmDecoderTest, Select) { | |
| 1930 EXPECT_VERIFIES_INLINE( | 1804 EXPECT_VERIFIES_INLINE( |
| 1931 &env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_ZERO)); | 1805 &env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_ZERO)); |
| 1932 EXPECT_VERIFIES_INLINE(&env_f_ff, | 1806 EXPECT_VERIFIES_INLINE(&env_f_ff, |
| 1933 WASM_SELECT(WASM_F32(0.0), WASM_F32(0.0), WASM_ZERO)); | 1807 WASM_SELECT(WASM_F32(0.0), WASM_F32(0.0), WASM_ZERO)); |
| 1934 EXPECT_VERIFIES_INLINE(&env_d_dd, | 1808 EXPECT_VERIFIES_INLINE(&env_d_dd, |
| 1935 WASM_SELECT(WASM_F64(0.0), WASM_F64(0.0), WASM_ZERO)); | 1809 WASM_SELECT(WASM_F64(0.0), WASM_F64(0.0), WASM_ZERO)); |
| 1936 EXPECT_VERIFIES_INLINE(&env_l_l, | 1810 EXPECT_VERIFIES_INLINE(&env_l_l, |
| 1937 WASM_SELECT(WASM_I64(0), WASM_I64(0), WASM_ZERO)); | 1811 WASM_SELECT(WASM_I64(0), WASM_I64(0), WASM_ZERO)); |
| 1938 } | 1812 } |
| 1939 | 1813 |
| 1940 TEST_F(WasmDecoderTest, Select_fail1) { | 1814 TEST_F(AstDecoderTest, Select_fail1) { |
| 1941 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_F32(0.0), WASM_GET_LOCAL(0), | 1815 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_F32(0.0), WASM_GET_LOCAL(0), |
| 1942 WASM_GET_LOCAL(0))); | 1816 WASM_GET_LOCAL(0))); |
| 1943 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_F32(0.0), | 1817 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_F32(0.0), |
| 1944 WASM_GET_LOCAL(0))); | 1818 WASM_GET_LOCAL(0))); |
| 1945 EXPECT_FAILURE_INLINE( | 1819 EXPECT_FAILURE_INLINE( |
| 1946 &env_i_i, | 1820 &env_i_i, |
| 1947 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_F32(0.0))); | 1821 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_F32(0.0))); |
| 1948 } | 1822 } |
| 1949 | 1823 |
| 1950 TEST_F(WasmDecoderTest, Select_fail2) { | 1824 TEST_F(AstDecoderTest, Select_fail2) { |
| 1951 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { | 1825 for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 1952 LocalType type = kLocalTypes[i]; | 1826 LocalType type = kLocalTypes[i]; |
| 1953 if (type == kAstI32) continue; | 1827 if (type == kAstI32) continue; |
| 1954 | 1828 |
| 1955 LocalType types[] = {type, kAstI32, type}; | 1829 LocalType types[] = {type, kAstI32, type}; |
| 1956 FunctionSig sig(1, 2, types); | 1830 FunctionSig sig(1, 2, types); |
| 1957 FunctionEnv env; | 1831 FunctionEnv env; |
| 1958 init_env(&env, &sig); | 1832 init_env(&env, &sig); |
| 1959 | 1833 |
| 1960 EXPECT_VERIFIES_INLINE( | 1834 EXPECT_VERIFIES_INLINE( |
| 1961 &env, | 1835 &env, |
| 1962 WASM_SELECT(WASM_GET_LOCAL(1), WASM_GET_LOCAL(1), WASM_GET_LOCAL(0))); | 1836 WASM_SELECT(WASM_GET_LOCAL(1), WASM_GET_LOCAL(1), WASM_GET_LOCAL(0))); |
| 1963 | 1837 |
| 1964 EXPECT_FAILURE_INLINE( | 1838 EXPECT_FAILURE_INLINE( |
| 1965 &env, | 1839 &env, |
| 1966 WASM_SELECT(WASM_GET_LOCAL(1), WASM_GET_LOCAL(0), WASM_GET_LOCAL(0))); | 1840 WASM_SELECT(WASM_GET_LOCAL(1), WASM_GET_LOCAL(0), WASM_GET_LOCAL(0))); |
| 1967 | 1841 |
| 1968 EXPECT_FAILURE_INLINE( | 1842 EXPECT_FAILURE_INLINE( |
| 1969 &env, | 1843 &env, |
| 1970 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1), WASM_GET_LOCAL(0))); | 1844 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1), 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(0), WASM_GET_LOCAL(1))); | 1848 WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))); |
| 1975 } | 1849 } |
| 1976 } | 1850 } |
| 1977 | 1851 |
| 1978 | 1852 TEST_F(AstDecoderTest, Select_TypeCheck) { |
| 1979 TEST_F(WasmDecoderTest, Select_TypeCheck) { | |
| 1980 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_F32(9.9), WASM_GET_LOCAL(0), | 1853 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_F32(9.9), WASM_GET_LOCAL(0), |
| 1981 WASM_GET_LOCAL(0))); | 1854 WASM_GET_LOCAL(0))); |
| 1982 | 1855 |
| 1983 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_F64(0.25), | 1856 EXPECT_FAILURE_INLINE(&env_i_i, WASM_SELECT(WASM_GET_LOCAL(0), WASM_F64(0.25), |
| 1984 WASM_GET_LOCAL(0))); | 1857 WASM_GET_LOCAL(0))); |
| 1985 | 1858 |
| 1986 EXPECT_FAILURE_INLINE( | 1859 EXPECT_FAILURE_INLINE( |
| 1987 &env_i_i, WASM_SELECT(WASM_F32(9.9), WASM_GET_LOCAL(0), WASM_I64(0))); | 1860 &env_i_i, WASM_SELECT(WASM_F32(9.9), WASM_GET_LOCAL(0), WASM_I64(0))); |
| 1988 } | 1861 } |
| 1989 | 1862 |
| (...skipping 244 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2234 EXPECT_ARITY(2, kExprIf); | 2107 EXPECT_ARITY(2, kExprIf); |
| 2235 EXPECT_ARITY(3, kExprIfElse); | 2108 EXPECT_ARITY(3, kExprIfElse); |
| 2236 EXPECT_ARITY(3, kExprSelect); | 2109 EXPECT_ARITY(3, kExprSelect); |
| 2237 | 2110 |
| 2238 EXPECT_ARITY(1, kExprBr); | 2111 EXPECT_ARITY(1, kExprBr); |
| 2239 EXPECT_ARITY(2, kExprBrIf); | 2112 EXPECT_ARITY(2, kExprBrIf); |
| 2240 | 2113 |
| 2241 { | 2114 { |
| 2242 TestSignatures sigs; | 2115 TestSignatures sigs; |
| 2243 FunctionEnv env; | 2116 FunctionEnv env; |
| 2244 WasmDecoderTest::init_env(&env, sigs.v_v()); | 2117 AstDecoderTest::init_env(&env, sigs.v_v()); |
| 2245 EXPECT_ARITY(0, kExprReturn); | 2118 EXPECT_ARITY(0, kExprReturn); |
| 2246 WasmDecoderTest::init_env(&env, sigs.i_i()); | 2119 AstDecoderTest::init_env(&env, sigs.i_i()); |
| 2247 EXPECT_ARITY(1, kExprReturn); | 2120 EXPECT_ARITY(1, kExprReturn); |
| 2248 } | 2121 } |
| 2249 } | 2122 } |
| 2250 | 2123 |
| 2251 | 2124 |
| 2252 TEST_F(WasmOpcodeArityTest, Misc) { | 2125 TEST_F(WasmOpcodeArityTest, Misc) { |
| 2253 FunctionEnv env; | 2126 FunctionEnv env; |
| 2254 | 2127 |
| 2255 EXPECT_ARITY(0, kExprI8Const); | 2128 EXPECT_ARITY(0, kExprI8Const); |
| 2256 EXPECT_ARITY(0, kExprI32Const); | 2129 EXPECT_ARITY(0, kExprI32Const); |
| (...skipping 14 matching lines...) Expand all Loading... |
| 2271 module.AddFunction(sigs.i_i()); | 2144 module.AddFunction(sigs.i_i()); |
| 2272 | 2145 |
| 2273 module.AddSignature(sigs.f_ff()); | 2146 module.AddSignature(sigs.f_ff()); |
| 2274 module.AddSignature(sigs.i_d()); | 2147 module.AddSignature(sigs.i_d()); |
| 2275 | 2148 |
| 2276 module.AddImport(sigs.f_ff()); | 2149 module.AddImport(sigs.f_ff()); |
| 2277 module.AddImport(sigs.i_d()); | 2150 module.AddImport(sigs.i_d()); |
| 2278 | 2151 |
| 2279 { | 2152 { |
| 2280 FunctionEnv env; | 2153 FunctionEnv env; |
| 2281 WasmDecoderTest::init_env(&env, sigs.i_ii()); | 2154 AstDecoderTest::init_env(&env, sigs.i_ii()); |
| 2282 env.module = &module; | 2155 env.module = &module; |
| 2283 | 2156 |
| 2284 EXPECT_ARITY(2, kExprCallFunction, 0); | 2157 EXPECT_ARITY(2, kExprCallFunction, 0); |
| 2285 EXPECT_ARITY(2, kExprCallImport, 0); | 2158 EXPECT_ARITY(2, kExprCallImport, 0); |
| 2286 EXPECT_ARITY(3, kExprCallIndirect, 0); | 2159 EXPECT_ARITY(3, kExprCallIndirect, 0); |
| 2287 EXPECT_ARITY(1, kExprBr); | 2160 EXPECT_ARITY(1, kExprBr); |
| 2288 EXPECT_ARITY(2, kExprBrIf); | 2161 EXPECT_ARITY(2, kExprBrIf); |
| 2289 } | 2162 } |
| 2290 | 2163 |
| 2291 { | 2164 { |
| 2292 FunctionEnv env; | 2165 FunctionEnv env; |
| 2293 WasmDecoderTest::init_env(&env, sigs.v_v()); | 2166 AstDecoderTest::init_env(&env, sigs.v_v()); |
| 2294 env.module = &module; | 2167 env.module = &module; |
| 2295 | 2168 |
| 2296 EXPECT_ARITY(1, kExprCallFunction, 1); | 2169 EXPECT_ARITY(1, kExprCallFunction, 1); |
| 2297 EXPECT_ARITY(1, kExprCallImport, 1); | 2170 EXPECT_ARITY(1, kExprCallImport, 1); |
| 2298 EXPECT_ARITY(2, kExprCallIndirect, 1); | 2171 EXPECT_ARITY(2, kExprCallIndirect, 1); |
| 2299 EXPECT_ARITY(1, kExprBr); | 2172 EXPECT_ARITY(1, kExprBr); |
| 2300 EXPECT_ARITY(2, kExprBrIf); | 2173 EXPECT_ARITY(2, kExprBrIf); |
| 2301 } | 2174 } |
| 2302 } | 2175 } |
| 2303 | 2176 |
| (...skipping 155 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2459 EXPECT_ARITY(1, kExprF64SConvertI64); | 2332 EXPECT_ARITY(1, kExprF64SConvertI64); |
| 2460 EXPECT_ARITY(1, kExprF64UConvertI64); | 2333 EXPECT_ARITY(1, kExprF64UConvertI64); |
| 2461 EXPECT_ARITY(1, kExprF64ConvertF32); | 2334 EXPECT_ARITY(1, kExprF64ConvertF32); |
| 2462 EXPECT_ARITY(1, kExprF64ReinterpretI64); | 2335 EXPECT_ARITY(1, kExprF64ReinterpretI64); |
| 2463 EXPECT_ARITY(1, kExprI32ReinterpretF32); | 2336 EXPECT_ARITY(1, kExprI32ReinterpretF32); |
| 2464 EXPECT_ARITY(1, kExprI64ReinterpretF64); | 2337 EXPECT_ARITY(1, kExprI64ReinterpretF64); |
| 2465 } | 2338 } |
| 2466 } // namespace wasm | 2339 } // namespace wasm |
| 2467 } // namespace internal | 2340 } // namespace internal |
| 2468 } // namespace v8 | 2341 } // namespace v8 |
| OLD | NEW |