OLD | NEW |
1 // Copyright 2016 the V8 project authors. All rights reserved. | 1 // Copyright 2016 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/factory.h" | 7 #include "src/factory.h" |
8 #include "src/interpreter/bytecode-label.h" | 8 #include "src/interpreter/bytecode-label.h" |
9 #include "src/interpreter/bytecode-peephole-optimizer.h" | 9 #include "src/interpreter/bytecode-peephole-optimizer.h" |
10 #include "src/objects-inl.h" | 10 #include "src/objects-inl.h" |
(...skipping 303 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
314 optimizer()->Write(&second); | 314 optimizer()->Write(&second); |
315 CHECK_EQ(write_count(), 0); | 315 CHECK_EQ(write_count(), 0); |
316 Flush(); | 316 Flush(); |
317 CHECK_EQ(write_count(), 1); | 317 CHECK_EQ(write_count(), 1); |
318 BytecodeNode expected(Bytecode::kStackCheck, source_info); | 318 BytecodeNode expected(Bytecode::kStackCheck, source_info); |
319 CHECK_EQ(last_written(), expected); | 319 CHECK_EQ(last_written(), expected); |
320 } | 320 } |
321 | 321 |
322 // Tests covering BytecodePeepholeOptimizer::UpdateLastAndCurrentBytecodes(). | 322 // Tests covering BytecodePeepholeOptimizer::UpdateLastAndCurrentBytecodes(). |
323 | 323 |
324 TEST_F(BytecodePeepholeOptimizerTest, MergeLdaGlobalStar) { | |
325 const uint32_t operands[] = {19191, | |
326 static_cast<uint32_t>(Register(1).ToOperand())}; | |
327 const int expected_operand_count = static_cast<int>(arraysize(operands)); | |
328 | |
329 BytecodeNode first(Bytecode::kLdaGlobal, operands[0]); | |
330 BytecodeNode second(Bytecode::kStar, operands[1]); | |
331 BytecodeNode third(Bytecode::kReturn); | |
332 optimizer()->Write(&first); | |
333 optimizer()->Write(&second); | |
334 CHECK_EQ(write_count(), 1); | |
335 CHECK_EQ(last_written().bytecode(), Bytecode::kLdrGlobal); | |
336 CHECK_EQ(last_written().operand_count(), expected_operand_count); | |
337 for (int i = 0; i < expected_operand_count; ++i) { | |
338 CHECK_EQ(last_written().operand(i), operands[i]); | |
339 } | |
340 optimizer()->Write(&third); | |
341 CHECK_EQ(write_count(), 2); | |
342 CHECK_EQ(last_written().bytecode(), Bytecode::kLdar); | |
343 CHECK_EQ(last_written().operand(0), operands[expected_operand_count - 1]); | |
344 Flush(); | |
345 CHECK_EQ(last_written().bytecode(), third.bytecode()); | |
346 } | |
347 | |
348 TEST_F(BytecodePeepholeOptimizerTest, MergeLdaContextSlotStar) { | |
349 const uint32_t operands[] = { | |
350 static_cast<uint32_t>(Register(200000).ToOperand()), 55005500, | |
351 static_cast<uint32_t>(Register(0).ToOperand()), | |
352 static_cast<uint32_t>(Register(1).ToOperand())}; | |
353 const int expected_operand_count = static_cast<int>(arraysize(operands)); | |
354 | |
355 BytecodeNode first(Bytecode::kLdaContextSlot, operands[0], operands[1], | |
356 operands[2]); | |
357 BytecodeNode second(Bytecode::kStar, operands[3]); | |
358 BytecodeNode third(Bytecode::kReturn); | |
359 optimizer()->Write(&first); | |
360 optimizer()->Write(&second); | |
361 CHECK_EQ(write_count(), 1); | |
362 CHECK_EQ(last_written().bytecode(), Bytecode::kLdrContextSlot); | |
363 CHECK_EQ(last_written().operand_count(), expected_operand_count); | |
364 for (int i = 0; i < expected_operand_count; ++i) { | |
365 CHECK_EQ(last_written().operand(i), operands[i]); | |
366 } | |
367 optimizer()->Write(&third); | |
368 CHECK_EQ(write_count(), 2); | |
369 CHECK_EQ(last_written().bytecode(), Bytecode::kLdar); | |
370 CHECK_EQ(last_written().operand(0), operands[expected_operand_count - 1]); | |
371 Flush(); | |
372 CHECK_EQ(last_written().bytecode(), third.bytecode()); | |
373 } | |
374 | |
375 TEST_F(BytecodePeepholeOptimizerTest, MergeLdaUndefinedStar) { | |
376 const uint32_t operands[] = { | |
377 static_cast<uint32_t>(Register(100000).ToOperand())}; | |
378 const int expected_operand_count = static_cast<int>(arraysize(operands)); | |
379 | |
380 BytecodeNode first(Bytecode::kLdaUndefined); | |
381 BytecodeNode second(Bytecode::kStar, operands[0]); | |
382 BytecodeNode third(Bytecode::kReturn); | |
383 optimizer()->Write(&first); | |
384 optimizer()->Write(&second); | |
385 CHECK_EQ(write_count(), 1); | |
386 CHECK_EQ(last_written().bytecode(), Bytecode::kLdrUndefined); | |
387 CHECK_EQ(last_written().operand_count(), expected_operand_count); | |
388 for (int i = 0; i < expected_operand_count; ++i) { | |
389 CHECK_EQ(last_written().operand(i), operands[i]); | |
390 } | |
391 optimizer()->Write(&third); | |
392 CHECK_EQ(write_count(), 2); | |
393 CHECK_EQ(last_written().bytecode(), Bytecode::kLdar); | |
394 CHECK_EQ(last_written().operand(0), operands[expected_operand_count - 1]); | |
395 Flush(); | |
396 CHECK_EQ(last_written().bytecode(), third.bytecode()); | |
397 } | |
398 | |
399 TEST_F(BytecodePeepholeOptimizerTest, MergeLdaSmiWithBinaryOp) { | 324 TEST_F(BytecodePeepholeOptimizerTest, MergeLdaSmiWithBinaryOp) { |
400 Bytecode operator_replacement_pairs[][2] = { | 325 Bytecode operator_replacement_pairs[][2] = { |
401 {Bytecode::kAdd, Bytecode::kAddSmi}, | 326 {Bytecode::kAdd, Bytecode::kAddSmi}, |
402 {Bytecode::kSub, Bytecode::kSubSmi}, | 327 {Bytecode::kSub, Bytecode::kSubSmi}, |
403 {Bytecode::kBitwiseAnd, Bytecode::kBitwiseAndSmi}, | 328 {Bytecode::kBitwiseAnd, Bytecode::kBitwiseAndSmi}, |
404 {Bytecode::kBitwiseOr, Bytecode::kBitwiseOrSmi}, | 329 {Bytecode::kBitwiseOr, Bytecode::kBitwiseOrSmi}, |
405 {Bytecode::kShiftLeft, Bytecode::kShiftLeftSmi}, | 330 {Bytecode::kShiftLeft, Bytecode::kShiftLeftSmi}, |
406 {Bytecode::kShiftRight, Bytecode::kShiftRightSmi}}; | 331 {Bytecode::kShiftRight, Bytecode::kShiftRightSmi}}; |
407 | 332 |
408 for (auto operator_replacement : operator_replacement_pairs) { | 333 for (auto operator_replacement : operator_replacement_pairs) { |
(...skipping 65 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
474 CHECK_EQ(last_written().operand(0), 0); | 399 CHECK_EQ(last_written().operand(0), 0); |
475 CHECK_EQ(last_written().operand(1), reg_operand); | 400 CHECK_EQ(last_written().operand(1), reg_operand); |
476 CHECK_EQ(last_written().operand(2), idx_operand); | 401 CHECK_EQ(last_written().operand(2), idx_operand); |
477 Reset(); | 402 Reset(); |
478 } | 403 } |
479 } | 404 } |
480 | 405 |
481 } // namespace interpreter | 406 } // namespace interpreter |
482 } // namespace internal | 407 } // namespace internal |
483 } // namespace v8 | 408 } // namespace v8 |
OLD | NEW |