RFR(S): 8136473: failed: no mismatched stores, except on raw memory: StoreB StoreI
roland.westrelin at oracle.com
Fri Sep 18 15:03:43 UTC 2015
>>> Hmm, so you just relaxed the assert. You may need to fix EA too because it also checks for matching types(memory sizes).
>>> I remember we had problem with RAW accesses back when jsr292 was implemented. So EA gave up on RAW access and marks allocations as escaping. Also may be superword/vectorization will be affected.
>>> In general it is very bad for C2 to have different memory on the same non-RAW memory.
>> It already happens with vectorization. Do you see another solution (rather than relaxing the assert)? Putting a MemBarCPUOrder before and after the unaligned store?
> MemBarCPUOrder are definitely will help and it is simplest solution but, I think, it is too drastic.
> It affect control flow and other memory slices.
> We can try to mark such memory accesses or/and mark objects which have such accesses (if it is possible) and prevent vectorization and scalarization for them only. We should be able execute optimization on other memory slices then.
Here is a new change:
Unaligned accesses are explicitly marked as such.
I added a test case with a non escaping allocation and it works fine. I also added test case with vectorization and if the accesses are effectively unaligned vectorization doesn’t happen. One of the test cases causes an assertion to fire when the allocation is expanded: the logic in InitializeNode::complete_stores() is confused by the unaligned store so I made sure unaligned stores are not captured by the initialization.
More information about the hotspot-compiler-dev