hotspot/test/compiler/inlining/InlineDefaultMethod.java
author iveresov
Wed, 30 Oct 2013 22:55:11 -0700
changeset 21209 5eecc37ceb93
child 40059 c2304140ed64
permissions -rw-r--r--
8026735: Stream tests throw java.lang.IncompatibleClassChangeError Summary: Put a band-aid to disable CHA-based inlining for interfaces with default methods in C1 Reviewed-by: kvn, twisti
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
21209
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
     1
/*
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
     2
 * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
     4
 *
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
     7
 * published by the Free Software Foundation.
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
     8
 *
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    13
 * accompanied this code).
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    14
 *
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    18
 *
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    21
 * questions.
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    22
 */
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    23
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    24
/*
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    25
 * @test
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    26
 * @bug 8026735
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    27
 * @summary CHA in C1 should make correct decisions about default methods
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    28
 * @run main/othervm -Xcomp -XX:CompileOnly=InlineDefaultMethod::test -XX:TieredStopAtLevel=1 InlineDefaultMethod
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    29
 */
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    30
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    31
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    32
interface InterfaceWithDefaultMethod0 {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    33
    default public int defaultMethod() {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    34
        return 1;
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    35
    }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    36
}
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    37
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    38
interface InterfaceWithDefaultMethod1 extends InterfaceWithDefaultMethod0 { }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    39
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    40
abstract class Subtype implements InterfaceWithDefaultMethod1 { }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    41
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    42
class Decoy extends Subtype {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    43
    public int defaultMethod() {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    44
        return 2;
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    45
    }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    46
}
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    47
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    48
class Instance extends Subtype { }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    49
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    50
public class InlineDefaultMethod {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    51
    public static int test(InterfaceWithDefaultMethod1 x) {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    52
        return x.defaultMethod();
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    53
    }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    54
    public static void main(String[] args) {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    55
        InterfaceWithDefaultMethod1 a = new Decoy();
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    56
        InterfaceWithDefaultMethod1 b = new Instance();
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    57
        if (test(a) != 2 ||
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    58
            test(b) != 1) {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    59
          System.err.println("FAILED");
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    60
          System.exit(97);
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    61
        }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    62
        System.err.println("PASSED");
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    63
    }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    64
}