path: root/include/llvm/CodeGen/ValueTypes.h

//===- CodeGen/ValueTypes.h - Low-Level Target independ. types --*- C++ -*-===//
//
//                     The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// This file defines the set of low-level target independent types which various
// values in the code generator are.  This allows the target specific behavior
// of instructions to be described to target independent passes.
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_CODEGEN_VALUETYPES_H
#define LLVM_CODEGEN_VALUETYPES_H

#include <cassert>
#include <string>
#include "llvm/Support/DataTypes.h"
#include "llvm/Support/MathExtras.h"

namespace llvm {
  class Type;

  struct MVT { // MVT = Machine Value Type
  public:

    enum SimpleValueType {
      // If you change this numbering, you must change the values in
      // ValueTypes.td well!
      Other          =   0,   // This is a non-standard value
      i1             =   1,   // This is a 1 bit integer value
      i8             =   2,   // This is an 8 bit integer value
      i16            =   3,   // This is a 16 bit integer value
      i32            =   4,   // This is a 32 bit integer value
      i64            =   5,   // This is a 64 bit integer value
      i128           =   6,   // This is a 128 bit integer value

      FIRST_INTEGER_VALUETYPE = i1,
      LAST_INTEGER_VALUETYPE  = i128,

      f32            =   7,   // This is a 32 bit floating point value
      f64            =   8,   // This is a 64 bit floating point value
      f80            =   9,   // This is a 80 bit floating point value
      f128           =  10,   // This is a 128 bit floating point value
      ppcf128        =  11,   // This is a PPC 128-bit floating point value
      Flag           =  12,   // This is a condition code or machine flag.

      isVoid         =  13,   // This has no value

      v8i8           =  14,   //  8 x i8
      v4i16          =  15,   //  4 x i16
      v2i32          =  16,   //  2 x i32
      v1i64          =  17,   //  1 x i64
      v16i8          =  18,   // 16 x i8
      v8i16          =  19,   //  8 x i16
      v3i32          =  20,   //  3 x i32
      v4i32          =  21,   //  4 x i32
      v2i64          =  22,   //  2 x i64

      v2f32          =  23,   //  2 x f32
      v3f32          =  24,   //  3 x f32
      v4f32          =  25,   //  4 x f32
      v2f64          =  26,   //  2 x f64

      FIRST_VECTOR_VALUETYPE = v8i8,
      LAST_VECTOR_VALUETYPE  = v2f64,

      LAST_VALUETYPE =  27,   // This always remains at the end of the list.

      // fAny - Any floating-point or vector floating-point value. This is used
      // for intrinsics that have overloadings based on floating-point types.
      // This is only for tblgen's consumption!
      fAny           =  253,

      // iAny - An integer or vector integer value of any bit width. This is
      // used for intrinsics that have overloadings based on integer bit widths.
      // This is only for tblgen's consumption!
      iAny           =  254,

      // iPTR - An int value the size of the pointer of the current
      // target.  This should only be used internal to tblgen!
      iPTR           =  255
    };

    /// MVT - This type holds low-level value types. Valid values include any of
    /// the values in the SimpleValueType enum, or any value returned from one
    /// of the MVT methods.  Any value type equal to one of the SimpleValueType
    /// enum values is a "simple" value type.  All others are "extended".
    ///
    /// Note that simple doesn't necessary mean legal for the target machine.
    /// All legal value types must be simple, but often there are some simple
    /// value types that are not legal.
    ///
    /// @internal
    /// Extended types are either vector types or arbitrary precision integers.
    /// Arbitrary precision integers have iAny in the first SimpleTypeBits bits,
    /// and the bit-width in the next PrecisionBits bits, offset by minus one.
    /// Vector types are encoded by having the first SimpleTypeBits+PrecisionBits
    /// bits encode the vector element type (which must be a scalar type, possibly
    /// an arbitrary precision integer) and the remaining VectorBits upper bits
    /// encode the vector length, offset by one.
    ///
    /// 32--------------16-----------8-------------0
    ///  | Vector length | Precision | Simple type |
    ///  |               |      Vector element     |
    ///

  private:

    static const int SimpleTypeBits = 8;
    static const int PrecisionBits  = 8;
    static const int VectorBits     = 32 - SimpleTypeBits - PrecisionBits;

    static const uint32_t SimpleTypeMask =
      (~uint32_t(0) << (32 - SimpleTypeBits)) >> (32 - SimpleTypeBits);

    static const uint32_t PrecisionMask =
      ((~uint32_t(0) << VectorBits) >> (32 - PrecisionBits)) << SimpleTypeBits;

    static const uint32_t VectorMask =
      (~uint32_t(0) >> (32 - VectorBits)) << (32 - VectorBits);

    static const uint32_t ElementMask =
      (~uint32_t(0) << VectorBits) >> VectorBits;

    uint32_t V;

  public:

    MVT() {}
    MVT(SimpleValueType S) { V = S; }

    inline bool operator== (const MVT VT) const { return V == VT.V; }
    inline bool operator!= (const MVT VT) const { return V != VT.V; }

    /// getIntegerVT - Returns the MVT that represents an integer with the given
    /// number of bits.
    static inline MVT getIntegerVT(unsigned BitWidth) {
      switch (BitWidth) {
      default:
        break;
      case 1:
        return i1;
      case 8:
        return i8;
      case 16:
        return i16;
      case 32:
        return i32;
      case 64:
        return i64;
      case 128:
        return i128;
      }
      MVT VT;
      VT.V = iAny | (((BitWidth - 1) << SimpleTypeBits) & PrecisionMask);
      assert(VT.getSizeInBits() == BitWidth && "Bad bit width!");
      return VT;
    }

    /// getVectorVT - Returns the MVT that represents a vector NumElements in
    /// length, where each element is of type VT.
    static inline MVT getVectorVT(MVT VT, unsigned NumElements) {
      switch (VT.V) {
      default:
        break;
      case i8:
        if (NumElements == 8)  return v8i8;
        if (NumElements == 16) return v16i8;
        break;
      case i16:
        if (NumElements == 4)  return v4i16;
        if (NumElements == 8)  return v8i16;
        break;
      case i32:
        if (NumElements == 2)  return v2i32;
        if (NumElements == 3)  return v3i32;
        if (NumElements == 4)  return v4i32;
        break;
      case i64:
        if (NumElements == 1)  return v1i64;
        if (NumElements == 2)  return v2i64;
        break;
      case f32:
        if (NumElements == 2)  return v2f32;
        if (NumElements == 3)  return v3f32;
        if (NumElements == 4)  return v4f32;
        break;
      case f64:
        if (NumElements == 2)  return v2f64;
        break;
      }
      MVT Result;
      Result.V = VT.V | ((NumElements + 1) << (32 - VectorBits));
      assert(Result.getVectorElementType() == VT &&
             "Bad vector element type!");
      assert(Result.getVectorNumElements() == NumElements &&
             "Bad vector length!");
      return Result;
    }

    /// getIntVectorWithNumElements - Return any integer vector type that has
    /// the specified number of elements.
    static inline MVT getIntVectorWithNumElements(unsigned NumElts) {
      switch (NumElts) {
      default: return getVectorVT(i8, NumElts);
      case  1: return v1i64;
      case  2: return v2i32;
      case  3: return v3i32;
      case  4: return v4i16;
      case  8: return v8i8;
      case 16: return v16i8;
      }
    }


    /// isSimple - Test if the given MVT is simple (as opposed to being
    /// extended).
    inline bool isSimple() const {
      return V <= SimpleTypeMask;
    }

    /// isExtended - Test if the given MVT is extended (as opposed to
    /// being simple).
    inline bool isExtended() const {
      return !isSimple();
    }

    /// isFloatingPoint - Return true if this is a FP, or a vector FP type.
    inline bool isFloatingPoint() const {
      uint32_t SVT = V & SimpleTypeMask;
      return (SVT >= f32 && SVT <= ppcf128) || (SVT >= v2f32 && SVT