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

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

Issue 1865833002: [generators] Decouple generator resume from fullcodegen. (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
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 1738 matching lines...) Expand 10 before | Expand all | Expand 10 after
1749 1749
1750 1750
1751 void FullCodeGenerator::VisitYield(Yield* expr) { 1751 void FullCodeGenerator::VisitYield(Yield* expr) {
1752 Comment cmnt(masm_, "[ Yield"); 1752 Comment cmnt(masm_, "[ Yield");
1753 SetExpressionPosition(expr); 1753 SetExpressionPosition(expr);
1754 1754
1755 // Evaluate yielded value first; the initial iterator definition depends on 1755 // Evaluate yielded value first; the initial iterator definition depends on
1756 // this. It stays on the stack while we update the iterator. 1756 // this. It stays on the stack while we update the iterator.
1757 VisitForStackValue(expr->expression()); 1757 VisitForStackValue(expr->expression());
1758 1758
1759 Label suspend, continuation, post_runtime, resume; 1759 Label suspend, continuation, post_runtime, resume, exception;
1760 1760
1761 __ jmp(&suspend); 1761 __ jmp(&suspend);
1762 __ bind(&continuation); 1762 __ bind(&continuation);
1763 // When we arrive here, the stack top is the resume mode and 1763 // When we arrive here, the stack top is the resume mode and
1764 // result_register() holds the input value (the argument given to the 1764 // result_register() holds the input value (the argument given to the
1765 // respective resume operation). 1765 // respective resume operation).
1766 __ RecordGeneratorContinuation(); 1766 __ RecordGeneratorContinuation();
1767 __ pop(ebx); 1767 __ pop(ebx);
1768 __ cmp(ebx, Immediate(Smi::FromInt(JSGeneratorObject::RETURN))); 1768 STATIC_ASSERT(JSGeneratorObject::kNext < JSGeneratorObject::kReturn);
1769 __ j(not_equal, &resume); 1769 STATIC_ASSERT(JSGeneratorObject::kThrow > JSGeneratorObject::kReturn);
1770 __ push(result_register()); 1770 __ cmp(ebx, Immediate(Smi::FromInt(JSGeneratorObject::kReturn)));
1771 __ j(less, &resume);
1772 __ Push(result_register());
1773 __ j(greater, &exception);
1771 EmitCreateIteratorResult(true); 1774 EmitCreateIteratorResult(true);
1772 EmitUnwindAndReturn(); 1775 EmitUnwindAndReturn();
1773 1776
1777 __ bind(&exception);
1778 __ CallRuntime(Runtime::kThrow);
1779
1774 __ bind(&suspend); 1780 __ bind(&suspend);
1775 OperandStackDepthIncrement(1); // Not popped on this path. 1781 OperandStackDepthIncrement(1); // Not popped on this path.
1776 VisitForAccumulatorValue(expr->generator_object()); 1782 VisitForAccumulatorValue(expr->generator_object());
1777 DCHECK(continuation.pos() > 0 && Smi::IsValid(continuation.pos())); 1783 DCHECK(continuation.pos() > 0 && Smi::IsValid(continuation.pos()));
1778 __ mov(FieldOperand(eax, JSGeneratorObject::kContinuationOffset), 1784 __ mov(FieldOperand(eax, JSGeneratorObject::kContinuationOffset),
1779 Immediate(Smi::FromInt(continuation.pos()))); 1785 Immediate(Smi::FromInt(continuation.pos())));
1780 __ mov(FieldOperand(eax, JSGeneratorObject::kContextOffset), esi); 1786 __ mov(FieldOperand(eax, JSGeneratorObject::kContextOffset), esi);
1781 __ mov(ecx, esi); 1787 __ mov(ecx, esi);
1782 __ RecordWriteField(eax, JSGeneratorObject::kContextOffset, ecx, edx, 1788 __ RecordWriteField(eax, JSGeneratorObject::kContextOffset, ecx, edx,
1783 kDontSaveFPRegs); 1789 kDontSaveFPRegs);
1784 __ lea(ebx, Operand(ebp, StandardFrameConstants::kExpressionsOffset)); 1790 __ lea(ebx, Operand(ebp, StandardFrameConstants::kExpressionsOffset));
1785 __ cmp(esp, ebx); 1791 __ cmp(esp, ebx);
1786 __ j(equal, &post_runtime); 1792 __ j(equal, &post_runtime);
1787 __ push(eax); // generator object 1793 __ push(eax); // generator object
1788 __ CallRuntime(Runtime::kSuspendJSGeneratorObject, 1); 1794 __ CallRuntime(Runtime::kSuspendJSGeneratorObject, 1);
1789 __ mov(context_register(), 1795 __ mov(context_register(),
1790 Operand(ebp, StandardFrameConstants::kContextOffset)); 1796 Operand(ebp, StandardFrameConstants::kContextOffset));
1791 __ bind(&post_runtime); 1797 __ bind(&post_runtime);
1792 PopOperand(result_register()); 1798 PopOperand(result_register());
1793 EmitReturnSequence(); 1799 EmitReturnSequence();
1794 1800
1795 __ bind(&resume); 1801 __ bind(&resume);
1796 context()->Plug(result_register()); 1802 context()->Plug(result_register());
1797 } 1803 }
1798 1804
1799
1800 void FullCodeGenerator::EmitGeneratorResume(Expression *generator,
1801 Expression *value,
1802 JSGeneratorObject::ResumeMode resume_mode) {
1803 // The value stays in eax, and is ultimately read by the resumed generator, as
1804 // if CallRuntime(Runtime::kSuspendJSGeneratorObject) returned it. Or it
1805 // is read to throw the value when the resumed generator is already closed.
1806 // ebx will hold the generator object until the activation has been resumed.
1807 VisitForStackValue(generator);
1808 VisitForAccumulatorValue(value);
1809 PopOperand(ebx);
1810
1811 // Store input value into generator object.
1812 __ mov(FieldOperand(ebx, JSGeneratorObject::kInputOffset), result_register());
1813 __ mov(ecx, result_register());
1814 __ RecordWriteField(ebx, JSGeneratorObject::kInputOffset, ecx, edx,
1815 kDontSaveFPRegs);
1816
1817 // Load suspended function and context.
1818 __ mov(esi, FieldOperand(ebx, JSGeneratorObject::kContextOffset));
1819 __ mov(edi, FieldOperand(ebx, JSGeneratorObject::kFunctionOffset));
1820
1821 // Push receiver.
1822 __ push(FieldOperand(ebx, JSGeneratorObject::kReceiverOffset));
1823
1824 // Push holes for arguments to generator function. Since the parser forced
1825 // context allocation for any variables in generators, the actual argument
1826 // values have already been copied into the context and these dummy values
1827 // will never be used.
1828 __ mov(edx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset));
1829 __ mov(edx,
1830 FieldOperand(edx, SharedFunctionInfo::kFormalParameterCountOffset));
1831 __ mov(ecx, isolate()->factory()->the_hole_value());
1832 Label push_argument_holes, push_frame;
1833 __ bind(&push_argument_holes);
1834 __ sub(edx, Immediate(Smi::FromInt(1)));
1835 __ j(carry, &push_frame);
1836 __ push(ecx);
1837 __ jmp(&push_argument_holes);
1838
1839 // Enter a new JavaScript frame, and initialize its slots as they were when
1840 // the generator was suspended.
1841 Label resume_frame, done;
1842 __ bind(&push_frame);
1843 __ call(&resume_frame);
1844 __ jmp(&done);
1845 __ bind(&resume_frame);
1846 __ push(ebp); // Caller's frame pointer.
1847 __ mov(ebp, esp);
1848 __ push(esi); // Callee's context.
1849 __ push(edi); // Callee's JS Function.
1850
1851 // Load the operand stack size.
1852 __ mov(edx, FieldOperand(ebx, JSGeneratorObject::kOperandStackOffset));
1853 __ mov(edx, FieldOperand(edx, FixedArray::kLengthOffset));
1854 __ SmiUntag(edx);
1855
1856 // If we are sending a value and there is no operand stack, we can jump back
1857 // in directly.
1858 if (resume_mode == JSGeneratorObject::NEXT) {
1859 Label slow_resume;
1860 __ cmp(edx, Immediate(0));
1861 __ j(not_zero, &slow_resume);
1862 __ mov(edx, FieldOperand(edi, JSFunction::kCodeEntryOffset));
1863 __ mov(ecx, FieldOperand(ebx, JSGeneratorObject::kContinuationOffset));
1864 __ SmiUntag(ecx);
1865 __ add(edx, ecx);
1866 __ mov(FieldOperand(ebx, JSGeneratorObject::kContinuationOffset),
1867 Immediate(Smi::FromInt(JSGeneratorObject::kGeneratorExecuting)));
1868 __ Push(Smi::FromInt(resume_mode)); // Consumed in continuation.
1869 __ jmp(edx);
1870 __ bind(&slow_resume);
1871 }
1872
1873 // Otherwise, we push holes for the operand stack and call the runtime to fix
1874 // up the stack and the handlers.
1875 Label push_operand_holes, call_resume;
1876 __ bind(&push_operand_holes);
1877 __ sub(edx, Immediate(1));
1878 __ j(carry, &call_resume);
1879 __ push(ecx);
1880 __ jmp(&push_operand_holes);
1881 __ bind(&call_resume);
1882 __ Push(Smi::FromInt(resume_mode)); // Consumed in continuation.
1883 __ push(ebx);
1884 __ push(result_register());
1885 __ Push(Smi::FromInt(resume_mode));
1886 __ CallRuntime(Runtime::kResumeJSGeneratorObject);
1887 // Not reached: the runtime call returns elsewhere.
1888 __ Abort(kGeneratorFailedToResume);
1889
1890 __ bind(&done);
1891 context()->Plug(result_register());
1892 }
1893
1894 void FullCodeGenerator::PushOperand(MemOperand operand) { 1805 void FullCodeGenerator::PushOperand(MemOperand operand) {
1895 OperandStackDepthIncrement(1); 1806 OperandStackDepthIncrement(1);
1896 __ Push(operand); 1807 __ Push(operand);
1897 } 1808 }
1898 1809
1899 void FullCodeGenerator::EmitOperandStackDepthCheck() { 1810 void FullCodeGenerator::EmitOperandStackDepthCheck() {
1900 if (FLAG_debug_code) { 1811 if (FLAG_debug_code) {
1901 int expected_diff = StandardFrameConstants::kFixedFrameSizeFromFp + 1812 int expected_diff = StandardFrameConstants::kFixedFrameSizeFromFp +
1902 operand_stack_depth_ * kPointerSize; 1813 operand_stack_depth_ * kPointerSize;
1903 __ mov(eax, ebp); 1814 __ mov(eax, ebp);
(...skipping 2081 matching lines...) Expand 10 before | Expand all | Expand 10 after
3985 isolate->builtins()->OnStackReplacement()->entry(), 3896 isolate->builtins()->OnStackReplacement()->entry(),
3986 Assembler::target_address_at(call_target_address, unoptimized_code)); 3897 Assembler::target_address_at(call_target_address, unoptimized_code));
3987 return ON_STACK_REPLACEMENT; 3898 return ON_STACK_REPLACEMENT;
3988 } 3899 }
3989 3900
3990 3901
3991 } // namespace internal 3902 } // namespace internal
3992 } // namespace v8 3903 } // namespace v8
3993 3904
3994 #endif // V8_TARGET_ARCH_IA32 3905 #endif // V8_TARGET_ARCH_IA32
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698