[15] RFR: 8242895: failed: sanity at src/hotspot/share/opto/escape.cpp:2361

[Jamsheed C M]

Hi Vladimir,
On 16/07/2020 00:29, Vladimir Kozlov wrote:
> But I have concerns about new is_init_captured_store code. EA is 
> mostly looking only on inputs to see Allocation. And in several places 
> it expecting only to see Allocation because other cases should be 
> filtered out before.

In all the cases we analyze inputs of addp(field), if it is a 
raw(uncasted) and if its input points to alloc projection we are sure 
they are init captured stores or intrinsic initialization. when i 
searched for present intrinsic code i see all its uses are casted 
address(before macro expansion). so only remaining case that is left out 
was init captured stores. case #3.

so i used is_captured_store for finding all the raw stores that need to 
be analyzed(is a oop field store).

all init captured store has base as top. and get_addp_base code i added 
will always detect them and direct address_offset to compute offset.

Best regards,

Jamsheed