RFR(M): arraycopy/clone/copyOf intrinsics fixes for Lworld

Tobias Hartmann tobias.hartmann at oracle.com
Thu May 31 11:55:48 UTC 2018


On 31.05.2018 13:35, Roland Westrelin wrote:
> It's possible. The problem then is that
> GraphKit::initialize_value_type_array() is only called if we know the
> exact type at parse time. Once we have parsed that allocation, then we
> would only be able to clear is_unknown_value if we emitted the
> allocation code from GraphKit::initialize_value_type_array() as well.

But we don't need that code if the array turns out to be not a value type array, right? And also,
GraphKit::initialize_value_type_array() does not allocate but just load the default oop.

My point was that we could then omit the runtime checks in macro.cpp that are guarded by
is_unknown_value().

Best regards,
Tobias



More information about the valhalla-dev mailing list