1 /*

     2  * Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved.

     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

     4  *

     5  * This code is free software; you can redistribute it and/or modify it

     6  * under the terms of the GNU General Public License version 2 only, as

     7  * published by the Free Software Foundation.

     8  *

     9  * This code is distributed in the hope that it will be useful, but WITHOUT

    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

    12  * version 2 for more details (a copy is included in the LICENSE file that

    13  * accompanied this code).

    14  *

    15  * You should have received a copy of the GNU General Public License version

    16  * 2 along with this work; if not, write to the Free Software Foundation,

    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

    18  *

    19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

    20  * or visit www.oracle.com if you need additional information or have any

    21  * questions.

    22  */

    23 

    24 

    25 package org.graalvm.compiler.nodes.util;

    26 

    27 import org.graalvm.compiler.core.common.NumUtil;

    28 import org.graalvm.compiler.core.common.type.IntegerStamp;

    29 import org.graalvm.compiler.core.common.type.StampFactory;

    30 import org.graalvm.compiler.nodes.LogicNode;

    31 import org.graalvm.compiler.nodes.NodeView;

    32 import org.graalvm.compiler.nodes.ValueNode;

    33 import org.graalvm.compiler.nodes.calc.IntegerLessThanNode;

    34 

    35 import jdk.vm.ci.code.CodeUtil;

    36 

    37 public class SignedIntegerHelper extends IntegerHelper {

    38     public SignedIntegerHelper(int bits) {

    39         super(bits);

    40     }

    41 

    42     @Override

    43     public long upperBound(IntegerStamp stamp) {

    44         assert stamp.getBits() == bits;

    45         return stamp.upperBound();

    46     }

    47 

    48     @Override

    49     public long lowerBound(IntegerStamp stamp) {

    50         assert stamp.getBits() == bits;

    51         return stamp.lowerBound();

    52     }

    53 

    54     @Override

    55     protected int rawCompare(long a, long b) {

    56         return Long.compare(a, b);

    57     }

    58 

    59     @Override

    60     protected long rawMin(long a, long b) {

    61         return Math.min(a, b);

    62     }

    63 

    64     @Override

    65     protected long rawMax(long a, long b) {

    66         return Math.max(a, b);

    67     }

    68 

    69     @Override

    70     public long cast(long a) {

    71         return CodeUtil.signExtend(a, bits);

    72     }

    73 

    74     @Override

    75     public long minValue() {

    76         return NumUtil.minValue(bits);

    77     }

    78 

    79     @Override

    80     public long maxValue() {

    81         return NumUtil.maxValue(bits);

    82     }

    83 

    84     @Override

    85     public IntegerStamp stamp(long min, long max) {

    86         return StampFactory.forInteger(bits, cast(min), cast(max));

    87     }

    88 

    89     @Override

    90     public LogicNode createCompareNode(ValueNode x, ValueNode y, NodeView view) {

    91         return IntegerLessThanNode.create(x, y, view);

    92     }

    93 }