Strict mode function entry (Function.prototype.call/apply)

src/x64/builtins-x64.cc

 // Copyright 2010 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 624 matching lines @@
   __ JumpIfSmi(rdi, &non_function);
   __ CmpObjectType(rdi, JS_FUNCTION_TYPE, rcx);
   __ j(not_equal, &non_function);
 
   // 3a. Patch the first argument if necessary when calling a function.
   Label shift_arguments;
   { Label convert_to_object, use_global_receiver, patch_receiver;
     // Change context eagerly in case we need the global receiver.
     __ movq(rsi, FieldOperand(rdi, JSFunction::kContextOffset));
 
+    // Do not transform the receiver for strict mode functions.
+    __ movq(rbx, FieldOperand(rdi, JSFunction::kSharedFunctionInfoOffset));
+    __ movl(rbx, FieldOperand(rbx, SharedFunctionInfo::kCompilerHintsOffset));
+    __ testl(rbx, Immediate(1 << SharedFunctionInfo::kStrictModeFunction));
+    __ j(not_equal, &shift_arguments);
+
+    // Compute the receiver in non-strict mode.

[Martin Maly, 2011/02/15 05:14:00]

Tricky ... on 64 bit the fields in SharedFunctionInfo are packed and every other
is not smi. CompilerHints is one of them, so the mask is not shifted by
(kStrictModeFunction + kSmiTagSize) as on arm and ia32.

     __ movq(rbx, Operand(rsp, rax, times_pointer_size, 0));
     __ JumpIfSmi(rbx, &convert_to_object);
 
     __ CompareRoot(rbx, Heap::kNullValueRootIndex);
     __ j(equal, &use_global_receiver);
     __ CompareRoot(rbx, Heap::kUndefinedValueRootIndex);
     __ j(equal, &use_global_receiver);
 
     __ CmpObjectType(rbx, FIRST_JS_OBJECT_TYPE, rcx);
     __ j(below, &convert_to_object);
@@ skipping 136 matching lines @@
   __ push(Immediate(0));  // index
 
   // Change context eagerly to get the right global object if
   // necessary.
   __ movq(rdi, Operand(rbp, kFunctionOffset));
   __ movq(rsi, FieldOperand(rdi, JSFunction::kContextOffset));
 
   // Compute the receiver.
   Label call_to_object, use_global_receiver, push_receiver;
   __ movq(rbx, Operand(rbp, kReceiverOffset));
+
+  // Do not transform the receiver for strict mode functions.
+  __ movq(rdx, FieldOperand(rdi, JSFunction::kSharedFunctionInfoOffset));
+  __ movl(rdx, FieldOperand(rdx, SharedFunctionInfo::kCompilerHintsOffset));
+  __ testl(rdx, Immediate(1 << SharedFunctionInfo::kStrictModeFunction));
+  __ j(not_equal, &push_receiver);
+
+  // Compute the receiver in non-strict mode.
   __ JumpIfSmi(rbx, &call_to_object);
   __ CompareRoot(rbx, Heap::kNullValueRootIndex);
   __ j(equal, &use_global_receiver);
   __ CompareRoot(rbx, Heap::kUndefinedValueRootIndex);
   __ j(equal, &use_global_receiver);
 
   // If given receiver is already a JavaScript object then there's no
   // reason for converting it.
   __ CmpObjectType(rbx, FIRST_JS_OBJECT_TYPE, rcx);
   __ j(below, &call_to_object);
@@ skipping 597 matching lines @@
 void Builtins::Generate_OnStackReplacement(MacroAssembler* masm) {
   __ int3();
 }
 
 
 #undef __
 
 } }  // namespace v8::internal
 
 #endif  // V8_TARGET_ARCH_X64