C2: mismatched store from MergeStores wrongly scalarized in allocation elimination

XMLWordPrintable

    • b20
    • b23

        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)

              Assignee:
              Emanuel Peter
              Reporter:
              Manuel Hässig
              Votes:
              0 Vote for this issue
              Watchers:
              7 Start watching this issue

                Created:
                Updated:
                Resolved: