jdk-sandbox: test/hotspot/jtreg/compiler/c2/TestUnsignedByteCompare.java@f0312c7d5b37 (annotated)

50463 929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	1	/*
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	2	* Copyright (c) 2018, Red Hat Inc. All rights reserved.
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	4	*
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	5	* This code is free software; you can redistribute it and/or modify it
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	6	* under the terms of the GNU General Public License version 2 only, as
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	7	* published by the Free Software Foundation.
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	8	*
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	9	* This code is distributed in the hope that it will be useful, but WITHOUT
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	12	* version 2 for more details (a copy is included in the LICENSE file that
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	13	* accompanied this code).
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	14	*
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	15	* You should have received a copy of the GNU General Public License version
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	16	* 2 along with this work; if not, write to the Free Software Foundation,
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	18	*
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	20	* or visit www.oracle.com if you need additional information or have any
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	21	* questions.
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	22	*/
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	23
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	24	/*
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	25	* @test
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	26	* @bug 8204479
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	27	* @summary Bitwise AND on byte value sometimes produces wrong result
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	28	*
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	29	* @run main/othervm -XX:+IgnoreUnrecognizedVMOptions -XX:-TieredCompilation
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	30	* -XX:-UseOnStackReplacement -XX:-BackgroundCompilation -Xcomp -XX:-Inline
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	31	* compiler.c2.TestUnsignedByteCompare
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	32	*/
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	33
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	34	package compiler.c2;
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	35
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	36	public class TestUnsignedByteCompare {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	37
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	38	static int p, n;
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	39
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	40	static void report(byte[] ba, int i, boolean failed) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	41	// Enable for debugging:
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	42	// System.out.println((failed ? "Failed" : "Passed") + " with: " + ba[i] + " at " + i);
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	43	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	44
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	45	static void m1(byte[] ba) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	46	for (int i = 0; i < ba.length; i++) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	47	if ((ba[i] & 0xFF) < 0x10) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	48	p++;
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	49	report(ba, i, true);
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	50	} else {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	51	n++;
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	52	report(ba, i, false);
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	53	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	54	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	55	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	56
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	57	static void m2(byte[] ba) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	58	for (int i = 0; i < ba.length; i++) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	59	if (((ba[i] & 0xFF) & 0x80) < 0) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	60	p++;
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	61	report(ba, i, true);
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	62	} else {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	63	n++;
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	64	report(ba, i, false);
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	65	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	66	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	67	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	68
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	69	static public void main(String[] args) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	70	final int tries = 1_000;
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	71	final int count = 1_000;
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	72
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	73	byte[] ba = new byte[count];
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	74
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	75	for (int i = 0; i < count; i++) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	76	int v = -(i % 126 + 1);
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	77	ba[i] = (byte)v;
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	78	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	79
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	80	for (int t = 0; t < tries; t++) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	81	m1(ba);
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	82	if (p != 0) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	83	throw new IllegalStateException("m1 error: p = " + p + ", n = " + n);
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	84	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	85	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	86
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	87	for (int t = 0; t < tries; t++) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	88	m2(ba);
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	89	if (p != 0) {
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	90	throw new IllegalStateException("m2 error: p = " + p + ", n = " + n);
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	91	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	92	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	93	}
929cd9246fc9 8204479: Bitwise AND on byte value sometimes produces wrong result shade parents: diff changeset	94	}

author	bsrbnd
	Wed, 13 Nov 2019 11:21:15 +0100
changeset 59051	f0312c7d5b37
parent 50463	929cd9246fc9
permissions	-rw-r--r--