| 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 334 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 345 | 345 |
| 346 InterpreterTester tester(handles.main_isolate(), bytecode_array); | 346 InterpreterTester tester(handles.main_isolate(), bytecode_array); |
| 347 auto callable = tester.GetCallable<>(); | 347 auto callable = tester.GetCallable<>(); |
| 348 Handle<Object> return_val = callable().ToHandleChecked(); | 348 Handle<Object> return_val = callable().ToHandleChecked(); |
| 349 CHECK(return_val.is_identical_to(true_value)); | 349 CHECK(return_val.is_identical_to(true_value)); |
| 350 } | 350 } |
| 351 } | 351 } |
| 352 | 352 |
| 353 | 353 |
| 354 static const Token::Value kArithmeticOperators[] = { | 354 static const Token::Value kArithmeticOperators[] = { |
| 355 Token::Value::ADD, Token::Value::SUB, Token::Value::MUL, Token::Value::DIV, | 355 Token::Value::SHL, Token::Value::SAR, Token::Value::SHR, Token::Value::ADD, |
| 356 Token::Value::MOD}; | 356 Token::Value::SUB, Token::Value::MUL, Token::Value::DIV, Token::Value::MOD}; |
| 357 |
| 358 |
| 359 static const Token::Value kShiftOperators[] = { |
| 360 Token::Value::SHL, Token::Value::SAR, Token::Value::SHR}; |
| 357 | 361 |
| 358 | 362 |
| 359 static double BinaryOpC(Token::Value op, double lhs, double rhs) { | 363 static double BinaryOpC(Token::Value op, double lhs, double rhs) { |
| 360 switch (op) { | 364 switch (op) { |
| 361 case Token::Value::ADD: | 365 case Token::Value::ADD: |
| 362 return lhs + rhs; | 366 return lhs + rhs; |
| 363 case Token::Value::SUB: | 367 case Token::Value::SUB: |
| 364 return lhs - rhs; | 368 return lhs - rhs; |
| 365 case Token::Value::MUL: | 369 case Token::Value::MUL: |
| 366 return lhs * rhs; | 370 return lhs * rhs; |
| 367 case Token::Value::DIV: | 371 case Token::Value::DIV: |
| 368 return lhs / rhs; | 372 return lhs / rhs; |
| 369 case Token::Value::MOD: | 373 case Token::Value::MOD: |
| 370 return std::fmod(lhs, rhs); | 374 return std::fmod(lhs, rhs); |
| 375 case Token::Value::SHL: { |
| 376 int32_t val = v8::internal::DoubleToInt32(lhs); |
| 377 uint32_t count = v8::internal::DoubleToUint32(rhs) & 0x1F; |
| 378 int32_t result = val << count; |
| 379 return result; |
| 380 } |
| 381 case Token::Value::SAR: { |
| 382 int32_t val = v8::internal::DoubleToInt32(lhs); |
| 383 uint32_t count = v8::internal::DoubleToUint32(rhs) & 0x1F; |
| 384 int32_t result = val >> count; |
| 385 return result; |
| 386 } |
| 387 case Token::Value::SHR: { |
| 388 uint32_t val = v8::internal::DoubleToUint32(lhs); |
| 389 uint32_t count = v8::internal::DoubleToUint32(rhs) & 0x1F; |
| 390 uint32_t result = val >> count; |
| 391 return result; |
| 392 } |
| 371 default: | 393 default: |
| 372 UNREACHABLE(); | 394 UNREACHABLE(); |
| 373 return std::numeric_limits<double>::min(); | 395 return std::numeric_limits<double>::min(); |
| 374 } | 396 } |
| 375 } | 397 } |
| 376 | 398 |
| 377 | 399 |
| 400 TEST(InterpreterShiftOpsSmi) { |
| 401 int lhs_inputs[] = {0, -17, -182, 1073741823, -1}; |
| 402 int rhs_inputs[] = {5, 2, 1, -1, -2, 0, 31, 32, -32, 64, 37}; |
| 403 for (size_t l = 0; l < arraysize(lhs_inputs); l++) { |
| 404 for (size_t r = 0; r < arraysize(rhs_inputs); r++) { |
| 405 for (size_t o = 0; o < arraysize(kShiftOperators); o++) { |
| 406 HandleAndZoneScope handles; |
| 407 i::Factory* factory = handles.main_isolate()->factory(); |
| 408 BytecodeArrayBuilder builder(handles.main_isolate(), |
| 409 handles.main_zone()); |
| 410 builder.set_locals_count(1); |
| 411 builder.set_parameter_count(1); |
| 412 Register reg(0); |
| 413 int lhs = lhs_inputs[l]; |
| 414 int rhs = rhs_inputs[r]; |
| 415 builder.LoadLiteral(Smi::FromInt(lhs)) |
| 416 .StoreAccumulatorInRegister(reg) |
| 417 .LoadLiteral(Smi::FromInt(rhs)) |
| 418 .BinaryOperation(kArithmeticOperators[o], reg, Strength::WEAK) |
| 419 .Return(); |
| 420 Handle<BytecodeArray> bytecode_array = builder.ToBytecodeArray(); |
| 421 |
| 422 InterpreterTester tester(handles.main_isolate(), bytecode_array); |
| 423 auto callable = tester.GetCallable<>(); |
| 424 Handle<Object> return_value = callable().ToHandleChecked(); |
| 425 Handle<Object> expected_value = |
| 426 factory->NewNumber(BinaryOpC(kShiftOperators[o], lhs, rhs)); |
| 427 CHECK(return_value->SameValue(*expected_value)); |
| 428 } |
| 429 } |
| 430 } |
| 431 } |
| 432 |
| 433 |
| 378 TEST(InterpreterBinaryOpsSmi) { | 434 TEST(InterpreterBinaryOpsSmi) { |
| 379 int lhs_inputs[] = {3266, 1024, 0, -17, -18000}; | 435 int lhs_inputs[] = {3266, 1024, 0, -17, -18000}; |
| 380 int rhs_inputs[] = {3266, 5, 4, 3, 2, 1, -1, -2}; | 436 int rhs_inputs[] = {3266, 5, 4, 3, 2, 1, -1, -2}; |
| 381 for (size_t l = 0; l < arraysize(lhs_inputs); l++) { | 437 for (size_t l = 0; l < arraysize(lhs_inputs); l++) { |
| 382 for (size_t r = 0; r < arraysize(rhs_inputs); r++) { | 438 for (size_t r = 0; r < arraysize(rhs_inputs); r++) { |
| 383 for (size_t o = 0; o < arraysize(kArithmeticOperators); o++) { | 439 for (size_t o = 0; o < arraysize(kArithmeticOperators); o++) { |
| 384 HandleAndZoneScope handles; | 440 HandleAndZoneScope handles; |
| 385 i::Factory* factory = handles.main_isolate()->factory(); | 441 i::Factory* factory = handles.main_isolate()->factory(); |
| 386 BytecodeArrayBuilder builder(handles.main_isolate(), | 442 BytecodeArrayBuilder builder(handles.main_isolate(), |
| 387 handles.main_zone()); | 443 handles.main_zone()); |
| (...skipping 1076 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1464 .CallRuntime(Runtime::kAdd, Register(0), 2) | 1520 .CallRuntime(Runtime::kAdd, Register(0), 2) |
| 1465 .Return(); | 1521 .Return(); |
| 1466 Handle<BytecodeArray> bytecode_array = builder.ToBytecodeArray(); | 1522 Handle<BytecodeArray> bytecode_array = builder.ToBytecodeArray(); |
| 1467 | 1523 |
| 1468 InterpreterTester tester(handles.main_isolate(), bytecode_array); | 1524 InterpreterTester tester(handles.main_isolate(), bytecode_array); |
| 1469 auto callable = tester.GetCallable<>(); | 1525 auto callable = tester.GetCallable<>(); |
| 1470 | 1526 |
| 1471 Handle<Object> return_val = callable().ToHandleChecked(); | 1527 Handle<Object> return_val = callable().ToHandleChecked(); |
| 1472 CHECK_EQ(Smi::cast(*return_val), Smi::FromInt(55)); | 1528 CHECK_EQ(Smi::cast(*return_val), Smi::FromInt(55)); |
| 1473 } | 1529 } |
| OLD | NEW |