Inicio Explorar Axuda
Iniciar sesión
SunnyMirror
/
ChakraCore
réplica de https://github.com/microsoft/ChakraCore.git
2
0
Fork 0
Ficheiros Incidencias 0 Wiki
Rama: release/1.8
Ramas Etiquetas
ChakraCore
/
lib
/
Backend
/
BailOutKind.h

BailOutKind.h 8.6 KB
Permalink Histórico Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137 
  1. //-------------------------------------------------------------------------------------------------------
    2. 

  2. // Copyright (C) Microsoft Corporation and contributors. All rights reserved.
    3. 

  3. // Licensed under the MIT license. See LICENSE.txt file in the project root for full license information.
    4. 

  4. //-------------------------------------------------------------------------------------------------------
    5. 

  5. 

  6. #if !defined(BAIL_OUT_KIND) || !defined(BAIL_OUT_KIND_VALUE) || !defined(BAIL_OUT_KIND_VALUE_LAST)
    7. 

  7.     #error BAIL_OUT_KIND, BAIL_OUT_KIND_VALUE, and BAIL_OUT_KIND_VALUE_LAST must be defined before including this file.
    8. 

  8. #endif
    9. 

  9.                /* kind */                           /* allowed bits */
    10. 

  10. BAIL_OUT_KIND(BailOutInvalid,                       IR::BailOutOnResultConditions | IR::BailOutForArrayBits | IR::BailOutForDebuggerBits | IR::BailOutMarkTempObject)
    11. 

  11. BAIL_OUT_KIND(BailOutIntOnly,                       IR::BailOutMarkTempObject)
    12. 

  12. BAIL_OUT_KIND(BailOutNumberOnly,                    IR::BailOutMarkTempObject)
    13. 

  13. BAIL_OUT_KIND(BailOutPrimitiveButString,            IR::BailOutMarkTempObject)
    14. 

  14. BAIL_OUT_KIND(BailOutOnImplicitCalls,               IR::BailOutForArrayBits)
    15. 

  15. BAIL_OUT_KIND(BailOutOnImplicitCallsPreOp,          (IR::BailOutOnResultConditions | IR::BailOutForArrayBits | IR::BailOutMarkTempObject) & ~IR::BailOutOnArrayAccessHelperCall )
    16. 

  16. BAIL_OUT_KIND(BailOutOnNotPrimitive,                IR::BailOutMarkTempObject)
    17. 

  17. BAIL_OUT_KIND(BailOutOnMemOpError,                  IR::BailOutForArrayBits)
    18. 

  18. BAIL_OUT_KIND(BailOutOnInlineFunction,              0)
    19. 

  19. BAIL_OUT_KIND(BailOutOnNoProfile,                   0)
    20. 

  20. BAIL_OUT_KIND(BailOutOnPolymorphicInlineFunction,   0)
    21. 

  21. BAIL_OUT_KIND(BailOutOnFailedPolymorphicInlineTypeCheck,   0)
    22. 

  22. BAIL_OUT_KIND(BailOutShared,                        0)
    23. 

  23. BAIL_OUT_KIND(BailOutOnNotArray,                    IR::BailOutOnMissingValue)
    24. 

  24. BAIL_OUT_KIND(BailOutOnNotNativeArray,              IR::BailOutOnMissingValue)
    25. 

  25. BAIL_OUT_KIND(BailOutConventionalTypedArrayAccessOnly, IR::BailOutMarkTempObject)
    26. 

  26. BAIL_OUT_KIND(BailOutOnIrregularLength,             IR::BailOutMarkTempObject)
    27. 

  27. BAIL_OUT_KIND(BailOutCheckThis,                     0)
    28. 

  28. BAIL_OUT_KIND(BailOutOnTaggedValue,                 0)
    29. 

  29. BAIL_OUT_KIND(BailOutFailedTypeCheck,               IR::BailOutMarkTempObject)
    30. 

  30. BAIL_OUT_KIND(BailOutFailedEquivalentTypeCheck,     IR::BailOutMarkTempObject)
    31. 

  31. BAIL_OUT_KIND(BailOutInjected,                      0)
    32. 

  32. BAIL_OUT_KIND(BailOutExpectingInteger,              0)
    33. 

  33. BAIL_OUT_KIND(BailOutExpectingString,               0)
    34. 

  34. BAIL_OUT_KIND(BailOutFailedInlineTypeCheck,         IR::BailOutMarkTempObject)
    35. 

  35. BAIL_OUT_KIND(BailOutFailedFixedFieldTypeCheck,     IR::BailOutMarkTempObject)
    36. 

  36. BAIL_OUT_KIND(BailOutFailedFixedFieldCheck,         0)
    37. 

  37. BAIL_OUT_KIND(BailOutFailedEquivalentFixedFieldTypeCheck,     IR::BailOutMarkTempObject)
    38. 

  38. BAIL_OUT_KIND(BailOutOnFloor,                       0)
    39. 

  39. BAIL_OUT_KIND(BailOnModByPowerOf2,                  0)
    40. 

  40. BAIL_OUT_KIND(BailOnIntMin,                         0)
    41. 

  41. BAIL_OUT_KIND(BailOnDivResultNotInt,                IR::BailOutOnDivByZero | IR::BailOutOnDivOfMinInt | IR::BailOutOnNegativeZero)
    42. 

  42. BAIL_OUT_KIND(BailOnSimpleJitToFullJitLoopBody,     0)
    43. 

  43. BAIL_OUT_KIND(BailOutFailedCtorGuardCheck,          0)
    44. 

  44. BAIL_OUT_KIND(BailOutOnFailedHoistedBoundCheck,     0)
    45. 

  45. BAIL_OUT_KIND(LazyBailOut,                          0)
    46. 

  46. BAIL_OUT_KIND(BailOutOnFailedHoistedLoopCountBasedBoundCheck, 0)
    47. 

  47. BAIL_OUT_KIND(BailOutForGeneratorYield,             0)
    48. 

  48. BAIL_OUT_KIND(BailOutOnException,                   0)
    49. 

  49. BAIL_OUT_KIND(BailOutOnEarlyExit,                   0)
    50. 

  50. 

  51. #ifdef ENABLE_SIMDJS
    52. 

  52. // SIMD_JS
    53. 

  53. BAIL_OUT_KIND(BailOutSimd128F4Only,                 0)
    54. 

  54. BAIL_OUT_KIND(BailOutSimd128I4Only,                 0)
    55. 

  55. BAIL_OUT_KIND(BailOutSimd128I8Only,                 0)
    56. 

  56. BAIL_OUT_KIND(BailOutSimd128I16Only,                0)
    57. 

  57. BAIL_OUT_KIND(BailOutSimd128U4Only,                 0)
    58. 

  58. BAIL_OUT_KIND(BailOutSimd128U8Only,                 0)
    59. 

  59. BAIL_OUT_KIND(BailOutSimd128U16Only,                0)
    60. 

  60. BAIL_OUT_KIND(BailOutSimd128B4Only,                 0)
    61. 

  61. BAIL_OUT_KIND(BailOutSimd128B8Only,                 0)
    62. 

  62. BAIL_OUT_KIND(BailOutSimd128B16Only,                0)
    63. 

  63. BAIL_OUT_KIND(BailOutSimd128D2Only,                 0)
    64. 

  64. BAIL_OUT_KIND(BailOutNoSimdTypeSpec,                0)
    65. 

  65. #endif
    66. 

  66. 

  67. BAIL_OUT_KIND(BailOutKindEnd,                       0)
    68. 

  68. 

  69. // One bailout instruction can have multiple of the following reasons for bailout combined with any of the above. These tell
    70. 

  70. // what additional checks must be done to determine whether to bail out.
    71. 

  71. BAIL_OUT_KIND(BailOutKindBitsStart, 0) // fake bail out kind to indicate start index for kinds below
    72. 

  72. 

  73. #define BAIL_OUT_KIND_BIT_START 10      // We can have 2^10 or 1024 bailout condition above
    74. 

  74. // ======================
    75. 

  75. // Result condition bits
    76. 

  76. // ======================
    77. 

  77. #define BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START BAIL_OUT_KIND_BIT_START
    78. 

  78. BAIL_OUT_KIND_VALUE(BailOutOnOverflow, 1 << (BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START + 0))
    79. 

  79. BAIL_OUT_KIND_VALUE(BailOutOnMulOverflow, 1 << (BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START + 1))
    80. 

  80. BAIL_OUT_KIND_VALUE(BailOutOnNegativeZero, 1 << (BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START + 2))
    81. 

  81. BAIL_OUT_KIND_VALUE(BailOutOnPowIntIntOverflow, 1 << (BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START + 3))
    82. 

  82. BAIL_OUT_KIND_VALUE(BailOutOnResultConditions, BailOutOnOverflow | BailOutOnMulOverflow | BailOutOnNegativeZero | BailOutOnPowIntIntOverflow)
    83. 

  83. 

  84. // ================
    85. 

  85. // Array bits
    86. 

  86. // ================
    87. 

  87. #define BAIL_OUT_KIND_ARRAY_BIT_START BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START + 4
    88. 

  88. BAIL_OUT_KIND_VALUE(BailOutOnMissingValue, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 0))
    89. 

  89. BAIL_OUT_KIND_VALUE(BailOutConventionalNativeArrayAccessOnly, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 1))
    90. 

  90. BAIL_OUT_KIND_VALUE(BailOutConvertedNativeArray, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 2))
    91. 

  91. BAIL_OUT_KIND_VALUE(BailOutOnArrayAccessHelperCall, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 3))
    92. 

  92. BAIL_OUT_KIND_VALUE(BailOutOnInvalidatedArrayHeadSegment, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 4))
    93. 

  93. BAIL_OUT_KIND_VALUE(BailOutOnInvalidatedArrayLength, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 5))
    94. 

  94. BAIL_OUT_KIND_VALUE(BailOnStackArgsOutOfActualsRange, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 6))
    95. 

  95. BAIL_OUT_KIND_VALUE(    BailOutForArrayBits,    (        BailOutOnMissingValue |        BailOutConventionalNativeArrayAccessOnly |        BailOutConvertedNativeArray |        BailOutOnArrayAccessHelperCall |        BailOutOnInvalidatedArrayHeadSegment |        BailOutOnInvalidatedArrayLength |        BailOnStackArgsOutOfActualsRange    ))
    96. 

  96. 

  97. // ================
    98. 

  98. // Debug bits
    99. 

  99. // ================
    100. 

  100. #define BAIL_OUT_KIND_DEBUG_BIT_START BAIL_OUT_KIND_ARRAY_BIT_START + 7
    101. 

  101. // Forced bailout by ThreadContext::m_forceInterpreter, e.g. for async break when we enter a function.
    102. 

  102. BAIL_OUT_KIND_VALUE(BailOutForceByFlag, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 0))
    103. 

  103. 

  104. // When a function has a breakpoint, we need to bail out when we enter/return back to it.
    105. 

  105. BAIL_OUT_KIND_VALUE(BailOutBreakPointInFunction, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 1))
    106. 

  106. 

  107. // Used for stepping/on return from func. Bails out when current frame addr is greater than DebuggingFlags.m_stepEffectiveFrameBase.
    108. 

  108. BAIL_OUT_KIND_VALUE(BailOutStackFrameBase, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 2))
    109. 

  109. 

  110. // When we return to a frame in which a value of a local was changed.
    111. 

  111. BAIL_OUT_KIND_VALUE(BailOutLocalValueChanged, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 3))
    112. 

  112. 

  113. // Unconditional bailout, e.g. for the 'debugger' statement.
    114. 

  114. BAIL_OUT_KIND_VALUE(BailOutExplicit, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 4))
    115. 

  115. BAIL_OUT_KIND_VALUE(BailOutStep, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 5))
    116. 

  116. BAIL_OUT_KIND_VALUE(BailOutIgnoreException, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 6))
    117. 

  117. 

  118. BAIL_OUT_KIND_VALUE(BailOutForDebuggerBits, BailOutForceByFlag | BailOutBreakPointInFunction | BailOutStackFrameBase | BailOutLocalValueChanged | BailOutExplicit | BailOutStep | BailOutIgnoreException)
    119. 

  119. 

  120. // ======================
    121. 

  121. // Div Src Condition Bits
    122. 

  122. // ======================
    123. 

  123. #define BAIL_OUT_KIND_DIV_SRC_CONDITIONS_BIT_START BAIL_OUT_KIND_DEBUG_BIT_START + 7
    124. 

  124. BAIL_OUT_KIND_VALUE(BailOutOnDivByZero, 1 << (BAIL_OUT_KIND_DIV_SRC_CONDITIONS_BIT_START + 0))
    125. 

  125. BAIL_OUT_KIND_VALUE(BailOutOnDivOfMinInt, 1 << (BAIL_OUT_KIND_DIV_SRC_CONDITIONS_BIT_START + 1))
    126. 

  126. BAIL_OUT_KIND_VALUE(BailOutOnDivSrcConditions, BailOutOnDivByZero | BailOutOnDivOfMinInt)
    127. 

  127. 

  128. #define BAIL_OUT_KIND_MISC_BIT_START BAIL_OUT_KIND_DIV_SRC_CONDITIONS_BIT_START + 2
    129. 

  129. BAIL_OUT_KIND_VALUE(BailOutMarkTempObject, 1 << (BAIL_OUT_KIND_MISC_BIT_START + 0))
    130. 

  130. 

  131. 

  132. BAIL_OUT_KIND_VALUE_LAST(BailOutKindBits, BailOutMarkTempObject | BailOutOnDivSrcConditions | BailOutOnResultConditions | BailOutForArrayBits | BailOutForDebuggerBits)
    133. 

  133. 

  134. // Help caller undefine the macros
    135. 

  135. #undef BAIL_OUT_KIND
    136. 

  136. #undef BAIL_OUT_KIND_VALUE_LAST
    137. 

  137. #undef BAIL_OUT_KIND_VALUE
    138.