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

Side by Side Diff: src/full-codegen/x64/full-codegen-x64.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
« no previous file with comments | « src/full-codegen/ppc/full-codegen-ppc.cc ('k') | src/full-codegen/x87/full-codegen-x87.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 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_X64 5 #if V8_TARGET_ARCH_X64
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 1771 matching lines...) Expand 10 before | Expand all | Expand 10 after
1782 1782
1783 1783
1784 void FullCodeGenerator::VisitYield(Yield* expr) { 1784 void FullCodeGenerator::VisitYield(Yield* expr) {
1785 Comment cmnt(masm_, "[ Yield"); 1785 Comment cmnt(masm_, "[ Yield");
1786 SetExpressionPosition(expr); 1786 SetExpressionPosition(expr);
1787 1787
1788 // Evaluate yielded value first; the initial iterator definition depends on 1788 // Evaluate yielded value first; the initial iterator definition depends on
1789 // this. It stays on the stack while we update the iterator. 1789 // this. It stays on the stack while we update the iterator.
1790 VisitForStackValue(expr->expression()); 1790 VisitForStackValue(expr->expression());
1791 1791
1792 switch (expr->yield_kind()) { 1792 Label suspend, continuation, post_runtime, resume;
1793 case Yield::kSuspend:
1794 // Pop value from top-of-stack slot; box result into result register.
1795 EmitCreateIteratorResult(false);
1796 PushOperand(result_register());
1797 // Fall through.
1798 case Yield::kInitial: {
1799 Label suspend, continuation, post_runtime, resume;
1800 1793
1801 __ jmp(&suspend); 1794 __ jmp(&suspend);
1802 __ bind(&continuation); 1795 __ bind(&continuation);
1803 // When we arrive here, the stack top is the resume mode and 1796 // When we arrive here, the stack top is the resume mode and
1804 // result_register() holds the input value (the argument given to the 1797 // result_register() holds the input value (the argument given to the
1805 // respective resume operation). 1798 // respective resume operation).
1806 __ RecordGeneratorContinuation(); 1799 __ RecordGeneratorContinuation();
1807 __ Pop(rbx); 1800 __ Pop(rbx);
1808 __ SmiCompare(rbx, Smi::FromInt(JSGeneratorObject::RETURN)); 1801 __ SmiCompare(rbx, Smi::FromInt(JSGeneratorObject::RETURN));
1809 __ j(not_equal, &resume); 1802 __ j(not_equal, &resume);
1810 __ Push(result_register()); 1803 __ Push(result_register());
1811 EmitCreateIteratorResult(true); 1804 EmitCreateIteratorResult(true);
1812 EmitUnwindAndReturn(); 1805 EmitUnwindAndReturn();
1813 1806
1814 __ bind(&suspend); 1807 __ bind(&suspend);
1815 OperandStackDepthIncrement(1); // Not popped on this path. 1808 OperandStackDepthIncrement(1); // Not popped on this path.
1816 VisitForAccumulatorValue(expr->generator_object()); 1809 VisitForAccumulatorValue(expr->generator_object());
1817 DCHECK(continuation.pos() > 0 && Smi::IsValid(continuation.pos())); 1810 DCHECK(continuation.pos() > 0 && Smi::IsValid(continuation.pos()));
1818 __ Move(FieldOperand(rax, JSGeneratorObject::kContinuationOffset), 1811 __ Move(FieldOperand(rax, JSGeneratorObject::kContinuationOffset),
1819 Smi::FromInt(continuation.pos())); 1812 Smi::FromInt(continuation.pos()));
1820 __ movp(FieldOperand(rax, JSGeneratorObject::kContextOffset), rsi); 1813 __ movp(FieldOperand(rax, JSGeneratorObject::kContextOffset), rsi);
1821 __ movp(rcx, rsi); 1814 __ movp(rcx, rsi);
1822 __ RecordWriteField(rax, JSGeneratorObject::kContextOffset, rcx, rdx, 1815 __ RecordWriteField(rax, JSGeneratorObject::kContextOffset, rcx, rdx,
1823 kDontSaveFPRegs); 1816 kDontSaveFPRegs);
1824 __ leap(rbx, Operand(rbp, StandardFrameConstants::kExpressionsOffset)); 1817 __ leap(rbx, Operand(rbp, StandardFrameConstants::kExpressionsOffset));
1825 __ cmpp(rsp, rbx); 1818 __ cmpp(rsp, rbx);
1826 __ j(equal, &post_runtime); 1819 __ j(equal, &post_runtime);
1827 __ Push(rax); // generator object 1820 __ Push(rax); // generator object
1828 __ CallRuntime(Runtime::kSuspendJSGeneratorObject, 1); 1821 __ CallRuntime(Runtime::kSuspendJSGeneratorObject, 1);
1829 __ movp(context_register(), 1822 __ movp(context_register(),
1830 Operand(rbp, StandardFrameConstants::kContextOffset)); 1823 Operand(rbp, StandardFrameConstants::kContextOffset));
1831 __ bind(&post_runtime); 1824 __ bind(&post_runtime);
1832 1825
1833 PopOperand(result_register()); 1826 PopOperand(result_register());
1834 EmitReturnSequence(); 1827 EmitReturnSequence();
1835 1828
1836 __ bind(&resume); 1829 __ bind(&resume);
1837 context()->Plug(result_register()); 1830 context()->Plug(result_register());
1838 break;
1839 }
1840
1841 case Yield::kFinal: {
1842 // Pop value from top-of-stack slot, box result into result register.
1843 EmitCreateIteratorResult(true);
1844 EmitUnwindAndReturn();
1845 break;
1846 }
1847
1848 case Yield::kDelegating:
1849 UNREACHABLE();
1850 }
1851 } 1831 }
1852 1832
1853 1833
1854 void FullCodeGenerator::EmitGeneratorResume( 1834 void FullCodeGenerator::EmitGeneratorResume(
1855 Expression* generator, Expression* value, 1835 Expression* generator, Expression* value,
1856 JSGeneratorObject::ResumeMode resume_mode) { 1836 JSGeneratorObject::ResumeMode resume_mode) {
1857 // The value stays in rax, and is ultimately read by the resumed generator, as 1837 // The value stays in rax, and is ultimately read by the resumed generator, as
1858 // if CallRuntime(Runtime::kSuspendJSGeneratorObject) returned it. Or it 1838 // if CallRuntime(Runtime::kSuspendJSGeneratorObject) returned it. Or it
1859 // is read to throw the value when the resumed generator is already closed. 1839 // is read to throw the value when the resumed generator is already closed.
1860 // rbx will hold the generator object until the activation has been resumed. 1840 // rbx will hold the generator object until the activation has been resumed.
(...skipping 2209 matching lines...) Expand 10 before | Expand all | Expand 10 after
4070 DCHECK_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(), 4050 DCHECK_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(),
4071 Assembler::target_address_at(call_target_address, 4051 Assembler::target_address_at(call_target_address,
4072 unoptimized_code)); 4052 unoptimized_code));
4073 return OSR_AFTER_STACK_CHECK; 4053 return OSR_AFTER_STACK_CHECK;
4074 } 4054 }
4075 4055
4076 } // namespace internal 4056 } // namespace internal
4077 } // namespace v8 4057 } // namespace v8
4078 4058
4079 #endif // V8_TARGET_ARCH_X64 4059 #endif // V8_TARGET_ARCH_X64
OLDNEW
« no previous file with comments | « src/full-codegen/ppc/full-codegen-ppc.cc ('k') | src/full-codegen/x87/full-codegen-x87.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698