seafoam 0.2

data/examples/java/exampleArrayRead.cfg

@@ -0,0 +1,2263 @@
+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