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

Side by Side Diff: src/x64/builtins-x64.cc

Issue 1360793002: [builtins] Refactor Invoke to deal with any kind of callable. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 5 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
« src/arm/builtins-arm.cc ('K') | « src/runtime/runtime-internal.cc ('k') | 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 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/code-factory.h" 7 #include "src/code-factory.h"
8 #include "src/codegen.h" 8 #include "src/codegen.h"
9 #include "src/deoptimizer.h" 9 #include "src/deoptimizer.h"
10 #include "src/full-codegen/full-codegen.h" 10 #include "src/full-codegen/full-codegen.h"
(...skipping 1699 matching lines...) Expand 10 before | Expand all | Expand 10 after
1710 __ InvokeCode(rdx, expected, actual, JUMP_FUNCTION, NullCallWrapper()); 1710 __ InvokeCode(rdx, expected, actual, JUMP_FUNCTION, NullCallWrapper());
1711 } 1711 }
1712 1712
1713 1713
1714 // static 1714 // static
1715 void Builtins::Generate_Call(MacroAssembler* masm) { 1715 void Builtins::Generate_Call(MacroAssembler* masm) {
1716 // ----------- S t a t e ------------- 1716 // ----------- S t a t e -------------
1717 // -- rax : the number of arguments (not including the receiver) 1717 // -- rax : the number of arguments (not including the receiver)
1718 // -- rdi : the target to call (can be any Object) 1718 // -- rdi : the target to call (can be any Object)
1719 // ----------------------------------- 1719 // -----------------------------------
1720 StackArgumentsAccessor args(rsp, rax);
1720 1721
1721 Label non_smi, non_function; 1722 Label non_callable, non_function, non_smi;
1722 __ JumpIfSmi(rdi, &non_function); 1723 __ JumpIfSmi(rdi, &non_callable);
1723 __ bind(&non_smi); 1724 __ bind(&non_smi);
1724 __ CmpObjectType(rdi, JS_FUNCTION_TYPE, rdx); 1725 __ CmpObjectType(rdi, JS_FUNCTION_TYPE, rcx);
1725 __ j(equal, masm->isolate()->builtins()->CallFunction(), 1726 __ j(equal, masm->isolate()->builtins()->CallFunction(),
1726 RelocInfo::CODE_TARGET); 1727 RelocInfo::CODE_TARGET);
1727 __ CmpInstanceType(rdx, JS_FUNCTION_PROXY_TYPE); 1728 __ CmpInstanceType(rcx, JS_FUNCTION_PROXY_TYPE);
1728 __ j(not_equal, &non_function); 1729 __ j(not_equal, &non_function);
1729 1730
1730 // 1. Call to function proxy. 1731 // 1. Call to function proxy.
1731 // TODO(neis): This doesn't match the ES6 spec for [[Call]] on proxies. 1732 // TODO(neis): This doesn't match the ES6 spec for [[Call]] on proxies.
1732 __ movp(rdi, FieldOperand(rdi, JSFunctionProxy::kCallTrapOffset)); 1733 __ movp(rdi, FieldOperand(rdi, JSFunctionProxy::kCallTrapOffset));
1733 __ AssertNotSmi(rdi); 1734 __ AssertNotSmi(rdi);
1734 __ jmp(&non_smi); 1735 __ jmp(&non_smi);
1735 1736
1736 // 2. Call to something else, which might have a [[Call]] internal method (if 1737 // 2. Call to something else, which might have a [[Call]] internal method (if
1737 // not we raise an exception). 1738 // not we raise an exception).
1738 __ bind(&non_function); 1739 __ bind(&non_function);
1739 // TODO(bmeurer): I wonder why we prefer to have slow API calls? This could 1740 // Check if target has a [[Call]] internal method.
1740 // be awesome instead; i.e. a trivial improvement would be to call into the 1741 __ testb(FieldOperand(rcx, Map::kBitFieldOffset),
1741 // runtime and just deal with the API function there instead of returning a 1742 Immediate(1 << Map::kIsCallable));
1742 // delegate from a runtime call that just jumps back to the runtime once 1743 __ j(zero, &non_callable, Label::kNear);
1743 // called. Or, bonus points, call directly into the C API function here, as
1744 // we do in some Crankshaft fast cases.
1745 StackArgumentsAccessor args(rsp, rax);
1746 // Overwrite the original receiver with the (original) target. 1744 // Overwrite the original receiver with the (original) target.
1747 __ movp(args.GetReceiverOperand(), rdi); 1745 __ movp(args.GetReceiverOperand(), rdi);
1746 // Let the "call_as_function_delegate" take care of the rest.
1747 __ LoadGlobalFunction(Context::CALL_AS_FUNCTION_DELEGATE_INDEX, rdi);
1748 __ Jump(masm->isolate()->builtins()->CallFunction(), RelocInfo::CODE_TARGET);
1749
1750 // 3. Call to something that is not callable.
1751 __ bind(&non_callable);
1748 { 1752 {
1749 // Determine the delegate for the target (if any).
1750 FrameScope scope(masm, StackFrame::INTERNAL); 1753 FrameScope scope(masm, StackFrame::INTERNAL);
1751 __ Integer32ToSmi(rax, rax);
1752 __ Push(rax);
1753 __ Push(rdi); 1754 __ Push(rdi);
1754 __ CallRuntime(Runtime::kGetFunctionDelegate, 1); 1755 __ CallRuntime(Runtime::kThrowCalledNonCallable, 1);
1755 __ movp(rdi, rax);
1756 __ Pop(rax);
1757 __ SmiToInteger32(rax, rax);
1758 } 1756 }
1759 // The delegate is always a regular function.
1760 __ AssertFunction(rdi);
1761 __ Jump(masm->isolate()->builtins()->CallFunction(), RelocInfo::CODE_TARGET);
1762 } 1757 }
1763 1758
1764 1759
1765 // static 1760 // static
1766 void Builtins::Generate_ConstructFunction(MacroAssembler* masm) { 1761 void Builtins::Generate_ConstructFunction(MacroAssembler* masm) {
1767 // ----------- S t a t e ------------- 1762 // ----------- S t a t e -------------
1768 // -- rax : the number of arguments (not including the receiver) 1763 // -- rax : the number of arguments (not including the receiver)
1769 // -- rdx : the original constructor (checked to be a JSFunction) 1764 // -- rdx : the original constructor (checked to be a JSFunction)
1770 // -- rdi : the constructor to call (checked to be a JSFunction) 1765 // -- rdi : the constructor to call (checked to be a JSFunction)
1771 // ----------------------------------- 1766 // -----------------------------------
(...skipping 14 matching lines...) Expand all
1786 1781
1787 1782
1788 // static 1783 // static
1789 void Builtins::Generate_Construct(MacroAssembler* masm) { 1784 void Builtins::Generate_Construct(MacroAssembler* masm) {
1790 // ----------- S t a t e ------------- 1785 // ----------- S t a t e -------------
1791 // -- rax : the number of arguments (not including the receiver) 1786 // -- rax : the number of arguments (not including the receiver)
1792 // -- rdx : the original constructor (either the same as the constructor or 1787 // -- rdx : the original constructor (either the same as the constructor or
1793 // the JSFunction on which new was invoked initially) 1788 // the JSFunction on which new was invoked initially)
1794 // -- rdi : the constructor to call (can be any Object) 1789 // -- rdi : the constructor to call (can be any Object)
1795 // ----------------------------------- 1790 // -----------------------------------
1791 StackArgumentsAccessor args(rsp, rax);
1796 1792
1797 Label slow; 1793 Label non_callable, non_function;
1798 __ JumpIfSmi(rdi, &slow, Label::kNear); 1794 __ JumpIfSmi(rdi, &non_callable);
1799 __ CmpObjectType(rdi, JS_FUNCTION_TYPE, rcx); 1795 __ CmpObjectType(rdi, JS_FUNCTION_TYPE, rcx);
1800 __ j(equal, masm->isolate()->builtins()->ConstructFunction(), 1796 __ j(equal, masm->isolate()->builtins()->ConstructFunction(),
1801 RelocInfo::CODE_TARGET); 1797 RelocInfo::CODE_TARGET);
1802 __ CmpInstanceType(rcx, JS_FUNCTION_PROXY_TYPE); 1798 __ CmpInstanceType(rcx, JS_FUNCTION_PROXY_TYPE);
1803 __ j(not_equal, &slow, Label::kNear); 1799 __ j(not_equal, &non_function, Label::kNear);
1804 1800
1801 // 1. Construct of function proxy.
1805 // TODO(neis): This doesn't match the ES6 spec for [[Construct]] on proxies. 1802 // TODO(neis): This doesn't match the ES6 spec for [[Construct]] on proxies.
1806 __ movp(rdi, FieldOperand(rdi, JSFunctionProxy::kConstructTrapOffset)); 1803 __ movp(rdi, FieldOperand(rdi, JSFunctionProxy::kConstructTrapOffset));
1807 __ Jump(masm->isolate()->builtins()->Call(), RelocInfo::CODE_TARGET); 1804 __ Jump(masm->isolate()->builtins()->Call(), RelocInfo::CODE_TARGET);
1808 1805
1809 __ bind(&slow); 1806 // 2. Construct of something else, which might have a [[Construct]] internal
1807 // method (if not we raise an exception).
1808 __ bind(&non_function);
1809 // Check if target has a [[Call]] internal method.
1810 // TODO(bmeurer): This shoud use IsConstructor once available.
1811 __ testb(FieldOperand(rcx, Map::kBitFieldOffset),
1812 Immediate(1 << Map::kIsCallable));
1813 __ j(zero, &non_callable, Label::kNear);
1814 // Overwrite the original receiver with the (original) target.
1815 __ movp(args.GetReceiverOperand(), rdi);
1816 // Let the "call_as_constructor_delegate" take care of the rest.
1817 __ LoadGlobalFunction(Context::CALL_AS_CONSTRUCTOR_DELEGATE_INDEX, rdi);
1818 __ Jump(masm->isolate()->builtins()->CallFunction(), RelocInfo::CODE_TARGET);
1819
1820 // 3. Construct of something that is not callable.
1821 __ bind(&non_callable);
1810 { 1822 {
1811 // Determine the delegate for the target (if any).
1812 FrameScope scope(masm, StackFrame::INTERNAL); 1823 FrameScope scope(masm, StackFrame::INTERNAL);
1813 __ Integer32ToSmi(rax, rax);
1814 __ Push(rax);
1815 __ Push(rdi); 1824 __ Push(rdi);
1816 __ CallRuntime(Runtime::kGetConstructorDelegate, 1); 1825 __ CallRuntime(Runtime::kThrowCalledNonCallable, 1);
1817 __ movp(rdi, rax);
1818 __ Pop(rax);
1819 __ SmiToInteger32(rax, rax);
1820 } 1826 }
1821 // The delegate is always a regular function.
1822 __ AssertFunction(rdi);
1823 __ Jump(masm->isolate()->builtins()->CallFunction(), RelocInfo::CODE_TARGET);
1824 } 1827 }
1825 1828
1826 1829
1827 // static 1830 // static
1828 void Builtins::Generate_PushArgsAndCall(MacroAssembler* masm) { 1831 void Builtins::Generate_PushArgsAndCall(MacroAssembler* masm) {
1829 // ----------- S t a t e ------------- 1832 // ----------- S t a t e -------------
1830 // -- rax : the number of arguments (not including the receiver) 1833 // -- rax : the number of arguments (not including the receiver)
1831 // -- rbx : the address of the first argument to be pushed. Subsequent 1834 // -- rbx : the address of the first argument to be pushed. Subsequent
1832 // arguments should be consecutive above this, in the same order as 1835 // arguments should be consecutive above this, in the same order as
1833 // they are to be pushed onto the stack. 1836 // they are to be pushed onto the stack.
(...skipping 77 matching lines...) Expand 10 before | Expand all | Expand 10 after
1911 __ ret(0); 1914 __ ret(0);
1912 } 1915 }
1913 1916
1914 1917
1915 #undef __ 1918 #undef __
1916 1919
1917 } // namespace internal 1920 } // namespace internal
1918 } // namespace v8 1921 } // namespace v8
1919 1922
1920 #endif // V8_TARGET_ARCH_X64 1923 #endif // V8_TARGET_ARCH_X64
OLDNEW
« src/arm/builtins-arm.cc ('K') | « src/runtime/runtime-internal.cc ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698