Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(92)

Side by Side Diff: src/compiler/change-lowering.cc

Issue 1893123002: Revert of [turbofan] Improve lowering of ObjectIs<Type> somewhat. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 4 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « no previous file | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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/change-lowering.h" 5 #include "src/compiler/change-lowering.h"
6 6
7 #include "src/address-map.h" 7 #include "src/address-map.h"
8 #include "src/code-factory.h" 8 #include "src/code-factory.h"
9 #include "src/compiler/js-graph.h" 9 #include "src/compiler/js-graph.h"
10 #include "src/compiler/linkage.h" 10 #include "src/compiler/linkage.h"
(...skipping 603 matching lines...) Expand 10 before | Expand all | Expand 10 after
614 614
615 Node* ChangeLowering::LoadMapInstanceType(Node* map) { 615 Node* ChangeLowering::LoadMapInstanceType(Node* map) {
616 return graph()->NewNode( 616 return graph()->NewNode(
617 machine()->Load(MachineType::Uint8()), map, 617 machine()->Load(MachineType::Uint8()), map,
618 jsgraph()->IntPtrConstant(Map::kInstanceTypeOffset - kHeapObjectTag), 618 jsgraph()->IntPtrConstant(Map::kInstanceTypeOffset - kHeapObjectTag),
619 graph()->start(), graph()->start()); 619 graph()->start(), graph()->start());
620 } 620 }
621 621
622 Reduction ChangeLowering::ObjectIsNumber(Node* node) { 622 Reduction ChangeLowering::ObjectIsNumber(Node* node) {
623 Node* input = NodeProperties::GetValueInput(node, 0); 623 Node* input = NodeProperties::GetValueInput(node, 0);
624 Type* input_type = NodeProperties::GetType(input); 624 // TODO(bmeurer): Optimize somewhat based on input type.
625 if (input_type->Is(Type::TaggedPointer())) { 625 Node* check = IsSmi(input);
626 node->ReplaceInput(0, LoadHeapObjectMap(input, graph()->start())); 626 Node* branch = graph()->NewNode(common()->Branch(), check, graph()->start());
627 node->AppendInput( 627 Node* if_true = graph()->NewNode(common()->IfTrue(), branch);
628 graph()->zone(), 628 Node* vtrue = jsgraph()->Int32Constant(1);
629 jsgraph()->HeapConstant(isolate()->factory()->heap_number_map())); 629 Node* if_false = graph()->NewNode(common()->IfFalse(), branch);
630 NodeProperties::ChangeOp(node, machine()->WordEqual()); 630 Node* vfalse = graph()->NewNode(
631 } else { 631 machine()->WordEqual(), LoadHeapObjectMap(input, if_false),
632 Node* check = IsSmi(input); 632 jsgraph()->HeapConstant(isolate()->factory()->heap_number_map()));
633 Node* branch = 633 Node* control = graph()->NewNode(common()->Merge(2), if_true, if_false);
634 graph()->NewNode(common()->Branch(), check, graph()->start()); 634 node->ReplaceInput(0, vtrue);
635 Node* if_true = graph()->NewNode(common()->IfTrue(), branch); 635 node->AppendInput(graph()->zone(), vfalse);
636 Node* vtrue = jsgraph()->Int32Constant(1); 636 node->AppendInput(graph()->zone(), control);
637 Node* if_false = graph()->NewNode(common()->IfFalse(), branch); 637 NodeProperties::ChangeOp(node, common()->Phi(MachineRepresentation::kBit, 2));
638 Node* vfalse = graph()->NewNode(
639 machine()->WordEqual(), LoadHeapObjectMap(input, if_false),
640 jsgraph()->HeapConstant(isolate()->factory()->heap_number_map()));
641 Node* control = graph()->NewNode(common()->Merge(2), if_true, if_false);
642 node->ReplaceInput(0, vtrue);
643 node->AppendInput(graph()->zone(), vfalse);
644 node->AppendInput(graph()->zone(), control);
645 NodeProperties::ChangeOp(node,
646 common()->Phi(MachineRepresentation::kBit, 2));
647 }
648 return Changed(node); 638 return Changed(node);
649 } 639 }
650 640
651 Reduction ChangeLowering::ObjectIsReceiver(Node* node) { 641 Reduction ChangeLowering::ObjectIsReceiver(Node* node) {
642 Node* input = NodeProperties::GetValueInput(node, 0);
643 // TODO(bmeurer): Optimize somewhat based on input type.
652 STATIC_ASSERT(LAST_TYPE == LAST_JS_RECEIVER_TYPE); 644 STATIC_ASSERT(LAST_TYPE == LAST_JS_RECEIVER_TYPE);
653 Node* input = NodeProperties::GetValueInput(node, 0); 645 Node* check = IsSmi(input);
654 Type* input_type = NodeProperties::GetType(input); 646 Node* branch = graph()->NewNode(common()->Branch(), check, graph()->start());
655 if (input_type->Is(Type::TaggedPointer())) { 647 Node* if_true = graph()->NewNode(common()->IfTrue(), branch);
656 node->ReplaceInput(0, jsgraph()->Uint32Constant(FIRST_JS_RECEIVER_TYPE)); 648 Node* vtrue = jsgraph()->Int32Constant(0);
657 node->AppendInput(graph()->zone(), LoadMapInstanceType(LoadHeapObjectMap( 649 Node* if_false = graph()->NewNode(common()->IfFalse(), branch);
658 input, graph()->start()))); 650 Node* vfalse =
659 NodeProperties::ChangeOp(node, machine()->Uint32LessThanOrEqual()); 651 graph()->NewNode(machine()->Uint32LessThanOrEqual(),
660 } else { 652 jsgraph()->Uint32Constant(FIRST_JS_RECEIVER_TYPE),
661 Node* check = IsSmi(input); 653 LoadMapInstanceType(LoadHeapObjectMap(input, if_false)));
662 Node* branch = 654 Node* control = graph()->NewNode(common()->Merge(2), if_true, if_false);
663 graph()->NewNode(common()->Branch(), check, graph()->start()); 655 node->ReplaceInput(0, vtrue);
664 Node* if_true = graph()->NewNode(common()->IfTrue(), branch); 656 node->AppendInput(graph()->zone(), vfalse);
665 Node* vtrue = jsgraph()->Int32Constant(0); 657 node->AppendInput(graph()->zone(), control);
666 Node* if_false = graph()->NewNode(common()->IfFalse(), branch); 658 NodeProperties::ChangeOp(node, common()->Phi(MachineRepresentation::kBit, 2));
667 Node* vfalse = graph()->NewNode(
668 machine()->Uint32LessThanOrEqual(),
669 jsgraph()->Uint32Constant(FIRST_JS_RECEIVER_TYPE),
670 LoadMapInstanceType(LoadHeapObjectMap(input, if_false)));
671 Node* control = graph()->NewNode(common()->Merge(2), if_true, if_false);
672 node->ReplaceInput(0, vtrue);
673 node->AppendInput(graph()->zone(), vfalse);
674 node->AppendInput(graph()->zone(), control);
675 NodeProperties::ChangeOp(node,
676 common()->Phi(MachineRepresentation::kBit, 2));
677 }
678 return Changed(node); 659 return Changed(node);
679 } 660 }
680 661
681 Reduction ChangeLowering::ObjectIsUndetectable(Node* node) { 662 Reduction ChangeLowering::ObjectIsUndetectable(Node* node) {
682 Node* input = NodeProperties::GetValueInput(node, 0); 663 Node* input = NodeProperties::GetValueInput(node, 0);
683 Type* input_type = NodeProperties::GetType(input); 664 // TODO(bmeurer): Optimize somewhat based on input type.
684 if (input_type->Is(Type::TaggedPointer())) { 665 Node* check = IsSmi(input);
685 node->ReplaceInput( 666 Node* branch = graph()->NewNode(common()->Branch(), check, graph()->start());
686 0, graph()->NewNode( 667 Node* if_true = graph()->NewNode(common()->IfTrue(), branch);
687 machine()->Word32Equal(), 668 Node* vtrue = jsgraph()->Int32Constant(0);
688 graph()->NewNode( 669 Node* if_false = graph()->NewNode(common()->IfFalse(), branch);
689 machine()->Word32And(), 670 Node* vfalse = graph()->NewNode(
690 jsgraph()->Uint32Constant(1 << Map::kIsUndetectable), 671 machine()->Word32Equal(),
691 LoadMapBitField(LoadHeapObjectMap(input, graph()->start()))), 672 graph()->NewNode(
692 jsgraph()->Int32Constant(0))); 673 machine()->Word32Equal(),
693 node->AppendInput(graph()->zone(), jsgraph()->Int32Constant(0)); 674 graph()->NewNode(machine()->Word32And(),
694 NodeProperties::ChangeOp(node, machine()->Word32Equal()); 675 jsgraph()->Uint32Constant(1 << Map::kIsUndetectable),
695 } else { 676 LoadMapBitField(LoadHeapObjectMap(input, if_false))),
696 Node* check = IsSmi(input); 677 jsgraph()->Int32Constant(0)),
697 Node* branch = 678 jsgraph()->Int32Constant(0));
698 graph()->NewNode(common()->Branch(), check, graph()->start()); 679 Node* control = graph()->NewNode(common()->Merge(2), if_true, if_false);
699 Node* if_true = graph()->NewNode(common()->IfTrue(), branch); 680 node->ReplaceInput(0, vtrue);
700 Node* vtrue = jsgraph()->Int32Constant(0); 681 node->AppendInput(graph()->zone(), vfalse);
701 Node* if_false = graph()->NewNode(common()->IfFalse(), branch); 682 node->AppendInput(graph()->zone(), control);
702 Node* vfalse = graph()->NewNode( 683 NodeProperties::ChangeOp(node, common()->Phi(MachineRepresentation::kBit, 2));
703 machine()->Word32Equal(),
704 graph()->NewNode(
705 machine()->Word32Equal(),
706 graph()->NewNode(
707 machine()->Word32And(),
708 jsgraph()->Uint32Constant(1 << Map::kIsUndetectable),
709 LoadMapBitField(LoadHeapObjectMap(input, if_false))),
710 jsgraph()->Int32Constant(0)),
711 jsgraph()->Int32Constant(0));
712 Node* control = graph()->NewNode(common()->Merge(2), if_true, if_false);
713 node->ReplaceInput(0, vtrue);
714 node->AppendInput(graph()->zone(), vfalse);
715 node->AppendInput(graph()->zone(), control);
716 NodeProperties::ChangeOp(node,
717 common()->Phi(MachineRepresentation::kBit, 2));
718 }
719 return Changed(node); 684 return Changed(node);
720 } 685 }
721 686
722 Reduction ChangeLowering::ObjectIsSmi(Node* node) { 687 Reduction ChangeLowering::ObjectIsSmi(Node* node) {
723 node->ReplaceInput(0, 688 node->ReplaceInput(0,
724 graph()->NewNode(machine()->WordAnd(), node->InputAt(0), 689 graph()->NewNode(machine()->WordAnd(), node->InputAt(0),
725 jsgraph()->IntPtrConstant(kSmiTagMask))); 690 jsgraph()->IntPtrConstant(kSmiTagMask)));
726 node->AppendInput(graph()->zone(), jsgraph()->IntPtrConstant(kSmiTag)); 691 node->AppendInput(graph()->zone(), jsgraph()->IntPtrConstant(kSmiTag));
727 NodeProperties::ChangeOp(node, machine()->WordEqual()); 692 NodeProperties::ChangeOp(node, machine()->WordEqual());
728 return Changed(node); 693 return Changed(node);
(...skipping 10 matching lines...) Expand all
739 } 704 }
740 705
741 706
742 MachineOperatorBuilder* ChangeLowering::machine() const { 707 MachineOperatorBuilder* ChangeLowering::machine() const {
743 return jsgraph()->machine(); 708 return jsgraph()->machine();
744 } 709 }
745 710
746 } // namespace compiler 711 } // namespace compiler
747 } // namespace internal 712 } // namespace internal
748 } // namespace v8 713 } // namespace v8
OLDNEW
« no previous file with comments | « no previous file | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698