hotspot/test/compiler/arraycopy/TestArrayCopyOverflowInBoundChecks.java
author thartmann
Thu, 12 May 2016 08:23:25 +0200
changeset 38675 066fcb1eb80a
parent 32576 23c2580976be
child 40059 c2304140ed64
permissions -rw-r--r--
8155643: Java crash with assert in Xcomp mode and disabled ReduceInitialCardMarks Summary: We should not emit a subtype check for CloneOop arraycopy. Reviewed-by: kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
32576
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
     1
/*
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
     2
 * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
     4
 *
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
     7
 * published by the Free Software Foundation.
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
     8
 *
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    13
 * accompanied this code).
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    14
 *
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    18
 *
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    21
 * questions.
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    22
 */
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    23
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    24
/*
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    25
 * @test
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    26
 * @bug 8134468
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    27
 * @summary test that checks whether an array load falls into the range of an arraycopy is incorrect on 32bits
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    28
 * @run main/othervm -XX:-BackgroundCompilation -XX:-UseOnStackReplacement TestArrayCopyOverflowInBoundChecks
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    29
 *
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    30
 */
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    31
public class TestArrayCopyOverflowInBoundChecks {
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    32
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    33
    static byte[] src_array = { 'a', 'b', 'c', 'd', 'e' };
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    34
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    35
    static byte test(int copy_len) {
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    36
        byte[] dst_array = new byte[10];
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    37
        System.arraycopy(src_array, 0, dst_array, 1, copy_len);
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    38
        return dst_array[1];
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    39
    }
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    40
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    41
    static public void main(String[] args) {
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    42
        for (int i = 0; i < 20000; i++) {
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    43
            if (test(src_array.length - 1) != src_array[0]) {
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    44
                throw new RuntimeException("Test failed");
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    45
            }
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    46
        }
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    47
    }
23c2580976be 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
roland
parents:
diff changeset
    48
}