| OLD | NEW |
| 1 // Copyright 2006-2009 the V8 project authors. All rights reserved. | 1 // Copyright 2006-2009 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 481 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 492 __ b(ne, &non_function_call); | 492 __ b(ne, &non_function_call); |
| 493 | 493 |
| 494 // Jump to the function-specific construct stub. | 494 // Jump to the function-specific construct stub. |
| 495 __ ldr(r2, FieldMemOperand(r1, JSFunction::kSharedFunctionInfoOffset)); | 495 __ ldr(r2, FieldMemOperand(r1, JSFunction::kSharedFunctionInfoOffset)); |
| 496 __ ldr(r2, FieldMemOperand(r2, SharedFunctionInfo::kConstructStubOffset)); | 496 __ ldr(r2, FieldMemOperand(r2, SharedFunctionInfo::kConstructStubOffset)); |
| 497 __ add(pc, r2, Operand(Code::kHeaderSize - kHeapObjectTag)); | 497 __ add(pc, r2, Operand(Code::kHeaderSize - kHeapObjectTag)); |
| 498 | 498 |
| 499 // r0: number of arguments | 499 // r0: number of arguments |
| 500 // r1: called object | 500 // r1: called object |
| 501 __ bind(&non_function_call); | 501 __ bind(&non_function_call); |
| 502 | 502 // CALL_NON_FUNCTION expects the non-function constructor as receiver |
| 503 // (instead of the original receiver from the call site). The receiver is |
| 504 // stack element argc. |
| 505 __ str(r1, MemOperand(sp, r0, LSL, kPointerSizeLog2)); |
| 503 // Set expected number of arguments to zero (not changing r0). | 506 // Set expected number of arguments to zero (not changing r0). |
| 504 __ mov(r2, Operand(0)); | 507 __ mov(r2, Operand(0)); |
| 505 __ GetBuiltinEntry(r3, Builtins::CALL_NON_FUNCTION_AS_CONSTRUCTOR); | 508 __ GetBuiltinEntry(r3, Builtins::CALL_NON_FUNCTION_AS_CONSTRUCTOR); |
| 506 __ Jump(Handle<Code>(builtin(ArgumentsAdaptorTrampoline)), | 509 __ Jump(Handle<Code>(builtin(ArgumentsAdaptorTrampoline)), |
| 507 RelocInfo::CODE_TARGET); | 510 RelocInfo::CODE_TARGET); |
| 508 } | 511 } |
| 509 | 512 |
| 510 | 513 |
| 511 static void Generate_JSConstructStubHelper(MacroAssembler* masm, | 514 static void Generate_JSConstructStubHelper(MacroAssembler* masm, |
| 512 bool is_api_function) { | 515 bool is_api_function) { |
| (...skipping 384 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 897 } | 900 } |
| 898 | 901 |
| 899 | 902 |
| 900 void Builtins::Generate_JSConstructEntryTrampoline(MacroAssembler* masm) { | 903 void Builtins::Generate_JSConstructEntryTrampoline(MacroAssembler* masm) { |
| 901 Generate_JSEntryTrampolineHelper(masm, true); | 904 Generate_JSEntryTrampolineHelper(masm, true); |
| 902 } | 905 } |
| 903 | 906 |
| 904 | 907 |
| 905 void Builtins::Generate_FunctionCall(MacroAssembler* masm) { | 908 void Builtins::Generate_FunctionCall(MacroAssembler* masm) { |
| 906 // 1. Make sure we have at least one argument. | 909 // 1. Make sure we have at least one argument. |
| 907 // r0: actual number of argument | 910 // r0: actual number of arguments |
| 908 { Label done; | 911 { Label done; |
| 909 __ tst(r0, Operand(r0)); | 912 __ tst(r0, Operand(r0)); |
| 910 __ b(ne, &done); | 913 __ b(ne, &done); |
| 911 __ LoadRoot(r2, Heap::kUndefinedValueRootIndex); | 914 __ LoadRoot(r2, Heap::kUndefinedValueRootIndex); |
| 912 __ push(r2); | 915 __ push(r2); |
| 913 __ add(r0, r0, Operand(1)); | 916 __ add(r0, r0, Operand(1)); |
| 914 __ bind(&done); | 917 __ bind(&done); |
| 915 } | 918 } |
| 916 | 919 |
| 917 // 2. Get the function to call from the stack. | 920 // 2. Get the function to call (passed as receiver) from the stack, check |
| 921 // if it is a function. |
| 918 // r0: actual number of arguments | 922 // r0: actual number of arguments |
| 919 { Label done, non_function, function; | 923 Label non_function; |
| 924 { Label function; |
| 920 __ ldr(r1, MemOperand(sp, r0, LSL, kPointerSizeLog2)); | 925 __ ldr(r1, MemOperand(sp, r0, LSL, kPointerSizeLog2)); |
| 921 __ tst(r1, Operand(kSmiTagMask)); | 926 __ tst(r1, Operand(kSmiTagMask)); |
| 922 __ b(eq, &non_function); | 927 __ b(eq, &non_function); |
| 923 __ CompareObjectType(r1, r2, r2, JS_FUNCTION_TYPE); | 928 __ CompareObjectType(r1, r2, r2, JS_FUNCTION_TYPE); |
| 924 __ b(eq, &function); | 929 __ b(ne, &non_function); |
| 930 __ bind(&function); |
| 931 } |
| 925 | 932 |
| 926 // Non-function called: Clear the function to force exception. | 933 // 3a. Patch the first argument if necessary when calling a function. |
| 927 __ bind(&non_function); | 934 // r0: actual number of arguments |
| 928 __ mov(r1, Operand(0)); | 935 // r1: function |
| 929 __ b(&done); | 936 Label shift_arguments; |
| 930 | 937 { Label convert_to_object, use_global_receiver, patch_receiver; |
| 931 // Change the context eagerly because it will be used below to get the | 938 // Change context eagerly in case we need the global receiver. |
| 932 // right global object. | |
| 933 __ bind(&function); | |
| 934 __ ldr(cp, FieldMemOperand(r1, JSFunction::kContextOffset)); | 939 __ ldr(cp, FieldMemOperand(r1, JSFunction::kContextOffset)); |
| 935 | 940 |
| 936 __ bind(&done); | |
| 937 } | |
| 938 | |
| 939 // 3. Make sure first argument is an object; convert if necessary. | |
| 940 // r0: actual number of arguments | |
| 941 // r1: function | |
| 942 { Label call_to_object, use_global_receiver, patch_receiver, done; | |
| 943 __ add(r2, sp, Operand(r0, LSL, kPointerSizeLog2)); | 941 __ add(r2, sp, Operand(r0, LSL, kPointerSizeLog2)); |
| 944 __ ldr(r2, MemOperand(r2, -kPointerSize)); | 942 __ ldr(r2, MemOperand(r2, -kPointerSize)); |
| 945 | |
| 946 // r0: actual number of arguments | 943 // r0: actual number of arguments |
| 947 // r1: function | 944 // r1: function |
| 948 // r2: first argument | 945 // r2: first argument |
| 949 __ tst(r2, Operand(kSmiTagMask)); | 946 __ tst(r2, Operand(kSmiTagMask)); |
| 950 __ b(eq, &call_to_object); | 947 __ b(eq, &convert_to_object); |
| 951 | 948 |
| 952 __ LoadRoot(r3, Heap::kNullValueRootIndex); | 949 __ LoadRoot(r3, Heap::kNullValueRootIndex); |
| 953 __ cmp(r2, r3); | 950 __ cmp(r2, r3); |
| 954 __ b(eq, &use_global_receiver); | 951 __ b(eq, &use_global_receiver); |
| 955 __ LoadRoot(r3, Heap::kUndefinedValueRootIndex); | 952 __ LoadRoot(r3, Heap::kUndefinedValueRootIndex); |
| 956 __ cmp(r2, r3); | 953 __ cmp(r2, r3); |
| 957 __ b(eq, &use_global_receiver); | 954 __ b(eq, &use_global_receiver); |
| 958 | 955 |
| 959 __ CompareObjectType(r2, r3, r3, FIRST_JS_OBJECT_TYPE); | 956 __ CompareObjectType(r2, r3, r3, FIRST_JS_OBJECT_TYPE); |
| 960 __ b(lt, &call_to_object); | 957 __ b(lt, &convert_to_object); |
| 961 __ cmp(r3, Operand(LAST_JS_OBJECT_TYPE)); | 958 __ cmp(r3, Operand(LAST_JS_OBJECT_TYPE)); |
| 962 __ b(le, &done); | 959 __ b(le, &shift_arguments); |
| 963 | 960 |
| 964 __ bind(&call_to_object); | 961 __ bind(&convert_to_object); |
| 965 __ EnterInternalFrame(); | 962 __ EnterInternalFrame(); // In order to preserve argument count. |
| 966 | 963 __ mov(r0, Operand(r0, LSL, kSmiTagSize)); // Smi-tagged. |
| 967 // Store number of arguments and function across the call into the runtime. | |
| 968 __ mov(r0, Operand(r0, LSL, kSmiTagSize)); | |
| 969 __ push(r0); | 964 __ push(r0); |
| 970 __ push(r1); | |
| 971 | 965 |
| 972 __ push(r2); | 966 __ push(r2); |
| 973 __ InvokeBuiltin(Builtins::TO_OBJECT, CALL_JS); | 967 __ InvokeBuiltin(Builtins::TO_OBJECT, CALL_JS); |
| 974 __ mov(r2, r0); | 968 __ mov(r2, r0); |
| 975 | 969 |
| 976 // Restore number of arguments and function. | |
| 977 __ pop(r1); | |
| 978 __ pop(r0); | 970 __ pop(r0); |
| 979 __ mov(r0, Operand(r0, ASR, kSmiTagSize)); | 971 __ mov(r0, Operand(r0, ASR, kSmiTagSize)); |
| 972 __ LeaveInternalFrame(); |
| 973 // Restore the function to r1. |
| 974 __ ldr(r1, MemOperand(sp, r0, LSL, kPointerSizeLog2)); |
| 975 __ jmp(&patch_receiver); |
| 980 | 976 |
| 981 __ LeaveInternalFrame(); | 977 // Use the global receiver object from the called function as the |
| 982 __ b(&patch_receiver); | 978 // receiver. |
| 983 | |
| 984 // Use the global receiver object from the called function as the receiver. | |
| 985 __ bind(&use_global_receiver); | 979 __ bind(&use_global_receiver); |
| 986 const int kGlobalIndex = | 980 const int kGlobalIndex = |
| 987 Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize; | 981 Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize; |
| 988 __ ldr(r2, FieldMemOperand(cp, kGlobalIndex)); | 982 __ ldr(r2, FieldMemOperand(cp, kGlobalIndex)); |
| 989 __ ldr(r2, FieldMemOperand(r2, GlobalObject::kGlobalContextOffset)); | 983 __ ldr(r2, FieldMemOperand(r2, GlobalObject::kGlobalContextOffset)); |
| 990 __ ldr(r2, FieldMemOperand(r2, kGlobalIndex)); | 984 __ ldr(r2, FieldMemOperand(r2, kGlobalIndex)); |
| 991 __ ldr(r2, FieldMemOperand(r2, GlobalObject::kGlobalReceiverOffset)); | 985 __ ldr(r2, FieldMemOperand(r2, GlobalObject::kGlobalReceiverOffset)); |
| 992 | 986 |
| 993 __ bind(&patch_receiver); | 987 __ bind(&patch_receiver); |
| 994 __ add(r3, sp, Operand(r0, LSL, kPointerSizeLog2)); | 988 __ add(r3, sp, Operand(r0, LSL, kPointerSizeLog2)); |
| 995 __ str(r2, MemOperand(r3, -kPointerSize)); | 989 __ str(r2, MemOperand(r3, -kPointerSize)); |
| 996 | 990 |
| 997 __ bind(&done); | 991 __ jmp(&shift_arguments); |
| 998 } | 992 } |
| 999 | 993 |
| 1000 // 4. Handle non-functions. | 994 // 3b. Patch the first argument when calling a non-function. The |
| 1001 // r0: actual number of arguments (including call() receiver) | 995 // CALL_NON_FUNCTION builtin expects the non-function callee as |
| 996 // receiver, so overwrite the first argument which will ultimately |
| 997 // become the receiver. |
| 998 // r0: actual number of arguments |
| 1002 // r1: function | 999 // r1: function |
| 1003 { Label done; | 1000 __ bind(&non_function); |
| 1004 __ tst(r1, r1); | 1001 __ add(r2, sp, Operand(r0, LSL, kPointerSizeLog2)); |
| 1005 __ b(ne, &done); | 1002 __ str(r1, MemOperand(r2, -kPointerSize)); |
| 1006 __ mov(r2, Operand(0)); // expected arguments is 0 for CALL_NON_FUNCTION | 1003 // Clear r1 to indicate a non-function being called. |
| 1007 // Transfer the receiver from the first argument to the top of the | 1004 __ mov(r1, Operand(0)); |
| 1008 // caller's expression stack simply by decrementing argc. | |
| 1009 __ sub(r0, r0, Operand(1)); | |
| 1010 __ GetBuiltinEntry(r3, Builtins::CALL_NON_FUNCTION); | |
| 1011 __ Jump(Handle<Code>(builtin(ArgumentsAdaptorTrampoline)), | |
| 1012 RelocInfo::CODE_TARGET); | |
| 1013 __ bind(&done); | |
| 1014 } | |
| 1015 | 1005 |
| 1016 // 5. Shift arguments one slot toward the bottom of the | 1006 // 4. Shift arguments and return address one slot down on the stack |
| 1017 // stack, overwriting the receiver. | 1007 // (overwriting the original receiver). Adjust argument count to make |
| 1008 // the original first argument the new receiver. |
| 1009 // r0: actual number of arguments |
| 1010 // r1: function |
| 1011 __ bind(&shift_arguments); |
| 1018 { Label loop; | 1012 { Label loop; |
| 1019 // Calculate the copy start address (destination). Copy end address is sp. | 1013 // Calculate the copy start address (destination). Copy end address is sp. |
| 1020 __ add(r2, sp, Operand(r0, LSL, kPointerSizeLog2)); | 1014 __ add(r2, sp, Operand(r0, LSL, kPointerSizeLog2)); |
| 1021 | 1015 |
| 1022 __ bind(&loop); | 1016 __ bind(&loop); |
| 1023 __ ldr(ip, MemOperand(r2, -kPointerSize)); | 1017 __ ldr(ip, MemOperand(r2, -kPointerSize)); |
| 1024 __ str(ip, MemOperand(r2)); | 1018 __ str(ip, MemOperand(r2)); |
| 1025 __ sub(r2, r2, Operand(kPointerSize)); | 1019 __ sub(r2, r2, Operand(kPointerSize)); |
| 1026 __ cmp(r2, sp); | 1020 __ cmp(r2, sp); |
| 1027 __ b(ne, &loop); | 1021 __ b(ne, &loop); |
| 1028 // Adjust the actual number of arguments and remove the top element. | 1022 // Adjust the actual number of arguments and remove the top element |
| 1023 // (which is a copy of the last argument). |
| 1029 __ sub(r0, r0, Operand(1)); | 1024 __ sub(r0, r0, Operand(1)); |
| 1030 __ pop(); | 1025 __ pop(); |
| 1031 } | 1026 } |
| 1032 | 1027 |
| 1033 // 6. Get the code for the function or the non-function builtin. | 1028 // 5a. Call non-function via tail call to CALL_NON_FUNCTION builtin. |
| 1034 // If number of expected arguments matches, then call. Otherwise restart | 1029 // r0: actual number of arguments |
| 1035 // the arguments adaptor stub. | 1030 // r1: function |
| 1031 { Label function; |
| 1032 __ tst(r1, r1); |
| 1033 __ b(ne, &function); |
| 1034 __ mov(r2, Operand(0)); // expected arguments is 0 for CALL_NON_FUNCTION |
| 1035 __ GetBuiltinEntry(r3, Builtins::CALL_NON_FUNCTION); |
| 1036 __ Jump(Handle<Code>(builtin(ArgumentsAdaptorTrampoline)), |
| 1037 RelocInfo::CODE_TARGET); |
| 1038 __ bind(&function); |
| 1039 } |
| 1040 |
| 1041 // 5b. Get the code to call from the function and check that the number of |
| 1042 // expected arguments matches what we're providing. If so, jump |
| 1043 // (tail-call) to the code in register edx without checking arguments. |
| 1036 // r0: actual number of arguments | 1044 // r0: actual number of arguments |
| 1037 // r1: function | 1045 // r1: function |
| 1038 __ ldr(r3, FieldMemOperand(r1, JSFunction::kSharedFunctionInfoOffset)); | 1046 __ ldr(r3, FieldMemOperand(r1, JSFunction::kSharedFunctionInfoOffset)); |
| 1039 __ ldr(r2, | 1047 __ ldr(r2, |
| 1040 FieldMemOperand(r3, SharedFunctionInfo::kFormalParameterCountOffset)); | 1048 FieldMemOperand(r3, SharedFunctionInfo::kFormalParameterCountOffset)); |
| 1041 __ ldr(r3, FieldMemOperand(r3, SharedFunctionInfo::kCodeOffset)); | 1049 __ ldr(r3, FieldMemOperand(r3, SharedFunctionInfo::kCodeOffset)); |
| 1042 __ add(r3, r3, Operand(Code::kHeaderSize - kHeapObjectTag)); | 1050 __ add(r3, r3, Operand(Code::kHeaderSize - kHeapObjectTag)); |
| 1043 __ cmp(r2, r0); // Check formal and actual parameter counts. | 1051 __ cmp(r2, r0); // Check formal and actual parameter counts. |
| 1044 __ Jump(Handle<Code>(builtin(ArgumentsAdaptorTrampoline)), | 1052 __ Jump(Handle<Code>(builtin(ArgumentsAdaptorTrampoline)), |
| 1045 RelocInfo::CODE_TARGET, ne); | 1053 RelocInfo::CODE_TARGET, ne); |
| 1046 | 1054 |
| 1047 // 7. Jump (tail-call) to the code in r3 without checking arguments. | |
| 1048 ParameterCount expected(0); | 1055 ParameterCount expected(0); |
| 1049 __ InvokeCode(r3, expected, expected, JUMP_FUNCTION); | 1056 __ InvokeCode(r3, expected, expected, JUMP_FUNCTION); |
| 1050 } | 1057 } |
| 1051 | 1058 |
| 1052 | 1059 |
| 1053 void Builtins::Generate_FunctionApply(MacroAssembler* masm) { | 1060 void Builtins::Generate_FunctionApply(MacroAssembler* masm) { |
| 1054 const int kIndexOffset = -5 * kPointerSize; | 1061 const int kIndexOffset = -5 * kPointerSize; |
| 1055 const int kLimitOffset = -4 * kPointerSize; | 1062 const int kLimitOffset = -4 * kPointerSize; |
| 1056 const int kArgsOffset = 2 * kPointerSize; | 1063 const int kArgsOffset = 2 * kPointerSize; |
| 1057 const int kRecvOffset = 3 * kPointerSize; | 1064 const int kRecvOffset = 3 * kPointerSize; |
| (...skipping 240 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1298 // Dont adapt arguments. | 1305 // Dont adapt arguments. |
| 1299 // ------------------------------------------- | 1306 // ------------------------------------------- |
| 1300 __ bind(&dont_adapt_arguments); | 1307 __ bind(&dont_adapt_arguments); |
| 1301 __ Jump(r3); | 1308 __ Jump(r3); |
| 1302 } | 1309 } |
| 1303 | 1310 |
| 1304 | 1311 |
| 1305 #undef __ | 1312 #undef __ |
| 1306 | 1313 |
| 1307 } } // namespace v8::internal | 1314 } } // namespace v8::internal |
| OLD | NEW |