hotspot/test/compiler/inlining/DefaultMethodsDependencies.java
author duke
Wed, 05 Jul 2017 22:24:41 +0200
changeset 41867 d62173b931bf
parent 40059 c2304140ed64
permissions -rw-r--r--
Merge
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
30195
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
     1
/*
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
     2
 * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
     4
 *
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
     7
 * published by the Free Software Foundation.
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
     8
 *
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    13
 * accompanied this code).
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    14
 *
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    18
 *
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    21
 * questions.
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    22
 */
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    23
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    24
/*
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    25
 * @test
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    26
 * @bug 8069263
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    27
 * @summary Deoptimization between array allocation and arraycopy may result in non initialized array
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    28
 *
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 30195
diff changeset
    29
 * @run main/othervm -XX:-BackgroundCompilation
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 30195
diff changeset
    30
 *      -XX:CompileCommand=compileonly,compiler.inlining.DefaultMethodsDependencies::test
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 30195
diff changeset
    31
 *      -XX:CompileCommand=compileonly,compiler.inlining.DefaultMethodsDependencies$I2::m1
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 30195
diff changeset
    32
 *      compiler.inlining.DefaultMethodsDependencies
30195
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    33
 */
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    34
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 30195
diff changeset
    35
package compiler.inlining;
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 30195
diff changeset
    36
30195
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    37
public class DefaultMethodsDependencies {
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    38
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    39
    interface I1 {
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    40
        void m1();
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    41
        // triggers processing of default methods in C1
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    42
        default void m2() {
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    43
        }
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    44
    }
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    45
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    46
    interface I2 extends I1 {
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    47
        // added to C2 as default method
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    48
        default void m1() {
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    49
        }
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    50
    }
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    51
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    52
    static abstract class C1 implements I1 {
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    53
    }
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    54
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    55
    static class C2 extends C1 implements I2 {
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    56
    }
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    57
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    58
    static void test(C1 obj) {
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    59
        obj.m1();
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    60
    }
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    61
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    62
    static public void main(String[] args) {
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    63
        C2 obj = new C2();
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    64
        for (int i = 0; i < 20000; i++) {
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    65
            test(obj);
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    66
        }
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    67
    }
fff35af9b018 8069263: assert(fm == NULL || fm->method_holder() == _participants[n]) failed: sanity
roland
parents:
diff changeset
    68
}