Loading...

XML

Word

Printable

Found by Olivier Mattmann <olivier.mattmann@bluewin.ch> during work on this Master thesis where he is working on a fuzzer for C2.

The attached test case (Test.java) fails due to the compiled method Test.micro2 returning a wrong result, starting with commit 3ccb64c0 (~~JDK-8318446~~) with MergeStores enabled, but not with MergeStores disabled. The failing test case is derived from compiler/escapeAnalysis/Test8331033.java (https://github.com/openjdk/jdk/blob/27c83c730d8b0f87bb51230c35e4fe261c9d2723/test/hotspot/jtreg/compiler/escapeAnalysis/Test8331033.java)

caused by

JDK-8318446 C2: optimize stores into primitive arrays by combining values into larger store

relates to

JDK-8370901 C2: strenghten assert in create_scalarized_object_description after JDK-8370405

JDK-8371122 C2 Allocation Elimination: handle some mismatched accesses to arrays

JDK-8371385 compiler/escapeAnalysis/TestRematerializeObjects.java fails in case of -XX:-UseUnalignedAccesses

JDK-8370562 Whitebox Fuzzer for C2

JDK-8370964 C2: Investigate effects of ClearArrayNode on allocation elimination

links to

Commit(master) openjdk/jdk/09a047f0

Review(master) openjdk/jdk/27997

(1 relates to, 2 links to)