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 "src/v8.h" | 5 #include "src/v8.h" |
6 | 6 |
7 #include "src/execution.h" | 7 #include "src/execution.h" |
8 #include "src/handles.h" | 8 #include "src/handles.h" |
9 #include "src/interpreter/bytecode-array-builder.h" | 9 #include "src/interpreter/bytecode-array-builder.h" |
10 #include "src/interpreter/interpreter.h" | 10 #include "src/interpreter/interpreter.h" |
(...skipping 344 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
355 Handle<BytecodeArray> bytecode_array = builder.ToBytecodeArray(); | 355 Handle<BytecodeArray> bytecode_array = builder.ToBytecodeArray(); |
356 | 356 |
357 InterpreterTester tester(handles.main_isolate(), bytecode_array); | 357 InterpreterTester tester(handles.main_isolate(), bytecode_array); |
358 auto callable = tester.GetCallable<>(); | 358 auto callable = tester.GetCallable<>(); |
359 Handle<Object> return_val = callable().ToHandleChecked(); | 359 Handle<Object> return_val = callable().ToHandleChecked(); |
360 CHECK(return_val.is_identical_to(true_value)); | 360 CHECK(return_val.is_identical_to(true_value)); |
361 } | 361 } |
362 } | 362 } |
363 | 363 |
364 | 364 |
365 TEST(InterpreterExchangeRegisters) { | |
366 for (int locals_count = 2; locals_count < 300; locals_count += 126) { | |
367 HandleAndZoneScope handles; | |
368 for (int exchanges = 1; exchanges < 4; exchanges++) { | |
369 BytecodeArrayBuilder builder(handles.main_isolate(), handles.main_zone()); | |
370 builder.set_locals_count(locals_count); | |
371 builder.set_context_count(0); | |
372 builder.set_parameter_count(0); | |
373 | |
374 Register r0(0); | |
375 Register r1(locals_count - 1); | |
376 builder.LoadTrue(); | |
377 builder.StoreAccumulatorInRegister(r0); | |
378 builder.ExchangeRegisters(r0, r1); | |
379 builder.LoadFalse(); | |
380 builder.StoreAccumulatorInRegister(r0); | |
381 | |
382 bool expected = false; | |
383 for (int i = 0; i < exchanges; i++) { | |
384 builder.ExchangeRegisters(r0, r1); | |
385 expected = !expected; | |
386 } | |
387 builder.LoadAccumulatorWithRegister(r0); | |
388 builder.Return(); | |
389 Handle<BytecodeArray> bytecode_array = builder.ToBytecodeArray(); | |
390 InterpreterTester tester(handles.main_isolate(), bytecode_array); | |
391 auto callable = tester.GetCallable<>(); | |
392 Handle<Object> return_val = callable().ToHandleChecked(); | |
393 Handle<Object> expected_val = | |
394 handles.main_isolate()->factory()->ToBoolean(expected); | |
395 CHECK(return_val.is_identical_to(expected_val)); | |
396 } | |
397 } | |
398 } | |
399 | |
400 | |
401 TEST(InterpreterExchangeRegistersWithParameter) { | |
402 for (int locals_count = 2; locals_count < 300; locals_count += 126) { | |
403 HandleAndZoneScope handles; | |
404 for (int exchanges = 1; exchanges < 4; exchanges++) { | |
405 BytecodeArrayBuilder builder(handles.main_isolate(), handles.main_zone()); | |
406 builder.set_locals_count(locals_count); | |
407 builder.set_context_count(0); | |
408 builder.set_parameter_count(3); | |
409 | |
410 Register r0 = Register::FromParameterIndex(2, 3); | |
411 Register r1(locals_count - 1); | |
412 builder.LoadTrue(); | |
413 builder.StoreAccumulatorInRegister(r0); | |
414 builder.ExchangeRegisters(r0, r1); | |
415 builder.LoadFalse(); | |
416 builder.StoreAccumulatorInRegister(r0); | |
417 | |
418 bool expected = false; | |
419 for (int i = 0; i < exchanges; i++) { | |
420 builder.ExchangeRegisters(r0, r1); | |
421 expected = !expected; | |
422 } | |
423 builder.LoadAccumulatorWithRegister(r0); | |
424 builder.Return(); | |
425 Handle<BytecodeArray> bytecode_array = builder.ToBytecodeArray(); | |
426 InterpreterTester tester(handles.main_isolate(), bytecode_array); | |
427 auto callable = tester.GetCallable<>(); | |
428 Handle<Object> return_val = callable().ToHandleChecked(); | |
429 Handle<Object> expected_val = | |
430 handles.main_isolate()->factory()->ToBoolean(expected); | |
431 CHECK(return_val.is_identical_to(expected_val)); | |
432 } | |
433 } | |
434 } | |
435 | |
436 | |
437 TEST(InterpreterExchangeWideRegisters) { | |
438 for (int locals_count = 3; locals_count < 300; locals_count += 126) { | |
439 HandleAndZoneScope handles; | |
440 for (int exchanges = 0; exchanges < 7; exchanges++) { | |
441 BytecodeArrayBuilder builder(handles.main_isolate(), handles.main_zone()); | |
442 builder.set_locals_count(locals_count); | |
443 builder.set_context_count(0); | |
444 builder.set_parameter_count(0); | |
445 | |
446 Register r0(0); | |
447 Register r1(locals_count - 1); | |
448 Register r2(locals_count - 2); | |
449 builder.LoadLiteral(Smi::FromInt(200)); | |
450 builder.StoreAccumulatorInRegister(r0); | |
451 builder.ExchangeRegisters(r0, r1); | |
452 builder.LoadLiteral(Smi::FromInt(100)); | |
453 builder.StoreAccumulatorInRegister(r0); | |
454 builder.ExchangeRegisters(r0, r2); | |
455 builder.LoadLiteral(Smi::FromInt(0)); | |
456 builder.StoreAccumulatorInRegister(r0); | |
457 for (int i = 0; i < exchanges; i++) { | |
458 builder.ExchangeRegisters(r1, r2); | |
459 builder.ExchangeRegisters(r0, r1); | |
460 } | |
461 builder.LoadAccumulatorWithRegister(r0); | |
462 builder.Return(); | |
463 Handle<BytecodeArray> bytecode_array = builder.ToBytecodeArray(); | |
464 InterpreterTester tester(handles.main_isolate(), bytecode_array); | |
465 auto callable = tester.GetCallable<>(); | |
466 Handle<Object> return_val = callable().ToHandleChecked(); | |
467 Handle<Object> expected_val = | |
468 handles.main_isolate()->factory()->NewNumberFromInt(100 * | |
469 (exchanges % 3)); | |
470 CHECK(return_val.is_identical_to(expected_val)); | |
471 } | |
472 } | |
473 } | |
474 | |
475 | |
476 static const Token::Value kShiftOperators[] = { | 365 static const Token::Value kShiftOperators[] = { |
477 Token::Value::SHL, Token::Value::SAR, Token::Value::SHR}; | 366 Token::Value::SHL, Token::Value::SAR, Token::Value::SHR}; |
478 | 367 |
479 | 368 |
480 static const Token::Value kArithmeticOperators[] = { | 369 static const Token::Value kArithmeticOperators[] = { |
481 Token::Value::BIT_OR, Token::Value::BIT_XOR, Token::Value::BIT_AND, | 370 Token::Value::BIT_OR, Token::Value::BIT_XOR, Token::Value::BIT_AND, |
482 Token::Value::SHL, Token::Value::SAR, Token::Value::SHR, | 371 Token::Value::SHL, Token::Value::SAR, Token::Value::SHR, |
483 Token::Value::ADD, Token::Value::SUB, Token::Value::MUL, | 372 Token::Value::ADD, Token::Value::SUB, Token::Value::MUL, |
484 Token::Value::DIV, Token::Value::MOD}; | 373 Token::Value::DIV, Token::Value::MOD}; |
485 | 374 |
(...skipping 3147 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3633 auto callable = tester.GetCallable<>(); | 3522 auto callable = tester.GetCallable<>(); |
3634 | 3523 |
3635 Handle<i::Object> return_value = callable().ToHandleChecked(); | 3524 Handle<i::Object> return_value = callable().ToHandleChecked(); |
3636 CHECK(return_value->SameValue(*eval_func_decl[i].second)); | 3525 CHECK(return_value->SameValue(*eval_func_decl[i].second)); |
3637 } | 3526 } |
3638 } | 3527 } |
3639 | 3528 |
3640 } // namespace interpreter | 3529 } // namespace interpreter |
3641 } // namespace internal | 3530 } // namespace internal |
3642 } // namespace v8 | 3531 } // namespace v8 |
OLD | NEW |