src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/StaticDeoptimizingNode.java
author iveresov
Fri, 02 Feb 2018 17:28:17 -0800
changeset 48861 47f19ff9903c
child 49451 e06f9607f370
permissions -rw-r--r--
8194819: Update Graal Reviewed-by: kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
     1
/*
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
     2
 * Copyright (c) 2017, Oracle and/or its affiliates. All rights reserved.
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
     4
 *
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
     7
 * published by the Free Software Foundation.
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
     8
 *
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    13
 * accompanied this code).
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    14
 *
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    18
 *
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    21
 * questions.
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    22
 */
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    23
package org.graalvm.compiler.nodes;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    24
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    25
import org.graalvm.compiler.debug.GraalError;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    26
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    27
import jdk.vm.ci.meta.DeoptimizationAction;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    28
import jdk.vm.ci.meta.DeoptimizationReason;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    29
import jdk.vm.ci.meta.JavaConstant;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    30
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    31
public interface StaticDeoptimizingNode extends ValueNodeInterface {
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    32
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    33
    DeoptimizationReason getReason();
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    34
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    35
    DeoptimizationAction getAction();
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    36
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    37
    JavaConstant getSpeculation();
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    38
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    39
    /**
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    40
     * Describes how much information is gathered when deoptimization triggers.
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    41
     *
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    42
     * This enum is {@link Comparable} and orders its element from highest priority to lowest
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    43
     * priority.
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    44
     */
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    45
    enum GuardPriority {
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    46
        Speculation,
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    47
        Profile,
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    48
        None;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    49
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    50
        public boolean isHigherPriorityThan(GuardPriority other) {
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    51
            return this.compareTo(other) < 0;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    52
        }
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    53
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    54
        public boolean isLowerPriorityThan(GuardPriority other) {
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    55
            return this.compareTo(other) > 0;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    56
        }
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    57
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    58
        public static GuardPriority highest() {
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    59
            return Speculation;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    60
        }
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    61
    }
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    62
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    63
    default GuardPriority computePriority() {
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    64
        if (getSpeculation() != null && getSpeculation().isNonNull()) {
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    65
            return GuardNode.GuardPriority.Speculation;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    66
        }
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    67
        switch (getAction()) {
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    68
            case InvalidateReprofile:
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    69
            case InvalidateRecompile:
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    70
                return GuardNode.GuardPriority.Profile;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    71
            case RecompileIfTooManyDeopts:
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    72
            case InvalidateStopCompiling:
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    73
            case None:
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    74
                return GuardNode.GuardPriority.None;
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    75
        }
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    76
        throw GraalError.shouldNotReachHere();
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    77
    }
47f19ff9903c 8194819: Update Graal
iveresov
parents:
diff changeset
    78
}