jit/JITStubs.h

   1 /*
   2  * Copyright (C) 2008 Apple Inc. All rights reserved.
   3  *
   4  * Redistribution and use in source and binary forms, with or without
   5  * modification, are permitted provided that the following conditions
   6  * are met:
   7  *
   8  * 1.  Redistributions of source code must retain the above copyright
   9  *     notice, this list of conditions and the following disclaimer.
  10  * 2.  Redistributions in binary form must reproduce the above copyright
  11  *     notice, this list of conditions and the following disclaimer in the
  12  *     documentation and/or other materials provided with the distribution.
  13  * 3.  Neither the name of Apple Computer, Inc. ("Apple") nor the names of
  14  *     its contributors may be used to endorse or promote products derived
  15  *     from this software without specific prior written permission.
  16  *
  17  * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
  18  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
  19  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  20  * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
  21  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
  22  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
  23  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
  24  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27  */
  28
  29 #ifndef JITStubs_h
  30 #define JITStubs_h
  31
  32 #include <wtf/Platform.h>
  33
  34 #include "MacroAssemblerCodeRef.h"
  35 #include "Register.h"
  36
  37 #if ENABLE(JIT)
  38
  39 namespace JSC {
  40
  41     struct StructureStubInfo;
  42
  43     class CodeBlock;
  44     class ExecutablePool;
  45     class FunctionExecutable;
  46     class Identifier;
  47     class JSGlobalData;
  48     class JSGlobalData;
  49     class JSObject;
  50     class JSPropertyNameIterator;
  51     class JSValue;
  52     class JSValueEncodedAsPointer;
  53     class Profiler;
  54     class PropertySlot;
  55     class PutPropertySlot;
  56     class RegisterFile;
  57     class JSGlobalObject;
  58     class RegExp;
  59
  60     union JITStubArg {
  61         void* asPointer;
  62         EncodedJSValue asEncodedJSValue;
  63         int32_t asInt32;
  64
  65         JSValue jsValue() { return JSValue::decode(asEncodedJSValue); }
  66         JSObject* jsObject() { return static_cast<JSObject*>(asPointer); }
  67         Identifier& identifier() { return *static_cast<Identifier*>(asPointer); }
  68         int32_t int32() { return asInt32; }
  69         CodeBlock* codeBlock() { return static_cast<CodeBlock*>(asPointer); }
  70         FunctionExecutable* function() { return static_cast<FunctionExecutable*>(asPointer); }
  71         RegExp* regExp() { return static_cast<RegExp*>(asPointer); }
  72         JSPropertyNameIterator* propertyNameIterator() { return static_cast<JSPropertyNameIterator*>(asPointer); }
  73         JSGlobalObject* globalObject() { return static_cast<JSGlobalObject*>(asPointer); }
  74         JSString* jsString() { return static_cast<JSString*>(asPointer); }
  75         ReturnAddressPtr returnAddress() { return ReturnAddressPtr(asPointer); }
  76     };
  77
  78 #if CPU(X86_64)
  79     struct JITStackFrame {
  80         void* reserved; // Unused
  81         JITStubArg args[6];
  82         void* padding[2]; // Maintain 32-byte stack alignment (possibly overkill).
  83
  84         void* code;
  85         RegisterFile* registerFile;
  86         CallFrame* callFrame;
  87         JSValue* exception;
  88         Profiler** enabledProfilerReference;
  89         JSGlobalData* globalData;
  90
  91         void* savedRBX;
  92         void* savedR15;
  93         void* savedR14;
  94         void* savedR13;
  95         void* savedR12;
  96         void* savedRBP;
  97         void* savedRIP;
  98
  99         // When JIT code makes a call, it pushes its return address just below the rest of the stack.
 100         ReturnAddressPtr* returnAddressSlot() { return reinterpret_cast<ReturnAddressPtr*>(this) - 1; }
 101     };
 102 #elif CPU(X86)
 103 #if COMPILER(MSVC)
 104 #pragma pack(push)
 105 #pragma pack(4)
 106 #endif // COMPILER(MSVC)
 107     struct JITStackFrame {
 108         void* reserved; // Unused
 109         JITStubArg args[6];
 110 #if USE(JSVALUE32_64)
 111         void* padding[2]; // Maintain 16-byte stack alignment.
 112 #endif
 113
 114         void* savedEBX;
 115         void* savedEDI;
 116         void* savedESI;
 117         void* savedEBP;
 118         void* savedEIP;
 119
 120         void* code;
 121         RegisterFile* registerFile;
 122         CallFrame* callFrame;
 123         JSValue* exception;
 124         Profiler** enabledProfilerReference;
 125         JSGlobalData* globalData;
 126
 127         // When JIT code makes a call, it pushes its return address just below the rest of the stack.
 128         ReturnAddressPtr* returnAddressSlot() { return reinterpret_cast<ReturnAddressPtr*>(this) - 1; }
 129     };
 130 #if COMPILER(MSVC)
 131 #pragma pack(pop)
 132 #endif // COMPILER(MSVC)
 133 #elif CPU(ARM_THUMB2)
 134     struct JITStackFrame {
 135         void* reserved; // Unused
 136         JITStubArg args[6];
 137 #if USE(JSVALUE32_64)
 138         void* padding[2]; // Maintain 16-byte stack alignment.
 139 #endif
 140
 141         ReturnAddressPtr thunkReturnAddress;
 142
 143         void* preservedReturnAddress;
 144         void* preservedR4;
 145         void* preservedR5;
 146         void* preservedR6;
 147
 148         // These arguments passed in r1..r3 (r0 contained the entry code pointed, which is not preserved)
 149         RegisterFile* registerFile;
 150         CallFrame* callFrame;
 151         JSValue* exception;
 152
 153         void* padding2;
 154
 155         // These arguments passed on the stack.
 156         Profiler** enabledProfilerReference;
 157         JSGlobalData* globalData;
 158
 159         ReturnAddressPtr* returnAddressSlot() { return &thunkReturnAddress; }
 160     };
 161 #elif CPU(ARM_TRADITIONAL)
 162     struct JITStackFrame {
 163         JITStubArg padding; // Unused
 164         JITStubArg args[7];
 165
 166         ReturnAddressPtr thunkReturnAddress;
 167
 168         void* preservedR4;
 169         void* preservedR5;
 170         void* preservedR6;
 171         void* preservedR7;
 172         void* preservedR8;
 173         void* preservedLink;
 174
 175         RegisterFile* registerFile;
 176         CallFrame* callFrame;
 177         JSValue* exception;
 178
 179         // These arguments passed on the stack.
 180         Profiler** enabledProfilerReference;
 181         JSGlobalData* globalData;
 182
 183         // When JIT code makes a call, it pushes its return address just below the rest of the stack.
 184         ReturnAddressPtr* returnAddressSlot() { return &thunkReturnAddress; }
 185     };
 186 #else
 187 #error "JITStackFrame not defined for this platform."
 188 #endif
 189
 190 #define JITSTACKFRAME_ARGS_INDEX (OBJECT_OFFSETOF(JITStackFrame, args) / sizeof(void*))
 191
 192 #if USE(JIT_STUB_ARGUMENT_VA_LIST)
 193     #define STUB_ARGS_DECLARATION void* args, ...
 194     #define STUB_ARGS (reinterpret_cast<void**>(vl_args) - 1)
 195
 196     #if COMPILER(MSVC)
 197     #define JIT_STUB __cdecl
 198     #else
 199     #define JIT_STUB
 200     #endif
 201 #else
 202     #define STUB_ARGS_DECLARATION void** args
 203     #define STUB_ARGS (args)
 204
 205     #if CPU(X86) && COMPILER(MSVC)
 206     #define JIT_STUB __fastcall
 207     #elif CPU(X86) && COMPILER(GCC)
 208     #define JIT_STUB  __attribute__ ((fastcall))
 209     #else
 210     #define JIT_STUB
 211     #endif
 212 #endif
 213
 214 #if CPU(X86_64)
 215     struct VoidPtrPair {
 216         void* first;
 217         void* second;
 218     };
 219     #define RETURN_POINTER_PAIR(a,b) VoidPtrPair pair = { a, b }; return pair
 220 #else
 221     // MSVC doesn't support returning a two-value struct in two registers, so
 222     // we cast the struct to int64_t instead.
 223     typedef uint64_t VoidPtrPair;
 224     union VoidPtrPairUnion {
 225         struct { void* first; void* second; } s;
 226         VoidPtrPair i;
 227     };
 228     #define RETURN_POINTER_PAIR(a,b) VoidPtrPairUnion pair = {{ a, b }}; return pair.i
 229 #endif
 230
 231     extern "C" void ctiVMThrowTrampoline();
 232     extern "C" void ctiOpThrowNotCaught();
 233     extern "C" EncodedJSValue ctiTrampoline(void* code, RegisterFile*, CallFrame*, JSValue* exception, Profiler**, JSGlobalData*);
 234
 235     class JITThunks {
 236     public:
 237         JITThunks(JSGlobalData*);
 238
 239         static void tryCacheGetByID(CallFrame*, CodeBlock*, ReturnAddressPtr returnAddress, JSValue baseValue, const Identifier& propertyName, const PropertySlot&, StructureStubInfo* stubInfo);
 240         static void tryCachePutByID(CallFrame*, CodeBlock*, ReturnAddressPtr returnAddress, JSValue baseValue, const PutPropertySlot&, StructureStubInfo* stubInfo);
 241
 242         MacroAssemblerCodePtr ctiStringLengthTrampoline() { return m_ctiStringLengthTrampoline; }
 243         MacroAssemblerCodePtr ctiVirtualCallLink() { return m_ctiVirtualCallLink; }
 244         MacroAssemblerCodePtr ctiVirtualCall() { return m_ctiVirtualCall; }
 245         MacroAssemblerCodePtr ctiNativeCallThunk() { return m_ctiNativeCallThunk; }
 246
 247     private:
 248         RefPtr<ExecutablePool> m_executablePool;
 249
 250         MacroAssemblerCodePtr m_ctiStringLengthTrampoline;
 251         MacroAssemblerCodePtr m_ctiVirtualCallLink;
 252         MacroAssemblerCodePtr m_ctiVirtualCall;
 253         MacroAssemblerCodePtr m_ctiNativeCallThunk;
 254     };
 255
 256 extern "C" {
 257     EncodedJSValue JIT_STUB cti_op_add(STUB_ARGS_DECLARATION);
 258     EncodedJSValue JIT_STUB cti_op_bitand(STUB_ARGS_DECLARATION);
 259     EncodedJSValue JIT_STUB cti_op_bitnot(STUB_ARGS_DECLARATION);
 260     EncodedJSValue JIT_STUB cti_op_bitor(STUB_ARGS_DECLARATION);
 261     EncodedJSValue JIT_STUB cti_op_bitxor(STUB_ARGS_DECLARATION);
 262     EncodedJSValue JIT_STUB cti_op_call_NotJSFunction(STUB_ARGS_DECLARATION);
 263     EncodedJSValue JIT_STUB cti_op_call_eval(STUB_ARGS_DECLARATION);
 264     EncodedJSValue JIT_STUB cti_op_construct_NotJSConstruct(STUB_ARGS_DECLARATION);
 265     EncodedJSValue JIT_STUB cti_op_convert_this(STUB_ARGS_DECLARATION);
 266     EncodedJSValue JIT_STUB cti_op_del_by_id(STUB_ARGS_DECLARATION);
 267     EncodedJSValue JIT_STUB cti_op_del_by_val(STUB_ARGS_DECLARATION);
 268     EncodedJSValue JIT_STUB cti_op_div(STUB_ARGS_DECLARATION);
 269     EncodedJSValue JIT_STUB cti_op_get_by_id(STUB_ARGS_DECLARATION);
 270     EncodedJSValue JIT_STUB cti_op_get_by_id_array_fail(STUB_ARGS_DECLARATION);
 271     EncodedJSValue JIT_STUB cti_op_get_by_id_generic(STUB_ARGS_DECLARATION);
 272     EncodedJSValue JIT_STUB cti_op_get_by_id_method_check(STUB_ARGS_DECLARATION);
 273     EncodedJSValue JIT_STUB cti_op_get_by_id_proto_fail(STUB_ARGS_DECLARATION);
 274     EncodedJSValue JIT_STUB cti_op_get_by_id_proto_list(STUB_ARGS_DECLARATION);
 275     EncodedJSValue JIT_STUB cti_op_get_by_id_proto_list_full(STUB_ARGS_DECLARATION);
 276     EncodedJSValue JIT_STUB cti_op_get_by_id_self_fail(STUB_ARGS_DECLARATION);
 277     EncodedJSValue JIT_STUB cti_op_get_by_id_string_fail(STUB_ARGS_DECLARATION);
 278     EncodedJSValue JIT_STUB cti_op_get_by_val(STUB_ARGS_DECLARATION);
 279     EncodedJSValue JIT_STUB cti_op_get_by_val_byte_array(STUB_ARGS_DECLARATION);
 280     EncodedJSValue JIT_STUB cti_op_get_by_val_string(STUB_ARGS_DECLARATION);
 281     EncodedJSValue JIT_STUB cti_op_in(STUB_ARGS_DECLARATION);
 282     EncodedJSValue JIT_STUB cti_op_instanceof(STUB_ARGS_DECLARATION);
 283     EncodedJSValue JIT_STUB cti_op_is_boolean(STUB_ARGS_DECLARATION);
 284     EncodedJSValue JIT_STUB cti_op_is_function(STUB_ARGS_DECLARATION);
 285     EncodedJSValue JIT_STUB cti_op_is_number(STUB_ARGS_DECLARATION);
 286     EncodedJSValue JIT_STUB cti_op_is_object(STUB_ARGS_DECLARATION);
 287     EncodedJSValue JIT_STUB cti_op_is_string(STUB_ARGS_DECLARATION);
 288     EncodedJSValue JIT_STUB cti_op_is_undefined(STUB_ARGS_DECLARATION);
 289     EncodedJSValue JIT_STUB cti_op_less(STUB_ARGS_DECLARATION);
 290     EncodedJSValue JIT_STUB cti_op_lesseq(STUB_ARGS_DECLARATION);
 291     EncodedJSValue JIT_STUB cti_op_lshift(STUB_ARGS_DECLARATION);
 292     EncodedJSValue JIT_STUB cti_op_mod(STUB_ARGS_DECLARATION);
 293     EncodedJSValue JIT_STUB cti_op_mul(STUB_ARGS_DECLARATION);
 294     EncodedJSValue JIT_STUB cti_op_negate(STUB_ARGS_DECLARATION);
 295     EncodedJSValue JIT_STUB cti_op_not(STUB_ARGS_DECLARATION);
 296     EncodedJSValue JIT_STUB cti_op_nstricteq(STUB_ARGS_DECLARATION);
 297     EncodedJSValue JIT_STUB cti_op_post_dec(STUB_ARGS_DECLARATION);
 298     EncodedJSValue JIT_STUB cti_op_post_inc(STUB_ARGS_DECLARATION);
 299     EncodedJSValue JIT_STUB cti_op_pre_dec(STUB_ARGS_DECLARATION);
 300     EncodedJSValue JIT_STUB cti_op_pre_inc(STUB_ARGS_DECLARATION);
 301     EncodedJSValue JIT_STUB cti_op_resolve(STUB_ARGS_DECLARATION);
 302     EncodedJSValue JIT_STUB cti_op_resolve_base(STUB_ARGS_DECLARATION);
 303     EncodedJSValue JIT_STUB cti_op_resolve_global(STUB_ARGS_DECLARATION);
 304     EncodedJSValue JIT_STUB cti_op_resolve_skip(STUB_ARGS_DECLARATION);
 305     EncodedJSValue JIT_STUB cti_op_resolve_with_base(STUB_ARGS_DECLARATION);
 306     EncodedJSValue JIT_STUB cti_op_rshift(STUB_ARGS_DECLARATION);
 307     EncodedJSValue JIT_STUB cti_op_strcat(STUB_ARGS_DECLARATION);
 308     EncodedJSValue JIT_STUB cti_op_stricteq(STUB_ARGS_DECLARATION);
 309     EncodedJSValue JIT_STUB cti_op_sub(STUB_ARGS_DECLARATION);
 310     EncodedJSValue JIT_STUB cti_op_throw(STUB_ARGS_DECLARATION);
 311     EncodedJSValue JIT_STUB cti_op_to_jsnumber(STUB_ARGS_DECLARATION);
 312     EncodedJSValue JIT_STUB cti_op_to_primitive(STUB_ARGS_DECLARATION);
 313     EncodedJSValue JIT_STUB cti_op_typeof(STUB_ARGS_DECLARATION);
 314     EncodedJSValue JIT_STUB cti_op_urshift(STUB_ARGS_DECLARATION);
 315     EncodedJSValue JIT_STUB cti_vm_throw(STUB_ARGS_DECLARATION);
 316     EncodedJSValue JIT_STUB cti_to_object(STUB_ARGS_DECLARATION);
 317     JSObject* JIT_STUB cti_op_construct_JSConstruct(STUB_ARGS_DECLARATION);
 318     JSObject* JIT_STUB cti_op_new_array(STUB_ARGS_DECLARATION);
 319     JSObject* JIT_STUB cti_op_new_error(STUB_ARGS_DECLARATION);
 320     JSObject* JIT_STUB cti_op_new_func(STUB_ARGS_DECLARATION);
 321     JSObject* JIT_STUB cti_op_new_func_exp(STUB_ARGS_DECLARATION);
 322     JSObject* JIT_STUB cti_op_new_object(STUB_ARGS_DECLARATION);
 323     JSObject* JIT_STUB cti_op_new_regexp(STUB_ARGS_DECLARATION);
 324     JSObject* JIT_STUB cti_op_push_activation(STUB_ARGS_DECLARATION);
 325     JSObject* JIT_STUB cti_op_push_new_scope(STUB_ARGS_DECLARATION);
 326     JSObject* JIT_STUB cti_op_push_scope(STUB_ARGS_DECLARATION);
 327     JSObject* JIT_STUB cti_op_put_by_id_transition_realloc(STUB_ARGS_DECLARATION);
 328     JSPropertyNameIterator* JIT_STUB cti_op_get_pnames(STUB_ARGS_DECLARATION);
 329     VoidPtrPair JIT_STUB cti_op_call_arityCheck(STUB_ARGS_DECLARATION);
 330     int JIT_STUB cti_op_eq(STUB_ARGS_DECLARATION);
 331 #if USE(JSVALUE32_64)
 332     int JIT_STUB cti_op_eq_strings(STUB_ARGS_DECLARATION);
 333 #endif
 334     int JIT_STUB cti_op_jless(STUB_ARGS_DECLARATION);
 335     int JIT_STUB cti_op_jlesseq(STUB_ARGS_DECLARATION);
 336     int JIT_STUB cti_op_jtrue(STUB_ARGS_DECLARATION);
 337     int JIT_STUB cti_op_load_varargs(STUB_ARGS_DECLARATION);
 338     int JIT_STUB cti_op_loop_if_lesseq(STUB_ARGS_DECLARATION);
 339     int JIT_STUB cti_timeout_check(STUB_ARGS_DECLARATION);
 340     int JIT_STUB cti_has_property(STUB_ARGS_DECLARATION);
 341     void JIT_STUB cti_op_create_arguments(STUB_ARGS_DECLARATION);
 342     void JIT_STUB cti_op_create_arguments_no_params(STUB_ARGS_DECLARATION);
 343     void JIT_STUB cti_op_debug(STUB_ARGS_DECLARATION);
 344     void JIT_STUB cti_op_end(STUB_ARGS_DECLARATION);
 345     void JIT_STUB cti_op_jmp_scopes(STUB_ARGS_DECLARATION);
 346     void JIT_STUB cti_op_pop_scope(STUB_ARGS_DECLARATION);
 347     void JIT_STUB cti_op_profile_did_call(STUB_ARGS_DECLARATION);
 348     void JIT_STUB cti_op_profile_will_call(STUB_ARGS_DECLARATION);
 349     void JIT_STUB cti_op_put_by_id(STUB_ARGS_DECLARATION);
 350     void JIT_STUB cti_op_put_by_id_fail(STUB_ARGS_DECLARATION);
 351     void JIT_STUB cti_op_put_by_id_generic(STUB_ARGS_DECLARATION);
 352     void JIT_STUB cti_op_put_by_index(STUB_ARGS_DECLARATION);
 353     void JIT_STUB cti_op_put_by_val(STUB_ARGS_DECLARATION);
 354     void JIT_STUB cti_op_put_by_val_byte_array(STUB_ARGS_DECLARATION);
 355     void JIT_STUB cti_op_put_getter(STUB_ARGS_DECLARATION);
 356     void JIT_STUB cti_op_put_setter(STUB_ARGS_DECLARATION);
 357     void JIT_STUB cti_op_ret_scopeChain(STUB_ARGS_DECLARATION);
 358     void JIT_STUB cti_op_tear_off_activation(STUB_ARGS_DECLARATION);
 359     void JIT_STUB cti_op_tear_off_arguments(STUB_ARGS_DECLARATION);
 360     void JIT_STUB cti_register_file_check(STUB_ARGS_DECLARATION);
 361     void* JIT_STUB cti_op_call_JSFunction(STUB_ARGS_DECLARATION);
 362     void* JIT_STUB cti_op_switch_char(STUB_ARGS_DECLARATION);
 363     void* JIT_STUB cti_op_switch_imm(STUB_ARGS_DECLARATION);
 364     void* JIT_STUB cti_op_switch_string(STUB_ARGS_DECLARATION);
 365     void* JIT_STUB cti_vm_lazyLinkCall(STUB_ARGS_DECLARATION);
 366 } // extern "C"
 367
 368 } // namespace JSC
 369
 370 #endif // ENABLE(JIT)
 371
 372 #endif // JITStubs_h