RFR: 8285394: Compiler blackholes can be eliminated due to stale ciMethod::intrinsic_id() [v2]
Vladimir Kozlov
kvn at openjdk.java.net
Thu Apr 21 18:15:24 UTC 2022
On Thu, 21 Apr 2022 17:14:03 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:
>> This is seen in some tests: if blackhole method is deemed hot for inlining, then at least C2 would inline it without looking back at its intrinsic status. Which silently breaks blackholes.
>>
>> The cause is that there are *two* places where intrinsic ID is recorded. Current blackhole code only writes down blackhole intrinsic ID in `Method::intrinsic_id()`, but we should also set it in `ciMethod::intrinsic_id()`, which is used from C2 inlining code. `ciMethod` is normally populated from `Method::intrinsic_id()`, but it happens too early, before setting up blackhole intrinsic.
>>
>> Additional testing:
>> - [x] Linux x86_64 {fastdebug,release}, wew test fails before the patch, passes with it
>> - [x] Linux x86_64 {fastdebug,release} `compiler/blackhole`
>> - [ ] Linux x86_64 fastdebug, sanity microbenchmark corpus run with the patch
>
> Aleksey Shipilev has updated the pull request incrementally with one additional commit since the last revision:
>
> Negative test
Good. Need to test it.
-------------
PR: https://git.openjdk.java.net/jdk/pull/8344
More information about the hotspot-compiler-dev
mailing list