seafoam 0.3 → 0.8

data/examples/java/exampleArrayWrite.cfg

@@ -1,2315 +0,0 @@
-begin_compilation
-  name " HotSpotCompilation-129[JavaExamples.exampleArrayWrite(int[], int, int)]"
-  method "HotSpotCompilation-129[JavaExamples.exampleArrayWrite(int[], int, int)]"
-  date 1583364091888
-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: i43 
-=== Usages ===
-=== Predecessor ===
-- >@ <|@
-instruction <@StartNode|@org.graalvm.compiler.nodes.StartNode>@ stateAfter: - #next: i43  <|@  <|@
-f <@~|@floating>@ <|@
-tid a1 <|@
-d <@d|@=== Debug Properties ===
-index: 0
-stamp: a# [I
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?4 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 ===
-?4 v45 v14 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-f <@~|@floating>@ <|@
-tid i3 <|@
-d <@d|@=== Debug Properties ===
-index: 2
-stamp: i32
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?4 v23 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-tid ?4 <|@
-d <@d|@=== Debug Properties ===
-bci: 0
-code: ResolvedJavaMethodBytecode<JavaExamples.exampleArrayWrite(int[], int, int)>
-duringCall: false
-localsSize: 3
-locksSize: 0
-rethrowException: false
-sourceFile: JavaExamples.java
-sourceLine: 309
-stackSize: 0
-=== Inputs ===
-outerFrameState: - 
-values: a1 i2 i3 
-=== Succesors ===
-=== Usages ===
-v40 i43 
-=== Predecessor ===
-- >@ <|@
-instruction <@FrameState|@org.graalvm.compiler.nodes.FrameState>@ outerFrameState: - values: a1 i2 i3  <|@  <|@
-f <@~|@floating>@ <|@
-tid v44 <|@
-d <@d|@=== Debug Properties ===
-displacement: 12
-scale: Times1
-stamp: void*
-=== Inputs ===
-base: a1 
-index: - 
-=== Succesors ===
-=== Usages ===
-i43 
-=== Predecessor ===
-- >@ <|@
-instruction <@AMD64Address|@org.graalvm.compiler.core.amd64.AMD64AddressNode>@ base: a1 index: -  <|@  <|@
-f <@#|@fixed with next>@ <|@
-tid i43 <|@
-d <@d|@=== Debug Properties ===
-barrierType: NONE
-forceFixed: false
-location: [].length:final
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-nullCheck: true
-stamp: i32 [0 - 2147483647] ⇈000000007fffffff
-=== Inputs ===
-stateBefore: ?4 
-guard: - 
-address: v44 
-lastLocationAccess: - 
-=== Succesors ===
-next: v33 
-=== Usages ===
-v14 
-=== Predecessor ===
-v0 >@ <|@
-instruction <@Read|@org.graalvm.compiler.nodes.memory.ReadNode>@ stateBefore: ?4 guard: - address: v44 lastLocationAccess: - #next: v33  <|@  <|@
-f <@~|@floating>@ <|@
-tid v14 <|@
-d <@d|@=== Debug Properties ===
-condition: BT
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-op: org.graalvm.compiler.nodes.calc.IntegerBelowNode$BelowOp@136e382d8
-stamp: void
-unorderedIsTrue: false
-=== Inputs ===
-x: i2 
-y: i43 
-=== Succesors ===
-=== Usages ===
-v33 
-=== Predecessor ===
-- >@ <|@
-instruction <@|<||@org.graalvm.compiler.nodes.calc.IntegerBelowNode>@ x: i2 y: i43  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v33 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-stamp: void
-trueSuccessorProbability: 1.0
-=== Inputs ===
-condition: v14 
-=== Succesors ===
-trueSuccessor: v30 
-falseSuccessor: v32 
-=== Usages ===
-=== Predecessor ===
-i43 >@ <|@
-instruction <@If|@org.graalvm.compiler.nodes.IfNode>@ condition: v14 #trueSuccessor: v30 #falseSuccessor: v32  <|@  <|@
-    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 v30 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: v23 
-=== Usages ===
-v23 
-=== Predecessor ===
-v33 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: v23  <|@  <|@
-f <@~|@floating>@ <|@
-tid v45 <|@
-d <@d|@=== Debug Properties ===
-displacement: 16
-scale: Times4
-stamp: void*
-=== Inputs ===
-base: a1 
-index: i2 
-=== Succesors ===
-=== Usages ===
-v23 
-=== Predecessor ===
-- >@ <|@
-instruction <@AMD64Address|@org.graalvm.compiler.core.amd64.AMD64AddressNode>@ base: a1 index: i2  <|@  <|@
-f <@#|@fixed with next>@ <|@
-tid v23 <|@
-d <@d|@=== Debug Properties ===
-barrierType: NONE
-location: Array: int
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-nullCheck: false
-stamp: void
-volatileAccess: false
-=== Inputs ===
-stateBefore: - 
-guard: v30 
-address: v45 
-value: i3 
-stateAfter: - 
-lastLocationAccess: - 
-=== Succesors ===
-next: v7 
-=== Usages ===
-=== Predecessor ===
-v30 >@ <|@
-instruction <@Write|@org.graalvm.compiler.nodes.memory.WriteNode>@ stateBefore: - guard: v30 address: v45 value: i3 stateAfter: - lastLocationAccess: - #next: v7  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v7 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:310) [bci: 4]
-stamp: void
-=== Inputs ===
-result: - 
-memoryMap: - 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-v23 >@ <|@
-instruction <@Return|@org.graalvm.compiler.nodes.ReturnNode>@ result: - 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 v32 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: v40 
-=== Usages ===
-=== Predecessor ===
-v33 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: v40  <|@  <|@
-f <@~|@floating>@ <|@
-tid j37 <|@
-d <@d|@=== Debug Properties ===
-isDefaultStable: false
-rawvalue: 0
-stableDimension: 0
-stamp: i64 [0] ⇈0000000000000000
-stampKind: i64
-value: long[0|0x0]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-v40 
-=== Predecessor ===
-- >@ <|@
-instruction <@Constant|@org.graalvm.compiler.nodes.ConstantNode>@  <|@  <|@
-f <@~|@floating>@ <|@
-tid i42 <|@
-d <@d|@=== Debug Properties ===
-isDefaultStable: false
-rawvalue: -3867
-stableDimension: 0
-stamp: i32 [-3867] ⇊00000000fffff0e5 ⇈00000000fffff0e5
-stampKind: i32
-value: int[-3867|0xfffffffffffff0e5]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-v40 
-=== Predecessor ===
-- >@ <|@
-instruction <@Constant|@org.graalvm.compiler.nodes.ConstantNode>@  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v40 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-stamp: void
-=== Inputs ===
-stateBefore: ?4 
-actionAndReason: i42 
-speculation: j37 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-v32 >@ <|@
-instruction <@DynamicDeoptimize|@org.graalvm.compiler.nodes.DynamicDeoptimizeNode>@ stateBefore: ?4 actionAndReason: i42 speculation: j37  <|@  <|@
-    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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|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 MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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: i43 
-=== Usages ===
-=== Predecessor ===
-- >@ <|@
-instruction <@StartNode|@org.graalvm.compiler.nodes.StartNode>@ stateAfter: - #next: i43  <|@  <|@
-f <@~|@floating>@ <|@
-tid a1 <|@
-result v0|QWORD[.] <|@
-d <@d|@=== Debug Properties ===
-index: 0
-stamp: a# [I
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?4 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 ===
-?4 v45 v14 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-f <@~|@floating>@ <|@
-tid i3 <|@
-result v2|DWORD <|@
-d <@d|@=== Debug Properties ===
-index: 2
-stamp: i32
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?4 v23 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-tid ?4 <|@
-d <@d|@=== Debug Properties ===
-bci: 0
-code: ResolvedJavaMethodBytecode<JavaExamples.exampleArrayWrite(int[], int, int)>
-duringCall: false
-localsSize: 3
-locksSize: 0
-rethrowException: false
-sourceFile: JavaExamples.java
-sourceLine: 309
-stackSize: 0
-=== Inputs ===
-outerFrameState: - 
-values: a1 i2 i3 
-=== Succesors ===
-=== Usages ===
-v40 i43 
-=== Predecessor ===
-- >@ <|@
-instruction <@FrameState|@org.graalvm.compiler.nodes.FrameState>@ outerFrameState: - values: a1 i2 i3  <|@  <|@
-f <@~|@floating>@ <|@
-tid v44 <|@
-result [v0|QWORD[.] + 12] <|@
-d <@d|@=== Debug Properties ===
-displacement: 12
-scale: Times1
-stamp: void*
-=== Inputs ===
-base: a1 
-index: - 
-=== Succesors ===
-=== Usages ===
-i43 
-=== Predecessor ===
-- >@ <|@
-instruction <@AMD64Address|@org.graalvm.compiler.core.amd64.AMD64AddressNode>@ base: a1 index: -  <|@  <|@
-f <@#|@fixed with next>@ <|@
-tid i43 <|@
-result INTERIOR_MATCH <|@
-d <@d|@=== Debug Properties ===
-barrierType: NONE
-forceFixed: false
-location: [].length:final
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-nullCheck: true
-stamp: i32 [0 - 2147483647] ⇈000000007fffffff
-=== Inputs ===
-stateBefore: ?4 
-guard: - 
-address: v44 
-lastLocationAccess: - 
-=== Succesors ===
-next: v33 
-=== Usages ===
-v14 
-=== Predecessor ===
-v0 >@ <|@
-instruction <@Read|@org.graalvm.compiler.nodes.memory.ReadNode>@ stateBefore: ?4 guard: - address: v44 lastLocationAccess: - #next: v33  <|@  <|@
-f <@~|@floating>@ <|@
-tid v14 <|@
-result INTERIOR_MATCH <|@
-d <@d|@=== Debug Properties ===
-condition: BT
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-op: org.graalvm.compiler.nodes.calc.IntegerBelowNode$BelowOp@136e382d8
-stamp: void
-unorderedIsTrue: false
-=== Inputs ===
-x: i2 
-y: i43 
-=== Succesors ===
-=== Usages ===
-v33 
-=== Predecessor ===
-- >@ <|@
-instruction <@|<||@org.graalvm.compiler.nodes.calc.IntegerBelowNode>@ x: i2 y: i43  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v33 <|@
-result org.graalvm.compiler.core.match.ComplexMatchValue@13c0094a0 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-stamp: void
-trueSuccessorProbability: 1.0
-=== Inputs ===
-condition: v14 
-=== Succesors ===
-trueSuccessor: v30 
-falseSuccessor: v32 
-=== Usages ===
-=== Predecessor ===
-i43 >@ <|@
-instruction <@If|@org.graalvm.compiler.nodes.IfNode>@ condition: v14 #trueSuccessor: v30 #falseSuccessor: v32  <|@  <|@
-    end_IR
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [rsi|QWORD[.], rdx|DWORD, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|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 v30 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: v23 
-=== Usages ===
-v23 
-=== Predecessor ===
-v33 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: v23  <|@  <|@
-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 ===
-v23 
-=== Predecessor ===
-- >@ <|@
-instruction <@AMD64Address|@org.graalvm.compiler.core.amd64.AMD64AddressNode>@ base: a1 index: i2  <|@  <|@
-f <@#|@fixed with next>@ <|@
-tid v23 <|@
-d <@d|@=== Debug Properties ===
-barrierType: NONE
-location: Array: int
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-nullCheck: false
-stamp: void
-volatileAccess: false
-=== Inputs ===
-stateBefore: - 
-guard: v30 
-address: v45 
-value: i3 
-stateAfter: - 
-lastLocationAccess: - 
-=== Succesors ===
-next: v7 
-=== Usages ===
-=== Predecessor ===
-v30 >@ <|@
-instruction <@Write|@org.graalvm.compiler.nodes.memory.WriteNode>@ stateBefore: - guard: v30 address: v45 value: i3 stateAfter: - lastLocationAccess: - #next: v7  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v7 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:310) [bci: 4]
-stamp: void
-=== Inputs ===
-result: - 
-memoryMap: - 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-v23 >@ <|@
-instruction <@Return|@org.graalvm.compiler.nodes.ReturnNode>@ result: - memoryMap: -  <|@  <|@
-    end_IR
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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 v32 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: v40 
-=== Usages ===
-=== Predecessor ===
-v33 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: v40  <|@  <|@
-f <@~|@floating>@ <|@
-tid j37 <|@
-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 ===
-v40 
-=== Predecessor ===
-- >@ <|@
-instruction <@Constant|@org.graalvm.compiler.nodes.ConstantNode>@  <|@  <|@
-f <@~|@floating>@ <|@
-tid i42 <|@
-result int[-3867|0xfffffffffffff0e5] <|@
-d <@d|@=== Debug Properties ===
-isDefaultStable: false
-rawvalue: -3867
-stableDimension: 0
-stamp: i32 [-3867] ⇊00000000fffff0e5 ⇈00000000fffff0e5
-stampKind: i32
-value: int[-3867|0xfffffffffffff0e5]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-v40 
-=== Predecessor ===
-- >@ <|@
-instruction <@Constant|@org.graalvm.compiler.nodes.ConstantNode>@  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v40 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 3]
-stamp: void
-=== Inputs ===
-stateBefore: ?4 
-actionAndReason: i42 
-speculation: j37 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-v32 >@ <|@
-instruction <@DynamicDeoptimize|@org.graalvm.compiler.nodes.DynamicDeoptimizeNode>@ stateBefore: ?4 actionAndReason: i42 speculation: j37  <|@  <|@
-    end_IR
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 644] y: -3867 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|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 MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|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 MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|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 MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|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 MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   12  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   12  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-end_bytecodes
-begin_intervals
-  name "Before register allocation"
-  rcx|d fixed "[rcx|d]" rcx|d -1 [0, 10[ "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, 18[[22, 29[6 MustHaveRegister 12 MustHaveRegister 18 MustHaveRegister  "NoSpillStore"
-  v1|d DWORD "[v1|d]" v1|d rdx|d [8, 18[[22, 29[8 MustHaveRegister 12 MustHaveRegister 18 MustHaveRegister  "NoSpillStore"
-  v2|d DWORD "[v2|d]" v2|d rcx|d [10, 18[[22, 29[10 MustHaveRegister 18 MustHaveRegister  "NoSpillStore"
-end_intervals
-begin_intervals
-  name "After register allocation"
-  rcx|d fixed "[rcx|d]" rcx|d -1 [0, 10[ "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, 18[[22, 29[6 MustHaveRegister 12 MustHaveRegister 18 MustHaveRegister  "NoSpillStore"
-  v1|d DWORD "[rdx|d]" v1|d rdx|d [8, 18[[22, 29[8 MustHaveRegister 12 MustHaveRegister 18 MustHaveRegister  "NoSpillStore"
-  v2|d DWORD "[rcx|d]" v2|d rcx|d [10, 18[[22, 29[10 MustHaveRegister 18 MustHaveRegister  "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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   12  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-end_bytecodes
-begin_intervals
-  name "After optimize spill position"
-  rcx|d fixed "[rcx|d]" rcx|d -1 [0, 10[ "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, 18[[22, 29[6 MustHaveRegister 12 MustHaveRegister 18 MustHaveRegister  "NoSpillStore"
-  v1|d DWORD "[rdx|d]" v1|d rdx|d [8, 18[[22, 29[8 MustHaveRegister 12 MustHaveRegister 18 MustHaveRegister  "NoSpillStore"
-  v2|d DWORD "[rcx|d]" v2|d rcx|d [10, 18[[22, 29[10 MustHaveRegister 18 MustHaveRegister  "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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   12  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-end_bytecodes
-begin_intervals
-  name "After resolve data flow"
-  rcx|d fixed "[rcx|d]" rcx|d -1 [0, 10[ "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, 18[[22, 29[6 MustHaveRegister 12 MustHaveRegister 18 MustHaveRegister  "NoSpillStore"
-  v1|d DWORD "[rdx|d]" v1|d rdx|d [8, 18[[22, 29[8 MustHaveRegister 12 MustHaveRegister 18 MustHaveRegister  "NoSpillStore"
-  v2|d DWORD "[rcx|d]" v2|d rcx|d [10, 18[[22, 29[10 MustHaveRegister 18 MustHaveRegister  "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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   12  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|QWORD[.] = MOVE rsi|QWORD[.] moveKind: QWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = MOVE rcx|DWORD moveKind: DWORD <|@ <|@
-      nr   12  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction CMP (x: v1|DWORD, y: [v0|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [v0|QWORD[.] + v1|DWORD * 4 + 16], y: v2|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: v0|QWORD[.] v1|DWORD v2|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 size: DWORD <|@ <|@
-      nr   26  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   28  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 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.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 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.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 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.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 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.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 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.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 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.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 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.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-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, rcx|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@13c008018 slotKind: QWORD <|@ <|@
-      nr   12  <|@ st <@st|@reference-map: [rsi:0]
-live-base-pointers: []
-JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0] <|@ <|@
-      nr   14  <|@ 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   16  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   18  <|@ instruction MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD <|@ <|@
-      nr   20  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 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.exampleArrayWrite(JavaExamples.java:309) [bci: 0]
-locals: rsi|QWORD[.] rdx|DWORD rcx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: aload_0       
-     1: iload_1       
-     2: iload_2       
-     3: iastore       
-     4: return        
-   <|@
-end_bytecodes
-begin_cfg
-  name "After code generation"
-end_cfg
-begin_nmethod
-  <<<HexCodeFile
-  Platform AMD64 64  <||@
-  HexCode 0 89842400c0feff4883ec1848896c24103b560c0f8317000000894c9610488b6c24104883c418850500000000c5f877c341c78784020000e5f0ffff49c7879002000000000000e80000000090e80000000090e80000000090  <||@
-  Comment 0 [stack overflow check]  <||@
-  Comment 0 3  <||@
-  Comment 0 1  <||@
-  Comment 11 block B0 null  <||@
-  Comment 11 0 [rsi|QWORD[.], rdx|DWORD, rcx|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@13c008018 slotKind: QWORD  <||@
-  Comment 16 12 CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0]  <||@
-  Comment 16 [rsi:0]at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0, duringCall: false, rethrow: false]
-              |0             |1          |2         
-     locals:  |rsi|QWORD[.]  |rdx|DWORD  |rcx|DWORD   <||@
-  Comment 16 {infopoint: IMPLICIT_EXCEPTION}  <||@
-  Comment 19 14 BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2  <||@
-  Comment 25 block B1 null  <||@
-  Comment 25 16 [] = LABEL numbPhis: 0 align: false label: ?  <||@
-  Comment 25 18 MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD  <||@
-  Comment 29 20 RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 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.exampleArrayWrite(JavaExamples.java:309) [bci: 0, duringCall: false, rethrow: false]
-              |0             |1          |2         
-     locals:  |rsi|QWORD[.]  |rdx|DWORD  |rcx|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-129[JavaExamples.exampleArrayWrite(int[], int, int)]"
-  method "HotSpotCompilation-129[JavaExamples.exampleArrayWrite(int[], int, int)]"
-  date 1583364091908
-end_compilation
-begin_cfg
-  name "After code installation"
-end_cfg
-begin_nmethod
-  <<<HexCodeFile
-  Platform AMD64 64  <||@
-  HexCode 112e357a0 89842400c0feff4883ec1848896c24103b560c0f8317000000894c9610488b6c24104883c41885053a5893fbc5f877c341c78784020000e5f0ffff49c7879002000000000000e853ebeaff90e82febfeff90e849eaeaff90  <||@
-  Comment 0 [stack overflow check]  <||@
-  Comment 0 3  <||@
-  Comment 0 1  <||@
-  Comment 11 block B0 null  <||@
-  Comment 11 0 [rsi|QWORD[.], rdx|DWORD, rcx|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@13c008018 slotKind: QWORD  <||@
-  Comment 16 12 CMP (x: rdx|DWORD, y: [rsi|QWORD[.] + 12]) size: DWORD state [bci:0]  <||@
-  Comment 16 [rsi:0]at JavaExamples.exampleArrayWrite(JavaExamples.java:309) [bci: 0, duringCall: false, rethrow: false]
-              |0             |1          |2         
-     locals:  |rsi|QWORD[.]  |rdx|DWORD  |rcx|DWORD   <||@
-  Comment 16 {infopoint: IMPLICIT_EXCEPTION}  <||@
-  Comment 19 14 BRANCH trueDestinationProbability: 1.0 condition: |<| trueDestination: B0 -> B1 falseDestination: B0 -> B2  <||@
-  Comment 25 block B1 null  <||@
-  Comment 25 16 [] = LABEL numbPhis: 0 align: false label: ?  <||@
-  Comment 25 18 MOV (x: [rsi|QWORD[.] + rdx|DWORD * 4 + 16], y: rcx|DWORD) size: DWORD  <||@
-  Comment 29 20 RETURN (savedRbp: stack:16|QWORD, value: -) 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: -3867 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.exampleArrayWrite(JavaExamples.java:309) [bci: 0, duringCall: false, rethrow: false]
-              |0             |1          |2         
-     locals:  |rsi|QWORD[.]  |rdx|DWORD  |rcx|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