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)