Example 0 - [Java] [Ideal] [EA] [CG]

This is probably the simplest example possible. A single object is allocated inside the method and an arithmetic operation is performed on the fields to return a value.

                        
public static int method0(boolean cond, int x, int y) {
    MyPair o = new MyPair(x, y);

    return o.p1 + o.p2;
}

These four kinds of nodes are always present in any C2 IR graph. Note that the Start method has an additional "Parameter" which is the "this" pointer of the method.

                        
  0 Root       ===  0 115  116  [[ 0  1  3  24  25  26  94  88  117  118 ]]
  3 Start      ===  3 0         [[ 3  5  6  7  8  9  12  11 ]]  #{0:control, 1:abIO, 2:memory, 3:rawptr:BotPTR, 4:return_address, 5:int, 6:int, 7:int}
  5 Parm       ===  3 [[ 28 ]] Control
  6 Parm       ===  3 [[ 28 ]] I_O
  7 Parm       ===  3 [[ 18  44  44  35  28 ]] Memory  Memory: @BotPTR *+bot, idx=Bot;
  8 Parm       ===  3 [[ 116  115  28 ]] FramePtr
  9 Parm       ===  3 [[ 116  115 ]] ReturnAdr
 11 Parm       ===  3 [[ 109  91  28 ]] Parm1: int
 12 Parm       ===  3 [[ 109  97  28 ]] Parm2: int
 18 MergeMem   ===  _ 1  7  43  43  43  43  43  [[ 115 ]]  { N43:rawptr:BotPTR N43:java/lang/Object * N43:java/lang/Object+8 * [narrowklass] N43:MyPair+12 * N43:MyPair+16 * }  Memory: @BotPTR *+bot, idx=Bot;
 24 ConP       ===  0 [[ 28 ]]  #precise klass MyPair: 0x00007ffff0459758:Constant:exact *  Klass:precise klass MyPair: 0x00007ffff0459758:Constant:exact *
 25 ConI       ===  0 [[ 28 ]]  #int:0
 26 ConL       ===  0 [[ 28 ]]  #long:24
 28 Allocate   ===  5 6  7  8  1 ( 26  24  25  1  1  11  12  1 ) [[ 29  30  31  38  39  40 ]]  rawptr:NotNull ( int:>=0, java/lang/Object:NotNull *, bool, top ) EscapeAnalysis::method0 @ bci:0 (line 13)
 29 Proj       === 28 [[ 32 ]] #0
 30 Proj       === 28 [[ 35 ]] #2 (i_o_use)  Memory: @rawptr:BotPTR, idx=Raw;
 31 Proj       === 28 [[ 32  116  37 ]] #1 (i_o_use)
 32 Catch      === 29 31  [[ 33  34 ]]
 33 CatchProj  === 32 [[ 41  91  97 ]] #0@bci -1
 34 CatchProj  === 32 [[ 116  37 ]] #1@bci -1
 35 MergeMem   ===  _ 1  7  30  [[ 116 ]]  { N30:rawptr:BotPTR }  Memory: @BotPTR *+bot, idx=Bot;
 37 CreateEx   === 34 31  [[ 116 ]]  #java/lang/Throwable:NotNull *  Oop:java/lang/Throwable:NotNull *
 38 Proj       === 28 [[ 44  91  97 ]] #2  Memory: @rawptr:BotPTR, idx=Raw;
 39 Proj       === 28 [[ 115 ]] #1
 40 Proj       === 28 [[ 41  98  92 ]] #5
 41 Initialize === 33 1  44  1  1  40  91  97  [[ 42  43 ]]
 42 Proj       === 41 [[ 115 ]] #0
 43 Proj       === 41 [[ 18  18  18  18  18 ]] #2  Memory: @rawptr:BotPTR, idx=Raw;
 44 MergeMem   ===  _ 1  38  1  1  1  7  7  [[ 41 ]]  { - - - N7:MyPair+12 * N7:MyPair+16 * }  Memory: @BotPTR *+bot, idx=Bot;
 88 ConL       ===  0 [[ 92 ]]  #long:12
 91 StoreI     === 33 38  92  11  [[ 41 ]]  @MyPair+12 *, name=p1, idx=6;  Memory: @rawptr:NotNull, idx=Raw; !orig=90
 92 AddP       ===  _ 1  40  88  [[ 91 ]]
 94 ConL       ===  0 [[ 98 ]]  #long:16
 97 StoreI     === 33 38  98  12  [[ 41 ]]  @MyPair+16 *, name=p2, idx=7;  Memory: @rawptr:NotNull, idx=Raw; !orig=96
 98 AddP       ===  _ 1  40  94  [[ 97 ]]
109 AddI       ===  _ 11  12  [[ 115 ]]
115 Return     === 42 39  18  8  9 returns 109  [[ 0 ]]
116 Rethrow    === 34 31  35  8  9 exception 37  [[ 0 ]]

These four kinds of nodes are always present in any C2 IR graph. Note that the Start method has an additional "Parameter" which is the "this" pointer of the method.

                        
JavaObject GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ ]         Pointed by: [ 116 ]        ----> Ideal Node:  1  Con
JavaObject GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ ]         Pointed by: [ ]            ----> Ideal Node:  24  ConP
JavaObject NoEscape(NoEscape)         ScalarReplaceable=1 Points to: [ ]         Pointed by: [ ]            ----> Ideal Node:  117  ConP
JavaObject NoEscape(NoEscape)         ScalarReplaceable=1 Points to: [ ]         Pointed by: [ ]            ----> Ideal Node:  117  ConP
JavaObject NoEscape(NoEscape)         ScalarReplaceable=1 Points to: [ 98F 92F ] Pointed by: [ 40 ]         ----> Ideal Node:  28  Allocate
LocalVar   GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ 1P      ] Pointed by: [ ]            ----> Ideal Node:  116  Rethrow
LocalVar   NoEscape(NoEscape)         ScalarReplaceable=0 Points to: [ 28P     ] Pointed by: [ 98b 92b ]    ----> Ideal Node:  40  Proj
Field      NoEscape(NoEscape)         ScalarReplaceable=0 is-oop: 0 Offset: +16 Base pointers: [ 40D 28P ] Points to: [ ] Pointed by: [ ]    ----> Ideal Node:  98  AddP
Field      NoEscape(NoEscape)         ScalarReplaceable=0 is-oop: 0 Offset: +12 Base pointers: [ 40D 28P ] Points to: [ ] Pointed by: [ ]    ----> Ideal Node:  92  AddP

Example 1 - [Java] [Ideal] [EA] [CG]

This is another simple example, however, there are two allocation points for the object and because of that we reach one of the Scalar Replacement constraints of C2. The EA doesn't have any problem identifying that the objects don't escape.

                        
public static int method0(boolean cond, int x, int y) {
    MyPair o = new MyPair(/*p1=*/0,/*p2=*/0);

    if (cond) {
        o = new MyPair(x, y);
    }

    return o.getP1();
}

Note that in this example the "Start" node doesn't have the "this" parameter since the method is static.

                        
94  ConL  ===  0  [[ 187 ]]  #long:16
38  Proj  ===  28  [[ 44  41 ]] #2  Memory: @rawptr:BotPTR, idx=Raw;
40  Proj  ===  28  [[ 41  45 ]] #5
44  MergeMem  === _  1  38  1  1  1  7  7  [[ 41 ]]  { - - - N7:MyPair+12 * N7:MyPair+16 * }  Memory: @BotPTR *+bot, idx=Bot;
33  CatchProj  ===  32  [[ 41 ]] #0@bci -1
105  CmpI  === _  10  25  [[ 106 ]]
187  AddP  === _  1  127  94  [[ 186 ]]
182  AddP  === _  1  127  88  [[ 181 ]]
125  Proj  ===  115  [[ 131  181  186 ]] #2  Memory: @rawptr:BotPTR, idx=Raw;
116  Proj  ===  115  [[ 119 ]] #0
29  Proj  ===  28  [[ 32 ]] #0
45  CheckCastPP  ===  42  40  [[ 200 ]]  #MyPair:NotNull:exact *  Oop:MyPair:NotNull:exact *
132  CheckCastPP  ===  129  127  [[ 200 ]]  #MyPair:NotNull:exact *  Oop:MyPair:NotNull:exact *
41  Initialize  ===  33  1  44  1  1  40  38  [[ 42  43 ]]
10  Parm  ===  3  [[ 105  28 ]] Parm0: int
6  Parm  ===  3  [[ 28 ]] I_O
5  Parm  ===  3  [[ 28 ]] Control
12  Parm  ===  3  [[ 115  186  28 ]] Parm2: int
11  Parm  ===  3  [[ 115  181  28 ]] Parm1: int
25  ConI  ===  0  [[ 28  115  105 ]]  #int:0
24  ConP  ===  0  [[ 28  115 ]]  #precise klass MyPair: 0x00007ffff04598b8:Constant:exact *  Klass:precise klass MyPair: 0x00007ffff04598b8:Constant:exact *
26  ConL  ===  0  [[ 28  115 ]]  #long:24
53  MergeMem  === _  1  7  43  43  43  43  43  [[ 115 ]]  { N43:rawptr:BotPTR N43:java/lang/Object * N43:java/lang/Object+8 * [narrowklass] N43:MyPair+12 * N43:MyPair+16 * }  Memory: @BotPTR *+bot, idx=Bot;
108  IfTrue  ===  107  [[ 115 ]] #1
106  Bool  === _  105  [[ 107 ]] [ne]
42  Proj  ===  41  [[ 107  45 ]] #0
186  StoreI  ===  120  125  187  12  [[ 128 ]]  @MyPair+16 *, name=p2, idx=7;  Memory: @rawptr:NotNull, idx=Raw; !orig=185
181  StoreI  ===  120  125  182  11  [[ 128 ]]  @MyPair+12 *, name=p1, idx=6;  Memory: @rawptr:NotNull, idx=Raw; !orig=180
127  Proj  ===  115  [[ 128  132  182  187 ]] #5
131  MergeMem  === _  1  125  1  1  1  43  43  [[ 128 ]]  { - - - N43:MyPair+12 * N43:MyPair+16 * }  Memory: @BotPTR *+bot, idx=Bot;
120  CatchProj  ===  119  [[ 128  181  186 ]] #0@bci -1
117  Proj  ===  115  [[ 138 ]] #2 (i_o_use)  Memory: @rawptr:BotPTR, idx=Raw;
30  Proj  ===  28  [[ 138 ]] #2 (i_o_use)  Memory: @rawptr:BotPTR, idx=Raw;
119  Catch  ===  116  118  [[ 120  121 ]]
32  Catch  ===  29  31  [[ 33  34 ]]
88  ConL  ===  0  [[ 223  182 ]]  #long:12
200  Phi  ===  113  132  45  [[ 223  223 ]]  #MyPair:NotNull:exact *  Oop:MyPair:NotNull:exact *
43  Proj  ===  41  [[ 142  141  140  139  131  131  195  196  197  198  199  53  53  53  53  53 ]] #2  Memory: @rawptr:BotPTR, idx=Raw;
130  Proj  ===  128  [[ 199  198  197  196  195 ]] #2  Memory: @rawptr:BotPTR, idx=Raw;
28  Allocate  ===  5  6  7  8  1 ( 26  24  25  1  10  11  12  1 ) [[ 29  30  31  38  39  40 ]]  rawptr:NotNull ( int:>=0, java/lang/Object:NotNull *, bool, top ) EscapeAnalysis::method0 @ bci:0 (line 13)
115  Allocate  ===  108  39  53  8  1 ( 26  24  25  1  1  11  12  1 ) [[ 116  117  118  125  126  127 ]]  rawptr:NotNull ( int:>=0, java/lang/Object:NotNull *, bool, top ) EscapeAnalysis::method0 @ bci:14 (line 16)
107  If  ===  42  106  [[ 108  109 ]] P=0.900000, C=-1.000000
128  Initialize  ===  120  1  131  1  1  127  181  186  [[ 129  130 ]]
124  CreateEx  ===  121  118  [[ 143 ]]  #java/lang/Throwable:NotNull *  Oop:java/lang/Throwable:NotNull *
37  CreateEx  ===  34  31  [[ 143 ]]  #java/lang/Throwable:NotNull *  Oop:java/lang/Throwable:NotNull *
142  Phi  ===  135  7  43  [[ 35 ]]  #memory  Memory: @MyPair+16 *, name=p2, idx=7; !orig=137
141  Phi  ===  135  7  43  [[ 35 ]]  #memory  Memory: @MyPair+12 *, name=p1, idx=6; !orig=137
140  Phi  ===  135  7  43  [[ 35 ]]  #memory  Memory: @java/lang/Object+8 * [narrowklass], idx=5; !orig=137
139  Phi  ===  135  7  43  [[ 35 ]]  #memory  Memory: @java/lang/Object *, idx=4; !orig=137
138  Phi  ===  135  30  117  [[ 35 ]]  #memory  Memory: @rawptr:BotPTR, idx=Raw;
118  Proj  ===  115  [[ 119  136  124 ]] #1 (i_o_use)
31  Proj  ===  28  [[ 32  136  37 ]] #1 (i_o_use)
121  CatchProj  ===  119  [[ 135  124 ]] #1@bci -1
34  CatchProj  ===  32  [[ 135  37 ]] #1@bci -1
223  AddP  === _  200  200  88  [[ 224 ]]   Oop:MyPair:NotNull:exact+12 *
3  Start  ===  3  0  [[ 3  5  6  7  8  9  10  11  12 ]]  #{0:control, 1:abIO, 2:memory, 3:rawptr:BotPTR, 4:return_address, 5:int, 6:int, 7:int}
199  Phi  ===  113  130  43  [[ 18 ]]  #memory  Memory: @MyPair+16 *, name=p2, idx=7;
198  Phi  ===  113  130  43  [[ 18  224 ]]  #memory  Memory: @MyPair+12 *, name=p1, idx=6;
197  Phi  ===  113  130  43  [[ 18 ]]  #memory  Memory: @java/lang/Object+8 * [narrowklass], idx=5;
196  Phi  ===  113  130  43  [[ 18 ]]  #memory  Memory: @java/lang/Object *, idx=4;
195  Phi  ===  113  130  43  [[ 18 ]]  #memory  Memory: @rawptr:BotPTR, idx=Raw;
7  Parm  ===  3  [[ 35  18  142  141  140  28  139  44  44  53 ]] Memory  Memory: @BotPTR *+bot, idx=Bot;
39  Proj  ===  28  [[ 194  115 ]] #1
126  Proj  ===  115  [[ 194 ]] #1
109  IfFalse  ===  107  [[ 113 ]] #0
129  Proj  ===  128  [[ 113  132 ]] #0
143  Phi  ===  135  37  124  [[ 236 ]]  #java/lang/Throwable:NotNull *  Oop:java/lang/Throwable:NotNull *
35  MergeMem  === _  1  7  138  139  140  141  142  [[ 236 ]]  { N138:rawptr:BotPTR N139:java/lang/Object * N140:java/lang/Object+8 * [narrowklass] N141:MyPair+12 * N142:MyPair+16 * }  Memory: @BotPTR *+bot, idx=Bot;
136  Phi  ===  135  31  118  [[ 236 ]]  #abIO
135  Region  ===  135  34  121  [[ 135  136  236  138  139  140  141  142  143 ]]
224  LoadI  === _  198  223  [[ 235 ]]  @MyPair+12 *, name=p1, idx=6; #int
9  Parm  ===  3  [[ 236  235 ]] ReturnAdr
8  Parm  ===  3  [[ 236  235  115  28 ]] FramePtr
18  MergeMem  === _  1  7  195  196  197  198  199  [[ 235 ]]  { N195:rawptr:BotPTR N196:java/lang/Object * N197:java/lang/Object+8 * [narrowklass] N198:MyPair+12 * N199:MyPair+16 * }  Memory: @BotPTR *+bot, idx=Bot;
194  Phi  ===  113  126  39  [[ 235 ]]  #abIO
113  Region  ===  113  129  109  [[ 113  235  194  195  196  197  198  199  200 ]]
236  Rethrow  ===  135  136  35  8  9 exception 143  [[ 0 ]]
235  Return  ===  113  194  18  8  9 returns 224  [[ 0 ]]
0  Root  ===  0  235  236  [[ 0  1  3  24  25  26  94  88  237  238 ]]

Note that in this example the "Start" node doesn't have the "this" parameter since the method is static.

                        
JavaObject GlobalEscape(GlobalEscape)   ScalarReplaceable=0 Points to: [                ] Pointed by: [ 143 236 ]       ----> Ideal Node:  1  Con  ===  0  [[]]  #top
JavaObject GlobalEscape(GlobalEscape)   ScalarReplaceable=0 Points to: [                ] Pointed by: [ ]               ----> Ideal Node:  24  ConP  ===  0  [[ 28  115 ]]  #precise klass MyPair: 0x00007ffff04598b8:Constant:exact *  Klass:precise klass MyPair: 0x00007ffff04598b8:Constant:exact *
JavaObject NoEscape(NoEscape)           ScalarReplaceable=1 Points to: [                ] Pointed by: [ ]               ----> Ideal Node:  237  ConP  ===  0  [[]]  #NULL
JavaObject NoEscape(NoEscape)           ScalarReplaceable=1 Points to: [                ] Pointed by: [ ]               ----> Ideal Node:  237  ConP  ===  0  [[]]  #NULL
JavaObject NoEscape(NoEscape)           ScalarReplaceable=1 Points to: [ 223F           ] Pointed by: [ 40 45 200 ]     ----> Ideal Node:  28  Allocate  ===  5  6  7  8  1 ( 26  24  25  1  10  11  12  1 ) [[ 29  30  31  38  39  40 ]]  rawptr:NotNull ( int:>=0, java/lang/Object:NotNull *, bool, top ) EscapeAnalysis::method0 @ bci:0 (line 13)
JavaObject NoEscape(NoEscape)           ScalarReplaceable=1 Points to: [ 187F 182F 223F ] Pointed by: [ 127 132 200 ]   ----> Ideal Node:  115  Allocate  ===  108  39  53  8  1 ( 26  24  25  1  1  11  12  1 ) [[ 116  117  118  125  126  127 ]]  rawptr:NotNull ( int:>=0, java/lang/Object:NotNull *, bool, top ) EscapeAnalysis::method0 @ bci:14 (line 16)

Field NoEscape(NoEscape) ScalarReplaceable=0  is-oop: 0 Offset: +16 Base pointers: [ 127D 115P     ] Points to: [ ] Pointed by: [ ]    ----> Ideal Node:  187  AddP  === _  1  127  94  [[ 186 ]]
Field NoEscape(NoEscape) ScalarReplaceable=0  is-oop: 0 Offset: +12 Base pointers: [ 200D 28P 115P ] Points to: [ ] Pointed by: [ ]    ----> Ideal Node:  223  AddP  === _  200  200  88  [[ 224 ]]   Oop:MyPair:NotNull:exact+12 *
Field NoEscape(NoEscape) ScalarReplaceable=0  is-oop: 0 Offset: +12 Base pointers: [ 127D 115P     ] Points to: [ ] Pointed by: [ ]    ----> Ideal Node:  182  AddP  === _  1  127  88  [[ 181 ]]

LocalVar GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ 143D 1P           ] Pointed by: [ ]                   ----> Ideal Node:  236  Rethrow  ===  135  136  35  8  9 exception 143  [[ 0 ]]
LocalVar NoEscape(NoEscape)         ScalarReplaceable=0 Points to: [ 28P               ] Pointed by: [ 45 ]                ----> Ideal Node:  40  Proj  ===  28  [[ 41  45 ]] #5
LocalVar NoEscape(NoEscape)         ScalarReplaceable=0 Points to: [ 115P              ] Pointed by: [ 132 187b 182b ]     ----> Ideal Node:  127  Proj  ===  115  [[ 128  132  182  187 ]] #5
LocalVar NoEscape(NoEscape)         ScalarReplaceable=0 Points to: [ 40D 28P           ] Pointed by: [ 200 ]               ----> Ideal Node:  45  CheckCastPP  ===  42  40  [[ 200 ]]  #MyPair:NotNull:exact *  Oop:MyPair:NotNull:exact *
LocalVar NoEscape(NoEscape)         ScalarReplaceable=0 Points to: [ 127D 115P         ] Pointed by: [ 200 ]               ----> Ideal Node:  132  CheckCastPP  ===  129  127  [[ 200 ]]  #MyPair:NotNull:exact *  Oop:MyPair:NotNull:exact *
LocalVar GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ 1P                ] Pointed by: [ 236 ]               ----> Ideal Node:  143  Phi  ===  135  37  124  [[ 236 ]]  #java/lang/Throwable:NotNull *  Oop:java/lang/Throwable:NotNull *
LocalVar NoEscape(NoEscape)         ScalarReplaceable=0 Points to: [ 132D 45D 28P 115P ] Pointed by: [ 223b ]              ----> Ideal Node:  200  Phi  ===  113  132  45  [[ 223  223 ]]  #MyPair:NotNull:exact *  Oop:MyPair:NotNull:exact *

Graph

Example 2 - [Java] [Ideal] [EA] [CG]

The goal of this example is to illustrate once more a method with parameters and that the "return" node will reference it.

                        
public static int method0(boolean cond, int x, int y) {
    MyPair o = new MyPair(/*p1=*/0,/*p2=*/0);

    if (cond) {
        EscapeAnalysis.global_escape = o;
    }

    return o.getP1();
}

Note that the "Start" node has two "Params": the "this" reference and the "int" parameter. Also note that the "return" node returns the "Parm" projection that extracted the "int" parameter from "Start".

                        
122  ConL  ===  0  [[ 123 ]]  #long:48
178  ConL  ===  0  [[ 179 ]]  #long:80
123  AddP  === _  1  118  122  [[ 145 ]]
179  AddP  === _  1  118  178  [[ 183 ]]
120  ConL  ===  0  [[ 121 ]]  #long:56
145  LoadP  ===  141  43  123  [[ 157 ]]  @rawptr:BotPTR, idx=Raw; #rawptr:NotNull (does not depend only on test)
183  LoadP  ===  170  171  179  [[ 239 ]]  @rawptr:BotPTR, idx=Raw; #rawptr:NotNull (does not depend only on test)
121  AddP  === _  1  118  120  [[ 126 ]]
137  ConP  ===  0  [[ 138 ]]  #NULL
146  CmpL  === _  134  119  [[ 147 ]]
157  AddP  === _  1  145  134  [[ 156 ]]
135  LoadN  === _  7  116  [[ 136 ]]  @java/lang/Class:exact+112 * [narrow], name=global_escape, idx=9; #narrowoop: MyPair *
239  AddP  === _  1  183  182  [[ 238 ]]
126  LoadB  ===  108  43  121  [[ 127 ]]  @rawptr:BotPTR, idx=Raw; #int (does not depend only on test)
138  CmpP  === _  136  137  [[ 139 ]]
147  Bool  === _  146  [[ 148 ]] [ne]
141  IfTrue  ===  140  [[ 148  145 ]] #1
185  ConI  ===  0  [[ 186 ]]  #int:9
134  LoadL  ===  130  43  125  [[ 146  157  155 ]]  @rawptr:BotPTR, idx=Raw; #long (does not depend only on test)
124  ConL  ===  0  [[ 125 ]]  #long:32
156  AddP  === _  1  157  154  [[ 158 ]]
136  DecodeN  === _  135  [[ 138  158  160 ]]  #MyPair *  Oop:MyPair *
150  IfFalse  ===  148  [[ 160 ]] #0
154  ConL  ===  0  [[ 155  156  237  238 ]]  #long:-8
182  LoadL  ===  170  171  181  [[ 229  239  237 ]]  @rawptr:BotPTR, idx=Raw; #long (does not depend only on test)
180  ConL  ===  0  [[ 181 ]]  #long:64
238  AddP  === _  1  239  154  [[ 240 ]]
190  CastP2X  ===  170  45  [[ 191 ]]
184  CastP2X  ===  170  114  [[ 186  191 ]]
127  CmpI  === _  126  25  [[ 128 ]]
139  Bool  === _  138  [[ 140 ]] [ne]
130  IfTrue  ===  129  [[ 140  134 ]] #1
148  If  ===  141  147  [[ 149  150 ]] P=0.999000, C=-1.000000
220  LoadB  ===  217  218  188  [[ 221 ]]  @rawptr:BotPTR, idx=Raw; #int (does not depend only on test)
229  CmpL  === _  182  119  [[ 230 ]]
186  URShiftL  === _  184  185  [[ 188 ]]
187  ConP  ===  0  [[ 188 ]]  #0x00007fffdd000000
155  AddL  === _  134  154  [[ 159 ]]
125  AddP  === _  1  118  124  [[ 134  159 ]]
158  StoreP  ===  149  43  156  136  [[ 159 ]]  @rawptr:BotPTR, idx=Raw;  Memory: @rawptr:BotPTR, idx=Raw;
160  CallLeaf  ===  150  1  43  1  1 ( 136  118 ) [[ 161  162 ]] # write_ref_field_pre_entry void ( java/lang/Object:NotNull *, rawptr:NotNull )
237  AddL  === _  182  154  [[ 241 ]]
181  AddP  === _  1  118  180  [[ 182  241 ]]
240  StoreP  ===  232  228  238  188  [[ 241 ]]  @rawptr:BotPTR, idx=Raw;  Memory: @rawptr:BotPTR, idx=Raw;
189  ConI  ===  0  [[ 192 ]]  #int:21
191  XorL  === _  184  190  [[ 192 ]]
128  Bool  === _  127  [[ 129 ]] [ne]
108  IfTrue  ===  107  [[ 126  129 ]] #1
140  If  ===  130  139  [[ 141  142 ]] P=0.500000, C=-1.000000
149  IfTrue  ===  148  [[ 164  158  159 ]] #1
161  Proj  ===  160  [[ 164 ]] #0
177  ConI  ===  0  [[ 208 ]]  #int:4
207  LoadB  ===  196  171  188  [[ 208 ]]  @rawptr:BotPTR, idx=Raw; #int (does not depend only on test)
221  CmpI  === _  220  25  [[ 222 ]]
230  Bool  === _  229  [[ 231 ]] [ne]
224  IfTrue  ===  223  [[ 231  228 ]] #1
118  ThreadLocal  ===  0  [[ 121  123  125  160  179  181  243 ]]
188  AddP  === _  1  187  186  [[ 207  220  228  240  243 ]]
228  StoreCM  ===  224  218  188  25  174  [[ 240  243 ]]  @rawptr:BotPTR, idx=Raw;  Memory: @rawptr:BotPTR, idx=Raw;
233  IfFalse  ===  231  [[ 243 ]] #0
159  StoreL  ===  149  158  125  155  [[ 165 ]]  @rawptr:BotPTR, idx=Raw;  Memory: @rawptr:BotPTR, idx=Raw;
162  Proj  ===  160  [[ 165 ]] #2  Memory: @rawptr:BotPTR, idx=Raw;
241  StoreL  ===  232  240  181  237  [[ 248 ]]  @rawptr:BotPTR, idx=Raw;  Memory: @rawptr:BotPTR, idx=Raw;
245  Proj  ===  243  [[ 248 ]] #2  Memory: @rawptr:BotPTR, idx=Raw;
215  MergeMem  === _  1  7  171  43  43  43  43  1  174  [[ 216 ]]  { N171:rawptr:BotPTR N43:java/lang/Object * N43:java/lang/Object+8 * [narrowklass] N43:MyPair+12 * N43:MyPair+16 * - N174:java/lang/Class:exact+112 * [narrow] }  Memory: @BotPTR *+bot, idx=Bot;
211  IfTrue  ===  210  [[ 216 ]] #1
119  ConL  ===  0  [[ 146  193  229 ]]  #long:0
192  URShiftL  === _  191  189  [[ 193 ]]
129  If  ===  108  128  [[ 130  131 ]] P=0.001000, C=-1.000000
142  IfFalse  ===  140  [[ 167 ]] #0
164  Region  ===  164  161  149  [[ 164  167  165 ]]
208  CmpI  === _  207  177  [[ 209 ]]
222  Bool  === _  221  [[ 223 ]] [ne]
217  Proj  ===  216  [[ 220  223 ]] #0
231  If  ===  224  230  [[ 232  233 ]] P=0.500000, C=-1.000000
243  CallLeaf  ===  233  1  228  1  1 ( 188  118 ) [[ 244  245 ]] # write_ref_field_post_entry void ( rawptr:NotNull, rawptr:NotNull )
115  ConL  ===  0  [[ 116 ]]  #long:112
114  ConP  ===  0  [[ 116  116  184 ]]  #java/lang/Class:exact *  Oop:java/lang/Class:exact *
165  Phi  ===  164  162  159  [[ 168 ]]  #memory  Memory: @rawptr:BotPTR, idx=Raw;
248  Phi  ===  247  245  241  [[ 251 ]]  #memory  Memory: @rawptr:BotPTR, idx=Raw;
216  MemBarVolatile  ===  211  1  215  1  1  174  [[ 217  218 ]]
193  CmpL  === _  192  119  [[ 194 ]]
131  IfFalse  ===  129  [[ 170 ]] #0
167  Region  ===  167  164  142  [[ 167  170  168 ]]
209  Bool  === _  208  [[ 210 ]] [ne]
196  IfTrue  ===  195  [[ 210  207 ]] #1 !orig=[203]
223  If  ===  217  222  [[ 224  225 ]] P=0.500000, C=-1.000000
232  IfTrue  ===  231  [[ 247  240  241 ]] #1
244  Proj  ===  243  [[ 247 ]] #0
173  EncodeP  === _  45  [[ 174 ]]  #narrowoop: MyPair:NotNull:exact *
116  AddP  === _  114  114  115  [[ 135  174 ]]   Oop:java/lang/Class:exact+112 * [narrow]
38  Proj  ===  28  [[ 44  41 ]] #2  Memory: @rawptr:BotPTR, idx=Raw;
44  MergeMem  === _  1  38  1  1  1  7  7  [[ 41 ]]  { - - - N7:MyPair+12 * N7:MyPair+16 * }  Memory: @BotPTR *+bot, idx=Bot;
33  CatchProj  ===  32  [[ 41 ]] #0@bci -1
168  Phi  ===  167  165  43  [[ 171 ]]  #memory  Memory: @rawptr:BotPTR, idx=Raw;
251  Phi  ===  250  248  218  [[ 255 ]]  #memory  Memory: @rawptr:BotPTR, idx=Raw;
218  Proj  ===  216  [[ 260  220  259  228  254  251  256  257  258 ]] #2  Memory: @BotPTR *+bot, idx=Bot;
105  CmpI  === _  10  25  [[ 106 ]]
194  Bool  === _  193  [[ 195 ]] [ne]
170  Region  ===  170  167  131  [[ 170  190  171  174  195  182  183  184 ]]
210  If  ===  196  209  [[ 211  212 ]] P=0.001000, C=-1.000000
225  IfFalse  ===  223  [[ 250 ]] #0
247  Region  ===  247  244  232  [[ 247  250  248 ]]
40  Proj  ===  28  [[ 41  45 ]] #5
174  StoreN  ===  170  7  116  173  [[ 278  216  260  228  215 ]]  @java/lang/Class:exact+112 * [narrow], name=global_escape, idx=9;  Memory: @java/lang/Class:exact+112 * [narrow], name=global_escape, idx=9;
260  Phi  ===  253  218  174  [[ 278 ]]  #memory  Memory: @java/lang/Class:exact+112 * [narrow], name=global_escape, idx=9; !orig=269
259  Phi  ===  253  218  43  [[ 277 ]]  #memory  Memory: @MyPair+16 *, name=p2, idx=7; !orig=268
258  Phi  ===  253  218  43  [[ 276 ]]  #memory  Memory: @MyPair+12 *, name=p1, idx=6; !orig=267
257  Phi  ===  253  218  43  [[ 275 ]]  #memory  Memory: @java/lang/Object+8 * [narrowklass], idx=5; !orig=266
256  Phi  ===  253  218  43  [[ 274 ]]  #memory  Memory: @java/lang/Object *, idx=4; !orig=265
41  Initialize  ===  33  1  44  1  1  40  38  [[ 42  43 ]]
171  Phi  ===  170  168  43  [[ 273  207  182  183  255  215 ]]  #memory  Memory: @rawptr:BotPTR, idx=Raw;
255  Phi  ===  253  251  171  [[ 273 ]]  #memory  Memory: @rawptr:BotPTR, idx=Raw; !orig=264
254  Phi  ===  253  218  7  [[ 272 ]]  #memory  Memory: @BotPTR *+bot, idx=Bot; !orig=263
106  Bool  === _  105  [[ 107 ]] [ne]
42  Proj  ===  41  [[ 107  45 ]] #0
195  If  ===  170  194  [[ 196  197 ]] P=0.999000, C=-1.000000
212  IfFalse  ===  210  [[ 253 ]] #0
250  Region  ===  250  247  225  [[ 250  253  251 ]]
29  Proj  ===  28  [[ 32 ]] #0
88  ConL  ===  0  [[ 89 ]]  #long:12
45  CheckCastPP  ===  42  40  [[ 190  173  89  89 ]]  #MyPair:NotNull:exact *  Oop:MyPair:NotNull:exact *
278  Phi  ===  271  260  174  [[ 286 ]]  #memory  Memory: @java/lang/Class:exact+112 * [narrow], name=global_escape, idx=9;
277  Phi  ===  271  259  43  [[ 285 ]]  #memory  Memory: @MyPair+16 *, name=p2, idx=7;
276  Phi  ===  271  258  43  [[ 284 ]]  #memory  Memory: @MyPair+12 *, name=p1, idx=6;
275  Phi  ===  271  257  43  [[ 283 ]]  #memory  Memory: @java/lang/Object+8 * [narrowklass], idx=5;
274  Phi  ===  271  256  43  [[ 282 ]]  #memory  Memory: @java/lang/Object *, idx=4;
43  Proj  ===  41  [[ 277  276  275  274  158  285  284  283  259  258  257  256  215  215  215  215  171  168  160  145  134  126  281  282 ]] #2  Memory: @rawptr:BotPTR, idx=Raw;
273  Phi  ===  271  255  171  [[ 281 ]]  #memory  Memory: @rawptr:BotPTR, idx=Raw;
272  Phi  ===  271  254  7  [[ 280 ]]  #memory  Memory: @BotPTR *+bot, idx=Bot;
10  Parm  ===  3  [[ 105  28 ]] Parm0: int
25  ConI  ===  0  [[ 28  228  221  127  105 ]]  #int:0
24  ConP  ===  0  [[ 28 ]]  #precise klass MyPair: 0x00007ffff0459888:Constant:exact *  Klass:precise klass MyPair: 0x00007ffff0459888:Constant:exact *
26  ConL  ===  0  [[ 28 ]]  #long:24
6  Parm  ===  3  [[ 28 ]] I_O
5  Parm  ===  3  [[ 28 ]] Control
107  If  ===  42  106  [[ 108  109 ]] P=0.900000, C=-1.000000
197  IfFalse  ===  195  [[ 271 ]] #0
253  Region  ===  253  250  212  [[ 253  271  254  255  256  257  258  259  260 ]]
30  Proj  ===  28  [[ 35 ]] #2 (i_o_use)  Memory: @rawptr:BotPTR, idx=Raw;
7  Parm  ===  3  [[ 286  272  280  254  215  28  35  44  44  174  135 ]] Memory  Memory: @BotPTR *+bot, idx=Bot;
32  Catch  ===  29  31  [[ 33  34 ]]
89  AddP  === _  45  45  88  [[ 307 ]]   Oop:MyPair:NotNull:exact+12 *
3  Start  ===  3  0  [[ 3  5  6  7  8  9  10 ]]  #{0:control, 1:abIO, 2:memory, 3:rawptr:BotPTR, 4:return_address, 5:int, 6:int, 7:int}
286  Phi  ===  113  278  7  [[ 18 ]]  #memory  Memory: @java/lang/Class:exact+112 * [narrow], name=global_escape, idx=9; !orig=280
285  Phi  ===  113  277  43  [[ 18 ]]  #memory  Memory: @MyPair+16 *, name=p2, idx=7;
284  Phi  ===  113  276  43  [[ 18  307 ]]  #memory  Memory: @MyPair+12 *, name=p1, idx=6;
283  Phi  ===  113  275  43  [[ 18 ]]  #memory  Memory: @java/lang/Object+8 * [narrowklass], idx=5;
282  Phi  ===  113  274  43  [[ 18 ]]  #memory  Memory: @java/lang/Object *, idx=4;
281  Phi  ===  113  273  43  [[ 18 ]]  #memory  Memory: @rawptr:BotPTR, idx=Raw;
280  Phi  ===  113  272  7  [[ 18 ]]  #memory  Memory: @BotPTR *+bot, idx=Bot;
28  Allocate  ===  5  6  7  8  1 ( 26  24  25  1  10  1  1  1 ) [[ 29  30  31  38  39  40 ]]  rawptr:NotNull ( int:>=0, java/lang/Object:NotNull *, bool, top ) EscapeAnalysis::method0 @ bci:0 (line 13)
109  IfFalse  ===  107  [[ 113 ]] #0
271  Region  ===  271  253  197  [[ 271  113  272  273  274  275  276  277  278 ]]
37  CreateEx  ===  34  31  [[ 321 ]]  #java/lang/Throwable:NotNull *  Oop:java/lang/Throwable:NotNull *
35  MergeMem  === _  1  7  30  [[ 321 ]]  { N30:rawptr:BotPTR }  Memory: @BotPTR *+bot, idx=Bot;
31  Proj  ===  28  [[ 32  321  37 ]] #1 (i_o_use)
34  CatchProj  ===  32  [[ 321  37 ]] #1@bci -1
307  LoadI  === _  284  89  [[ 320 ]]  @MyPair+12 *, name=p1, idx=6; #int
9  Parm  ===  3  [[ 321  320 ]] ReturnAdr
8  Parm  ===  3  [[ 321  320  28 ]] FramePtr
18  MergeMem  === _  1  280  281  282  283  284  285  1  286  [[ 320 ]]  { N281:rawptr:BotPTR N282:java/lang/Object * N283:java/lang/Object+8 * [narrowklass] N284:MyPair+12 * N285:MyPair+16 * - N286:java/lang/Class:exact+112 * [narrow] }  Memory: @BotPTR *+bot, idx=Bot;
39  Proj  ===  28  [[ 320 ]] #1
113  Region  ===  113  271  109  [[ 113  320  280  281  282  283  284  285  286 ]]
321  Rethrow  ===  34  31  35  8  9 exception 37  [[ 0 ]]
320  Return  ===  113  39  18  8  9 returns 307  [[ 0 ]]
0  Root  ===  0  320  321  [[ 0  1  3  24  25  26  189  187  185  180  178  88  177  114  115  118  119  120  122  124  137  154  322  323 ]]

                        
JavaObject GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ ]                            Pointed by: [ 321 116 123 179 188 ]     ----> Ideal Node:  1  Con  ===  0  [[]]  #top
JavaObject GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ ]                            Pointed by: [ ]                         ----> Ideal Node:  24  ConP  ===  0  [[ 28 ]]  #precise klass MyPair: 0x00007ffff0459888:Constant:exact *  Klass:precise klass MyPair: 0x00007ffff0459888:Constant:exact *
JavaObject GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ 188F ]                       Pointed by: [ ]                         ----> Ideal Node:  187  ConP  ===  0  [[ 188 ]]  #0x00007fffdd000000
JavaObject GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ 116F ]                       Pointed by: [ ]                         ----> Ideal Node:  114  ConP  ===  0  [[ 116  116  184 ]]  #java/lang/Class:exact *  Oop:java/lang/Class:exact *
JavaObject GlobalEscape(GlobalEscape) ScalarReplaceable=1 Points to: [ ]                            Pointed by: [ 40 ]                      ----> Ideal Node:  28  Allocate  ===  5  6  7  8  1 ( 26  24  25  1  10  1  1  1 ) [[ 29  30  31  38  39  40 ]]  rawptr:NotNull ( int:>=0, java/lang/Object:NotNull *, bool, top ) EscapeAnalysis::method0 @ bci:0 (line 13)
JavaObject ArgEscape(ArgEscape)       ScalarReplaceable=0 Points to: [ 181F 179F 121F 123F 125F ]   Pointed by: [ ]                         ----> Ideal Node:  118  ThreadLocal  ===  0  [[ 121  123  125  160  179  181  243 ]]
JavaObject NoEscape(NoEscape)         ScalarReplaceable=1 Points to: [ ]                            Pointed by: [ ]                         ----> Ideal Node:  137  ConP  ===  0  [[ 138 ]]  #NULL
JavaObject NoEscape(NoEscape)         ScalarReplaceable=1 Points to: [ ]                            Pointed by: [ ]                         ----> Ideal Node:  137  ConP  ===  0  [[ 138 ]]  #NULL

Field GlobalEscape(GlobalEscape) ScalarReplaceable=0  is-oop: 1 Offset: +0   Base pointers: [ 187P ] Points to: [ 1P ]      Pointed by: [ ]         ----> Ideal Node:  188  AddP  === _  1  187  186  [[ 207  220  228  240  243 ]]
Field GlobalEscape(GlobalEscape) ScalarReplaceable=0  is-oop: 1 Offset: +112 Base pointers: [ 114P ] Points to: [ 173D 1P ] Pointed by: [ 135 ]     ----> Ideal Node:  116  AddP  === _  114  114  115  [[ 135  174 ]]   Oop:java/lang/Class:exact+112 * [narrow]
Field ArgEscape(ArgEscape) ScalarReplaceable=0  is-oop: 0 Offset: +0         Base pointers: [ 118P ] Points to: [ ]         Pointed by: [ ]         ----> Ideal Node:  181  AddP  === _  1  118  180  [[ 182  241 ]]
Field ArgEscape(ArgEscape) ScalarReplaceable=0  is-oop: 1 Offset: +0         Base pointers: [ 118P ] Points to: [ 1P ]      Pointed by: [ 183 ]     ----> Ideal Node:  179  AddP  === _  1  118  178  [[ 183 ]]
Field ArgEscape(ArgEscape) ScalarReplaceable=0  is-oop: 0 Offset: +0         Base pointers: [ 118P ] Points to: [ ]         Pointed by: [ ]         ----> Ideal Node:  121  AddP  === _  1  118  120  [[ 126 ]]
Field ArgEscape(ArgEscape) ScalarReplaceable=0  is-oop: 1 Offset: +0         Base pointers: [ 118P ] Points to: [ 1P ]      Pointed by: [ 145 ]     ----> Ideal Node:  123  AddP  === _  1  118  122  [[ 145 ]]
Field ArgEscape(ArgEscape) ScalarReplaceable=0  is-oop: 0 Offset: +0         Base pointers: [ 118P ] Points to: [ ]         Pointed by: [ ]         ----> Ideal Node:  125  AddP  === _  1  118  124  [[ 134  159 ]]
Field NoEscape(NoEscape) ScalarReplaceable=0  is-oop: 0 Offset: +12          Base pointers: [ 45D  ] Points to: [ ]         Pointed by: [ ]         ----> Ideal Node:   89  AddP  === _  45  45  88  [[ 307 ]]   Oop:MyPair:NotNull:exact+12 *
Field NoEscape(NoEscape) ScalarReplaceable=0  is-oop: 1 Offset: +0           Base pointers: [ 145D ] Points to: [ ]         Pointed by: [ ]         ----> Ideal Node:  156  AddP  === _  1  157  154  [[ 158 ]]
Field NoEscape(NoEscape) ScalarReplaceable=0  is-oop: 1 Offset: +0           Base pointers: [ 183D ] Points to: [ ]         Pointed by: [ ]         ----> Ideal Node:  238  AddP  === _  1  239  154  [[ 240 ]]
Field NoEscape(NoEscape) ScalarReplaceable=0  is-oop: 0 Offset: +0           Base pointers: [ 183D ] Points to: [ ]         Pointed by: [ ]         ----> Ideal Node:  239  AddP  === _  1  183  182  [[ 238 ]]
Field NoEscape(NoEscape) ScalarReplaceable=0  is-oop: 0 Offset: +0           Base pointers: [ 145D ] Points to: [ ]         Pointed by: [ ]         ----> Ideal Node:  157  AddP  === _  1  145  134  [[ 156 ]]

LocalVar GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ 1P   ] Pointed by: [ ]             ----> Ideal Node:  321  Rethrow  ===  34  31  35  8  9 exception 37  [[ 0 ]]
LocalVar GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ 28P  ] Pointed by: [ 45 ]          ----> Ideal Node:  40  Proj  ===  28  [[ 41  45 ]] #5
LocalVar GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ 40D  ] Pointed by: [ 173 89b ]     ----> Ideal Node:  45  CheckCastPP  ===  42  40  [[ 190  173  89  89 ]]  #MyPair:NotNull:exact *  Oop:MyPair:NotNull:exact *
LocalVar GlobalEscape(GlobalEscape) ScalarReplaceable=0 Points to: [ 45D  ] Pointed by: [ 116 ]         ----> Ideal Node:  173  EncodeP  === _  45  [[ 174 ]]  #narrowoop: MyPair:NotNull:exact *
LocalVar ArgEscape(ArgEscape) ScalarReplaceable=0       Points to: [ 116F ] Pointed by: [ 136 ]         ----> Ideal Node:  135  LoadN  === _  7  116  [[ 136 ]]  @java/lang/Class:exact+112 * [narrow], name=global_escape, idx=9; #narrowoop: MyPair *
LocalVar ArgEscape(ArgEscape) ScalarReplaceable=0       Points to: [ 135D ] Pointed by: [ ]             ----> Ideal Node:  136  DecodeN  === _  135  [[ 138  158  160 ]]  #MyPair *  Oop:MyPair *
LocalVar NoEscape(NoEscape) ScalarReplaceable=0         Points to: [ 179F ] Pointed by: [ 239b 238b ]   ----> Ideal Node:  183  LoadP  ===  170  171  179  [[ 239 ]]  @rawptr:BotPTR, idx=Raw; #rawptr:NotNull (does not depend only on test)
LocalVar NoEscape(NoEscape) ScalarReplaceable=0         Points to: [ 123F ] Pointed by: [ 157b 156b ]   ----> Ideal Node:  145  LoadP  ===  141  43  123  [[ 157 ]]  @rawptr:BotPTR, idx=Raw; #rawptr:NotNull (does not depend only on test)

Graph

Example 0 - [Java] [Ideal] [EA] [CG]
description
`java`
`ideal`
`EA`
CG

Exem 0 Exem 1 Exem 2

◀◀		►►