seafoam 0.4 → 0.5

data/examples/java/exampleExactArith.cfg

@@ -1,1888 +0,0 @@
-begin_compilation
-  name " HotSpotCompilation-346[JavaExamples.exampleExactArith(int, int)]"
-  method "HotSpotCompilation-346[JavaExamples.exampleExactArith(int, int)]"
-  date 1583364091426
-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: i13 
-=== Usages ===
-=== Predecessor ===
-- >@ <|@
-instruction <@StartNode|@org.graalvm.compiler.nodes.StartNode>@ stateAfter: - #next: i13  <|@  <|@
-f <@~|@floating>@ <|@
-tid i2 <|@
-d <@d|@=== Debug Properties ===
-index: 1
-stamp: i32
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?3 i13 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-f <@~|@floating>@ <|@
-tid i1 <|@
-d <@d|@=== Debug Properties ===
-index: 0
-stamp: i32
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?3 i13 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-f <@*|@fixed>@ <|@
-tid i13 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at java.lang.Math.addExact(int, int) [bci: -1]
-at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 2]
-stamp: i32
-=== Inputs ===
-x: i1 
-y: i2 
-=== Succesors ===
-next: v9 
-overflowSuccessor: v11 
-=== Usages ===
-v7 
-=== Predecessor ===
-v0 >@ <|@
-instruction <@IntegerAddExactSplit|@org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactSplitNode>@ x: i1 y: i2 #next: v9 #overflowSuccessor: v11  <|@  <|@
-    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 v9 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at java.lang.Math.addExact(int, int) [bci: -1]
-at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 2]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: v7 
-=== Usages ===
-=== Predecessor ===
-i13 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: v7  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v7 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 5]
-stamp: void
-=== Inputs ===
-result: i13 
-memoryMap: - 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-v9 >@ <|@
-instruction <@Return|@org.graalvm.compiler.nodes.ReturnNode>@ result: i13 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 v11 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at java.lang.Math.addExact(int, int) [bci: -1]
-at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 2]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: v10 
-=== Usages ===
-=== Predecessor ===
-i13 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: v10  <|@  <|@
-tid ?3 <|@
-d <@d|@=== Debug Properties ===
-bci: 0
-code: ResolvedJavaMethodBytecode<JavaExamples.exampleExactArith(int, int)>
-duringCall: false
-localsSize: 2
-locksSize: 0
-rethrowException: false
-sourceFile: JavaExamples.java
-sourceLine: 90
-stackSize: 0
-=== Inputs ===
-outerFrameState: - 
-values: i1 i2 
-=== Succesors ===
-=== Usages ===
-v10 
-=== Predecessor ===
-- >@ <|@
-instruction <@FrameState|@org.graalvm.compiler.nodes.FrameState>@ outerFrameState: - values: i1 i2  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v10 <|@
-d <@d|@=== Debug Properties ===
-action: InvalidateRecompile
-debugId: 8
-nodeSourcePosition: at java.lang.Math.addExact(int, int) [bci: -1]
-at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 2]
-reason: ArithmeticException
-speculation: jdk.vm.ci.meta.SpeculationLog$NoSpeculationReason@137006448
-stamp: void
-=== Inputs ===
-stateBefore: ?3 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-v11 >@ <|@
-instruction <@Deopt|@org.graalvm.compiler.nodes.DeoptimizeNode>@ stateBefore: ?3  <|@  <|@
-    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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 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@137f187d8 <|@ <|@
-    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: -2156 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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: i13 
-=== Usages ===
-=== Predecessor ===
-- >@ <|@
-instruction <@StartNode|@org.graalvm.compiler.nodes.StartNode>@ stateAfter: - #next: i13  <|@  <|@
-f <@~|@floating>@ <|@
-tid i2 <|@
-result v1|DWORD <|@
-d <@d|@=== Debug Properties ===
-index: 1
-stamp: i32
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?3 i13 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-f <@~|@floating>@ <|@
-tid i1 <|@
-result v0|DWORD <|@
-d <@d|@=== Debug Properties ===
-index: 0
-stamp: i32
-uncheckedStamp: [null]
-=== Inputs ===
-=== Succesors ===
-=== Usages ===
-?3 i13 
-=== Predecessor ===
-- >@ <|@
-instruction <@Parameter|@org.graalvm.compiler.nodes.ParameterNode>@  <|@  <|@
-f <@*|@fixed>@ <|@
-tid i13 <|@
-result v2|DWORD <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at java.lang.Math.addExact(int, int) [bci: -1]
-at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 2]
-stamp: i32
-=== Inputs ===
-x: i1 
-y: i2 
-=== Succesors ===
-next: v9 
-overflowSuccessor: v11 
-=== Usages ===
-v7 
-=== Predecessor ===
-v0 >@ <|@
-instruction <@IntegerAddExactSplit|@org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactSplitNode>@ x: i1 y: i2 #next: v9 #overflowSuccessor: v11  <|@  <|@
-    end_IR
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [rsi|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 v9 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at java.lang.Math.addExact(int, int) [bci: -1]
-at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 2]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: v7 
-=== Usages ===
-=== Predecessor ===
-i13 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: v7  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v7 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 5]
-stamp: void
-=== Inputs ===
-result: i13 
-memoryMap: - 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-v9 >@ <|@
-instruction <@Return|@org.graalvm.compiler.nodes.ReturnNode>@ result: i13 memoryMap: -  <|@  <|@
-    end_IR
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      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@137f187d8 <|@ <|@
-    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 v11 <|@
-d <@d|@=== Debug Properties ===
-nodeSourcePosition: at java.lang.Math.addExact(int, int) [bci: -1]
-at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 2]
-stamp: void
-withSpeculationFence: false
-=== Inputs ===
-=== Succesors ===
-next: v10 
-=== Usages ===
-=== Predecessor ===
-i13 >@ <|@
-instruction <@Begin|@org.graalvm.compiler.nodes.BeginNode>@ #next: v10  <|@  <|@
-tid ?3 <|@
-d <@d|@=== Debug Properties ===
-bci: 0
-code: ResolvedJavaMethodBytecode<JavaExamples.exampleExactArith(int, int)>
-duringCall: false
-localsSize: 2
-locksSize: 0
-rethrowException: false
-sourceFile: JavaExamples.java
-sourceLine: 90
-stackSize: 0
-=== Inputs ===
-outerFrameState: - 
-values: i1 i2 
-=== Succesors ===
-=== Usages ===
-v10 
-=== Predecessor ===
-- >@ <|@
-instruction <@FrameState|@org.graalvm.compiler.nodes.FrameState>@ outerFrameState: - values: i1 i2  <|@  <|@
-f <@*|@fixed>@ <|@
-tid v10 <|@
-d <@d|@=== Debug Properties ===
-action: InvalidateRecompile
-debugId: 8
-nodeSourcePosition: at java.lang.Math.addExact(int, int) [bci: -1]
-at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 2]
-reason: ArithmeticException
-speculation: jdk.vm.ci.meta.SpeculationLog$NoSpeculationReason@137006448
-stamp: void
-=== Inputs ===
-stateBefore: ?3 
-=== Succesors ===
-=== Usages ===
-=== Predecessor ===
-v11 >@ <|@
-instruction <@Deopt|@org.graalvm.compiler.nodes.DeoptimizeNode>@ stateBefore: ?3  <|@  <|@
-    end_IR
-    begin_IR
-      LIR
-      nr   -1  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 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@137f187d8 <|@ <|@
-    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: -2156 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 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@137f187d8 <|@ <|@
-    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: -2156 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 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@137f187d8 <|@ <|@
-    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: -2156 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   -1  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   -1  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   -1  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 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@137f187d8 <|@ <|@
-    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: -2156 size: DWORD <|@ <|@
-      nr   -1  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   -1  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: ireturn       
-   <|@
-end_bytecodes
-begin_intervals
-  name "Before register allocation"
-  rax|d fixed "[rax|d]" rax|d v2|d [0, 1[[16, 18[ "NoSpillStore"
-  rdx|d fixed "[rdx|d]" rdx|d -1 [0, 8[ "NoSpillStore"
-  rbp|q fixed "[rbp|q]" rbp|q -1 [0, 2[ "NoSpillStore"
-  rsi|d fixed "[rsi|d]" rsi|d -1 [0, 6[ "NoSpillStore"
-  v0|d DWORD "[v0|d]" v0|d rsi|d [6, 14[[20, 27[6 MustHaveRegister 10 ShouldHaveRegister  "NoSpillStore"
-  v1|d DWORD "[v1|d]" v1|d rdx|d [8, 14[[20, 27[8 MustHaveRegister 10 ShouldHaveRegister  "NoSpillStore"
-  v2|d DWORD "[v2|d]" v2|d v0|d [10, 16[10 MustHaveRegister 16 ShouldHaveRegister  "NoSpillStore"
-end_intervals
-begin_intervals
-  name "After register allocation"
-  rax|d fixed "[rax|d]" rax|d v2|d [0, 1[[16, 18[ "NoSpillStore"
-  rdx|d fixed "[rdx|d]" rdx|d -1 [0, 8[ "NoSpillStore"
-  rbp|q fixed "[rbp|q]" rbp|q -1 [0, 2[ "NoSpillStore"
-  rsi|d fixed "[rsi|d]" rsi|d -1 [0, 6[ "NoSpillStore"
-  v0|d DWORD "[rsi|d]" v0|d rsi|d [6, 14[[20, 27[6 MustHaveRegister 10 ShouldHaveRegister  "NoSpillStore"
-  v1|d DWORD "[rdx|d]" v1|d rdx|d [8, 14[[20, 27[8 MustHaveRegister 10 ShouldHaveRegister  "NoSpillStore"
-  v2|d DWORD "[rax|d]" v2|d v0|d [10, 16[10 MustHaveRegister 16 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: ireturn       
-   <|@
-end_bytecodes
-begin_intervals
-  name "After optimize spill position"
-  rax|d fixed "[rax|d]" rax|d v2|d [0, 1[[16, 18[ "NoSpillStore"
-  rdx|d fixed "[rdx|d]" rdx|d -1 [0, 8[ "NoSpillStore"
-  rbp|q fixed "[rbp|q]" rbp|q -1 [0, 2[ "NoSpillStore"
-  rsi|d fixed "[rsi|d]" rsi|d -1 [0, 6[ "NoSpillStore"
-  v0|d DWORD "[rsi|d]" v0|d rsi|d [6, 14[[20, 27[6 MustHaveRegister 10 ShouldHaveRegister  "NoSpillStore"
-  v1|d DWORD "[rdx|d]" v1|d rdx|d [8, 14[[20, 27[8 MustHaveRegister 10 ShouldHaveRegister  "NoSpillStore"
-  v2|d DWORD "[rax|d]" v2|d v0|d [10, 16[10 MustHaveRegister 16 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: ireturn       
-   <|@
-end_bytecodes
-begin_intervals
-  name "After resolve data flow"
-  rax|d fixed "[rax|d]" rax|d v2|d [0, 1[[16, 18[ "NoSpillStore"
-  rdx|d fixed "[rdx|d]" rdx|d -1 [0, 8[ "NoSpillStore"
-  rbp|q fixed "[rbp|q]" rbp|q -1 [0, 2[ "NoSpillStore"
-  rsi|d fixed "[rsi|d]" rsi|d -1 [0, 6[ "NoSpillStore"
-  v0|d DWORD "[rsi|d]" v0|d rsi|d [6, 14[[20, 27[6 MustHaveRegister 10 ShouldHaveRegister  "NoSpillStore"
-  v1|d DWORD "[rdx|d]" v1|d rdx|d [8, 14[[20, 27[8 MustHaveRegister 10 ShouldHaveRegister  "NoSpillStore"
-  v2|d DWORD "[rax|d]" v2|d v0|d [10, 16[10 MustHaveRegister 16 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr    6  <|@ instruction v0|DWORD = MOVE rsi|DWORD moveKind: DWORD <|@ <|@
-      nr    8  <|@ instruction v1|DWORD = MOVE rdx|DWORD moveKind: DWORD <|@ <|@
-      nr   10  <|@ instruction v2|DWORD = ADD (x: v0|DWORD, y: v1|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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 = MOVE v2|DWORD moveKind: DWORD <|@ <|@
-      nr   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: v0|DWORD v1|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@reference-map: []
-live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@reference-map: []
-live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@reference-map: []
-live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@reference-map: []
-live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@reference-map: []
-live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@reference-map: []
-live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@reference-map: []
-live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: 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|DWORD, 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@144de6360 slotKind: QWORD <|@ <|@
-      nr   10  <|@ instruction rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD <|@ <|@
-      nr   12  <|@ instruction BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1 <|@ <|@
-    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   18  <|@ instruction RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8 <|@ <|@
-    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   20  <|@ instruction [] = LABEL numbPhis: 0 align: false label: ? <|@ <|@
-      nr   22  <|@ instruction MOV [r15|QWORD + 644] y: -2156 size: DWORD <|@ <|@
-      nr   24  <|@ instruction MOV [r15|QWORD + 656] y: 0 size: QWORD <|@ <|@
-      nr   26  <|@ st <@st|@reference-map: []
-live-base-pointers: []
-JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0]
-locals: rsi|DWORD rdx|DWORD 
->@ <|@ instruction DEOPT info [bci:0] <|@ <|@
-    end_IR
-  end_block
-end_cfg
-begin_bytecodes
-     0: iload_0       
-     1: iload_1       
-     2: invokestatic  #49         // java.lang.Math.addExact:(int, int)int
-     5: ireturn       
-   <|@
-end_bytecodes
-begin_cfg
-  name "After code generation"
-end_cfg
-begin_nmethod
-  <<<HexCodeFile
-  Platform AMD64 64  <||@
-  HexCode 0 89842400c0feff4883ec1848896c24108bc603c20f8013000000488b6c24104883c418850500000000c5f877c341c7878402000094f7ffff49c7879002000000000000e80000000090e80000000090e80000000090  <||@
-  Comment 0 [stack overflow check]  <||@
-  Comment 0 3  <||@
-  Comment 0 1  <||@
-  Comment 11 block B0 null  <||@
-  Comment 11 0 [rsi|DWORD, 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@144de6360 slotKind: QWORD  <||@
-  Comment 16 10 rax|DWORD = ADD (x: rsi|DWORD, y: rdx|DWORD) size: DWORD  <||@
-  Comment 20 12 BRANCH trueDestinationProbability: 0.0 condition: |of| trueDestination: B0 -> B2 falseDestination: B0 -> B1  <||@
-  Comment 26 block B1 null  <||@
-  Comment 26 14 [] = LABEL numbPhis: 0 align: false label: ?  <||@
-  Comment 26 18 RETURN (savedRbp: stack:16|QWORD, value: rax|DWORD) isStub: false requiresReservedStackAccessCheck: false thread: r15 scratchForSafepointOnReturn: rcx config: org.graalvm.compiler.hotspot.GraalHotSpotVMConfig@137f187d8  <||@
-  Comment 35 12  <||@
-  Comment 45 block B2 null  <||@
-  Comment 45 20 [] = LABEL numbPhis: 0 align: false label: ?  <||@
-  Comment 45 22 MOV [r15|QWORD + 644] y: -2156 size: DWORD  <||@
-  Comment 56 24 MOV [r15|QWORD + 656] y: 0 size: QWORD  <||@
-  Comment 67 26 DEOPT info [bci:0]  <||@
-  Comment 67 {Field[name=CompilerToVM::Data::SharedRuntime_deopt_blob_uncommon_trap, type=address, offset=0, address=0x1108bc130, value=4610474814]:0x112ce433e}  <||@
-  Comment 72 []at JavaExamples.exampleExactArith(JavaExamples.java:90) [bci: 0, duringCall: false, rethrow: false]
-              |0          |1         
-     locals:  |rsi|DWORD  |rdx|DWORD   <||@
-  Comment 73 {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 73 4  <||@
-  Comment 79 {Field[name=CompilerToVM::Data::SharedRuntime_deopt_blob_unpack, type=address, offset=0, address=0x1108bc128, value=4610474560]:0x112ce4240}  <||@
-  Comment 79 5  <||@
-  HexCodeFile>>> <|@
-end_nmethod
-begin_compilation
-  name " HotSpotCompilation-346[JavaExamples.exampleExactArith(int, int)]"
-  method "HotSpotCompilation-346[JavaExamples.exampleExactArith(int, int)]"
-  date 1583364091445
-end_compilation