RFR(S): 8218201: Failures when vmIntrinsics::_getClass is not inlined
vladimir.kozlov at oracle.com
Thu Mar 7 18:46:04 UTC 2019
_getClass is special case because it is native call and we can't do bytecode analysis.
But we know what it does (it loads klass from object and mirror from klass) - no allocations, no locals, no arguments
I think it is simple missing _return_allocated = false setting in addition to _return_local = false. _return_allocated
is set to true by default optimistically.
On 3/7/19 4:54 AM, Tobias Hartmann wrote:
> please review the following patch:
> When intrinsification is disabled, the BCEscapeAnalyzer marks the return value of the (native)
> method Object::getClass as "return allocated value" which means that "only newly allocated unescaped
> objects are returned". The OptimizePtrCompare optimization then uses this information to incorrectly
> fold 'obj.getClass() == Object.class' (see TestGetClass.java:39) to always false.
> This is a very old issue and I can't trace back why a special case for the _getClass intrinsic has
> been added to the BCEscapeAnalyzer. Since I don't think we should make any assumptions about the
> returned Object, I've removed the special case.
More information about the hotspot-compiler-dev