Domů Procházet Nápověda
Přihlásit se
SunnyMirror
/
ChakraCore
zrcadlo https://github.com/microsoft/ChakraCore.git
2
0
Rozštěpit 0
Soubory Úkoly 0 Wiki
Větev: release/1.5
Větve Značky
ChakraCore
/
lib
/
Backend
/
BailOutKind.h

BailOutKind.h 8.6 KB
Trvalý odkaz Historie Surový

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144 
  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_LAST) || !defined(BAIL_OUT_KIND_VALUE) || !defined(BAIL_OUT_KIND_VALUE_LAST)
    7. 

  7.     #error BAIL_OUT_KIND, BAIL_OUT_KIND_LAST, 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. 

  50. // SIMD_JS
    51. 

  51. BAIL_OUT_KIND(BailOutSimd128F4Only,                 0)
    52. 

  52. BAIL_OUT_KIND(BailOutSimd128I4Only,                 0)
    53. 

  53. BAIL_OUT_KIND(BailOutSimd128I8Only,                 0)
    54. 

  54. BAIL_OUT_KIND(BailOutSimd128I16Only,                 0)
    55. 

  55. BAIL_OUT_KIND(BailOutSimd128U4Only,                 0)
    56. 

  56. BAIL_OUT_KIND(BailOutSimd128U8Only,                 0)
    57. 

  57. BAIL_OUT_KIND(BailOutSimd128U16Only,                0)
    58. 

  58. BAIL_OUT_KIND(BailOutSimd128B4Only,                 0)
    59. 

  59. BAIL_OUT_KIND(BailOutSimd128B8Only,                 0)
    60. 

  60. BAIL_OUT_KIND(BailOutSimd128B16Only,                0)
    61. 

  61. BAIL_OUT_KIND(BailOutSimd128D2Only,                 0)
    62. 

  62. BAIL_OUT_KIND(BailOutNoSimdTypeSpec,                0)
    63. 

  63. 

  64. BAIL_OUT_KIND(BailOutKindEnd,                       0)
    65. 

  65. 

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

  67. // what additional checks must be done to determine whether to bail out.
    68. 

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

  69. 

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

  71. // ======================
    72. 

  72. // Result condition bits
    73. 

  73. // ======================
    74. 

  74. #define BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START BAIL_OUT_KIND_BIT_START
    75. 

  75. BAIL_OUT_KIND_VALUE(BailOutOnOverflow, 1 << (BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START + 0))
    76. 

  76. BAIL_OUT_KIND_VALUE(BailOutOnMulOverflow, 1 << (BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START + 1))
    77. 

  77. BAIL_OUT_KIND_VALUE(BailOutOnNegativeZero, 1 << (BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START + 2))
    78. 

  78. BAIL_OUT_KIND_VALUE(BailOutOnPowIntIntOverflow, 1 << (BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START + 3))
    79. 

  79. BAIL_OUT_KIND_VALUE(BailOutOnResultConditions, BailOutOnOverflow | BailOutOnMulOverflow | BailOutOnNegativeZero | BailOutOnPowIntIntOverflow)
    80. 

  80. // ================
    81. 

  81. // Array bits
    82. 

  82. // ================
    83. 

  83. #define BAIL_OUT_KIND_ARRAY_BIT_START BAIL_OUT_KIND_RESULT_CONDITIONS_BIT_START + 4
    84. 

  84. BAIL_OUT_KIND_VALUE(BailOutOnMissingValue, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 0))
    85. 

  85. BAIL_OUT_KIND_VALUE(BailOutConventionalNativeArrayAccessOnly, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 1))
    86. 

  86. BAIL_OUT_KIND_VALUE(BailOutConvertedNativeArray, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 2))
    87. 

  87. BAIL_OUT_KIND_VALUE(BailOutOnArrayAccessHelperCall, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 3))
    88. 

  88. BAIL_OUT_KIND_VALUE(BailOutOnInvalidatedArrayHeadSegment, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 4))
    89. 

  89. BAIL_OUT_KIND_VALUE(BailOutOnInvalidatedArrayLength, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 5))
    90. 

  90. BAIL_OUT_KIND_VALUE(BailOnStackArgsOutOfActualsRange, 1 << (BAIL_OUT_KIND_ARRAY_BIT_START + 6))
    91. 

  91. BAIL_OUT_KIND_VALUE(
    92. 

  92.     BailOutForArrayBits,
    93. 

  93.     (
    94. 

  94.         BailOutOnMissingValue |
    95. 

  95.         BailOutConventionalNativeArrayAccessOnly |
    96. 

  96.         BailOutConvertedNativeArray |
    97. 

  97.         BailOutOnArrayAccessHelperCall |
    98. 

  98.         BailOutOnInvalidatedArrayHeadSegment |
    99. 

  99.         BailOutOnInvalidatedArrayLength |
    100. 

  100.         BailOnStackArgsOutOfActualsRange
    101. 

  101.     ))
    102. 

  102. // ================
    103. 

  103. // Debug bits
    104. 

  104. // ================
    105. 

  105. #define BAIL_OUT_KIND_DEBUG_BIT_START BAIL_OUT_KIND_ARRAY_BIT_START + 7
    106. 

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

  107. BAIL_OUT_KIND_VALUE(BailOutForceByFlag, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 0))
    108. 

  108. 

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

  110. BAIL_OUT_KIND_VALUE(BailOutBreakPointInFunction, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 1))
    111. 

  111. 

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

  113. BAIL_OUT_KIND_VALUE(BailOutStackFrameBase, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 2))
    114. 

  114. 

  115. // When we return to a frame in which a value of a local was changed.
    116. 

  116. BAIL_OUT_KIND_VALUE(BailOutLocalValueChanged, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 3))
    117. 

  117. 

  118. // Unconditional bailout, e.g. for the 'debugger' statement.
    119. 

  119. BAIL_OUT_KIND_VALUE(BailOutExplicit, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 4))
    120. 

  120. BAIL_OUT_KIND_VALUE(BailOutStep, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 5))
    121. 

  121. BAIL_OUT_KIND_VALUE(BailOutIgnoreException, 1 << (BAIL_OUT_KIND_DEBUG_BIT_START + 6))
    122. 

  122. 

  123. BAIL_OUT_KIND_VALUE(BailOutForDebuggerBits, BailOutForceByFlag | BailOutBreakPointInFunction | BailOutStackFrameBase |
    124. 

  124.     BailOutLocalValueChanged | BailOutExplicit | BailOutStep | BailOutIgnoreException)
    125. 

  125. 

  126. // ======================
    127. 

  127. // Div Src Condition Bits
    128. 

  128. // ======================
    129. 

  129. #define BAIL_OUT_KIND_DIV_SRC_CONDITIONS_BIT_START BAIL_OUT_KIND_DEBUG_BIT_START + 7
    130. 

  130. BAIL_OUT_KIND_VALUE(BailOutOnDivByZero, 1 << (BAIL_OUT_KIND_DIV_SRC_CONDITIONS_BIT_START + 0))
    131. 

  131. BAIL_OUT_KIND_VALUE(BailOutOnDivOfMinInt, 1 << (BAIL_OUT_KIND_DIV_SRC_CONDITIONS_BIT_START + 1))
    132. 

  132. BAIL_OUT_KIND_VALUE(BailOutOnDivSrcConditions, BailOutOnDivByZero | BailOutOnDivOfMinInt)
    133. 

  133. 

  134. #define BAIL_OUT_KIND_MISC_BIT_START BAIL_OUT_KIND_DIV_SRC_CONDITIONS_BIT_START + 2
    135. 

  135. BAIL_OUT_KIND_VALUE(BailOutMarkTempObject, 1 << (BAIL_OUT_KIND_MISC_BIT_START + 0))
    136. 

  136. 

  137. 

  138. BAIL_OUT_KIND_VALUE_LAST(BailOutKindBits, BailOutMarkTempObject | BailOutOnDivSrcConditions | BailOutOnResultConditions | BailOutForArrayBits | BailOutForDebuggerBits)
    139. 

  139. 

  140. // Help caller undefine the macros
    141. 

  141. #undef BAIL_OUT_KIND_LAST
    142. 

  142. #undef BAIL_OUT_KIND
    143. 

  143. #undef BAIL_OUT_KIND_VALUE_LAST
    144. 

  144. #undef BAIL_OUT_KIND_VALUE
    145.