code.vuplus.com Git - vuplus_webkit/blob - Source/JavaScriptCore/dfg/DFGOperations.h

   1 /*
   2  * Copyright (C) 2011 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  * 1. Redistributions of source code must retain the above copyright
   8  *    notice, this list of conditions and the following disclaimer.
   9  * 2. Redistributions in binary form must reproduce the above copyright
  10  *    notice, this list of conditions and the following disclaimer in the
  11  *    documentation and/or other materials provided with the distribution.
  12  *
  13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
  14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
  17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
  18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
  19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
  21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  24  */
  25
  26 #ifndef DFGOperations_h
  27 #define DFGOperations_h
  28
  29 #if ENABLE(DFG_JIT)
  30
  31 #include <dfg/DFGJITCompiler.h>
  32
  33 namespace JSC { namespace DFG {
  34
  35 enum PutKind { Direct, NotDirect };
  36
  37 typedef intptr_t RegisterSizedBoolean;
  38
  39 extern "C" {
  40
  41 // These typedefs provide typechecking when generating calls out to helper routines;
  42 // this helps prevent calling a helper routine with the wrong arguments!
  43 typedef EncodedJSValue (*J_DFGOperation_EJJ)(ExecState*, EncodedJSValue, EncodedJSValue);
  44 typedef EncodedJSValue (*J_DFGOperation_EJ)(ExecState*, EncodedJSValue);
  45 typedef EncodedJSValue (*J_DFGOperation_EJP)(ExecState*, EncodedJSValue, void*);
  46 typedef EncodedJSValue (*J_DFGOperation_EJI)(ExecState*, EncodedJSValue, Identifier*);
  47 typedef EncodedJSValue (*J_DFGOperation_EP)(ExecState*, void*);
  48 typedef EncodedJSValue (*J_DFGOperation_EI)(ExecState*, Identifier*);
  49 typedef RegisterSizedBoolean (*Z_DFGOperation_EJ)(ExecState*, EncodedJSValue);
  50 typedef RegisterSizedBoolean (*Z_DFGOperation_EJJ)(ExecState*, EncodedJSValue, EncodedJSValue);
  51 typedef void (*V_DFGOperation_EJJJ)(ExecState*, EncodedJSValue, EncodedJSValue, EncodedJSValue);
  52 typedef void (*V_DFGOperation_EJJP)(ExecState*, EncodedJSValue, EncodedJSValue, void*);
  53 typedef void (*V_DFGOperation_EJJI)(ExecState*, EncodedJSValue, EncodedJSValue, Identifier*);
  54 typedef double (*D_DFGOperation_DD)(double, double);
  55 typedef void *(*P_DFGOperation_E)(ExecState*);
  56
  57 // These routines are provide callbacks out to C++ implementations of operations too complex to JIT.
  58 EncodedJSValue operationConvertThis(ExecState*, EncodedJSValue encodedOp1);
  59 EncodedJSValue operationValueAdd(ExecState*, EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  60 EncodedJSValue operationValueAddNotNumber(ExecState*, EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  61 EncodedJSValue operationArithAdd(EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  62 EncodedJSValue operationArithSub(EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  63 EncodedJSValue operationArithMul(EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  64 EncodedJSValue operationArithDiv(EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  65 EncodedJSValue operationArithMod(EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  66 EncodedJSValue operationGetByVal(ExecState*, EncodedJSValue encodedBase, EncodedJSValue encodedProperty);
  67 EncodedJSValue operationGetById(ExecState*, EncodedJSValue encodedBase, Identifier*);
  68 EncodedJSValue operationGetByIdBuildList(ExecState*, EncodedJSValue encodedBase, Identifier*);
  69 EncodedJSValue operationGetByIdProtoBuildList(ExecState*, EncodedJSValue encodedBase, Identifier*);
  70 EncodedJSValue operationGetByIdOptimize(ExecState*, EncodedJSValue encodedBase, Identifier*);
  71 EncodedJSValue operationGetMethodOptimize(ExecState*, EncodedJSValue encodedBase, Identifier*);
  72 EncodedJSValue operationInstanceOf(ExecState*, EncodedJSValue value, EncodedJSValue base, EncodedJSValue prototype);
  73 EncodedJSValue operationResolve(ExecState*, Identifier*);
  74 EncodedJSValue operationResolveBase(ExecState*, Identifier*);
  75 EncodedJSValue operationResolveBaseStrictPut(ExecState*, Identifier*);
  76 void operationThrowHasInstanceError(ExecState*, EncodedJSValue base);
  77 void operationPutByValStrict(ExecState*, EncodedJSValue encodedBase, EncodedJSValue encodedProperty, EncodedJSValue encodedValue);
  78 void operationPutByValNonStrict(ExecState*, EncodedJSValue encodedBase, EncodedJSValue encodedProperty, EncodedJSValue encodedValue);
  79 void operationPutByValBeyondArrayBounds(ExecState*, JSArray*, int32_t index, EncodedJSValue encodedValue);
  80 void operationPutByIdStrict(ExecState*, EncodedJSValue encodedValue, EncodedJSValue encodedBase, Identifier*);
  81 void operationPutByIdNonStrict(ExecState*, EncodedJSValue encodedValue, EncodedJSValue encodedBase, Identifier*);
  82 void operationPutByIdDirectStrict(ExecState*, EncodedJSValue encodedValue, EncodedJSValue encodedBase, Identifier*);
  83 void operationPutByIdDirectNonStrict(ExecState*, EncodedJSValue encodedValue, EncodedJSValue encodedBase, Identifier*);
  84 void operationPutByIdStrictOptimize(ExecState*, EncodedJSValue encodedValue, EncodedJSValue encodedBase, Identifier*);
  85 void operationPutByIdNonStrictOptimize(ExecState*, EncodedJSValue encodedValue, EncodedJSValue encodedBase, Identifier*);
  86 void operationPutByIdDirectStrictOptimize(ExecState*, EncodedJSValue encodedValue, EncodedJSValue encodedBase, Identifier*);
  87 void operationPutByIdDirectNonStrictOptimize(ExecState*, EncodedJSValue encodedValue, EncodedJSValue encodedBase, Identifier*);
  88 RegisterSizedBoolean operationCompareLess(ExecState*, EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  89 RegisterSizedBoolean operationCompareLessEq(ExecState*, EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  90 RegisterSizedBoolean operationCompareGreater(ExecState*, EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  91 RegisterSizedBoolean operationCompareGreaterEq(ExecState*, EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  92 RegisterSizedBoolean operationCompareEq(ExecState*, EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  93 RegisterSizedBoolean operationCompareStrictEqCell(ExecState*, EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  94 RegisterSizedBoolean operationCompareStrictEq(ExecState*, EncodedJSValue encodedOp1, EncodedJSValue encodedOp2);
  95 void* operationVirtualCall(ExecState*);
  96 void* operationLinkCall(ExecState*);
  97 void* operationVirtualConstruct(ExecState*);
  98 void* operationLinkConstruct(ExecState*);
  99
 100 // This method is used to lookup an exception hander, keyed by faultLocation, which is
 101 // the return location from one of the calls out to one of the helper operations above.
 102 struct DFGHandler {
 103     DFGHandler(ExecState* exec, void* handler)
 104         : exec(exec)
 105         , handler(handler)
 106     {
 107     }
 108
 109     ExecState* exec;
 110     void* handler;
 111 };
 112 DFGHandler lookupExceptionHandler(ExecState*, ReturnAddressPtr faultLocation);
 113
 114 // These operations implement the implicitly called ToInt32, ToNumber, and ToBoolean conversions from ES5.
 115 double dfgConvertJSValueToNumber(ExecState*, EncodedJSValue);
 116 int32_t dfgConvertJSValueToInt32(ExecState*, EncodedJSValue);
 117 RegisterSizedBoolean dfgConvertJSValueToBoolean(ExecState*, EncodedJSValue);
 118
 119 #if ENABLE(DFG_VERBOSE_SPECULATION_FAILURE)
 120 void debugOperationPrintSpeculationFailure(ExecState*, void*);
 121 #endif
 122
 123 } // extern "C"
 124 } } // namespace JSC::DFG
 125
 126 #endif
 127 #endif