jdk-sandbox: hotspot/test/compiler/arraycopy/TestArrayCopyStoppedAfterGuards.java@066fcb1eb80a (annotated)

30208 ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	1	/*
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	2	* Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	4	*
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	5	* This code is free software; you can redistribute it and/or modify it
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	6	* under the terms of the GNU General Public License version 2 only, as
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	7	* published by the Free Software Foundation.
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	8	*
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	9	* This code is distributed in the hope that it will be useful, but WITHOUT
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	12	* version 2 for more details (a copy is included in the LICENSE file that
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	13	* accompanied this code).
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	14	*
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	15	* You should have received a copy of the GNU General Public License version
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	16	* 2 along with this work; if not, write to the Free Software Foundation,
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	18	*
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	20	* or visit www.oracle.com if you need additional information or have any
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	21	* questions.
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	22	*/
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	23
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	24	/*
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	25	* @test
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	26	* @bug 8075921
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	27	* @summary control becomes top after arraycopy guards and confuses tighly coupled allocation logic
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	28	* @run main/othervm -Xcomp -XX:CompileOnly=TestArrayCopyStoppedAfterGuards.test,System.arraycopy TestArrayCopyStoppedAfterGuards
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	29	*
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	30	*/
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	31
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	32	public class TestArrayCopyStoppedAfterGuards {
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	33
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	34	static void test() {
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	35	Object src = new Object();
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	36	int[] dst = new int[10];
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	37	System.arraycopy(src, 0, dst, 0, 10);
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	38	}
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	39
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	40	static public void main(String[] args) {
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	41	// warmup
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	42	Object o = new Object();
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	43	int[] src = new int[10];
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	44	int[] dst = new int[10];
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	45	System.arraycopy(src, 0, dst, 0, 10);
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	46
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	47	try {
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	48	test();
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	49	} catch(ArrayStoreException ase) {}
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	50	}
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	51	}

author	thartmann
	Thu, 12 May 2016 08:23:25 +0200
changeset 38675	066fcb1eb80a
parent 30208	ed11124f18e1
child 40059	c2304140ed64
permissions	-rw-r--r--