| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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/compiler/instruction-selector-impl.h" | 5 #include "src/compiler/instruction-selector-impl.h" |
| 6 #include "src/compiler/node-matchers.h" | 6 #include "src/compiler/node-matchers.h" |
| 7 | 7 |
| 8 namespace v8 { | 8 namespace v8 { |
| 9 namespace internal { | 9 namespace internal { |
| 10 namespace compiler { | 10 namespace compiler { |
| (...skipping 27 matching lines...) Expand all Loading... |
| 38 | 38 |
| 39 bool CanBeImmediate64(Node* node) { | 39 bool CanBeImmediate64(Node* node) { |
| 40 switch (node->opcode()) { | 40 switch (node->opcode()) { |
| 41 case IrOpcode::kInt32Constant: | 41 case IrOpcode::kInt32Constant: |
| 42 return true; | 42 return true; |
| 43 case IrOpcode::kNumberConstant: | 43 case IrOpcode::kNumberConstant: |
| 44 return true; | 44 return true; |
| 45 case IrOpcode::kHeapConstant: { | 45 case IrOpcode::kHeapConstant: { |
| 46 // Constants in new space cannot be used as immediates in V8 because | 46 // Constants in new space cannot be used as immediates in V8 because |
| 47 // the GC does not scan code objects when collecting the new generation. | 47 // the GC does not scan code objects when collecting the new generation. |
| 48 Handle<HeapObject> value = ValueOf<Handle<HeapObject> >(node->op()); | 48 Unique<HeapObject> value = OpParameter<Unique<HeapObject> >(node); |
| 49 return !isolate()->heap()->InNewSpace(*value); | 49 return !isolate()->heap()->InNewSpace(*value.handle()); |
| 50 } | 50 } |
| 51 default: | 51 default: |
| 52 return false; | 52 return false; |
| 53 } | 53 } |
| 54 } | 54 } |
| 55 }; | 55 }; |
| 56 | 56 |
| 57 | 57 |
| 58 void InstructionSelector::VisitLoad(Node* node) { | 58 void InstructionSelector::VisitLoad(Node* node) { |
| 59 MachineType rep = RepresentationOf(OpParameter<MachineType>(node)); | 59 MachineType rep = RepresentationOf(OpParameter<MachineType>(node)); |
| (...skipping 176 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 236 void InstructionSelector::VisitWord32Or(Node* node) { | 236 void InstructionSelector::VisitWord32Or(Node* node) { |
| 237 VisitBinop(this, node, kX64Or32); | 237 VisitBinop(this, node, kX64Or32); |
| 238 } | 238 } |
| 239 | 239 |
| 240 | 240 |
| 241 void InstructionSelector::VisitWord64Or(Node* node) { | 241 void InstructionSelector::VisitWord64Or(Node* node) { |
| 242 VisitBinop(this, node, kX64Or); | 242 VisitBinop(this, node, kX64Or); |
| 243 } | 243 } |
| 244 | 244 |
| 245 | 245 |
| 246 template <typename T> | 246 void InstructionSelector::VisitWord32Xor(Node* node) { |
| 247 static void VisitXor(InstructionSelector* selector, Node* node, | 247 X64OperandGenerator g(this); |
| 248 ArchOpcode xor_opcode, ArchOpcode not_opcode) { | 248 Uint32BinopMatcher m(node); |
| 249 X64OperandGenerator g(selector); | |
| 250 BinopMatcher<IntMatcher<T>, IntMatcher<T> > m(node); | |
| 251 if (m.right().Is(-1)) { | 249 if (m.right().Is(-1)) { |
| 252 selector->Emit(not_opcode, g.DefineSameAsFirst(node), | 250 Emit(kX64Not32, g.DefineSameAsFirst(node), g.Use(m.left().node())); |
| 253 g.Use(m.left().node())); | |
| 254 } else { | 251 } else { |
| 255 VisitBinop(selector, node, xor_opcode); | 252 VisitBinop(this, node, kX64Xor32); |
| 256 } | 253 } |
| 257 } | 254 } |
| 258 | 255 |
| 259 | 256 |
| 260 void InstructionSelector::VisitWord32Xor(Node* node) { | 257 void InstructionSelector::VisitWord64Xor(Node* node) { |
| 261 VisitXor<int32_t>(this, node, kX64Xor32, kX64Not32); | 258 X64OperandGenerator g(this); |
| 259 Uint64BinopMatcher m(node); |
| 260 if (m.right().Is(-1)) { |
| 261 Emit(kX64Not, g.DefineSameAsFirst(node), g.Use(m.left().node())); |
| 262 } else { |
| 263 VisitBinop(this, node, kX64Xor); |
| 264 } |
| 262 } | 265 } |
| 263 | 266 |
| 264 | 267 |
| 265 void InstructionSelector::VisitWord64Xor(Node* node) { | |
| 266 VisitXor<int64_t>(this, node, kX64Xor, kX64Not); | |
| 267 } | |
| 268 | |
| 269 | |
| 270 // Shared routine for multiple 32-bit shift operations. | 268 // Shared routine for multiple 32-bit shift operations. |
| 271 // TODO(bmeurer): Merge this with VisitWord64Shift using template magic? | 269 // TODO(bmeurer): Merge this with VisitWord64Shift using template magic? |
| 272 static void VisitWord32Shift(InstructionSelector* selector, Node* node, | 270 static void VisitWord32Shift(InstructionSelector* selector, Node* node, |
| 273 ArchOpcode opcode) { | 271 ArchOpcode opcode) { |
| 274 X64OperandGenerator g(selector); | 272 X64OperandGenerator g(selector); |
| 275 Node* left = node->InputAt(0); | 273 Node* left = node->InputAt(0); |
| 276 Node* right = node->InputAt(1); | 274 Node* right = node->InputAt(1); |
| 277 | 275 |
| 278 // TODO(turbofan): assembler only supports some addressing modes for shifts. | 276 // TODO(turbofan): assembler only supports some addressing modes for shifts. |
| 279 if (g.CanBeImmediate(right)) { | 277 if (g.CanBeImmediate(right)) { |
| (...skipping 82 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 362 void InstructionSelector::VisitInt32Add(Node* node) { | 360 void InstructionSelector::VisitInt32Add(Node* node) { |
| 363 VisitBinop(this, node, kX64Add32); | 361 VisitBinop(this, node, kX64Add32); |
| 364 } | 362 } |
| 365 | 363 |
| 366 | 364 |
| 367 void InstructionSelector::VisitInt64Add(Node* node) { | 365 void InstructionSelector::VisitInt64Add(Node* node) { |
| 368 VisitBinop(this, node, kX64Add); | 366 VisitBinop(this, node, kX64Add); |
| 369 } | 367 } |
| 370 | 368 |
| 371 | 369 |
| 372 template <typename T> | 370 void InstructionSelector::VisitInt32Sub(Node* node) { |
| 373 static void VisitSub(InstructionSelector* selector, Node* node, | 371 X64OperandGenerator g(this); |
| 374 ArchOpcode sub_opcode, ArchOpcode neg_opcode) { | 372 Int32BinopMatcher m(node); |
| 375 X64OperandGenerator g(selector); | |
| 376 BinopMatcher<IntMatcher<T>, IntMatcher<T> > m(node); | |
| 377 if (m.left().Is(0)) { | 373 if (m.left().Is(0)) { |
| 378 selector->Emit(neg_opcode, g.DefineSameAsFirst(node), | 374 Emit(kX64Neg32, g.DefineSameAsFirst(node), g.Use(m.right().node())); |
| 379 g.Use(m.right().node())); | |
| 380 } else { | 375 } else { |
| 381 VisitBinop(selector, node, sub_opcode); | 376 VisitBinop(this, node, kX64Sub32); |
| 382 } | 377 } |
| 383 } | 378 } |
| 384 | 379 |
| 385 | 380 |
| 386 void InstructionSelector::VisitInt32Sub(Node* node) { | 381 void InstructionSelector::VisitInt64Sub(Node* node) { |
| 387 VisitSub<int32_t>(this, node, kX64Sub32, kX64Neg32); | 382 X64OperandGenerator g(this); |
| 383 Int64BinopMatcher m(node); |
| 384 if (m.left().Is(0)) { |
| 385 Emit(kX64Neg, g.DefineSameAsFirst(node), g.Use(m.right().node())); |
| 386 } else { |
| 387 VisitBinop(this, node, kX64Sub); |
| 388 } |
| 388 } | 389 } |
| 389 | 390 |
| 390 | 391 |
| 391 void InstructionSelector::VisitInt64Sub(Node* node) { | |
| 392 VisitSub<int64_t>(this, node, kX64Sub, kX64Neg); | |
| 393 } | |
| 394 | |
| 395 | |
| 396 static void VisitMul(InstructionSelector* selector, Node* node, | 392 static void VisitMul(InstructionSelector* selector, Node* node, |
| 397 ArchOpcode opcode) { | 393 ArchOpcode opcode) { |
| 398 X64OperandGenerator g(selector); | 394 X64OperandGenerator g(selector); |
| 399 Node* left = node->InputAt(0); | 395 Node* left = node->InputAt(0); |
| 400 Node* right = node->InputAt(1); | 396 Node* right = node->InputAt(1); |
| 401 if (g.CanBeImmediate(right)) { | 397 if (g.CanBeImmediate(right)) { |
| 402 selector->Emit(opcode, g.DefineAsRegister(node), g.Use(left), | 398 selector->Emit(opcode, g.DefineAsRegister(node), g.Use(left), |
| 403 g.UseImmediate(right)); | 399 g.UseImmediate(right)); |
| 404 } else if (g.CanBeImmediate(left)) { | 400 } else if (g.CanBeImmediate(left)) { |
| 405 selector->Emit(opcode, g.DefineAsRegister(node), g.Use(right), | 401 selector->Emit(opcode, g.DefineAsRegister(node), g.Use(right), |
| (...skipping 320 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 726 DCHECK(deoptimization == NULL && continuation == NULL); | 722 DCHECK(deoptimization == NULL && continuation == NULL); |
| 727 Emit(kArchDrop | | 723 Emit(kArchDrop | |
| 728 MiscField::encode(static_cast<int>(buffer.pushed_nodes.size())), | 724 MiscField::encode(static_cast<int>(buffer.pushed_nodes.size())), |
| 729 NULL); | 725 NULL); |
| 730 } | 726 } |
| 731 } | 727 } |
| 732 | 728 |
| 733 } // namespace compiler | 729 } // namespace compiler |
| 734 } // namespace internal | 730 } // namespace internal |
| 735 } // namespace v8 | 731 } // namespace v8 |
| OLD | NEW |