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/compiler/representation-change.h" | 5 #include "src/compiler/representation-change.h" |
6 | 6 |
7 #include <sstream> | 7 #include <sstream> |
8 | 8 |
9 #include "src/base/bits.h" | 9 #include "src/base/bits.h" |
10 #include "src/code-factory.h" | 10 #include "src/code-factory.h" |
(...skipping 524 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
535 CHECK(!output_type->IsInhabited()); | 535 CHECK(!output_type->IsInhabited()); |
536 return jsgraph()->graph()->NewNode(machine()->ImpossibleToFloat64(), node); | 536 return jsgraph()->graph()->NewNode(machine()->ImpossibleToFloat64(), node); |
537 } else if (output_rep == MachineRepresentation::kBit) { | 537 } else if (output_rep == MachineRepresentation::kBit) { |
538 return node; // Sloppy comparison -> word64 | 538 return node; // Sloppy comparison -> word64 |
539 } | 539 } |
540 // Can't really convert Word64 to anything else. Purported to be internal. | 540 // Can't really convert Word64 to anything else. Purported to be internal. |
541 return TypeError(node, output_rep, output_type, | 541 return TypeError(node, output_rep, output_type, |
542 MachineRepresentation::kWord64); | 542 MachineRepresentation::kWord64); |
543 } | 543 } |
544 | 544 |
545 Node* RepresentationChanger::GetCheckedWord32RepresentationFor( | |
546 Node* node, MachineRepresentation output_rep, Type* output_type, | |
547 Node* use_node, Truncation truncation, TypeCheckKind check) { | |
548 // TODO(jarin) Eagerly fold constants (or insert hard deopt if the constant | |
549 // does not pass the check). | |
550 | |
551 // If the input is already Signed32 in Word32 representation, we do not | |
552 // have to do anything. (We could fold this into the big if below, but | |
553 // it feels nicer to have the shortcut return first). | |
554 if (output_rep == MachineRepresentation::kWord32 || | |
555 output_type->Is(Type::Signed32())) { | |
556 return node; | |
557 } | |
558 | |
559 // Select the correct X -> Word32 operator. | |
560 const Operator* op = nullptr; | |
561 if (output_rep == MachineRepresentation::kNone) { | |
562 // We should only use kNone representation if the type is empty. | |
563 CHECK(!output_type->IsInhabited()); | |
564 op = machine()->ImpossibleToWord32(); | |
565 } else if (output_rep == MachineRepresentation::kWord32) { | |
566 if (output_type->Is(Type::Unsigned32())) { | |
567 op = simplified()->CheckedUint32ToInt32(); | |
568 } | |
569 } else if (output_rep == MachineRepresentation::kBit) { | |
570 return node; // Sloppy comparison -> word32 | |
571 } else if (output_rep == MachineRepresentation::kFloat64) { | |
572 if (output_type->Is(Type::Unsigned32())) { | |
573 op = machine()->ChangeFloat64ToUint32(); | |
574 } else if (output_type->Is(Type::Signed32())) { | |
575 op = machine()->ChangeFloat64ToInt32(); | |
576 } else if (truncation.IsUsedAsWord32()) { | |
577 op = machine()->TruncateFloat64ToWord32(); | |
578 } else if (check == TypeCheckKind::kSigned32) { | |
579 op = simplified()->CheckedFloat64ToInt32(); | |
580 } | |
581 } else if (output_rep == MachineRepresentation::kFloat32) { | |
582 node = InsertChangeFloat32ToFloat64(node); // float32 -> float64 -> int32 | |
583 if (output_type->Is(Type::Unsigned32())) { | |
584 op = machine()->ChangeFloat64ToUint32(); | |
585 } else if (output_type->Is(Type::Signed32())) { | |
586 op = machine()->ChangeFloat64ToInt32(); | |
587 } else if (truncation.IsUsedAsWord32()) { | |
588 op = machine()->TruncateFloat64ToWord32(); | |
589 } else if (check == TypeCheckKind::kSigned32) { | |
590 op = simplified()->CheckedFloat64ToInt32(); | |
591 } | |
592 } else if (output_rep == MachineRepresentation::kTagged) { | |
593 if (output_type->Is(Type::TaggedSigned())) { | |
594 op = simplified()->ChangeTaggedSignedToInt32(); | |
595 } else if (output_type->Is(Type::Unsigned32())) { | |
596 op = simplified()->ChangeTaggedToUint32(); | |
597 } else if (output_type->Is(Type::Signed32())) { | |
598 op = simplified()->ChangeTaggedToInt32(); | |
599 } else if (truncation.IsUsedAsWord32()) { | |
600 op = simplified()->TruncateTaggedToWord32(); | |
601 } else if (check == TypeCheckKind::kSigned32) { | |
602 op = simplified()->CheckedTaggedToInt32(); | |
603 } | |
604 } | |
605 if (op == nullptr) { | |
606 return TypeError(node, output_rep, output_type, | |
607 MachineRepresentation::kWord32); | |
608 } | |
609 if (op->ControlInputCount() > 0) { | |
610 // If the operator can deoptimize (which means it has control | |
611 // input), we need to connect it to the effect and control chains. | |
612 UNIMPLEMENTED(); | |
613 } | |
614 return jsgraph()->graph()->NewNode(op, node); | |
615 } | |
616 | |
617 const Operator* RepresentationChanger::Int32OperatorFor( | 545 const Operator* RepresentationChanger::Int32OperatorFor( |
618 IrOpcode::Value opcode) { | 546 IrOpcode::Value opcode) { |
619 switch (opcode) { | 547 switch (opcode) { |
620 case IrOpcode::kSpeculativeNumberAdd: // Fall through. | 548 case IrOpcode::kSpeculativeNumberAdd: // Fall through. |
621 case IrOpcode::kNumberAdd: | 549 case IrOpcode::kNumberAdd: |
622 return machine()->Int32Add(); | 550 return machine()->Int32Add(); |
623 case IrOpcode::kSpeculativeNumberSubtract: // Fall through. | 551 case IrOpcode::kSpeculativeNumberSubtract: // Fall through. |
624 case IrOpcode::kNumberSubtract: | 552 case IrOpcode::kNumberSubtract: |
625 return machine()->Int32Sub(); | 553 return machine()->Int32Sub(); |
626 case IrOpcode::kSpeculativeNumberMultiply: | 554 case IrOpcode::kSpeculativeNumberMultiply: |
(...skipping 221 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
848 } | 776 } |
849 | 777 |
850 Node* RepresentationChanger::InsertChangeTaggedToFloat64(Node* node) { | 778 Node* RepresentationChanger::InsertChangeTaggedToFloat64(Node* node) { |
851 return jsgraph()->graph()->NewNode(simplified()->ChangeTaggedToFloat64(), | 779 return jsgraph()->graph()->NewNode(simplified()->ChangeTaggedToFloat64(), |
852 node); | 780 node); |
853 } | 781 } |
854 | 782 |
855 } // namespace compiler | 783 } // namespace compiler |
856 } // namespace internal | 784 } // namespace internal |
857 } // namespace v8 | 785 } // namespace v8 |
OLD | NEW |