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