RFR: 8263972: C2: LoadVector/StoreVector type mismatch in MemNode::can_see_stored_value()
kvn at openjdk.java.net
Mon Apr 26 22:27:35 UTC 2021
On Mon, 26 Apr 2021 16:07:45 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:
> `MemNode::can_see_stored_value()` doesn't take type info for `LoadVector`/`StoreVector` into account.
> Eliminating `LoadVector`/`StoreVector` pair in presence of a type mismatch leads to a broken graph (omitting vector cast nodes) and sometimes manifest as a broken generated code.
> The fix adds necessary checks for vector case.
> - [x] regression test
> - [x] hs-tier1 - hs-tier4
Marked as reviewed by kvn (Reviewer).
More information about the hotspot-compiler-dev