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

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

Issue 1751613004: Get rid of the different kinds of yield in the AST & full-codegen. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Do an inline call. Created 4 years, 9 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
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 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 #if V8_TARGET_ARCH_IA32 5 #if V8_TARGET_ARCH_IA32
6 6
7 #include "src/ast/scopes.h" 7 #include "src/ast/scopes.h"
8 #include "src/code-factory.h" 8 #include "src/code-factory.h"
9 #include "src/code-stubs.h" 9 #include "src/code-stubs.h"
10 #include "src/codegen.h" 10 #include "src/codegen.h"
(...skipping 1748 matching lines...) Expand 10 before | Expand all | Expand 10 after
1759 1759
1760 1760
1761 void FullCodeGenerator::VisitYield(Yield* expr) { 1761 void FullCodeGenerator::VisitYield(Yield* expr) {
1762 Comment cmnt(masm_, "[ Yield"); 1762 Comment cmnt(masm_, "[ Yield");
1763 SetExpressionPosition(expr); 1763 SetExpressionPosition(expr);
1764 1764
1765 // Evaluate yielded value first; the initial iterator definition depends on 1765 // Evaluate yielded value first; the initial iterator definition depends on
1766 // this. It stays on the stack while we update the iterator. 1766 // this. It stays on the stack while we update the iterator.
1767 VisitForStackValue(expr->expression()); 1767 VisitForStackValue(expr->expression());
1768 1768
1769 switch (expr->yield_kind()) { 1769 Label suspend, continuation, post_runtime, resume;
1770 case Yield::kSuspend:
1771 // Pop value from top-of-stack slot; box result into result register.
1772 EmitCreateIteratorResult(false);
1773 PushOperand(result_register());
1774 // Fall through.
1775 case Yield::kInitial: {
1776 Label suspend, continuation, post_runtime, resume;
1777 1770
1778 __ jmp(&suspend); 1771 __ jmp(&suspend);
1779 __ bind(&continuation); 1772 __ bind(&continuation);
1780 // When we arrive here, the stack top is the resume mode and 1773 // When we arrive here, the stack top is the resume mode and
1781 // result_register() holds the input value (the argument given to the 1774 // result_register() holds the input value (the argument given to the
1782 // respective resume operation). 1775 // respective resume operation).
1783 __ RecordGeneratorContinuation(); 1776 __ RecordGeneratorContinuation();
1784 __ pop(ebx); 1777 __ pop(ebx);
1785 __ cmp(ebx, Immediate(Smi::FromInt(JSGeneratorObject::RETURN))); 1778 __ cmp(ebx, Immediate(Smi::FromInt(JSGeneratorObject::RETURN)));
1786 __ j(not_equal, &resume); 1779 __ j(not_equal, &resume);
1787 __ push(result_register()); 1780 __ push(result_register());
1788 EmitCreateIteratorResult(true); 1781 EmitCreateIteratorResult(true);
1789 EmitUnwindAndReturn(); 1782 EmitUnwindAndReturn();
1790 1783
1791 __ bind(&suspend); 1784 __ bind(&suspend);
1792 OperandStackDepthIncrement(1); // Not popped on this path. 1785 OperandStackDepthIncrement(1); // Not popped on this path.
1793 VisitForAccumulatorValue(expr->generator_object()); 1786 VisitForAccumulatorValue(expr->generator_object());
1794 DCHECK(continuation.pos() > 0 && Smi::IsValid(continuation.pos())); 1787 DCHECK(continuation.pos() > 0 && Smi::IsValid(continuation.pos()));
1795 __ mov(FieldOperand(eax, JSGeneratorObject::kContinuationOffset), 1788 __ mov(FieldOperand(eax, JSGeneratorObject::kContinuationOffset),
1796 Immediate(Smi::FromInt(continuation.pos()))); 1789 Immediate(Smi::FromInt(continuation.pos())));
1797 __ mov(FieldOperand(eax, JSGeneratorObject::kContextOffset), esi); 1790 __ mov(FieldOperand(eax, JSGeneratorObject::kContextOffset), esi);
1798 __ mov(ecx, esi); 1791 __ mov(ecx, esi);
1799 __ RecordWriteField(eax, JSGeneratorObject::kContextOffset, ecx, edx, 1792 __ RecordWriteField(eax, JSGeneratorObject::kContextOffset, ecx, edx,
1800 kDontSaveFPRegs); 1793 kDontSaveFPRegs);
1801 __ lea(ebx, Operand(ebp, StandardFrameConstants::kExpressionsOffset)); 1794 __ lea(ebx, Operand(ebp, StandardFrameConstants::kExpressionsOffset));
1802 __ cmp(esp, ebx); 1795 __ cmp(esp, ebx);
1803 __ j(equal, &post_runtime); 1796 __ j(equal, &post_runtime);
1804 __ push(eax); // generator object 1797 __ push(eax); // generator object
1805 __ CallRuntime(Runtime::kSuspendJSGeneratorObject, 1); 1798 __ CallRuntime(Runtime::kSuspendJSGeneratorObject, 1);
1806 __ mov(context_register(), 1799 __ mov(context_register(),
1807 Operand(ebp, StandardFrameConstants::kContextOffset)); 1800 Operand(ebp, StandardFrameConstants::kContextOffset));
1808 __ bind(&post_runtime); 1801 __ bind(&post_runtime);
1809 PopOperand(result_register()); 1802 PopOperand(result_register());
1810 EmitReturnSequence(); 1803 EmitReturnSequence();
1811 1804
1812 __ bind(&resume); 1805 __ bind(&resume);
1813 context()->Plug(result_register()); 1806 context()->Plug(result_register());
1814 break;
1815 }
1816
1817 case Yield::kFinal: {
1818 // Pop value from top-of-stack slot, box result into result register.
1819 EmitCreateIteratorResult(true);
1820 EmitUnwindAndReturn();
1821 break;
1822 }
1823
1824 case Yield::kDelegating:
1825 UNREACHABLE();
1826 }
1827 } 1807 }
1828 1808
1829 1809
1830 void FullCodeGenerator::EmitGeneratorResume(Expression *generator, 1810 void FullCodeGenerator::EmitGeneratorResume(Expression *generator,
1831 Expression *value, 1811 Expression *value,
1832 JSGeneratorObject::ResumeMode resume_mode) { 1812 JSGeneratorObject::ResumeMode resume_mode) {
1833 // The value stays in eax, and is ultimately read by the resumed generator, as 1813 // The value stays in eax, and is ultimately read by the resumed generator, as
1834 // if CallRuntime(Runtime::kSuspendJSGeneratorObject) returned it. Or it 1814 // if CallRuntime(Runtime::kSuspendJSGeneratorObject) returned it. Or it
1835 // is read to throw the value when the resumed generator is already closed. 1815 // is read to throw the value when the resumed generator is already closed.
1836 // ebx will hold the generator object until the activation has been resumed. 1816 // ebx will hold the generator object until the activation has been resumed.
(...skipping 2247 matching lines...) Expand 10 before | Expand all | Expand 10 after
4084 Assembler::target_address_at(call_target_address, 4064 Assembler::target_address_at(call_target_address,
4085 unoptimized_code)); 4065 unoptimized_code));
4086 return OSR_AFTER_STACK_CHECK; 4066 return OSR_AFTER_STACK_CHECK;
4087 } 4067 }
4088 4068
4089 4069
4090 } // namespace internal 4070 } // namespace internal
4091 } // namespace v8 4071 } // namespace v8
4092 4072
4093 #endif // V8_TARGET_ARCH_IA32 4073 #endif // V8_TARGET_ARCH_IA32
OLDNEW
« no previous file with comments | « src/full-codegen/arm64/full-codegen-arm64.cc ('k') | src/full-codegen/mips/full-codegen-mips.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698