hotspot/test/compiler/inlining/InlineDefaultMethod.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:
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
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    28
 *
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    29
 * @run main/othervm -Xcomp -XX:TieredStopAtLevel=1
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    30
 *      -XX:CompileCommand=compileonly,compiler.inlining.InlineDefaultMethod::test
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    31
 *      compiler.inlining.InlineDefaultMethod
21209
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    32
 */
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    33
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    34
package compiler.inlining;
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    35
public class InlineDefaultMethod {
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    36
    interface InterfaceWithDefaultMethod0 {
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    37
        default public int defaultMethod() {
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    38
            return 1;
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    39
        }
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    40
    }
21209
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    41
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    42
    interface InterfaceWithDefaultMethod1 extends InterfaceWithDefaultMethod0 { }
21209
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    43
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    44
    static abstract class Subtype implements InterfaceWithDefaultMethod1 { }
21209
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    45
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    46
    static class Decoy extends Subtype {
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    47
        public int defaultMethod() {
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    48
            return 2;
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    49
        }
21209
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    50
    }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    51
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 21209
diff changeset
    52
    static class Instance extends Subtype { }
21209
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 int test(InterfaceWithDefaultMethod1 x) {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    55
        return x.defaultMethod();
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    56
    }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    57
    public static void main(String[] args) {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    58
        InterfaceWithDefaultMethod1 a = new Decoy();
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    59
        InterfaceWithDefaultMethod1 b = new Instance();
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    60
        if (test(a) != 2 ||
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    61
            test(b) != 1) {
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    62
          System.err.println("FAILED");
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    63
          System.exit(97);
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    64
        }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    65
        System.err.println("PASSED");
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    66
    }
5eecc37ceb93 8026735: Stream tests throw java.lang.IncompatibleClassChangeError
iveresov
parents:
diff changeset
    67
}