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

Side by Side Diff: src/ia32/full-codegen-ia32.cc

Issue 3116042: Prepare for optionally inlining smi cases in the code generated... (Closed) Base URL: http://v8.googlecode.com/svn/branches/bleeding_edge/
Patch Set: Created 10 years, 3 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 | Annotate | Revision Log
« no previous file with comments | « src/full-codegen.cc ('k') | src/x64/full-codegen-x64.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2010 the V8 project authors. All rights reserved. 1 // Copyright 2010 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 650 matching lines...) Expand 10 before | Expand all | Expand 10 after
661 continue; 661 continue;
662 } 662 }
663 663
664 Comment cmnt(masm_, "[ Case comparison"); 664 Comment cmnt(masm_, "[ Case comparison");
665 __ bind(&next_test); 665 __ bind(&next_test);
666 next_test.Unuse(); 666 next_test.Unuse();
667 667
668 // Compile the label expression. 668 // Compile the label expression.
669 VisitForValue(clause->label(), kAccumulator); 669 VisitForValue(clause->label(), kAccumulator);
670 670
671 // Perform the comparison as if via '==='. The comparison stub expects 671 // Perform the comparison as if via '==='.
672 // the smi vs. smi case to be handled before it is called.
673 Label slow_case;
674 __ mov(edx, Operand(esp, 0)); // Switch value. 672 __ mov(edx, Operand(esp, 0)); // Switch value.
675 __ mov(ecx, edx); 673 if (ShouldInlineSmiCase(Token::EQ_STRICT)) {
676 __ or_(ecx, Operand(eax)); 674 Label slow_case;
677 __ test(ecx, Immediate(kSmiTagMask)); 675 __ mov(ecx, edx);
678 __ j(not_zero, &slow_case, not_taken); 676 __ or_(ecx, Operand(eax));
679 __ cmp(edx, Operand(eax)); 677 __ test(ecx, Immediate(kSmiTagMask));
680 __ j(not_equal, &next_test); 678 __ j(not_zero, &slow_case, not_taken);
681 __ Drop(1); // Switch value is no longer needed. 679 __ cmp(edx, Operand(eax));
682 __ jmp(clause->body_target()->entry_label()); 680 __ j(not_equal, &next_test);
681 __ Drop(1); // Switch value is no longer needed.
682 __ jmp(clause->body_target()->entry_label());
683 __ bind(&slow_case);
684 }
683 685
684 __ bind(&slow_case);
685 CompareStub stub(equal, true); 686 CompareStub stub(equal, true);
686 __ CallStub(&stub); 687 __ CallStub(&stub);
687 __ test(eax, Operand(eax)); 688 __ test(eax, Operand(eax));
688 __ j(not_equal, &next_test); 689 __ j(not_equal, &next_test);
689 __ Drop(1); // Switch value is no longer needed. 690 __ Drop(1); // Switch value is no longer needed.
690 __ jmp(clause->body_target()->entry_label()); 691 __ jmp(clause->body_target()->entry_label());
691 } 692 }
692 693
693 // Discard the test value and jump to the default if present, otherwise to 694 // Discard the test value and jump to the default if present, otherwise to
694 // the end of the statement. 695 // the end of the statement.
(...skipping 1970 matching lines...) Expand 10 before | Expand all | Expand 10 after
2665 // GenericUnaryOpStub expects the argument to be in the 2666 // GenericUnaryOpStub expects the argument to be in the
2666 // accumulator register eax. 2667 // accumulator register eax.
2667 VisitForValue(expr->expression(), kAccumulator); 2668 VisitForValue(expr->expression(), kAccumulator);
2668 __ CallStub(&stub); 2669 __ CallStub(&stub);
2669 Apply(context_, eax); 2670 Apply(context_, eax);
2670 break; 2671 break;
2671 } 2672 }
2672 2673
2673 case Token::BIT_NOT: { 2674 case Token::BIT_NOT: {
2674 Comment cmt(masm_, "[ UnaryOperation (BIT_NOT)"); 2675 Comment cmt(masm_, "[ UnaryOperation (BIT_NOT)");
2675 bool can_overwrite = expr->expression()->ResultOverwriteAllowed(); 2676 // The generic unary operation stub expects the argument to be
2676 UnaryOverwriteMode overwrite = 2677 // in the accumulator register eax.
2677 can_overwrite ? UNARY_OVERWRITE : UNARY_NO_OVERWRITE;
2678 GenericUnaryOpStub stub(Token::BIT_NOT, overwrite);
2679 // GenericUnaryOpStub expects the argument to be in the
2680 // accumulator register eax.
2681 VisitForValue(expr->expression(), kAccumulator); 2678 VisitForValue(expr->expression(), kAccumulator);
2682 // Avoid calling the stub for Smis. 2679 Label done;
2683 Label smi, done; 2680 if (ShouldInlineSmiCase(expr->op())) {
2684 __ test(result_register(), Immediate(kSmiTagMask)); 2681 Label call_stub;
2685 __ j(zero, &smi); 2682 __ test(eax, Immediate(kSmiTagMask));
2686 // Non-smi: call stub leaving result in accumulator register. 2683 __ j(not_zero, &call_stub);
2684 __ lea(eax, Operand(eax, kSmiTagMask));
2685 __ not_(eax);
2686 __ jmp(&done);
2687 __ bind(&call_stub);
2688 }
2689 bool overwrite = expr->expression()->ResultOverwriteAllowed();
2690 UnaryOverwriteMode mode =
2691 overwrite ? UNARY_OVERWRITE : UNARY_NO_OVERWRITE;
2692 GenericUnaryOpStub stub(Token::BIT_NOT, mode);
2687 __ CallStub(&stub); 2693 __ CallStub(&stub);
2688 __ jmp(&done);
2689 // Perform operation directly on Smis.
2690 __ bind(&smi);
2691 __ not_(result_register());
2692 __ and_(result_register(), ~kSmiTagMask); // Remove inverted smi-tag.
2693 __ bind(&done); 2694 __ bind(&done);
2694 Apply(context_, result_register()); 2695 Apply(context_, eax);
2695 break; 2696 break;
2696 } 2697 }
2697 2698
2698 default: 2699 default:
2699 UNREACHABLE(); 2700 UNREACHABLE();
2700 } 2701 }
2701 } 2702 }
2702 2703
2703 2704
2704 void FullCodeGenerator::VisitCountOperation(CountOperation* expr) { 2705 void FullCodeGenerator::VisitCountOperation(CountOperation* expr) {
(...skipping 354 matching lines...) Expand 10 before | Expand all | Expand 10 after
3059 case Token::GTE: 3060 case Token::GTE:
3060 cc = greater_equal; 3061 cc = greater_equal;
3061 __ pop(edx); 3062 __ pop(edx);
3062 break; 3063 break;
3063 case Token::IN: 3064 case Token::IN:
3064 case Token::INSTANCEOF: 3065 case Token::INSTANCEOF:
3065 default: 3066 default:
3066 UNREACHABLE(); 3067 UNREACHABLE();
3067 } 3068 }
3068 3069
3069 // The comparison stub expects the smi vs. smi case to be 3070 if (ShouldInlineSmiCase(op)) {
3070 // handled before it is called. 3071 Label slow_case;
3071 Label slow_case; 3072 __ mov(ecx, Operand(edx));
3072 __ mov(ecx, Operand(edx)); 3073 __ or_(ecx, Operand(eax));
3073 __ or_(ecx, Operand(eax)); 3074 __ test(ecx, Immediate(kSmiTagMask));
3074 __ test(ecx, Immediate(kSmiTagMask)); 3075 __ j(not_zero, &slow_case, not_taken);
3075 __ j(not_zero, &slow_case, not_taken); 3076 __ cmp(edx, Operand(eax));
3076 __ cmp(edx, Operand(eax)); 3077 Split(cc, if_true, if_false, NULL);
3077 __ j(cc, if_true); 3078 __ bind(&slow_case);
3078 __ jmp(if_false); 3079 }
3079 3080
3080 __ bind(&slow_case);
3081 CompareStub stub(cc, strict); 3081 CompareStub stub(cc, strict);
3082 __ CallStub(&stub); 3082 __ CallStub(&stub);
3083 __ test(eax, Operand(eax)); 3083 __ test(eax, Operand(eax));
3084 Split(cc, if_true, if_false, fall_through); 3084 Split(cc, if_true, if_false, fall_through);
3085 } 3085 }
3086 } 3086 }
3087 3087
3088 // Convert the result of the comparison into one expected for this 3088 // Convert the result of the comparison into one expected for this
3089 // expression's context. 3089 // expression's context.
3090 Apply(context_, if_true, if_false); 3090 Apply(context_, if_true, if_false);
(...skipping 80 matching lines...) Expand 10 before | Expand all | Expand 10 after
3171 // And return. 3171 // And return.
3172 __ ret(0); 3172 __ ret(0);
3173 } 3173 }
3174 3174
3175 3175
3176 #undef __ 3176 #undef __
3177 3177
3178 } } // namespace v8::internal 3178 } } // namespace v8::internal
3179 3179
3180 #endif // V8_TARGET_ARCH_IA32 3180 #endif // V8_TARGET_ARCH_IA32
OLDNEW
« no previous file with comments | « src/full-codegen.cc ('k') | src/x64/full-codegen-x64.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698