src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot/JVMCIVersionCheck.java
author dlong
Thu, 14 Nov 2019 12:21:00 -0800
changeset 59095 03fbcd06b4c0
parent 58533 46b0b7fe255c
permissions -rw-r--r--
8233841: Update Graal Reviewed-by: kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     1
/*
54328
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
     2
 * Copyright (c) 2016, 2019, Oracle and/or its affiliates. All rights reserved.
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     4
 *
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     7
 * published by the Free Software Foundation.
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     8
 *
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    13
 * accompanied this code).
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    14
 *
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    18
 *
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    21
 * questions.
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    22
 */
50858
2d3e99a72541 8205824: Update Graal
never
parents: 47216
diff changeset
    23
2d3e99a72541 8205824: Update Graal
never
parents: 47216
diff changeset
    24
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    25
package org.graalvm.compiler.hotspot;
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    26
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    27
import java.util.Formatter;
54328
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
    28
import java.util.HashMap;
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
    29
import java.util.Map;
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
    30
import java.util.Properties;
57537
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    31
import java.util.regex.Matcher;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    32
import java.util.regex.Pattern;
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    33
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    34
/**
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    35
 * Mechanism for checking that the current Java runtime environment supports the minimum JVMCI API
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    36
 * required by Graal. The {@code JVMCI_VERSION_CHECK} environment variable can be used to ignore a
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    37
 * failed check ({@code JVMCI_VERSION_CHECK=ignore}) or print a warning (
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    38
 * {@code JVMCI_VERSION_CHECK=warn}) and continue. Otherwise, a failed check results in an
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    39
 * {@link InternalError} being raised or, if called from {@link #main(String[])}, the VM exiting
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    40
 * with a result code of {@code -1}
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    41
 *
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    42
 * This class only depends on the JDK so that it can be used without building Graal.
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    43
 */
54724
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
    44
public final class JVMCIVersionCheck {
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    45
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
    46
    private static final Version JVMCI_MIN_VERSION = new Version3(19, 3, 4);
57537
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    47
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    48
    public interface Version {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    49
        boolean isLessThan(Version other);
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    50
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    51
        static Version parse(String vmVersion) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    52
            Matcher m = Pattern.compile(".*-jvmci-(\\d+)\\.(\\d+)-b(\\d+).*").matcher(vmVersion);
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    53
            if (m.matches()) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    54
                try {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    55
                    int major = Integer.parseInt(m.group(1));
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    56
                    int minor = Integer.parseInt(m.group(2));
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    57
                    int build = Integer.parseInt(m.group(3));
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    58
                    return new Version3(major, minor, build);
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    59
                } catch (NumberFormatException e) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    60
                    // ignore
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    61
                }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    62
            }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    63
            m = Pattern.compile(".*-jvmci-(\\d+)(?:\\.|-b)(\\d+).*").matcher(vmVersion);
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    64
            if (m.matches()) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    65
                try {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    66
                    int major = Integer.parseInt(m.group(1));
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    67
                    int minor = Integer.parseInt(m.group(2));
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    68
                    return new Version2(major, minor);
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    69
                } catch (NumberFormatException e) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    70
                    // ignore
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    71
                }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    72
            }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    73
            return null;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    74
        }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    75
    }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    76
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    77
    public static class Version2 implements Version {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    78
        private final int major;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    79
        private final int minor;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    80
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    81
        public Version2(int major, int minor) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    82
            this.major = major;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    83
            this.minor = minor;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    84
        }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    85
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    86
        @Override
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    87
        public boolean isLessThan(Version other) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    88
            if (other.getClass() == Version3.class) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    89
                return true;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    90
            }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    91
            Version2 o = (Version2) other;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    92
            if (this.major < o.major) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    93
                return true;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    94
            }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    95
            if (this.major == o.major && this.minor < o.minor) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    96
                return true;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    97
            }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    98
            return false;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    99
        }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   100
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   101
        @Override
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   102
        public String toString() {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   103
            if (major >= 19) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   104
                return String.format("%d-b%02d", major, minor);
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   105
            } else {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   106
                return String.format("%d.%d", major, minor);
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   107
            }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   108
        }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   109
    }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   110
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   111
    public static class Version3 implements Version {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   112
        private final int major;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   113
        private final int minor;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   114
        private final int build;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   115
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   116
        public Version3(int major, int minor, int build) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   117
            this.major = major;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   118
            this.minor = minor;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   119
            this.build = build;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   120
        }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   121
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   122
        @Override
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   123
        public boolean isLessThan(Version other) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   124
            if (other.getClass() == Version2.class) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   125
                return false;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   126
            }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   127
            Version3 o = (Version3) other;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   128
            if (this.major < o.major) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   129
                return true;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   130
            }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   131
            if (this.major == o.major) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   132
                if (this.minor < o.minor) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   133
                    return true;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   134
                }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   135
                if (this.minor == o.minor && this.build < o.build) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   136
                    return true;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   137
                }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   138
            }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   139
            return false;
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   140
        }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   141
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   142
        @Override
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   143
        public String toString() {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   144
            return String.format("%d.%d-b%02d", major, minor, build);
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   145
        }
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   146
    }
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   147
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   148
    private void failVersionCheck(boolean exit, String reason, Object... args) {
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   149
        Formatter errorMessage = new Formatter().format(reason, args);
54328
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
   150
        String javaHome = props.get("java.home");
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
   151
        String vmName = props.get("java.vm.name");
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   152
        errorMessage.format("Set the JVMCI_VERSION_CHECK environment variable to \"ignore\" to suppress ");
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   153
        errorMessage.format("this error or to \"warn\" to emit a warning and continue execution.%n");
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   154
        errorMessage.format("Currently used Java home directory is %s.%n", javaHome);
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   155
        errorMessage.format("Currently used VM configuration is: %s%n", vmName);
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   156
        if (javaSpecVersion.compareTo("1.9") < 0) {
57537
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   157
            errorMessage.format("Download the latest JVMCI JDK 8 from https://github.com/graalvm/openjdk8-jvmci-builder/releases");
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   158
        } else {
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   159
            if (javaSpecVersion.compareTo("11") == 0 && vmVersion.contains("-jvmci-")) {
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   160
                errorMessage.format("Download the latest Labs OpenJDK 11 from https://github.com/graalvm/labs-openjdk-11/releases");
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   161
            } else {
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   162
                errorMessage.format("Download JDK 11 or later.");
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   163
            }
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   164
        }
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   165
        String value = System.getenv("JVMCI_VERSION_CHECK");
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   166
        if ("warn".equals(value)) {
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   167
            System.err.println(errorMessage.toString());
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   168
        } else if ("ignore".equals(value)) {
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   169
            return;
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   170
        } else if (exit) {
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   171
            System.err.println(errorMessage.toString());
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   172
            System.exit(-1);
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   173
        } else {
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   174
            throw new InternalError(errorMessage.toString());
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   175
        }
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   176
    }
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   177
54724
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   178
    private final String javaSpecVersion;
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   179
    private final String vmVersion;
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   180
    private final Map<String, String> props;
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   181
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   182
    private JVMCIVersionCheck(Map<String, String> props, String javaSpecVersion, String vmVersion) {
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   183
        this.props = props;
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   184
        this.javaSpecVersion = javaSpecVersion;
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   185
        this.vmVersion = vmVersion;
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   186
    }
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   187
54328
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
   188
    static void check(Map<String, String> props, boolean exitOnFailure) {
54724
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   189
        JVMCIVersionCheck checker = new JVMCIVersionCheck(props, props.get("java.specification.version"), props.get("java.vm.version"));
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   190
        checker.run(exitOnFailure, JVMCI_MIN_VERSION);
54724
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   191
    }
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   192
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   193
    /**
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   194
     * Entry point for testing.
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   195
     */
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   196
    public static void check(Map<String, String> props,
57537
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   197
                    Version minVersion,
54724
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   198
                    String javaSpecVersion,
57537
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   199
                    String javaVmVersion, boolean exitOnFailure) {
54724
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   200
        JVMCIVersionCheck checker = new JVMCIVersionCheck(props, javaSpecVersion, javaVmVersion);
57537
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   201
        checker.run(exitOnFailure, minVersion);
54724
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   202
    }
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   203
57537
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   204
    private void run(boolean exitOnFailure, Version minVersion) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   205
        if (javaSpecVersion.compareTo("1.9") < 0) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   206
            Version v = Version.parse(vmVersion);
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   207
            if (v != null) {
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   208
                if (v.isLessThan(minVersion)) {
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   209
                    failVersionCheck(exitOnFailure, "The VM does not support the minimum JVMCI API version required by Graal: %s < %s.%n", v, minVersion);
54724
62f373a53296 8222665: Update Graal
jwilhelm
parents: 54328
diff changeset
   210
                }
57537
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   211
                return;
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   212
            }
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   213
            failVersionCheck(exitOnFailure, "The VM does not support the minimum JVMCI API version required by Graal.%n" +
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   214
                            "Cannot read JVMCI version from java.vm.version property: %s.%n", vmVersion);
51436
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   215
        } else if (javaSpecVersion.compareTo("11") < 0) {
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   216
            failVersionCheck(exitOnFailure, "Graal is not compatible with the JVMCI API in JDK 9 and 10.%n");
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   217
        } else {
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   218
            if (vmVersion.contains("SNAPSHOT")) {
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   219
                return;
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   220
            }
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   221
            if (vmVersion.contains("internal")) {
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   222
                // Allow local builds
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   223
                return;
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   224
            }
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   225
            if (vmVersion.contains("-jvmci-")) {
58533
46b0b7fe255c 8231973: Update Graal
dlong
parents: 57537
diff changeset
   226
                // A "labsjdk"
46b0b7fe255c 8231973: Update Graal
dlong
parents: 57537
diff changeset
   227
                Version v = Version.parse(vmVersion);
46b0b7fe255c 8231973: Update Graal
dlong
parents: 57537
diff changeset
   228
                if (v != null) {
46b0b7fe255c 8231973: Update Graal
dlong
parents: 57537
diff changeset
   229
                    if (v.isLessThan(minVersion)) {
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   230
                        failVersionCheck(exitOnFailure, "The VM does not support the minimum JVMCI API version required by Graal: %s < %s.%n", v, minVersion);
58533
46b0b7fe255c 8231973: Update Graal
dlong
parents: 57537
diff changeset
   231
                    }
46b0b7fe255c 8231973: Update Graal
dlong
parents: 57537
diff changeset
   232
                    return;
46b0b7fe255c 8231973: Update Graal
dlong
parents: 57537
diff changeset
   233
                }
59095
03fbcd06b4c0 8233841: Update Graal
dlong
parents: 58533
diff changeset
   234
                failVersionCheck(exitOnFailure, "The VM does not support the minimum JVMCI API version required by Graal.%n" +
58533
46b0b7fe255c 8231973: Update Graal
dlong
parents: 57537
diff changeset
   235
                                "Cannot read JVMCI version from java.vm.version property: %s.%n", vmVersion);
46061
duke
parents: 45871
diff changeset
   236
            } else {
51736
42d99cb7f50f 8210478: Update Graal
iveresov
parents: 51436
diff changeset
   237
                // Graal is compatible with all JDK versions as of 11 GA.
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   238
            }
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   239
        }
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   240
    }
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   241
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   242
    /**
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   243
     * Command line interface for performing the check.
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   244
     */
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   245
    public static void main(String[] args) {
54328
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
   246
        Properties sprops = System.getProperties();
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
   247
        Map<String, String> props = new HashMap<>(sprops.size());
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
   248
        for (String name : sprops.stringPropertyNames()) {
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
   249
            props.put(name, sprops.getProperty(name));
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
   250
        }
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
   251
        check(props, true);
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   252
    }
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   253
}