seafoam 0.4 → 0.5

data/examples/java/exampleArrayRead.cfg

@@ -1,2263 +0,0 @@
-begin_compilation
-  name " HotSpotCompilation-130[JavaExamples.exampleArrayRead(int[], int)]"
-  method "HotSpotCompilation-130[JavaExamples.exampleArrayRead(int[], int)]"
-  date 1583364091890
-end_compilation
-begin_cfg
-  name "Final HIR schedule"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      HIR
-f <@#|@fixed with next>@ <|@
-tid v0 <|@
-d <@d|@=== Debug Properties ===
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-stateAfter: - 
-=== Succesors ===
-next: i42 
-=== Usages ===
-=== Predecessor ===
-- >@ <|@
-instruction <@StartNode|@org.graalvm.compiler.nodes.StartNode>@ stateAfter: - #next: i42  <|@  <|@
-f <@~|@floating>@ <|@
-tid a1 <|@
-d <@d|@=== Debug Properties ===
-index: 0
-stamp: a# [I
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?3 v45 v44 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-f <@~|@floating>@ <|@
-tid i2 <|@
-d <@d|@=== Debug Properties ===
-index: 1
-stamp: i32
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?3 v45 v12 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-tid ?3 <|@
-d <@d|@=== Debug Properties ===
-bci: 0
-code: ResolvedJavaMethodBytecode<JavaExamples.exampleArrayRead(int[], int)>
-duringCall: false
-localsSize: 2
-locksSize: 0
-rethrowException: false
-sourceFile: JavaExamples.java
-sourceLine: 313
-stackSize: 0
-=== Inputs ===
-outerFrameState: - 
-values: a1 i2 
-=== Succesors ===
-=== Usages ===
-v39 i42 
-=== Predecessor ===
-- >@ <|@
-instruction <@FrameState|@org.graalvm.compiler.nodes.FrameState>@ outerFrameState: - values: a1 i2  <|@  <|@
-f <@~|@floating>@ <|@
-tid v44 <|@
-d <@d|@=== Debug Properties ===
-displacement: 12
-scale: Times1
-stamp: void*
-=== Inputs ===
-base: a1 
-index: - 
-=== Succesors ===
-=== Usages ===
-i42 
-=== Predecessor ===
-- >@ <|@
-instruction <@AMD64Address|@org.graalvm.compiler.core.amd64.AMD64AddressNode>@ base: a1 index: -  <|@  <|@
-f <@#|@fixed with next>@ <|@
-tid i42 <|@
-d <@d|@=== Debug Properties ===
-barrierType: NONE
-forceFixed: false
-location: [].length:final
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-nullCheck: true
-stamp: i32 [0 - 2147483647] ⇈000000007fffffff
-=== Inputs ===
-stateBefore: ?3 
-guard: - 
-address: v44 
-lastLocationAccess: - 
-=== Succesors ===
-next: v32 
-=== Usages ===
-v12 
-=== Predecessor ===
-v0 >@ <|@
-instruction <@Read|@org.graalvm.compiler.nodes.memory.ReadNode>@ stateBefore: ?3 guard: - address: v44 lastLocationAccess: - #next: v32  <|@  <|@
-f <@~|@floating>@ <|@
-tid v12 <|@
-d <@d|@=== Debug Properties ===
-condition: BT
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-op: org.graalvm.compiler.nodes.calc.IntegerBelowNode$BelowOp@136e382d8
-stamp: void
-unorderedIsTrue: false
-=== Inputs ===
-x: i2 
-y: i42 
-=== Succesors ===
-=== Usages ===
-v32 
-=== Predecessor ===
-- >@ <|@
-instruction <@|<||@org.graalvm.compiler.nodes.calc.IntegerBelowNode>@ x: i2 y: i42  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v32 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-stamp: void
-trueSuccessorProbability: 1.0
-=== Inputs ===
-condition: v12 
-=== Succesors ===
-trueSuccessor: v29 
-falseSuccessor: v31 
-=== Usages ===
-=== Predecessor ===
-i42 >@ <|@
-instruction <@If|@org.graalvm.compiler.nodes.IfNode>@ condition: v12 #trueSuccessor: v29 #falseSuccessor: v31  <|@  <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      HIR
-f <@#|@fixed with next>@ <|@
-tid v29 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: i43 
-=== Usages ===
-=== Predecessor ===
-v32 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: i43  <|@  <|@
-f <@~|@floating>@ <|@
-tid v45 <|@
-d <@d|@=== Debug Properties ===
-displacement: 16
-scale: Times4
-stamp: void*
-=== Inputs ===
-base: a1 
-index: i2 
-=== Succesors ===
-=== Usages ===
-i43 
-=== Predecessor ===
-- >@ <|@
-instruction <@AMD64Address|@org.graalvm.compiler.core.amd64.AMD64AddressNode>@ base: a1 index: i2  <|@  <|@
-f <@#|@fixed with next>@ <|@
-tid i43 <|@
-d <@d|@=== Debug Properties ===
-barrierType: NONE
-forceFixed: false
-location: Array: int
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-nullCheck: false
-stamp: i32
-=== Inputs ===
-stateBefore: - 
-guard: - 
-address: v45 
-lastLocationAccess: - 
-=== Succesors ===
-next: v5 
-=== Usages ===
-v5 
-=== Predecessor ===
-v29 >@ <|@
-instruction <@Read|@org.graalvm.compiler.nodes.memory.ReadNode>@ stateBefore: - guard: - address: v45 lastLocationAccess: - #next: v5  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v5 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 3]
-stamp: void
-=== Inputs ===
-result: i43 
-memoryMap: - 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-i43 >@ <|@
-instruction <@Return|@org.graalvm.compiler.nodes.ReturnNode>@ result: i43 memoryMap: -  <|@  <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      HIR
-f <@#|@fixed with next>@ <|@
-tid v31 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: v39 
-=== Usages ===
-=== Predecessor ===
-v32 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: v39  <|@  <|@
-f <@~|@floating>@ <|@
-tid j36 <|@
-d <@d|@=== Debug Properties ===
-isDefaultStable: false
-rawvalue: 0
-stableDimension: 0
-stamp: i64 [0] ⇈0000000000000000
-stampKind: i64
-value: long[0|0x0]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-v39 
-=== Predecessor ===
-- >@ <|@
-instruction <@Constant|@org.graalvm.compiler.nodes.ConstantNode>@  <|@  <|@
-f <@~|@floating>@ <|@
-tid i41 <|@
-d <@d|@=== Debug Properties ===
-isDefaultStable: false
-rawvalue: -3355
-stableDimension: 0
-stamp: i32 [-3355] ⇊00000000fffff2e5 ⇈00000000fffff2e5
-stampKind: i32
-value: int[-3355|0xfffffffffffff2e5]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-v39 
-=== Predecessor ===
-- >@ <|@
-instruction <@Constant|@org.graalvm.compiler.nodes.ConstantNode>@  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v39 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-stamp: void
-=== Inputs ===
-stateBefore: ?3 
-actionAndReason: i41 
-speculation: j36 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-v31 >@ <|@
-instruction <@DynamicDeoptimize|@org.graalvm.compiler.nodes.DynamicDeoptimizeNode>@ stateBefore: ?3 actionAndReason: i41 speculation: j36  <|@  <|@
-    end_IR
-  end_block
-end_cfg
-begin_cfg
-  name "After LIRGeneration"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   -1  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After LIR generation"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      HIR
-f <@#|@fixed with next>@ <|@
-tid v0 <|@
-d <@d|@=== Debug Properties ===
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-stateAfter: - 
-=== Succesors ===
-next: i42 
-=== Usages ===
-=== Predecessor ===
-- >@ <|@
-instruction <@StartNode|@org.graalvm.compiler.nodes.StartNode>@ stateAfter: - #next: i42  <|@  <|@
-f <@~|@floating>@ <|@
-tid a1 <|@
-result v0|QWORD[.] <|@
-d <@d|@=== Debug Properties ===
-index: 0
-stamp: a# [I
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?3 v45 v44 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-f <@~|@floating>@ <|@
-tid i2 <|@
-result v1|DWORD <|@
-d <@d|@=== Debug Properties ===
-index: 1
-stamp: i32
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?3 v45 v12 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-tid ?3 <|@
-d <@d|@=== Debug Properties ===
-bci: 0
-code: ResolvedJavaMethodBytecode<JavaExamples.exampleArrayRead(int[], int)>
-duringCall: false
-localsSize: 2
-locksSize: 0
-rethrowException: false
-sourceFile: JavaExamples.java
-sourceLine: 313
-stackSize: 0
-=== Inputs ===
-outerFrameState: - 
-values: a1 i2 
-=== Succesors ===
-=== Usages ===
-v39 i42 
-=== Predecessor ===
-- >@ <|@
-instruction <@FrameState|@org.graalvm.compiler.nodes.FrameState>@ outerFrameState: - values: a1 i2  <|@  <|@
-f <@~|@floating>@ <|@
-tid v44 <|@
-result [v0|QWORD[.] + 12] <|@
-d <@d|@=== Debug Properties ===
-displacement: 12
-scale: Times1
-stamp: void*
-=== Inputs ===
-base: a1 
-index: - 
-=== Succesors ===
-=== Usages ===
-i42 
-=== Predecessor ===
-- >@ <|@
-instruction <@AMD64Address|@org.graalvm.compiler.core.amd64.AMD64AddressNode>@ base: a1 index: -  <|@  <|@
-f <@#|@fixed with next>@ <|@
-tid i42 <|@
-result INTERIOR_MATCH <|@
-d <@d|@=== Debug Properties ===
-barrierType: NONE
-forceFixed: false
-location: [].length:final
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-nullCheck: true
-stamp: i32 [0 - 2147483647] ⇈000000007fffffff
-=== Inputs ===
-stateBefore: ?3 
-guard: - 
-address: v44 
-lastLocationAccess: - 
-=== Succesors ===
-next: v32 
-=== Usages ===
-v12 
-=== Predecessor ===
-v0 >@ <|@
-instruction <@Read|@org.graalvm.compiler.nodes.memory.ReadNode>@ stateBefore: ?3 guard: - address: v44 lastLocationAccess: - #next: v32  <|@  <|@
-f <@~|@floating>@ <|@
-tid v12 <|@
-result INTERIOR_MATCH <|@
-d <@d|@=== Debug Properties ===
-condition: BT
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-op: org.graalvm.compiler.nodes.calc.IntegerBelowNode$BelowOp@136e382d8
-stamp: void
-unorderedIsTrue: false
-=== Inputs ===
-x: i2 
-y: i42 
-=== Succesors ===
-=== Usages ===
-v32 
-=== Predecessor ===
-- >@ <|@
-instruction <@|<||@org.graalvm.compiler.nodes.calc.IntegerBelowNode>@ x: i2 y: i42  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v32 <|@
-result org.graalvm.compiler.core.match.ComplexMatchValue@13bdcebd8 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-stamp: void
-trueSuccessorProbability: 1.0
-=== Inputs ===
-condition: v12 
-=== Succesors ===
-trueSuccessor: v29 
-falseSuccessor: v31 
-=== Usages ===
-=== Predecessor ===
-i42 >@ <|@
-instruction <@If|@org.graalvm.compiler.nodes.IfNode>@ condition: v12 #trueSuccessor: v29 #falseSuccessor: v31  <|@  <|@
-    end_IR
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      HIR
-f <@#|@fixed with next>@ <|@
-tid v29 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: i43 
-=== Usages ===
-=== Predecessor ===
-v32 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: i43  <|@  <|@
-f <@~|@floating>@ <|@
-tid v45 <|@
-result [v0|QWORD[.] + v1|DWORD * 4 + 16] <|@
-d <@d|@=== Debug Properties ===
-displacement: 16
-scale: Times4
-stamp: void*
-=== Inputs ===
-base: a1 
-index: i2 
-=== Succesors ===
-=== Usages ===
-i43 
-=== Predecessor ===
-- >@ <|@
-instruction <@AMD64Address|@org.graalvm.compiler.core.amd64.AMD64AddressNode>@ base: a1 index: i2  <|@  <|@
-f <@#|@fixed with next>@ <|@
-tid i43 <|@
-result v2|DWORD <|@
-d <@d|@=== Debug Properties ===
-barrierType: NONE
-forceFixed: false
-location: Array: int
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-nullCheck: false
-stamp: i32
-=== Inputs ===
-stateBefore: - 
-guard: - 
-address: v45 
-lastLocationAccess: - 
-=== Succesors ===
-next: v5 
-=== Usages ===
-v5 
-=== Predecessor ===
-v29 >@ <|@
-instruction <@Read|@org.graalvm.compiler.nodes.memory.ReadNode>@ stateBefore: - guard: - address: v45 lastLocationAccess: - #next: v5  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v5 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 3]
-stamp: void
-=== Inputs ===
-result: i43 
-memoryMap: - 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-i43 >@ <|@
-instruction <@Return|@org.graalvm.compiler.nodes.ReturnNode>@ result: i43 memoryMap: -  <|@  <|@
-    end_IR
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   -1  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      HIR
-f <@#|@fixed with next>@ <|@
-tid v31 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: v39 
-=== Usages ===
-=== Predecessor ===
-v32 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: v39  <|@  <|@
-f <@~|@floating>@ <|@
-tid j36 <|@
-result long[0|0x0] <|@
-d <@d|@=== Debug Properties ===
-isDefaultStable: false
-rawvalue: 0
-stableDimension: 0
-stamp: i64 [0] ⇈0000000000000000
-stampKind: i64
-value: long[0|0x0]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-v39 
-=== Predecessor ===
-- >@ <|@
-instruction <@Constant|@org.graalvm.compiler.nodes.ConstantNode>@  <|@  <|@
-f <@~|@floating>@ <|@
-tid i41 <|@
-result int[-3355|0xfffffffffffff2e5] <|@
-d <@d|@=== Debug Properties ===
-isDefaultStable: false
-rawvalue: -3355
-stableDimension: 0
-stamp: i32 [-3355] ⇊00000000fffff2e5 ⇈00000000fffff2e5
-stampKind: i32
-value: int[-3355|0xfffffffffffff2e5]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-v39 
-=== Predecessor ===
-- >@ <|@
-instruction <@Constant|@org.graalvm.compiler.nodes.ConstantNode>@  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v39 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 2]
-stamp: void
-=== Inputs ===
-stateBefore: ?3 
-actionAndReason: i41 
-speculation: j36 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-v31 >@ <|@
-instruction <@DynamicDeoptimize|@org.graalvm.compiler.nodes.DynamicDeoptimizeNode>@ stateBefore: ?3 actionAndReason: i41 speculation: j36  <|@  <|@
-    end_IR
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_cfg
-  name "After ConstantLoadOptimization"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   -1  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After SaveCalleeSaveRegisters"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   -1  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After PreAllocationOptimizationStage"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   -1  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After MarkBasePointers"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   -1  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "Before register allocation"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   18  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After SSALinearScanLifetimeAnalysis"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   18  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_intervals
-  name "Before register allocation"
-  rax|d fixed "[rax|d]" rax|d v2|d [0, 1[[18, 20[ "NoSpillStore"
-  rdx|d fixed "[rdx|d]" rdx|d -1 [0, 8[ "NoSpillStore"
-  rbp|q fixed "[rbp|q]" rbp|q -1 [0, 2[ "NoSpillStore"
-  rsi|q fixed "[rsi|q]" rsi|q -1 [0, 6[ "NoSpillStore"
-  v0|q QWORD "[v0|q]" v0|q rsi|q [6, 16[[22, 29[6 MustHaveRegister 10 MustHaveRegister 16 MustHaveRegister  "NoSpillStore"
-  v1|d DWORD "[v1|d]" v1|d rdx|d [8, 16[[22, 29[8 MustHaveRegister 10 MustHaveRegister 16 MustHaveRegister  "NoSpillStore"
-  v2|d DWORD "[v2|d]" v2|d -1 [16, 18[16 MustHaveRegister 18 ShouldHaveRegister  "NoSpillStore"
-end_intervals
-begin_intervals
-  name "After register allocation"
-  rax|d fixed "[rax|d]" rax|d v2|d [0, 1[[18, 20[ "NoSpillStore"
-  rdx|d fixed "[rdx|d]" rdx|d -1 [0, 8[ "NoSpillStore"
-  rbp|q fixed "[rbp|q]" rbp|q -1 [0, 2[ "NoSpillStore"
-  rsi|q fixed "[rsi|q]" rsi|q -1 [0, 6[ "NoSpillStore"
-  v0|q QWORD "[rsi|q]" v0|q rsi|q [6, 16[[22, 29[6 MustHaveRegister 10 MustHaveRegister 16 MustHaveRegister  "NoSpillStore"
-  v1|d DWORD "[rdx|d]" v1|d rdx|d [8, 16[[22, 29[8 MustHaveRegister 10 MustHaveRegister 16 MustHaveRegister  "NoSpillStore"
-  v2|d DWORD "[rax|d]" v2|d -1 [16, 18[16 MustHaveRegister 18 ShouldHaveRegister  "NoSpillStore"
-end_intervals
-begin_cfg
-  name "After LinearScanRegisterAllocation"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   18  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_intervals
-  name "After optimize spill position"
-  rax|d fixed "[rax|d]" rax|d v2|d [0, 1[[18, 20[ "NoSpillStore"
-  rdx|d fixed "[rdx|d]" rdx|d -1 [0, 8[ "NoSpillStore"
-  rbp|q fixed "[rbp|q]" rbp|q -1 [0, 2[ "NoSpillStore"
-  rsi|q fixed "[rsi|q]" rsi|q -1 [0, 6[ "NoSpillStore"
-  v0|q QWORD "[rsi|q]" v0|q rsi|q [6, 16[[22, 29[6 MustHaveRegister 10 MustHaveRegister 16 MustHaveRegister  "NoSpillStore"
-  v1|d DWORD "[rdx|d]" v1|d rdx|d [8, 16[[22, 29[8 MustHaveRegister 10 MustHaveRegister 16 MustHaveRegister  "NoSpillStore"
-  v2|d DWORD "[rax|d]" v2|d -1 [16, 18[16 MustHaveRegister 18 ShouldHaveRegister  "NoSpillStore"
-end_intervals
-begin_cfg
-  name "After LinearScanOptimizeSpillPosition"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   18  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_intervals
-  name "After resolve data flow"
-  rax|d fixed "[rax|d]" rax|d v2|d [0, 1[[18, 20[ "NoSpillStore"
-  rdx|d fixed "[rdx|d]" rdx|d -1 [0, 8[ "NoSpillStore"
-  rbp|q fixed "[rbp|q]" rbp|q -1 [0, 2[ "NoSpillStore"
-  rsi|q fixed "[rsi|q]" rsi|q -1 [0, 6[ "NoSpillStore"
-  v0|q QWORD "[rsi|q]" v0|q rsi|q [6, 16[[22, 29[6 MustHaveRegister 10 MustHaveRegister 16 MustHaveRegister  "NoSpillStore"
-  v1|d DWORD "[rdx|d]" v1|d rdx|d [8, 16[[22, 29[8 MustHaveRegister 10 MustHaveRegister 16 MustHaveRegister  "NoSpillStore"
-  v2|d DWORD "[rax|d]" v2|d -1 [16, 18[16 MustHaveRegister 18 ShouldHaveRegister  "NoSpillStore"
-end_intervals
-begin_cfg
-  name "After SSALinearScanResolveDataFlow"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   18  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After SSALinearScanEliminateSpillMove"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction v2|DWORD = MOV [v0|QWORD[.] + v1|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   18  <|@ instruction rax|DWORD = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After LinearScanAssignLocations"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After LinearScan"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After LSStackSlotAllocator"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After LocationMarker"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After AllocationStage"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After EdgeMoveOptimizer"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After ControlFlowOptimizer"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After RedundantMoveElimination"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After NullCheckOptimizer"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After StackMoveOptimization"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After PostAllocationOptimizationStage"
-  begin_block
-    name "B0"
-    from_bci -1
-    to_bci -1
-    predecessors 
-    successors "B1" "B2" 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr    0  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr    2  <|@ instruction stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD <|@ <|@
-      nr    4  <|@ instruction [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD <|@ <|@
-      nr   10  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B1"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 4607182418800017408
-    begin_IR
-      LIR
-      nr   14  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   16  <|@ instruction rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170 <|@ <|@
-    end_IR
-  end_block
-  begin_block
-    name "B2"
-    from_bci -1
-    to_bci -1
-    predecessors "B0" 
-    successors 
-    xhandlers
-    flags 
-    probability 2355382605114769408
-    begin_IR
-      LIR
-      nr   22  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 644] y: -3355 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iaload        
-     3: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After code generation"
-end_cfg
-begin_nmethod
-  <<<HexCodeFile
-  Platform AMD64 64  <||@
-  HexCode 0 89842400c0feff4883ec1848896c24103b560c0f83170000008b449610488b6c24104883c418850500000000c5f877c341c78784020000e5f2ffff49c7879002000000000000e80000000090e80000000090e80000000090  <||@
-  Comment 0 [stack overflow check]  <||@
-  Comment 0 3  <||@
-  Comment 0 1  <||@
-  Comment 11 block B0 null  <||@
-  Comment 11 0 [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ?  <||@
-  Comment 11 2 stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD  <||@
-  Comment 16 4 [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD  <||@
-  Comment 16 10 CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0]  <||@
-  Comment 16 [rsi:0]at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0, duringCall: false, rethrow: false]
-              |0             |1         
-     locals:  |rsi|QWORD[.]  |rdx|DWORD   <||@
-  Comment 16 {infopoint: IMPLICIT_EXCEPTION}  <||@
-  Comment 19 12 BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2  <||@
-  Comment 25 block B1 null  <||@
-  Comment 25 14 [] = LABEL numbPhis: 0 align: false label: ?  <||@
-  Comment 25 16 rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD  <||@
-  Comment 29 20 RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170  <||@
-  Comment 38 12  <||@
-  Comment 48 block B2 null  <||@
-  Comment 48 22 [] = LABEL numbPhis: 0 align: false label: ?  <||@
-  Comment 48 24 MOV [r15|QWORD + 644] y: -3355 size: DWORD  <||@
-  Comment 59 26 MOV [r15|QWORD + 656] y: 0 size: QWORD  <||@
-  Comment 70 28 DEOPT info [bci:0]  <||@
-  Comment 70 {Field[name=CompilerToVM::Data::SharedRuntime_deopt_blob_uncommon_trap, type=address, offset=0, address=0x1108bc130, value=4610474814]:0x112ce433e}  <||@
-  Comment 75 [rsi:0]at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0, duringCall: false, rethrow: false]
-              |0             |1         
-     locals:  |rsi|QWORD[.]  |rdx|DWORD   <||@
-  Comment 76 {Stub<ExceptionHandlerStub.exceptionHandler>@0x112e24320:CallingConvention[rax|QWORD[.], rdx|QWORD]:CallingConvention[rax|QWORD[.], rdx|QWORD]; temps=rdi|ILLEGAL,xmm14|ILLEGAL,xmm15|ILLEGAL,xmm12|ILLEGAL,xmm13|ILLEGAL,xmm10|ILLEGAL,xmm11|ILLEGAL,xmm7|ILLEGAL,xmm8|ILLEGAL,xmm9|ILLEGAL,xmm0|ILLEGAL,xmm1|ILLEGAL,xmm2|ILLEGAL,xmm3|ILLEGAL,xmm4|ILLEGAL,xmm5|ILLEGAL,xmm6|ILLEGAL,rax|ILLEGAL,rcx|ILLEGAL,rdx|ILLEGAL,rsi|ILLEGAL,r8|ILLEGAL,r9|ILLEGAL,r10|ILLEGAL,r11|ILLEGAL}  <||@
-  Comment 76 4  <||@
-  Comment 82 {Field[name=CompilerToVM::Data::SharedRuntime_deopt_blob_unpack, type=address, offset=0, address=0x1108bc128, value=4610474560]:0x112ce4240}  <||@
-  Comment 82 5  <||@
-  HexCodeFile>>> <|@
-end_nmethod
-begin_compilation
-  name " HotSpotCompilation-130[JavaExamples.exampleArrayRead(int[], int)]"
-  method "HotSpotCompilation-130[JavaExamples.exampleArrayRead(int[], int)]"
-  date 1583364091909
-end_compilation
-begin_cfg
-  name "After code installation"
-end_cfg
-begin_nmethod
-  <<<HexCodeFile
-  Platform AMD64 64  <||@
-  HexCode 112e359e0 89842400c0feff4883ec1848896c24103b560c0f83170000008b449610488b6c24104883c4188505fa5593fbc5f877c341c78784020000e5f2ffff49c7879002000000000000e813e9eaff90e8efe8feff90e809e8eaff90  <||@
-  Comment 0 [stack overflow check]  <||@
-  Comment 0 3  <||@
-  Comment 0 1  <||@
-  Comment 11 block B0 null  <||@
-  Comment 11 0 [rsi|QWORD[.], rdx|DWORD, rbp|QWORD] = LABEL numbPhis: 0 align: false label: ?  <||@
-  Comment 11 2 stack:16|QWORD = MOVE rbp|QWORD moveKind: QWORD  <||@
-  Comment 16 4 [] = HOTSPOTLOCKSTACK frameMapBuilder: org.graalvm.compiler.lir.amd64.AMD64FrameMapBuilder@13bdcd760 slotKind: QWORD  <||@
-  Comment 16 10 CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0]  <||@
-  Comment 16 [rsi:0]at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0, duringCall: false, rethrow: false]
-              |0             |1         
-     locals:  |rsi|QWORD[.]  |rdx|DWORD   <||@
-  Comment 16 {infopoint: IMPLICIT_EXCEPTION}  <||@
-  Comment 19 12 BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2  <||@
-  Comment 25 block B1 null  <||@
-  Comment 25 14 [] = LABEL numbPhis: 0 align: false label: ?  <||@
-  Comment 25 16 rax|DWORD = MOV [rsi|QWORD[.] + rdx|DWORD * 4 + 16] size: DWORD  <||@
-  Comment 29 20 RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@147e07170  <||@
-  Comment 38 12  <||@
-  Comment 48 block B2 null  <||@
-  Comment 48 22 [] = LABEL numbPhis: 0 align: false label: ?  <||@
-  Comment 48 24 MOV [r15|QWORD + 644] y: -3355 size: DWORD  <||@
-  Comment 59 26 MOV [r15|QWORD + 656] y: 0 size: QWORD  <||@
-  Comment 70 28 DEOPT info [bci:0]  <||@
-  Comment 70 {Field[name=CompilerToVM::Data::SharedRuntime_deopt_blob_uncommon_trap, type=address, offset=0, address=0x1108bc130, value=4610474814]:0x112ce433e}  <||@
-  Comment 75 [rsi:0]at JavaExamples.exampleArrayRead(JavaExamples.java:313) [bci: 0, duringCall: false, rethrow: false]
-              |0             |1         
-     locals:  |rsi|QWORD[.]  |rdx|DWORD   <||@
-  Comment 76 {Stub<ExceptionHandlerStub.exceptionHandler>@0x112e24320:CallingConvention[rax|QWORD[.], rdx|QWORD]:CallingConvention[rax|QWORD[.], rdx|QWORD]; temps=rdi|ILLEGAL,xmm14|ILLEGAL,xmm15|ILLEGAL,xmm12|ILLEGAL,xmm13|ILLEGAL,xmm10|ILLEGAL,xmm11|ILLEGAL,xmm7|ILLEGAL,xmm8|ILLEGAL,xmm9|ILLEGAL,xmm0|ILLEGAL,xmm1|ILLEGAL,xmm2|ILLEGAL,xmm3|ILLEGAL,xmm4|ILLEGAL,xmm5|ILLEGAL,xmm6|ILLEGAL,rax|ILLEGAL,rcx|ILLEGAL,rdx|ILLEGAL,rsi|ILLEGAL,r8|ILLEGAL,r9|ILLEGAL,r10|ILLEGAL,r11|ILLEGAL}  <||@
-  Comment 76 4  <||@
-  Comment 82 {Field[name=CompilerToVM::Data::SharedRuntime_deopt_blob_unpack, type=address, offset=0, address=0x1108bc128, value=4610474560]:0x112ce4240}  <||@
-  Comment 82 5  <||@
-  HexCodeFile>>> <|@
-end_nmethod