jdk-sandbox: hotspot/test/compiler/arraycopy/TestArrayCopyStoppedAfterGuards.java@3791c1b34e36 (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
40059 c2304140ed64 8132919: Put compiler tests in packages tpivovarova parents: 30208 diff changeset	28	*
c2304140ed64 8132919: Put compiler tests in packages tpivovarova parents: 30208 diff changeset	29	* @run main/othervm -Xcomp
c2304140ed64 8132919: Put compiler tests in packages tpivovarova parents: 30208 diff changeset	30	* -XX:CompileCommand=compileonly,java.lang.System::arraycopy
c2304140ed64 8132919: Put compiler tests in packages tpivovarova parents: 30208 diff changeset	31	* -XX:CompileCommand=compileonly,compiler.arraycopy.TestArrayCopyStoppedAfterGuards::test
c2304140ed64 8132919: Put compiler tests in packages tpivovarova parents: 30208 diff changeset	32	* compiler.arraycopy.TestArrayCopyStoppedAfterGuards
30208 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	*/
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	35
40059 c2304140ed64 8132919: Put compiler tests in packages tpivovarova parents: 30208 diff changeset	36	package compiler.arraycopy;
c2304140ed64 8132919: Put compiler tests in packages tpivovarova parents: 30208 diff changeset	37
30208 ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	38	public class TestArrayCopyStoppedAfterGuards {
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 void test() {
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	41	Object src = new Object();
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	42	int[] dst = new int[10];
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	43	System.arraycopy(src, 0, dst, 0, 10);
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	44	}
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	45
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	46	static public void main(String[] args) {
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	47	// warmup
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	48	Object o = new Object();
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	49	int[] src = new int[10];
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	50	int[] dst = new int[10];
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	51	System.arraycopy(src, 0, dst, 0, 10);
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	52
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	53	try {
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	54	test();
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	55	} catch(ArrayStoreException ase) {}
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	56	}
ed11124f18e1 8075921: assert assert(allocx == alloc) fails in library_call.cpp roland parents: diff changeset	57	}

author	thartmann
	Thu, 04 Aug 2016 10:34:34 +0200
changeset 40365	3791c1b34e36
parent 40059	c2304140ed64
permissions	-rw-r--r--