Advertisement
Guest User

DFG changes

a guest
Jan 2nd, 2019
56
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 52.57 KB | None | 0 0
  1. Graph just before FTL lowering:
  2.  
  3. DFG for f#BgXz7e:[0x109554660->0x109554220->0x109580f20, DFGFunctionCall, 253 (DidTryToEnterInLoop)]:
  4. Fixpoint state: FixpointConverged; Form: SSA; Unification state: GloballyUnified; Ref count state: ExactRefCount
  5. Argument formats for entrypoint index: 0 : FlushedJSValue
  6.  
  7. Block #0 (bc#0):
  8. Execution count: 1.000000
  9. Predecessors:
  10. Successors: #2
  11. Dominated by: #0
  12. Dominates: #0 #1 #2 #3 #4 #5 #6 #7 #8 #9 #10 #11 #12 #13 #14 #15
  13. Dominance Frontier:
  14. Iterated Dominance Frontier:
  15. Backwards dominates by: #root #0 #2 #11 #14 #15
  16. Backwards dominates: #0
  17. Control equivalent to: #0 #2 #11 #14 #15
  18. States: StructuresAreWatched
  19. Live:
  20. Values:
  21. 53:< 1:-> JSConstant(JS|PureInt|UseAsInt, NonBoolInt32, Int32: 255, bc#0, ExitInvalid)
  22. 99:< 2:-> JSConstant(JS|PureNum|UseAsOther, NonBoolInt32, Int32: 2, bc#0, ExitInvalid)
  23. 110:< 1:-> JSConstant(JS|PureNum|UseAsOther, NonBoolInt32, Int32: 3000000, bc#0, ExitInvalid)
  24. 67:< 5:-> JSConstant(JS|PureNum|UseAsOther, BoolInt32, Int32: 1, bc#0, ExitInvalid)
  25. 163:< 1:-> JSConstant(JS|PureNum|UseAsOther, NonBoolInt32, Int32: 4, bc#0, ExitInvalid)
  26. 131:< 2:-> JSConstant(JS|PureNum|UseAsOther, NonBoolInt32, Int32: 3, bc#0, ExitInvalid)
  27. 57:< 6:-> JSConstant(JS|PureInt|UseAsInt, BoolInt32, Int32: 0, bc#0, ExitInvalid)
  28. 48:< 8:-> JSConstant(JS|UseAsOther, Int8Array, Weak:Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, bc#0, ExitInvalid)
  29. 23:<!0:-> InitializeEntrypointArguments(MustGen, W:SideState, ClobbersExit, bc#0, ExitInvalid)
  30. 143:<!0:-> ExitOK(MustGen, W:SideState, bc#0, ExitInvalid)
  31. 46:< 1:-> ExtractOSREntryLocal(JS|UseAsOther, OtherObj, loc4, bc#0, ExitInvalid)
  32. 111:<!0:-> KillStack(MustGen, loc4, W:Stack(-5), ClobbersExit, bc#0, ExitInvalid)
  33. 50:<!0:-> MovHint(Check:Untyped:Kill:@46, MustGen, loc4, W:SideState, ClobbersExit, bc#0, ExitInvalid)
  34. 52:< 3:-> ExtractOSREntryLocal(JS|PureNum, NonBoolInt32, loc6, bc#0, ExitInvalid)
  35. 107:<!0:-> KillStack(MustGen, loc6, W:Stack(-7), ClobbersExit, bc#0, ExitInvalid)
  36. 66:<!0:-> MovHint(Check:Untyped:@52, MustGen, loc6, W:SideState, ClobbersExit, bc#0, ExitInvalid)
  37. 70:< 3:-> ExtractOSREntryLocal(JS|PureNum, BoolInt32, loc7, bc#0, ExitInvalid)
  38. 103:<!0:-> KillStack(MustGen, loc7, W:Stack(-8), ClobbersExit, bc#0, ExitInvalid)
  39. 74:<!0:-> MovHint(Check:Untyped:@70, MustGen, loc7, W:SideState, ClobbersExit, bc#0, ExitInvalid)
  40. 78:<!0:-> Check(Check:Int32:@52, MustGen, Exits, bc#25, ExitValid)
  41. 80:<!0:-> Check(Check:Int32:@70, MustGen, Exits, bc#25, ExitValid)
  42. 96:< 1:-> Upsilon(KnownInt32:Kill:@52, ^135, W:SideState, bc#25, ExitValid)
  43. 18:< 1:-> Upsilon(KnownInt32:Kill:@70, ^21, W:SideState, bc#25, ExitValid)
  44. 34:< 4:-> ConstantStoragePointer(Storage|PureInt, 0x800000000, Exits, bc#53, exit: bc#25, ExitValid)
  45. 32:< 4:-> JSConstant(Int32|PureInt, Int32, Int32: 65536, bc#53, exit: bc#25, ExitValid)
  46. 82:<!0:-> Jump(MustGen, T:#2, W:SideState, bc#25, ExitValid)
  47. States: InvalidBranchDirection, StructuresAreWatched
  48. Live: shadow(@21), @32, @34, @48, @53, @57, @67, @99, @110, @131, shadow(@135), @163
  49. Values: shadow(@21)=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), shadow(@135)=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  50.  
  51. Block #1 (bc#25):
  52. Execution count: 10.000000
  53. Predecessors: #14
  54. Successors: #2
  55. Dominated by: #0 #1 #2 #11 #14
  56. Dominates: #1
  57. Dominance Frontier: #2
  58. Iterated Dominance Frontier: #2
  59. Backwards dominates by: #root #1 #2 #11 #14 #15
  60. Backwards dominates: #1
  61. Control equivalent to: #1
  62. Containing loop headers: #2
  63. States: StructuresAreWatched
  64. Live: @32, @34, @48, @53, @57, @67, @99, @110, @122, @130, @131, @163
  65. Values: @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @122=>(Int32, 1:StructuresAreWatched), @130=>(Int32, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  66. 117:<!0:-> ExitOK(MustGen, W:SideState, bc#25, ExitValid)
  67. 113:< 1:-> Upsilon(KnownInt32:Kill:@130, ^135, W:SideState, bc#25, ExitValid)
  68. 108:< 1:-> Upsilon(KnownInt32:Kill:@122, ^21, W:SideState, bc#25, ExitValid)
  69. 26:<!0:-> Jump(MustGen, T:#2, W:SideState, bc#25, ExitValid)
  70. States: InvalidBranchDirection, StructuresAreWatched
  71. Live: shadow(@21), @32, @34, @48, @53, @57, @67, @99, @110, @131, shadow(@135), @163
  72. Values: shadow(@21)=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), shadow(@135)=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  73.  
  74. Block #2 (bc#25): (OSR target)
  75. Execution count: 10.000000
  76. Predecessors: #0 #1
  77. Successors: #3 #10
  78. Dominated by: #0 #2
  79. Dominates: #1 #2 #3 #4 #5 #6 #7 #8 #9 #10 #11 #12 #13 #14 #15
  80. Dominance Frontier: #2
  81. Iterated Dominance Frontier: #2
  82. Backwards dominates by: #root #2 #11 #14 #15
  83. Backwards dominates: #0 #1 #2
  84. Control equivalent to: #0 #2 #11 #14 #15
  85. Loop header, contains: #1 #2 #3 #4 #5 #6 #7 #8 #9 #10 #11 #12 #13 #14
  86. Containing loop headers: #2
  87. States: StructuresAreWatched
  88. Live: shadow(@21), @32, @34, @48, @53, @57, @67, @99, @110, @131, shadow(@135), @163
  89. Values: shadow(@21)=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), shadow(@135)=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  90. 135:< 3:-> Phi(Int32|PureInt, Int32, W:SideState, bc#25, ExitInvalid)
  91. 33:<!0:-> MovHint(Check:Untyped:@135, MustGen, loc6, W:SideState, ClobbersExit, bc#25, ExitInvalid)
  92. 21:< 2:-> Phi(Int32|PureInt, BoolInt32, W:SideState, bc#25, ExitInvalid)
  93. 90:<!0:-> MovHint(Check:Untyped:@21, MustGen, loc7, W:SideState, ClobbersExit, bc#25, ExitInvalid)
  94. 19:<!0:-> ExitOK(MustGen, W:SideState, bc#25, ExitValid)
  95. 40:<!0:-> LoopHint(MustGen, W:SideState, bc#25, ExitValid)
  96. 41:<!0:-> InvalidationPoint(MustGen, W:SideState, Exits, bc#26, ExitValid)
  97. 79:<!0:-> KillStack(MustGen, loc11, W:Stack(-12), ClobbersExit, bc#27, ExitValid)
  98. 45:<!0:-> ZombieHint(MustGen, loc11, W:SideState, ClobbersExit, bc#27, ExitInvalid)
  99. 75:<!0:-> KillStack(MustGen, loc12, W:Stack(-13), ClobbersExit, bc#34, ExitValid)
  100. 49:<!0:-> MovHint(Check:Untyped:@48, MustGen, loc12, W:SideState, ClobbersExit, bc#34, ExitInvalid)
  101. 54:< 9:-> ArithBitAnd(Int32:@135, Int32:@53, Int32|PureInt|UseAsInt, Int32, Exits, bc#44, ExitValid)
  102. 71:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#44, ExitInvalid)
  103. 55:<!0:-> ZombieHint(MustGen, loc13, W:SideState, ClobbersExit, bc#44, ExitInvalid)
  104. 64:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#49, ExitInvalid)
  105. 59:<!0:-> MovHint(Check:Untyped:@54, MustGen, loc13, W:SideState, ClobbersExit, bc#49, ExitInvalid)
  106. 29:<!0:-> CheckInBounds(Int32:@54, KnownInt32:@32, MustGen, Int32, Exits, bc#53, ExitValid)
  107. 61:<!2:-> GetByVal(KnownCell:@48, Int32:@54, Check:Untyped:@34, JS|MustGen|VarArgs|PureInt|UseAsInt, Int32, Int8Array+OriginalNonArray+InBounds+AsIs+Read, R:TypedArrayProperties,MiscFields, Exits, bc#53, ExitValid) predicting BoolInt32
  108. 16:<!0:-> KillStack(MustGen, loc10, W:Stack(-11), ClobbersExit, bc#53, ExitInvalid)
  109. 62:<!0:-> ZombieHint(MustGen, loc10, W:SideState, ClobbersExit, bc#53, ExitInvalid)
  110. 35:<!0:-> KillStack(MustGen, loc10, W:Stack(-11), ClobbersExit, bc#58, ExitInvalid)
  111. 65:<!0:-> MovHint(Check:Untyped:@61, MustGen, loc10, W:SideState, ClobbersExit, bc#58, ExitInvalid)
  112. 68:< 1:-> CompareEq(Int32:Kill:@61, Int32:@67, Boolean|UseAsOther, Bool, Exits, bc#63, ExitValid)
  113. 69:<!0:-> Branch(KnownBoolean:Kill:@68, MustGen, T:#3/w:10.000000, F:#10/w:10.000000, W:SideState, bc#63, ExitInvalid)
  114. States: TakeBoth, StructuresAreWatched
  115. Live: @21, @32, @34, @48, @53, @54, @57, @67, @99, @110, @131, @135, @163
  116. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @54=>(Int32, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  117.  
  118. Block #3 (bc#67):
  119. Execution count: 10.000000
  120. Predecessors: #2
  121. Successors: #4 #8
  122. Dominated by: #0 #2 #3
  123. Dominates: #3 #4 #5 #6 #7 #8 #9
  124. Dominance Frontier: #11
  125. Iterated Dominance Frontier: #2 #11
  126. Backwards dominates by: #root #3 #9 #11 #14 #15
  127. Backwards dominates: #3
  128. Control equivalent to: #3 #9
  129. Containing loop headers: #2
  130. States: StructuresAreWatched
  131. Live: @21, @32, @34, @48, @53, @54, @57, @67, @99, @110, @131, @135, @163
  132. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @54=>(Int32, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  133. 58:<!0:-> ExitOK(MustGen, W:SideState, bc#67, ExitValid)
  134. 17:<!0:-> KillStack(MustGen, loc11, W:Stack(-12), ClobbersExit, bc#67, ExitValid)
  135. 73:<!0:-> ZombieHint(MustGen, loc11, W:SideState, ClobbersExit, bc#67, ExitInvalid)
  136. 51:<!0:-> KillStack(MustGen, loc12, W:Stack(-13), ClobbersExit, bc#74, ExitValid)
  137. 77:<!0:-> MovHint(Check:Untyped:@48, MustGen, loc12, W:SideState, ClobbersExit, bc#74, ExitInvalid)
  138. 47:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#84, ExitInvalid)
  139. 83:<!0:-> MovHint(Check:Untyped:@54, MustGen, loc13, W:SideState, ClobbersExit, bc#84, ExitInvalid)
  140. 86:<!3:-> ArithAdd(Int32:@54, Int32:@67, JS|MustGen|PureInt|UseAsInt, Int32, Unchecked, Exits, bc#89, ExitValid)
  141. 43:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#89, ExitInvalid)
  142. 87:<!0:-> ZombieHint(MustGen, loc13, W:SideState, ClobbersExit, bc#89, ExitInvalid)
  143. 84:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#95, ExitInvalid)
  144. 91:<!0:-> MovHint(Check:Untyped:@86, MustGen, loc13, W:SideState, ClobbersExit, bc#95, ExitInvalid)
  145. 28:<!0:-> CheckInBounds(Int32:@86, KnownInt32:@32, MustGen, Int32, Exits, bc#99, ExitValid)
  146. 93:<!2:-> GetByVal(KnownCell:@48, Int32:Kill:@86, Check:Untyped:@34, JS|MustGen|VarArgs|PureInt|UseAsInt, Int32, Int8Array+NonArray+InBounds+AsIs+Read, R:TypedArrayProperties,MiscFields, Exits, bc#99, ExitValid) predicting None
  147. 30:<!0:-> KillStack(MustGen, loc10, W:Stack(-11), ClobbersExit, bc#99, ExitInvalid)
  148. 94:<!0:-> ZombieHint(MustGen, loc10, W:SideState, ClobbersExit, bc#99, ExitInvalid)
  149. 56:<!0:-> KillStack(MustGen, loc10, W:Stack(-11), ClobbersExit, bc#104, ExitInvalid)
  150. 97:<!0:-> MovHint(Check:Untyped:@93, MustGen, loc10, W:SideState, ClobbersExit, bc#104, ExitInvalid)
  151. 100:< 1:-> CompareEq(Int32:Kill:@93, Int32:@99, Boolean|UseAsOther, Bool, Exits, bc#109, ExitValid)
  152. 101:<!0:-> Branch(KnownBoolean:Kill:@100, MustGen, T:#4/w:10.000000, F:#8/w:10.000000, W:SideState, bc#109, ExitInvalid)
  153. States: TakeBoth, StructuresAreWatched
  154. Live: @21, @32, @34, @48, @53, @54, @57, @67, @99, @110, @131, @135, @163
  155. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @54=>(Int32, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  156.  
  157. Block #4 (bc#113):
  158. Execution count: 10.000000
  159. Predecessors: #3
  160. Successors: #5 #6
  161. Dominated by: #0 #2 #3 #4
  162. Dominates: #4 #5 #6 #7
  163. Dominance Frontier: #9
  164. Iterated Dominance Frontier: #2 #9 #11
  165. Backwards dominates by: #root #4 #7 #9 #11 #14 #15
  166. Backwards dominates: #4
  167. Control equivalent to: #4 #7
  168. Containing loop headers: #2
  169. States: StructuresAreWatched
  170. Live: @21, @32, @34, @48, @53, @54, @57, @67, @99, @110, @131, @135, @163
  171. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @54=>(Int32, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  172. 63:<!0:-> ExitOK(MustGen, W:SideState, bc#113, ExitValid)
  173. 60:<!0:-> KillStack(MustGen, loc11, W:Stack(-12), ClobbersExit, bc#113, ExitValid)
  174. 105:<!0:-> ZombieHint(MustGen, loc11, W:SideState, ClobbersExit, bc#113, ExitInvalid)
  175. 15:<!0:-> KillStack(MustGen, loc12, W:Stack(-13), ClobbersExit, bc#120, ExitValid)
  176. 109:<!0:-> MovHint(Check:Untyped:@48, MustGen, loc12, W:SideState, ClobbersExit, bc#120, ExitInvalid)
  177. 14:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#130, ExitInvalid)
  178. 115:<!0:-> MovHint(Check:Untyped:@54, MustGen, loc13, W:SideState, ClobbersExit, bc#130, ExitInvalid)
  179. 118:<!3:-> ArithAdd(Int32:@54, Int32:@99, JS|MustGen|PureInt|UseAsInt, Int32, Unchecked, Exits, bc#135, ExitValid)
  180. 13:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#135, ExitInvalid)
  181. 119:<!0:-> ZombieHint(MustGen, loc13, W:SideState, ClobbersExit, bc#135, ExitInvalid)
  182. 12:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#141, ExitInvalid)
  183. 123:<!0:-> MovHint(Check:Untyped:@118, MustGen, loc13, W:SideState, ClobbersExit, bc#141, ExitInvalid)
  184. 154:<!0:-> CheckInBounds(Int32:@118, KnownInt32:@32, MustGen, Int32, Exits, bc#145, ExitValid)
  185. 125:<!2:-> GetByVal(KnownCell:@48, Int32:Kill:@118, Check:Untyped:@34, JS|MustGen|VarArgs|PureInt|UseAsInt, Int32, Int8Array+NonArray+InBounds+AsIs+Read, R:TypedArrayProperties,MiscFields, Exits, bc#145, ExitValid) predicting None
  186. 11:<!0:-> KillStack(MustGen, loc10, W:Stack(-11), ClobbersExit, bc#145, ExitInvalid)
  187. 126:<!0:-> ZombieHint(MustGen, loc10, W:SideState, ClobbersExit, bc#145, ExitInvalid)
  188. 10:<!0:-> KillStack(MustGen, loc10, W:Stack(-11), ClobbersExit, bc#150, ExitInvalid)
  189. 129:<!0:-> MovHint(Check:Untyped:@125, MustGen, loc10, W:SideState, ClobbersExit, bc#150, ExitInvalid)
  190. 132:< 1:-> CompareEq(Int32:Kill:@125, Int32:@131, Boolean|UseAsOther, Bool, Exits, bc#155, ExitValid)
  191. 133:<!0:-> Branch(KnownBoolean:Kill:@132, MustGen, T:#5/w:10.000000, F:#6/w:10.000000, W:SideState, bc#155, ExitInvalid)
  192. States: TakeBoth, StructuresAreWatched
  193. Live: @21, @32, @34, @48, @53, @54, @57, @67, @99, @110, @131, @135, @163
  194. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @54=>(Int32, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  195.  
  196. Block #5 (bc#159):
  197. Execution count: 10.000000
  198. Predecessors: #4
  199. Successors: #7
  200. Dominated by: #0 #2 #3 #4 #5
  201. Dominates: #5
  202. Dominance Frontier: #7
  203. Iterated Dominance Frontier: #2 #7 #9 #11
  204. Backwards dominates by: #root #5 #7 #9 #11 #14 #15
  205. Backwards dominates: #5
  206. Control equivalent to: #5
  207. Containing loop headers: #2
  208. States: StructuresAreWatched
  209. Live: @21, @32, @34, @48, @53, @54, @57, @67, @99, @110, @131, @135, @163
  210. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @54=>(Int32, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  211. 9:<!0:-> ExitOK(MustGen, W:SideState, bc#159, ExitValid)
  212. 8:<!0:-> KillStack(MustGen, loc11, W:Stack(-12), ClobbersExit, bc#159, ExitValid)
  213. 137:<!0:-> ZombieHint(MustGen, loc11, W:SideState, ClobbersExit, bc#159, ExitInvalid)
  214. 7:<!0:-> KillStack(MustGen, loc12, W:Stack(-13), ClobbersExit, bc#166, ExitValid)
  215. 141:<!0:-> MovHint(Check:Untyped:@48, MustGen, loc12, W:SideState, ClobbersExit, bc#166, ExitInvalid)
  216. 6:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#176, ExitInvalid)
  217. 147:<!0:-> MovHint(Check:Untyped:@54, MustGen, loc13, W:SideState, ClobbersExit, bc#176, ExitInvalid)
  218. 150:<!3:-> ArithAdd(Int32:Kill:@54, Int32:@131, JS|MustGen|PureInt|UseAsInt, Int32, Unchecked, Exits, bc#181, ExitValid)
  219. 5:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#181, ExitInvalid)
  220. 151:<!0:-> ZombieHint(MustGen, loc13, W:SideState, ClobbersExit, bc#181, ExitInvalid)
  221. 4:<!0:-> KillStack(MustGen, loc13, W:Stack(-14), ClobbersExit, bc#187, ExitInvalid)
  222. 155:<!0:-> MovHint(Check:Untyped:@150, MustGen, loc13, W:SideState, ClobbersExit, bc#187, ExitInvalid)
  223. 42:<!0:-> CheckInBounds(Int32:@150, KnownInt32:@32, MustGen, Int32, Exits, bc#191, ExitValid)
  224. 157:<!2:-> GetByVal(KnownCell:@48, Int32:Kill:@150, Check:Untyped:@34, JS|MustGen|VarArgs|PureInt|UseAsInt, Int32, Int8Array+NonArray+InBounds+AsIs+Read, R:TypedArrayProperties,MiscFields, Exits, bc#191, ExitValid) predicting None
  225. 3:<!0:-> KillStack(MustGen, loc10, W:Stack(-11), ClobbersExit, bc#191, ExitInvalid)
  226. 158:<!0:-> ZombieHint(MustGen, loc10, W:SideState, ClobbersExit, bc#191, ExitInvalid)
  227. 2:<!0:-> KillStack(MustGen, loc10, W:Stack(-11), ClobbersExit, bc#196, ExitInvalid)
  228. 161:<!0:-> MovHint(Check:Untyped:@157, MustGen, loc10, W:SideState, ClobbersExit, bc#196, ExitInvalid)
  229. 164:< 2:-> CompareEq(Int32:Kill:@157, Int32:@163, Boolean|UseAsOther, Bool, Exits, bc#201, ExitValid)
  230. 1:<!0:-> KillStack(MustGen, loc9, W:Stack(-10), ClobbersExit, bc#201, ExitInvalid)
  231. 165:<!0:-> MovHint(Check:Untyped:@164, MustGen, loc9, W:SideState, ClobbersExit, bc#201, ExitInvalid)
  232. 0:< 1:-> Upsilon(Check:Untyped:Kill:@164, ^128, W:SideState, bc#205, ExitValid)
  233. 167:<!0:-> Jump(MustGen, T:#7, W:SideState, bc#205, ExitValid)
  234. States: InvalidBranchDirection, StructuresAreWatched
  235. Live: @21, @32, @34, @48, @53, @57, @67, @99, @110, shadow(@128), @131, @135, @163
  236. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), shadow(@128)=>(Bool, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  237.  
  238. Block #6 (bc#207):
  239. Execution count: 10.000000
  240. Predecessors: #4
  241. Successors: #7
  242. Dominated by: #0 #2 #3 #4 #6
  243. Dominates: #6
  244. Dominance Frontier: #7
  245. Iterated Dominance Frontier: #2 #7 #9 #11
  246. Backwards dominates by: #root #6 #7 #9 #11 #14 #15
  247. Backwards dominates: #6
  248. Control equivalent to: #6
  249. Containing loop headers: #2
  250. States: StructuresAreWatched
  251. Live: @21, @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  252. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  253. 76:<!0:-> ExitOK(MustGen, W:SideState, bc#207, ExitValid)
  254. 72:<!0:-> KillStack(MustGen, loc9, W:Stack(-10), ClobbersExit, bc#207, ExitValid)
  255. 169:<!0:-> MovHint(Check:Untyped:@57, MustGen, loc9, W:SideState, ClobbersExit, bc#207, ExitInvalid)
  256. 39:< 1:-> Upsilon(Check:Untyped:@57, ^128, W:SideState, bc#210, ExitValid)
  257. 171:<!0:-> Jump(MustGen, T:#7, W:SideState, bc#210, ExitValid)
  258. States: InvalidBranchDirection, StructuresAreWatched
  259. Live: @21, @32, @34, @48, @53, @57, @67, @99, @110, shadow(@128), @131, @135, @163
  260. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), shadow(@128)=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  261.  
  262. Block #7 (bc#210):
  263. Execution count: 10.000000
  264. Predecessors: #5 #6
  265. Successors: #9
  266. Dominated by: #0 #2 #3 #4 #7
  267. Dominates: #7
  268. Dominance Frontier: #9
  269. Iterated Dominance Frontier: #2 #9 #11
  270. Backwards dominates by: #root #7 #9 #11 #14 #15
  271. Backwards dominates: #4 #5 #6 #7
  272. Control equivalent to: #4 #7
  273. Containing loop headers: #2
  274. States: StructuresAreWatched
  275. Live: @21, @32, @34, @48, @53, @57, @67, @99, @110, shadow(@128), @131, @135, @163
  276. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), shadow(@128)=>(BoolInt32|Bool, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  277. 128:< 2:-> Phi(JS|PureInt, BoolInt32|Bool, W:SideState, bc#210, ExitInvalid)
  278. 98:<!0:-> MovHint(Check:Untyped:@128, MustGen, loc9, W:SideState, ClobbersExit, bc#210, ExitInvalid)
  279. 114:<!0:-> ExitOK(MustGen, W:SideState, bc#210, ExitValid)
  280. 120:< 1:-> Upsilon(Check:Untyped:Kill:@128, ^20, W:SideState, bc#210, ExitValid)
  281. 172:<!0:-> Jump(MustGen, T:#9, W:SideState, bc#210, ExitValid)
  282. States: InvalidBranchDirection, StructuresAreWatched
  283. Live: shadow(@20), @21, @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  284. Values: shadow(@20)=>(BoolInt32|Bool, 1:StructuresAreWatched), @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  285.  
  286. Block #8 (bc#212):
  287. Execution count: 10.000000
  288. Predecessors: #3
  289. Successors: #9
  290. Dominated by: #0 #2 #3 #8
  291. Dominates: #8
  292. Dominance Frontier: #9
  293. Iterated Dominance Frontier: #2 #9 #11
  294. Backwards dominates by: #root #8 #9 #11 #14 #15
  295. Backwards dominates: #8
  296. Control equivalent to: #8
  297. Containing loop headers: #2
  298. States: StructuresAreWatched
  299. Live: @21, @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  300. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  301. 38:<!0:-> ExitOK(MustGen, W:SideState, bc#212, ExitValid)
  302. 37:<!0:-> KillStack(MustGen, loc9, W:Stack(-10), ClobbersExit, bc#212, ExitValid)
  303. 166:<!0:-> MovHint(Check:Untyped:@57, MustGen, loc9, W:SideState, ClobbersExit, bc#212, ExitInvalid)
  304. 36:< 1:-> Upsilon(Check:Untyped:@57, ^20, W:SideState, bc#215, ExitValid)
  305. 162:<!0:-> Jump(MustGen, T:#9, W:SideState, bc#215, ExitValid)
  306. States: InvalidBranchDirection, StructuresAreWatched
  307. Live: shadow(@20), @21, @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  308. Values: shadow(@20)=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  309.  
  310. Block #9 (bc#215):
  311. Execution count: 10.000000
  312. Predecessors: #7 #8
  313. Successors: #11
  314. Dominated by: #0 #2 #3 #9
  315. Dominates: #9
  316. Dominance Frontier: #11
  317. Iterated Dominance Frontier: #2 #11
  318. Backwards dominates by: #root #9 #11 #14 #15
  319. Backwards dominates: #3 #4 #5 #6 #7 #8 #9
  320. Control equivalent to: #3 #9
  321. Containing loop headers: #2
  322. States: StructuresAreWatched
  323. Live: shadow(@20), @21, @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  324. Values: shadow(@20)=>(BoolInt32|Bool, 1:StructuresAreWatched), @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  325. 20:< 2:-> Phi(JS|PureInt, BoolInt32|Bool, W:SideState, bc#215, ExitInvalid)
  326. 124:<!0:-> MovHint(Check:Untyped:@20, MustGen, loc9, W:SideState, ClobbersExit, bc#215, ExitInvalid)
  327. 134:<!0:-> ExitOK(MustGen, W:SideState, bc#215, ExitValid)
  328. 144:< 1:-> Upsilon(Check:Untyped:Kill:@20, ^31, W:SideState, bc#215, ExitValid)
  329. 159:<!0:-> Jump(MustGen, T:#11, W:SideState, bc#215, ExitValid)
  330. States: InvalidBranchDirection, StructuresAreWatched
  331. Live: @21, shadow(@31), @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  332. Values: @21=>(Int32, 1:StructuresAreWatched), shadow(@31)=>(BoolInt32|Bool, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  333.  
  334. Block #10 (bc#217):
  335. Execution count: 10.000000
  336. Predecessors: #2
  337. Successors: #11
  338. Dominated by: #0 #2 #10
  339. Dominates: #10
  340. Dominance Frontier: #11
  341. Iterated Dominance Frontier: #2 #11
  342. Backwards dominates by: #root #10 #11 #14 #15
  343. Backwards dominates: #10
  344. Control equivalent to: #10
  345. Containing loop headers: #2
  346. States: StructuresAreWatched
  347. Live: @21, @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  348. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  349. 25:<!0:-> ExitOK(MustGen, W:SideState, bc#217, ExitValid)
  350. 24:<!0:-> KillStack(MustGen, loc9, W:Stack(-10), ClobbersExit, bc#217, ExitValid)
  351. 152:<!0:-> MovHint(Check:Untyped:@57, MustGen, loc9, W:SideState, ClobbersExit, bc#217, ExitInvalid)
  352. 22:< 1:-> Upsilon(Check:Untyped:@57, ^31, W:SideState, bc#220, ExitValid)
  353. 148:<!0:-> Jump(MustGen, T:#11, W:SideState, bc#220, ExitValid)
  354. States: InvalidBranchDirection, StructuresAreWatched
  355. Live: @21, shadow(@31), @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  356. Values: @21=>(Int32, 1:StructuresAreWatched), shadow(@31)=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  357.  
  358. Block #11 (bc#220):
  359. Execution count: 10.000000
  360. Predecessors: #9 #10
  361. Successors: #12 #13
  362. Dominated by: #0 #2 #11
  363. Dominates: #1 #11 #12 #13 #14 #15
  364. Dominance Frontier: #2
  365. Iterated Dominance Frontier: #2
  366. Backwards dominates by: #root #11 #14 #15
  367. Backwards dominates: #0 #1 #2 #3 #4 #5 #6 #7 #8 #9 #10 #11
  368. Control equivalent to: #0 #2 #11 #14 #15
  369. Containing loop headers: #2
  370. States: StructuresAreWatched
  371. Live: @21, shadow(@31), @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  372. Values: @21=>(Int32, 1:StructuresAreWatched), shadow(@31)=>(BoolInt32|Bool, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  373. 31:< 2:-> Phi(JS|PureInt, BoolInt32|Bool, W:SideState, bc#220, ExitInvalid)
  374. 156:<!0:-> MovHint(Check:Untyped:@31, MustGen, loc9, W:SideState, ClobbersExit, bc#220, ExitInvalid)
  375. 170:<!0:-> ExitOK(MustGen, W:SideState, bc#220, ExitValid)
  376. 27:< 1:-> BooleanToNumber(Check:Untyped:Kill:@31, JS|PureInt, Int32, Exits, bc#220, ExitValid)
  377. 146:<!0:-> Branch(Int32:Kill:@27, MustGen, T:#12/w:10.000000, F:#13/w:10.000000, W:SideState, bc#220, ExitValid)
  378. States: TakeBoth, StructuresAreWatched
  379. Live: @21, @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  380. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  381.  
  382. Block #12 (bc#223):
  383. Execution count: 10.000000
  384. Predecessors: #11
  385. Successors: #14
  386. Dominated by: #0 #2 #11 #12
  387. Dominates: #12
  388. Dominance Frontier: #14
  389. Iterated Dominance Frontier: #2 #14
  390. Backwards dominates by: #root #12 #14 #15
  391. Backwards dominates: #12
  392. Control equivalent to: #12
  393. Containing loop headers: #2
  394. States: StructuresAreWatched
  395. Live: @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  396. Values: @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  397. 168:<!0:-> ExitOK(MustGen, W:SideState, bc#223, ExitValid)
  398. 160:<!0:-> KillStack(MustGen, loc7, W:Stack(-8), ClobbersExit, bc#223, ExitValid)
  399. 142:<!0:-> MovHint(Check:Untyped:@67, MustGen, loc7, W:SideState, ClobbersExit, bc#223, ExitInvalid)
  400. 153:< 1:-> Upsilon(KnownInt32:@67, ^122, W:SideState, bc#226, ExitValid)
  401. 138:<!0:-> Jump(MustGen, T:#14, W:SideState, bc#226, ExitValid)
  402. States: InvalidBranchDirection, StructuresAreWatched
  403. Live: @32, @34, @48, @53, @57, @67, @99, @110, shadow(@122), @131, @135, @163
  404. Values: @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), shadow(@122)=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  405.  
  406. Block #13 (bc#226):
  407. Execution count: 10.000000
  408. Predecessors: #11
  409. Successors: #14
  410. Dominated by: #0 #2 #11 #13
  411. Dominates: #13
  412. Dominance Frontier: #14
  413. Iterated Dominance Frontier: #2 #14
  414. Backwards dominates by: #root #13 #14 #15
  415. Backwards dominates: #13
  416. Control equivalent to: #13
  417. Containing loop headers: #2
  418. States: StructuresAreWatched
  419. Live: @21, @32, @34, @48, @53, @57, @67, @99, @110, @131, @135, @163
  420. Values: @21=>(Int32, 1:StructuresAreWatched), @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  421. 85:<!0:-> ExitOK(MustGen, W:SideState, bc#226, ExitValid)
  422. 81:< 1:-> Upsilon(KnownInt32:Kill:@21, ^122, W:SideState, bc#226, ExitValid)
  423. 95:<!0:-> Jump(MustGen, T:#14, W:SideState, bc#226, ExitValid)
  424. States: InvalidBranchDirection, StructuresAreWatched
  425. Live: @32, @34, @48, @53, @57, @67, @99, @110, shadow(@122), @131, @135, @163
  426. Values: @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), shadow(@122)=>(Int32, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  427.  
  428. Block #14 (bc#226):
  429. Execution count: 10.000000
  430. Predecessors: #13 #12
  431. Successors: #1 #15
  432. Dominated by: #0 #2 #11 #14
  433. Dominates: #1 #14 #15
  434. Dominance Frontier: #2
  435. Iterated Dominance Frontier: #2
  436. Backwards dominates by: #root #14 #15
  437. Backwards dominates: #0 #1 #2 #3 #4 #5 #6 #7 #8 #9 #10 #11 #12 #13 #14
  438. Control equivalent to: #0 #2 #11 #14 #15
  439. Containing loop headers: #2
  440. States: StructuresAreWatched
  441. Live: @32, @34, @48, @53, @57, @67, @99, @110, shadow(@122), @131, @135, @163
  442. Values: @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, none:StructuresAreClobbered), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), shadow(@122)=>(Int32, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @135=>(Int32, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  443. 122:< 4:-> Phi(Int32|PureInt, BoolInt32, W:SideState, bc#226, ExitInvalid)
  444. 149:<!0:-> MovHint(Check:Untyped:@122, MustGen, loc7, W:SideState, ClobbersExit, bc#226, ExitInvalid)
  445. 145:<!0:-> ExitOK(MustGen, W:SideState, bc#226, ExitValid)
  446. 130:<!4:-> ArithAdd(Int32:Kill:@135, Int32:@67, JS|MustGen|PureInt|UseAsInt, Int32, Unchecked, Exits, bc#226, ExitValid)
  447. 140:<!0:-> KillStack(MustGen, loc9, W:Stack(-10), ClobbersExit, bc#226, ExitInvalid)
  448. 127:<!0:-> ZombieHint(MustGen, loc9, W:SideState, ClobbersExit, bc#226, ExitInvalid)
  449. 136:<!0:-> KillStack(MustGen, loc6, W:Stack(-7), ClobbersExit, bc#232, ExitInvalid)
  450. 116:<!0:-> MovHint(Check:Untyped:@130, MustGen, loc6, W:SideState, ClobbersExit, bc#232, ExitInvalid)
  451. 121:<!0:-> KillStack(MustGen, loc9, W:Stack(-10), ClobbersExit, bc#237, ExitInvalid)
  452. 112:<!0:-> MovHint(Check:Untyped:@130, MustGen, loc9, W:SideState, ClobbersExit, bc#237, ExitInvalid)
  453. 106:< 1:-> CompareLess(Int32:@130, Int32:@110, Boolean|UseAsOther, Bool, Exits, bc#242, ExitValid)
  454. 102:<!0:-> Branch(KnownBoolean:Kill:@106, MustGen, T:#1/w:10.000000, F:#15/w:1.000000, W:SideState, bc#242, ExitInvalid)
  455. States: TakeBoth, StructuresAreWatched
  456. Live: @32, @34, @48, @53, @57, @67, @99, @110, @122, @130, @131, @163
  457. Values: @32=>(NonBoolInt32, Int32: 65536, 1:StructuresAreWatched), @34=>(None, 1:StructuresAreWatched), @44=>(OtherObj, NonArray, [%AM:JSLexicalEnvironment], Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80, 1:StructuresAreWatched), @48=>(Int8Array, NonArray, [%B6:Int8Array], Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372, 1:StructuresAreWatched), @53=>(NonBoolInt32, Int32: 255, 1:StructuresAreWatched), @57=>(BoolInt32, Int32: 0, 1:StructuresAreWatched), @67=>(BoolInt32, Int32: 1, 1:StructuresAreWatched), @99=>(NonBoolInt32, Int32: 2, 1:StructuresAreWatched), @110=>(NonBoolInt32, Int32: 3000000, 1:StructuresAreWatched), @122=>(Int32, 1:StructuresAreWatched), @130=>(Int32, 1:StructuresAreWatched), @131=>(NonBoolInt32, Int32: 3, 1:StructuresAreWatched), @163=>(NonBoolInt32, Int32: 4, 1:StructuresAreWatched)
  458.  
  459. Block #15 (bc#259):
  460. Execution count: 1.000000
  461. Predecessors: #14
  462. Successors:
  463. Dominated by: #0 #2 #11 #14 #15
  464. Dominates: #15
  465. Dominance Frontier:
  466. Iterated Dominance Frontier:
  467. Backwards dominates by: #root #15
  468. Backwards dominates: #0 #1 #2 #3 #4 #5 #6 #7 #8 #9 #10 #11 #12 #13 #14 #15
  469. Control equivalent to: #0 #2 #11 #14 #15
  470. States: StructuresAreWatched
  471. Live: @122
  472. Values: @122=>(Int32, 1:StructuresAreWatched)
  473. 104:<!0:-> ExitOK(MustGen, W:SideState, bc#259, ExitValid)
  474. 89:<!0:-> KillStack(MustGen, loc9, W:Stack(-10), ClobbersExit, bc#259, ExitInvalid)
  475. 92:<!0:-> MovHint(Check:Untyped:@122, MustGen, loc9, W:SideState, ClobbersExit, bc#259, ExitInvalid)
  476. 88:<!0:-> Return(Check:Untyped:Kill:@122, MustGen, W:SideState, Exits, bc#264, ExitValid)
  477. States: InvalidBranchDirection, StructuresAreWatched, CFAInvalidated
  478. Live:
  479. Values:
  480.  
  481. GC Values:
  482. Weak:Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372
  483. Weak:Object: 0x18000e4000 with butterfly 0x0 (Structure %AM:JSLexicalEnvironment), StructureID: 80
  484. Weak:Object: 0x109564d80 with butterfly 0x0 (Structure %Ba:Function), StructureID: 65
  485. Desired watchpoints:
  486. Watchpoint sets: 0x1090a7f00
  487. Inline watchpoint sets: 0x1095f01b0, 0x109572590, 0x1095f0760, 0x1095f0060, 0x1095f1c60, 0x1095f22f0
  488. Inferred values: 0x1095d8f00, 0x1095d8ee0
  489. Buffer views: Object: 0x1095c8340 with butterfly 0x18000e0008 (Structure %B6:Int8Array), StructureID: 372
  490. Object property conditions:
  491. Inferred types:
  492. Structures:
  493. %AM:JSLexicalEnvironment = 0x1095f2290:[JSLexicalEnvironment, {}, NonArray, Leaf]
  494. %B6:Int8Array = 0x109572530:[Int8Array, {}, NonArray, Proto:0x1095b4360, Leaf]
  495. %Ba:Function = 0x1095f1c00:[Function, {}, NonArray, Proto:0x1095d0000, Leaf]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement