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 }