[llvm] 8eb0ef2 - Copy `llvm/Support/MachineValueType.h` into `unittests/Support` for D146906
NAKAMURA Takumi via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 13 16:50:10 PDT 2023
Author: NAKAMURA Takumi
Date: 2023-04-14T08:40:05+09:00
New Revision: 8eb0ef288a0d95eb667e30b535869d5a880701d5
URL: https://github.com/llvm/llvm-project/commit/8eb0ef288a0d95eb667e30b535869d5a880701d5
DIFF: https://github.com/llvm/llvm-project/commit/8eb0ef288a0d95eb667e30b535869d5a880701d5.diff
LOG: Copy `llvm/Support/MachineValueType.h` into `unittests/Support` for D146906
Differential Revision: https://reviews.llvm.org/D146907
Added:
llvm/unittests/Support/MachineValueType.h
Modified:
Removed:
################################################################################
diff --git a/llvm/unittests/Support/MachineValueType.h b/llvm/unittests/Support/MachineValueType.h
new file mode 100644
index 0000000000000..eb97239612c5f
--- /dev/null
+++ b/llvm/unittests/Support/MachineValueType.h
@@ -0,0 +1,1602 @@
+//===- Support/MachineValueType.h - Machine-Level types ---------*- C++ -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// This file defines the set of machine-level target independent types which
+// legal values in the code generator use.
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef LLVM_SUPPORT_MACHINEVALUETYPE_H
+#define LLVM_SUPPORT_MACHINEVALUETYPE_H
+
+#include "llvm/ADT/Sequence.h"
+#include "llvm/ADT/iterator_range.h"
+#include "llvm/Support/ErrorHandling.h"
+#include "llvm/Support/MathExtras.h"
+#include "llvm/Support/TypeSize.h"
+#include <cassert>
+
+namespace llvm {
+
+ class Type;
+
+ /// Machine Value Type. Every type that is supported natively by some
+ /// processor targeted by LLVM occurs here. This means that any legal value
+ /// type can be represented by an MVT.
+ class MVT {
+ public:
+ enum SimpleValueType : uint8_t {
+ // clang-format off
+
+ // Simple value types that aren't explicitly part of this enumeration
+ // are considered extended value types.
+ INVALID_SIMPLE_VALUE_TYPE = 0,
+
+ // If you change this numbering, you must change the values in
+ // ValueTypes.td as well!
+ Other = 1, // This is a non-standard value
+ i1 = 2, // This is a 1 bit integer value
+ i2 = 3, // This is a 2 bit integer value
+ i4 = 4, // This is a 4 bit integer value
+ i8 = 5, // This is an 8 bit integer value
+ i16 = 6, // This is a 16 bit integer value
+ i32 = 7, // This is a 32 bit integer value
+ i64 = 8, // This is a 64 bit integer value
+ i128 = 9, // This is a 128 bit integer value
+
+ FIRST_INTEGER_VALUETYPE = i1,
+ LAST_INTEGER_VALUETYPE = i128,
+
+ bf16 = 10, // This is a 16 bit brain floating point value
+ f16 = 11, // This is a 16 bit floating point value
+ f32 = 12, // This is a 32 bit floating point value
+ f64 = 13, // This is a 64 bit floating point value
+ f80 = 14, // This is a 80 bit floating point value
+ f128 = 15, // This is a 128 bit floating point value
+ ppcf128 = 16, // This is a PPC 128-bit floating point value
+
+ FIRST_FP_VALUETYPE = bf16,
+ LAST_FP_VALUETYPE = ppcf128,
+
+ v1i1 = 17, // 1 x i1
+ v2i1 = 18, // 2 x i1
+ v4i1 = 19, // 4 x i1
+ v8i1 = 20, // 8 x i1
+ v16i1 = 21, // 16 x i1
+ v32i1 = 22, // 32 x i1
+ v64i1 = 23, // 64 x i1
+ v128i1 = 24, // 128 x i1
+ v256i1 = 25, // 256 x i1
+ v512i1 = 26, // 512 x i1
+ v1024i1 = 27, // 1024 x i1
+ v2048i1 = 28, // 2048 x i1
+
+ v128i2 = 29, // 128 x i2
+ v256i2 = 30, // 256 x i2
+
+ v64i4 = 31, // 64 x i4
+ v128i4 = 32, // 128 x i4
+
+ v1i8 = 33, // 1 x i8
+ v2i8 = 34, // 2 x i8
+ v4i8 = 35, // 4 x i8
+ v8i8 = 36, // 8 x i8
+ v16i8 = 37, // 16 x i8
+ v32i8 = 38, // 32 x i8
+ v64i8 = 39, // 64 x i8
+ v128i8 = 40, // 128 x i8
+ v256i8 = 41, // 256 x i8
+ v512i8 = 42, // 512 x i8
+ v1024i8 = 43, // 1024 x i8
+
+ v1i16 = 44, // 1 x i16
+ v2i16 = 45, // 2 x i16
+ v3i16 = 46, // 3 x i16
+ v4i16 = 47, // 4 x i16
+ v8i16 = 48, // 8 x i16
+ v16i16 = 49, // 16 x i16
+ v32i16 = 50, // 32 x i16
+ v64i16 = 51, // 64 x i16
+ v128i16 = 52, // 128 x i16
+ v256i16 = 53, // 256 x i16
+ v512i16 = 54, // 512 x i16
+
+ v1i32 = 55, // 1 x i32
+ v2i32 = 56, // 2 x i32
+ v3i32 = 57, // 3 x i32
+ v4i32 = 58, // 4 x i32
+ v5i32 = 59, // 5 x i32
+ v6i32 = 60, // 6 x i32
+ v7i32 = 61, // 7 x i32
+ v8i32 = 62, // 8 x i32
+ v9i32 = 63, // 9 x i32
+ v10i32 = 64, // 10 x i32
+ v11i32 = 65, // 11 x i32
+ v12i32 = 66, // 12 x i32
+ v16i32 = 67, // 16 x i32
+ v32i32 = 68, // 32 x i32
+ v64i32 = 69, // 64 x i32
+ v128i32 = 70, // 128 x i32
+ v256i32 = 71, // 256 x i32
+ v512i32 = 72, // 512 x i32
+ v1024i32 = 73, // 1024 x i32
+ v2048i32 = 74, // 2048 x i32
+
+ v1i64 = 75, // 1 x i64
+ v2i64 = 76, // 2 x i64
+ v3i64 = 77, // 3 x i64
+ v4i64 = 78, // 4 x i64
+ v8i64 = 79, // 8 x i64
+ v16i64 = 80, // 16 x i64
+ v32i64 = 81, // 32 x i64
+ v64i64 = 82, // 64 x i64
+ v128i64 = 83, // 128 x i64
+ v256i64 = 84, // 256 x i64
+
+ v1i128 = 85, // 1 x i128
+
+ FIRST_INTEGER_FIXEDLEN_VECTOR_VALUETYPE = v1i1,
+ LAST_INTEGER_FIXEDLEN_VECTOR_VALUETYPE = v1i128,
+
+ v1f16 = 86, // 1 x f16
+ v2f16 = 87, // 2 x f16
+ v3f16 = 88, // 3 x f16
+ v4f16 = 89, // 4 x f16
+ v8f16 = 90, // 8 x f16
+ v16f16 = 91, // 16 x f16
+ v32f16 = 92, // 32 x f16
+ v64f16 = 93, // 64 x f16
+ v128f16 = 94, // 128 x f16
+ v256f16 = 95, // 256 x f16
+ v512f16 = 96, // 512 x f16
+
+ v2bf16 = 97, // 2 x bf16
+ v3bf16 = 98, // 3 x bf16
+ v4bf16 = 99, // 4 x bf16
+ v8bf16 = 100, // 8 x bf16
+ v16bf16 = 101, // 16 x bf16
+ v32bf16 = 102, // 32 x bf16
+ v64bf16 = 103, // 64 x bf16
+ v128bf16 = 104, // 128 x bf16
+
+ v1f32 = 105, // 1 x f32
+ v2f32 = 106, // 2 x f32
+ v3f32 = 107, // 3 x f32
+ v4f32 = 108, // 4 x f32
+ v5f32 = 109, // 5 x f32
+ v6f32 = 110, // 6 x f32
+ v7f32 = 111, // 7 x f32
+ v8f32 = 112, // 8 x f32
+ v9f32 = 113, // 9 x f32
+ v10f32 = 114, // 10 x f32
+ v11f32 = 115, // 11 x f32
+ v12f32 = 116, // 12 x f32
+ v16f32 = 117, // 16 x f32
+
+ v32f32 = 118, // 32 x f32
+ v64f32 = 119, // 64 x f32
+ v128f32 = 120, // 128 x f32
+ v256f32 = 121, // 256 x f32
+ v512f32 = 122, // 512 x f32
+ v1024f32 = 123, // 1024 x f32
+ v2048f32 = 124, // 2048 x f32
+
+ v1f64 = 125, // 1 x f64
+ v2f64 = 126, // 2 x f64
+ v3f64 = 127, // 3 x f64
+ v4f64 = 128, // 4 x f64
+ v8f64 = 129, // 8 x f64
+ v16f64 = 130, // 16 x f64
+ v32f64 = 131, // 32 x f64
+ v64f64 = 132, // 64 x f64
+ v128f64 = 133, // 128 x f64
+ v256f64 = 134, // 256 x f64
+
+ FIRST_FP_FIXEDLEN_VECTOR_VALUETYPE = v1f16,
+ LAST_FP_FIXEDLEN_VECTOR_VALUETYPE = v256f64,
+
+ FIRST_FIXEDLEN_VECTOR_VALUETYPE = v1i1,
+ LAST_FIXEDLEN_VECTOR_VALUETYPE = v256f64,
+
+ nxv1i1 = 135, // n x 1 x i1
+ nxv2i1 = 136, // n x 2 x i1
+ nxv4i1 = 137, // n x 4 x i1
+ nxv8i1 = 138, // n x 8 x i1
+ nxv16i1 = 139, // n x 16 x i1
+ nxv32i1 = 140, // n x 32 x i1
+ nxv64i1 = 141, // n x 64 x i1
+
+ nxv1i8 = 142, // n x 1 x i8
+ nxv2i8 = 143, // n x 2 x i8
+ nxv4i8 = 144, // n x 4 x i8
+ nxv8i8 = 145, // n x 8 x i8
+ nxv16i8 = 146, // n x 16 x i8
+ nxv32i8 = 147, // n x 32 x i8
+ nxv64i8 = 148, // n x 64 x i8
+
+ nxv1i16 = 149, // n x 1 x i16
+ nxv2i16 = 150, // n x 2 x i16
+ nxv4i16 = 151, // n x 4 x i16
+ nxv8i16 = 152, // n x 8 x i16
+ nxv16i16 = 153, // n x 16 x i16
+ nxv32i16 = 154, // n x 32 x i16
+
+ nxv1i32 = 155, // n x 1 x i32
+ nxv2i32 = 156, // n x 2 x i32
+ nxv4i32 = 157, // n x 4 x i32
+ nxv8i32 = 158, // n x 8 x i32
+ nxv16i32 = 159, // n x 16 x i32
+ nxv32i32 = 160, // n x 32 x i32
+
+ nxv1i64 = 161, // n x 1 x i64
+ nxv2i64 = 162, // n x 2 x i64
+ nxv4i64 = 163, // n x 4 x i64
+ nxv8i64 = 164, // n x 8 x i64
+ nxv16i64 = 165, // n x 16 x i64
+ nxv32i64 = 166, // n x 32 x i64
+
+ FIRST_INTEGER_SCALABLE_VECTOR_VALUETYPE = nxv1i1,
+ LAST_INTEGER_SCALABLE_VECTOR_VALUETYPE = nxv32i64,
+
+ nxv1f16 = 167, // n x 1 x f16
+ nxv2f16 = 168, // n x 2 x f16
+ nxv4f16 = 169, // n x 4 x f16
+ nxv8f16 = 170, // n x 8 x f16
+ nxv16f16 = 171, // n x 16 x f16
+ nxv32f16 = 172, // n x 32 x f16
+
+ nxv1bf16 = 173, // n x 1 x bf16
+ nxv2bf16 = 174, // n x 2 x bf16
+ nxv4bf16 = 175, // n x 4 x bf16
+ nxv8bf16 = 176, // n x 8 x bf16
+ nxv16bf16 = 177, // n x 16 x bf16
+ nxv32bf16 = 178, // n x 32 x bf16
+
+ nxv1f32 = 179, // n x 1 x f32
+ nxv2f32 = 180, // n x 2 x f32
+ nxv4f32 = 181, // n x 4 x f32
+ nxv8f32 = 182, // n x 8 x f32
+ nxv16f32 = 183, // n x 16 x f32
+
+ nxv1f64 = 184, // n x 1 x f64
+ nxv2f64 = 185, // n x 2 x f64
+ nxv4f64 = 186, // n x 4 x f64
+ nxv8f64 = 187, // n x 8 x f64
+
+ FIRST_FP_SCALABLE_VECTOR_VALUETYPE = nxv1f16,
+ LAST_FP_SCALABLE_VECTOR_VALUETYPE = nxv8f64,
+
+ FIRST_SCALABLE_VECTOR_VALUETYPE = nxv1i1,
+ LAST_SCALABLE_VECTOR_VALUETYPE = nxv8f64,
+
+ FIRST_VECTOR_VALUETYPE = v1i1,
+ LAST_VECTOR_VALUETYPE = nxv8f64,
+
+ x86mmx = 188, // This is an X86 MMX value
+
+ Glue = 189, // This glues nodes together during pre-RA sched
+
+ isVoid = 190, // This has no value
+
+ Untyped = 191, // This value takes a register, but has
+ // unspecified type. The register class
+ // will be determined by the opcode.
+
+ funcref = 192, // WebAssembly's funcref type
+ externref = 193, // WebAssembly's externref type
+ x86amx = 194, // This is an X86 AMX value
+ i64x8 = 195, // 8 Consecutive GPRs (AArch64)
+ aarch64svcount = 196, // AArch64 predicate-as-counter
+ spirvbuiltin = 197, // SPIR-V's builtin type
+
+ FIRST_VALUETYPE = 1, // This is always the beginning of the list.
+ LAST_VALUETYPE = spirvbuiltin, // This always remains at the end of the list.
+ VALUETYPE_SIZE = LAST_VALUETYPE + 1,
+
+ // This is the current maximum for LAST_VALUETYPE.
+ // MVT::MAX_ALLOWED_VALUETYPE is used for asserts and to size bit vectors
+ // This value must be a multiple of 32.
+ MAX_ALLOWED_VALUETYPE = 224,
+
+ // A value of type llvm::TokenTy
+ token = 248,
+
+ // This is MDNode or MDString.
+ Metadata = 249,
+
+ // An int value the size of the pointer of the current
+ // target to any address space. This must only be used internal to
+ // tblgen. Other than for overloading, we treat iPTRAny the same as iPTR.
+ iPTRAny = 250,
+
+ // A vector with any length and element size. This is used
+ // for intrinsics that have overloadings based on vector types.
+ // This is only for tblgen's consumption!
+ vAny = 251,
+
+ // 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 = 252,
+
+ // 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 = 253,
+
+ // An int value the size of the pointer of the current
+ // target. This should only be used internal to tblgen!
+ iPTR = 254,
+
+ // Any type. This is used for intrinsics that have overloadings.
+ // This is only for tblgen's consumption!
+ Any = 255
+
+ // clang-format on
+ };
+
+ SimpleValueType SimpleTy = INVALID_SIMPLE_VALUE_TYPE;
+
+ constexpr MVT() = default;
+ constexpr MVT(SimpleValueType SVT) : SimpleTy(SVT) {}
+
+ bool operator>(const MVT& S) const { return SimpleTy > S.SimpleTy; }
+ bool operator<(const MVT& S) const { return SimpleTy < S.SimpleTy; }
+ bool operator==(const MVT& S) const { return SimpleTy == S.SimpleTy; }
+ bool operator!=(const MVT& S) const { return SimpleTy != S.SimpleTy; }
+ bool operator>=(const MVT& S) const { return SimpleTy >= S.SimpleTy; }
+ bool operator<=(const MVT& S) const { return SimpleTy <= S.SimpleTy; }
+
+ /// Support for debugging, callable in GDB: VT.dump()
+ void dump() const;
+
+ /// Implement operator<<.
+ void print(raw_ostream &OS) const;
+
+ /// Return true if this is a valid simple valuetype.
+ bool isValid() const {
+ return (SimpleTy >= MVT::FIRST_VALUETYPE &&
+ SimpleTy <= MVT::LAST_VALUETYPE);
+ }
+
+ /// Return true if this is a FP or a vector FP type.
+ bool isFloatingPoint() const {
+ return ((SimpleTy >= MVT::FIRST_FP_VALUETYPE &&
+ SimpleTy <= MVT::LAST_FP_VALUETYPE) ||
+ (SimpleTy >= MVT::FIRST_FP_FIXEDLEN_VECTOR_VALUETYPE &&
+ SimpleTy <= MVT::LAST_FP_FIXEDLEN_VECTOR_VALUETYPE) ||
+ (SimpleTy >= MVT::FIRST_FP_SCALABLE_VECTOR_VALUETYPE &&
+ SimpleTy <= MVT::LAST_FP_SCALABLE_VECTOR_VALUETYPE));
+ }
+
+ /// Return true if this is an integer or a vector integer type.
+ bool isInteger() const {
+ return ((SimpleTy >= MVT::FIRST_INTEGER_VALUETYPE &&
+ SimpleTy <= MVT::LAST_INTEGER_VALUETYPE) ||
+ (SimpleTy >= MVT::FIRST_INTEGER_FIXEDLEN_VECTOR_VALUETYPE &&
+ SimpleTy <= MVT::LAST_INTEGER_FIXEDLEN_VECTOR_VALUETYPE) ||
+ (SimpleTy >= MVT::FIRST_INTEGER_SCALABLE_VECTOR_VALUETYPE &&
+ SimpleTy <= MVT::LAST_INTEGER_SCALABLE_VECTOR_VALUETYPE));
+ }
+
+ /// Return true if this is an integer, not including vectors.
+ bool isScalarInteger() const {
+ return (SimpleTy >= MVT::FIRST_INTEGER_VALUETYPE &&
+ SimpleTy <= MVT::LAST_INTEGER_VALUETYPE);
+ }
+
+ /// Return true if this is a vector value type.
+ bool isVector() const {
+ return (SimpleTy >= MVT::FIRST_VECTOR_VALUETYPE &&
+ SimpleTy <= MVT::LAST_VECTOR_VALUETYPE);
+ }
+
+ /// Return true if this is a vector value type where the
+ /// runtime length is machine dependent
+ bool isScalableVector() const {
+ return (SimpleTy >= MVT::FIRST_SCALABLE_VECTOR_VALUETYPE &&
+ SimpleTy <= MVT::LAST_SCALABLE_VECTOR_VALUETYPE);
+ }
+
+ /// Return true if this is a custom target type that has a scalable size.
+ bool isScalableTargetExtVT() const {
+ return SimpleTy == MVT::aarch64svcount;
+ }
+
+ /// Return true if the type is a scalable type.
+ bool isScalableVT() const {
+ return isScalableVector() || isScalableTargetExtVT();
+ }
+
+ bool isFixedLengthVector() const {
+ return (SimpleTy >= MVT::FIRST_FIXEDLEN_VECTOR_VALUETYPE &&
+ SimpleTy <= MVT::LAST_FIXEDLEN_VECTOR_VALUETYPE);
+ }
+
+ /// Return true if this is a 16-bit vector type.
+ bool is16BitVector() const {
+ return (SimpleTy == MVT::v2i8 || SimpleTy == MVT::v1i16 ||
+ SimpleTy == MVT::v16i1 || SimpleTy == MVT::v1f16);
+ }
+
+ /// Return true if this is a 32-bit vector type.
+ bool is32BitVector() const {
+ return (SimpleTy == MVT::v32i1 || SimpleTy == MVT::v4i8 ||
+ SimpleTy == MVT::v2i16 || SimpleTy == MVT::v1i32 ||
+ SimpleTy == MVT::v2f16 || SimpleTy == MVT::v2bf16 ||
+ SimpleTy == MVT::v1f32);
+ }
+
+ /// Return true if this is a 64-bit vector type.
+ bool is64BitVector() const {
+ return (SimpleTy == MVT::v64i1 || SimpleTy == MVT::v8i8 ||
+ SimpleTy == MVT::v4i16 || SimpleTy == MVT::v2i32 ||
+ SimpleTy == MVT::v1i64 || SimpleTy == MVT::v4f16 ||
+ SimpleTy == MVT::v4bf16 ||SimpleTy == MVT::v2f32 ||
+ SimpleTy == MVT::v1f64);
+ }
+
+ /// Return true if this is a 128-bit vector type.
+ bool is128BitVector() const {
+ return (SimpleTy == MVT::v128i1 || SimpleTy == MVT::v16i8 ||
+ SimpleTy == MVT::v8i16 || SimpleTy == MVT::v4i32 ||
+ SimpleTy == MVT::v2i64 || SimpleTy == MVT::v1i128 ||
+ SimpleTy == MVT::v8f16 || SimpleTy == MVT::v8bf16 ||
+ SimpleTy == MVT::v4f32 || SimpleTy == MVT::v2f64);
+ }
+
+ /// Return true if this is a 256-bit vector type.
+ bool is256BitVector() const {
+ return (SimpleTy == MVT::v16f16 || SimpleTy == MVT::v16bf16 ||
+ SimpleTy == MVT::v8f32 || SimpleTy == MVT::v4f64 ||
+ SimpleTy == MVT::v32i8 || SimpleTy == MVT::v16i16 ||
+ SimpleTy == MVT::v8i32 || SimpleTy == MVT::v4i64 ||
+ SimpleTy == MVT::v256i1 || SimpleTy == MVT::v128i2 ||
+ SimpleTy == MVT::v64i4);
+ }
+
+ /// Return true if this is a 512-bit vector type.
+ bool is512BitVector() const {
+ return (SimpleTy == MVT::v32f16 || SimpleTy == MVT::v32bf16 ||
+ SimpleTy == MVT::v16f32 || SimpleTy == MVT::v8f64 ||
+ SimpleTy == MVT::v512i1 || SimpleTy == MVT::v256i2 ||
+ SimpleTy == MVT::v128i4 || SimpleTy == MVT::v64i8 ||
+ SimpleTy == MVT::v32i16 || SimpleTy == MVT::v16i32 ||
+ SimpleTy == MVT::v8i64);
+ }
+
+ /// Return true if this is a 1024-bit vector type.
+ bool is1024BitVector() const {
+ return (SimpleTy == MVT::v1024i1 || SimpleTy == MVT::v128i8 ||
+ SimpleTy == MVT::v64i16 || SimpleTy == MVT::v32i32 ||
+ SimpleTy == MVT::v16i64 || SimpleTy == MVT::v64f16 ||
+ SimpleTy == MVT::v32f32 || SimpleTy == MVT::v16f64 ||
+ SimpleTy == MVT::v64bf16);
+ }
+
+ /// Return true if this is a 2048-bit vector type.
+ bool is2048BitVector() const {
+ return (SimpleTy == MVT::v256i8 || SimpleTy == MVT::v128i16 ||
+ SimpleTy == MVT::v64i32 || SimpleTy == MVT::v32i64 ||
+ SimpleTy == MVT::v128f16 || SimpleTy == MVT::v64f32 ||
+ SimpleTy == MVT::v32f64 || SimpleTy == MVT::v128bf16 ||
+ SimpleTy == MVT::v2048i1);
+ }
+
+ /// Return true if this is an overloaded type for TableGen.
+ bool isOverloaded() const {
+ return (SimpleTy == MVT::Any || SimpleTy == MVT::iAny ||
+ SimpleTy == MVT::fAny || SimpleTy == MVT::vAny ||
+ SimpleTy == MVT::iPTRAny);
+ }
+
+ /// Return a vector with the same number of elements as this vector, but
+ /// with the element type converted to an integer type with the same
+ /// bitwidth.
+ MVT changeVectorElementTypeToInteger() const {
+ MVT EltTy = getVectorElementType();
+ MVT IntTy = MVT::getIntegerVT(EltTy.getSizeInBits());
+ MVT VecTy = MVT::getVectorVT(IntTy, getVectorElementCount());
+ assert(VecTy.SimpleTy != MVT::INVALID_SIMPLE_VALUE_TYPE &&
+ "Simple vector VT not representable by simple integer vector VT!");
+ return VecTy;
+ }
+
+ /// Return a VT for a vector type whose attributes match ourselves
+ /// with the exception of the element type that is chosen by the caller.
+ MVT changeVectorElementType(MVT EltVT) const {
+ MVT VecTy = MVT::getVectorVT(EltVT, getVectorElementCount());
+ assert(VecTy.SimpleTy != MVT::INVALID_SIMPLE_VALUE_TYPE &&
+ "Simple vector VT not representable by simple integer vector VT!");
+ return VecTy;
+ }
+
+ /// Return the type converted to an equivalently sized integer or vector
+ /// with integer element type. Similar to changeVectorElementTypeToInteger,
+ /// but also handles scalars.
+ MVT changeTypeToInteger() {
+ if (isVector())
+ return changeVectorElementTypeToInteger();
+ return MVT::getIntegerVT(getSizeInBits());
+ }
+
+ /// Return a VT for a vector type with the same element type but
+ /// half the number of elements.
+ MVT getHalfNumVectorElementsVT() const {
+ MVT EltVT = getVectorElementType();
+ auto EltCnt = getVectorElementCount();
+ assert(EltCnt.isKnownEven() && "Splitting vector, but not in half!");
+ return getVectorVT(EltVT, EltCnt.divideCoefficientBy(2));
+ }
+
+ /// Returns true if the given vector is a power of 2.
+ bool isPow2VectorType() const {
+ unsigned NElts = getVectorMinNumElements();
+ return !(NElts & (NElts - 1));
+ }
+
+ /// Widens the length of the given vector MVT up to the nearest power of 2
+ /// and returns that type.
+ MVT getPow2VectorType() const {
+ if (isPow2VectorType())
+ return *this;
+
+ ElementCount NElts = getVectorElementCount();
+ unsigned NewMinCount = 1 << Log2_32_Ceil(NElts.getKnownMinValue());
+ NElts = ElementCount::get(NewMinCount, NElts.isScalable());
+ return MVT::getVectorVT(getVectorElementType(), NElts);
+ }
+
+ /// If this is a vector, return the element type, otherwise return this.
+ MVT getScalarType() const {
+ return isVector() ? getVectorElementType() : *this;
+ }
+
+ MVT getVectorElementType() const {
+ // clang-format off
+ switch (SimpleTy) {
+ default:
+ llvm_unreachable("Not a vector MVT!");
+ case v1i1:
+ case v2i1:
+ case v4i1:
+ case v8i1:
+ case v16i1:
+ case v32i1:
+ case v64i1:
+ case v128i1:
+ case v256i1:
+ case v512i1:
+ case v1024i1:
+ case v2048i1:
+ case nxv1i1:
+ case nxv2i1:
+ case nxv4i1:
+ case nxv8i1:
+ case nxv16i1:
+ case nxv32i1:
+ case nxv64i1: return i1;
+ case v128i2:
+ case v256i2: return i2;
+ case v64i4:
+ case v128i4: return i4;
+ case v1i8:
+ case v2i8:
+ case v4i8:
+ case v8i8:
+ case v16i8:
+ case v32i8:
+ case v64i8:
+ case v128i8:
+ case v256i8:
+ case v512i8:
+ case v1024i8:
+ case nxv1i8:
+ case nxv2i8:
+ case nxv4i8:
+ case nxv8i8:
+ case nxv16i8:
+ case nxv32i8:
+ case nxv64i8: return i8;
+ case v1i16:
+ case v2i16:
+ case v3i16:
+ case v4i16:
+ case v8i16:
+ case v16i16:
+ case v32i16:
+ case v64i16:
+ case v128i16:
+ case v256i16:
+ case v512i16:
+ case nxv1i16:
+ case nxv2i16:
+ case nxv4i16:
+ case nxv8i16:
+ case nxv16i16:
+ case nxv32i16: return i16;
+ case v1i32:
+ case v2i32:
+ case v3i32:
+ case v4i32:
+ case v5i32:
+ case v6i32:
+ case v7i32:
+ case v8i32:
+ case v9i32:
+ case v10i32:
+ case v11i32:
+ case v12i32:
+ case v16i32:
+ case v32i32:
+ case v64i32:
+ case v128i32:
+ case v256i32:
+ case v512i32:
+ case v1024i32:
+ case v2048i32:
+ case nxv1i32:
+ case nxv2i32:
+ case nxv4i32:
+ case nxv8i32:
+ case nxv16i32:
+ case nxv32i32: return i32;
+ case v1i64:
+ case v2i64:
+ case v3i64:
+ case v4i64:
+ case v8i64:
+ case v16i64:
+ case v32i64:
+ case v64i64:
+ case v128i64:
+ case v256i64:
+ case nxv1i64:
+ case nxv2i64:
+ case nxv4i64:
+ case nxv8i64:
+ case nxv16i64:
+ case nxv32i64: return i64;
+ case v1i128: return i128;
+ case v1f16:
+ case v2f16:
+ case v3f16:
+ case v4f16:
+ case v8f16:
+ case v16f16:
+ case v32f16:
+ case v64f16:
+ case v128f16:
+ case v256f16:
+ case v512f16:
+ case nxv1f16:
+ case nxv2f16:
+ case nxv4f16:
+ case nxv8f16:
+ case nxv16f16:
+ case nxv32f16: return f16;
+ case v2bf16:
+ case v3bf16:
+ case v4bf16:
+ case v8bf16:
+ case v16bf16:
+ case v32bf16:
+ case v64bf16:
+ case v128bf16:
+ case nxv1bf16:
+ case nxv2bf16:
+ case nxv4bf16:
+ case nxv8bf16:
+ case nxv16bf16:
+ case nxv32bf16: return bf16;
+ case v1f32:
+ case v2f32:
+ case v3f32:
+ case v4f32:
+ case v5f32:
+ case v6f32:
+ case v7f32:
+ case v8f32:
+ case v9f32:
+ case v10f32:
+ case v11f32:
+ case v12f32:
+ case v16f32:
+ case v32f32:
+ case v64f32:
+ case v128f32:
+ case v256f32:
+ case v512f32:
+ case v1024f32:
+ case v2048f32:
+ case nxv1f32:
+ case nxv2f32:
+ case nxv4f32:
+ case nxv8f32:
+ case nxv16f32: return f32;
+ case v1f64:
+ case v2f64:
+ case v3f64:
+ case v4f64:
+ case v8f64:
+ case v16f64:
+ case v32f64:
+ case v64f64:
+ case v128f64:
+ case v256f64:
+ case nxv1f64:
+ case nxv2f64:
+ case nxv4f64:
+ case nxv8f64: return f64;
+ }
+ // clang-format on
+ }
+
+ /// Given a vector type, return the minimum number of elements it contains.
+ unsigned getVectorMinNumElements() const {
+ switch (SimpleTy) {
+ default:
+ llvm_unreachable("Not a vector MVT!");
+ case v2048i1:
+ case v2048i32:
+ case v2048f32: return 2048;
+ case v1024i1:
+ case v1024i8:
+ case v1024i32:
+ case v1024f32: return 1024;
+ case v512i1:
+ case v512i8:
+ case v512i16:
+ case v512i32:
+ case v512f16:
+ case v512f32: return 512;
+ case v256i1:
+ case v256i2:
+ case v256i8:
+ case v256i16:
+ case v256f16:
+ case v256i32:
+ case v256i64:
+ case v256f32:
+ case v256f64: return 256;
+ case v128i1:
+ case v128i2:
+ case v128i4:
+ case v128i8:
+ case v128i16:
+ case v128i32:
+ case v128i64:
+ case v128f16:
+ case v128bf16:
+ case v128f32:
+ case v128f64: return 128;
+ case v64i1:
+ case v64i4:
+ case v64i8:
+ case v64i16:
+ case v64i32:
+ case v64i64:
+ case v64f16:
+ case v64bf16:
+ case v64f32:
+ case v64f64:
+ case nxv64i1:
+ case nxv64i8: return 64;
+ case v32i1:
+ case v32i8:
+ case v32i16:
+ case v32i32:
+ case v32i64:
+ case v32f16:
+ case v32bf16:
+ case v32f32:
+ case v32f64:
+ case nxv32i1:
+ case nxv32i8:
+ case nxv32i16:
+ case nxv32i32:
+ case nxv32i64:
+ case nxv32f16:
+ case nxv32bf16: return 32;
+ case v16i1:
+ case v16i8:
+ case v16i16:
+ case v16i32:
+ case v16i64:
+ case v16f16:
+ case v16bf16:
+ case v16f32:
+ case v16f64:
+ case nxv16i1:
+ case nxv16i8:
+ case nxv16i16:
+ case nxv16i32:
+ case nxv16i64:
+ case nxv16f16:
+ case nxv16bf16:
+ case nxv16f32: return 16;
+ case v12i32:
+ case v12f32: return 12;
+ case v11i32:
+ case v11f32: return 11;
+ case v10i32:
+ case v10f32: return 10;
+ case v9i32:
+ case v9f32: return 9;
+ case v8i1:
+ case v8i8:
+ case v8i16:
+ case v8i32:
+ case v8i64:
+ case v8f16:
+ case v8bf16:
+ case v8f32:
+ case v8f64:
+ case nxv8i1:
+ case nxv8i8:
+ case nxv8i16:
+ case nxv8i32:
+ case nxv8i64:
+ case nxv8f16:
+ case nxv8bf16:
+ case nxv8f32:
+ case nxv8f64: return 8;
+ case v7i32:
+ case v7f32: return 7;
+ case v6i32:
+ case v6f32: return 6;
+ case v5i32:
+ case v5f32: return 5;
+ case v4i1:
+ case v4i8:
+ case v4i16:
+ case v4i32:
+ case v4i64:
+ case v4f16:
+ case v4bf16:
+ case v4f32:
+ case v4f64:
+ case nxv4i1:
+ case nxv4i8:
+ case nxv4i16:
+ case nxv4i32:
+ case nxv4i64:
+ case nxv4f16:
+ case nxv4bf16:
+ case nxv4f32:
+ case nxv4f64: return 4;
+ case v3i16:
+ case v3i32:
+ case v3i64:
+ case v3f16:
+ case v3bf16:
+ case v3f32:
+ case v3f64: return 3;
+ case v2i1:
+ case v2i8:
+ case v2i16:
+ case v2i32:
+ case v2i64:
+ case v2f16:
+ case v2bf16:
+ case v2f32:
+ case v2f64:
+ case nxv2i1:
+ case nxv2i8:
+ case nxv2i16:
+ case nxv2i32:
+ case nxv2i64:
+ case nxv2f16:
+ case nxv2bf16:
+ case nxv2f32:
+ case nxv2f64: return 2;
+ case v1i1:
+ case v1i8:
+ case v1i16:
+ case v1i32:
+ case v1i64:
+ case v1i128:
+ case v1f16:
+ case v1f32:
+ case v1f64:
+ case nxv1i1:
+ case nxv1i8:
+ case nxv1i16:
+ case nxv1i32:
+ case nxv1i64:
+ case nxv1f16:
+ case nxv1bf16:
+ case nxv1f32:
+ case nxv1f64: return 1;
+ }
+ }
+
+ ElementCount getVectorElementCount() const {
+ return ElementCount::get(getVectorMinNumElements(), isScalableVector());
+ }
+
+ unsigned getVectorNumElements() const {
+ if (isScalableVector())
+ llvm::reportInvalidSizeRequest(
+ "Possible incorrect use of MVT::getVectorNumElements() for "
+ "scalable vector. Scalable flag may be dropped, use "
+ "MVT::getVectorElementCount() instead");
+ return getVectorMinNumElements();
+ }
+
+ /// Returns the size of the specified MVT in bits.
+ ///
+ /// If the value type is a scalable vector type, the scalable property will
+ /// be set and the runtime size will be a positive integer multiple of the
+ /// base size.
+ TypeSize getSizeInBits() const {
+ switch (SimpleTy) {
+ default:
+ llvm_unreachable("getSizeInBits called on extended MVT.");
+ case Other:
+ llvm_unreachable("Value type is non-standard value, Other.");
+ case iPTR:
+ llvm_unreachable("Value type size is target-dependent. Ask TLI.");
+ case iPTRAny:
+ case iAny:
+ case fAny:
+ case vAny:
+ case Any:
+ llvm_unreachable("Value type is overloaded.");
+ case token:
+ llvm_unreachable("Token type is a sentinel that cannot be used "
+ "in codegen and has no size");
+ case Metadata:
+ llvm_unreachable("Value type is metadata.");
+ case i1:
+ case v1i1: return TypeSize::Fixed(1);
+ case nxv1i1: return TypeSize::Scalable(1);
+ case i2:
+ case v2i1: return TypeSize::Fixed(2);
+ case nxv2i1: return TypeSize::Scalable(2);
+ case i4:
+ case v4i1: return TypeSize::Fixed(4);
+ case nxv4i1: return TypeSize::Scalable(4);
+ case i8 :
+ case v1i8:
+ case v8i1: return TypeSize::Fixed(8);
+ case nxv1i8:
+ case nxv8i1: return TypeSize::Scalable(8);
+ case i16 :
+ case f16:
+ case bf16:
+ case v16i1:
+ case v2i8:
+ case v1i16:
+ case v1f16: return TypeSize::Fixed(16);
+ case aarch64svcount:
+ case nxv16i1:
+ case nxv2i8:
+ case nxv1i16:
+ case nxv1bf16:
+ case nxv1f16: return TypeSize::Scalable(16);
+ case f32 :
+ case i32 :
+ case v32i1:
+ case v4i8:
+ case v2i16:
+ case v2f16:
+ case v2bf16:
+ case v1f32:
+ case v1i32: return TypeSize::Fixed(32);
+ case nxv32i1:
+ case nxv4i8:
+ case nxv2i16:
+ case nxv1i32:
+ case nxv2f16:
+ case nxv2bf16:
+ case nxv1f32: return TypeSize::Scalable(32);
+ case v3i16:
+ case v3f16:
+ case v3bf16: return TypeSize::Fixed(48);
+ case x86mmx:
+ case f64 :
+ case i64 :
+ case v64i1:
+ case v8i8:
+ case v4i16:
+ case v2i32:
+ case v1i64:
+ case v4f16:
+ case v4bf16:
+ case v2f32:
+ case v1f64: return TypeSize::Fixed(64);
+ case nxv64i1:
+ case nxv8i8:
+ case nxv4i16:
+ case nxv2i32:
+ case nxv1i64:
+ case nxv4f16:
+ case nxv4bf16:
+ case nxv2f32:
+ case nxv1f64: return TypeSize::Scalable(64);
+ case f80 : return TypeSize::Fixed(80);
+ case v3i32:
+ case v3f32: return TypeSize::Fixed(96);
+ case f128:
+ case ppcf128:
+ case i128:
+ case v128i1:
+ case v16i8:
+ case v8i16:
+ case v4i32:
+ case v2i64:
+ case v1i128:
+ case v8f16:
+ case v8bf16:
+ case v4f32:
+ case v2f64: return TypeSize::Fixed(128);
+ case nxv16i8:
+ case nxv8i16:
+ case nxv4i32:
+ case nxv2i64:
+ case nxv8f16:
+ case nxv8bf16:
+ case nxv4f32:
+ case nxv2f64: return TypeSize::Scalable(128);
+ case v5i32:
+ case v5f32: return TypeSize::Fixed(160);
+ case v6i32:
+ case v3i64:
+ case v6f32:
+ case v3f64: return TypeSize::Fixed(192);
+ case v7i32:
+ case v7f32: return TypeSize::Fixed(224);
+ case v256i1:
+ case v128i2:
+ case v64i4:
+ case v32i8:
+ case v16i16:
+ case v8i32:
+ case v4i64:
+ case v16f16:
+ case v16bf16:
+ case v8f32:
+ case v4f64: return TypeSize::Fixed(256);
+ case nxv32i8:
+ case nxv16i16:
+ case nxv8i32:
+ case nxv4i64:
+ case nxv16f16:
+ case nxv16bf16:
+ case nxv8f32:
+ case nxv4f64: return TypeSize::Scalable(256);
+ case v9i32:
+ case v9f32: return TypeSize::Fixed(288);
+ case v10i32:
+ case v10f32: return TypeSize::Fixed(320);
+ case v11i32:
+ case v11f32: return TypeSize::Fixed(352);
+ case v12i32:
+ case v12f32: return TypeSize::Fixed(384);
+ case i64x8:
+ case v512i1:
+ case v256i2:
+ case v128i4:
+ case v64i8:
+ case v32i16:
+ case v16i32:
+ case v8i64:
+ case v32f16:
+ case v32bf16:
+ case v16f32:
+ case v8f64: return TypeSize::Fixed(512);
+ case nxv64i8:
+ case nxv32i16:
+ case nxv16i32:
+ case nxv8i64:
+ case nxv32f16:
+ case nxv32bf16:
+ case nxv16f32:
+ case nxv8f64: return TypeSize::Scalable(512);
+ case v1024i1:
+ case v128i8:
+ case v64i16:
+ case v32i32:
+ case v16i64:
+ case v64f16:
+ case v64bf16:
+ case v32f32:
+ case v16f64: return TypeSize::Fixed(1024);
+ case nxv32i32:
+ case nxv16i64: return TypeSize::Scalable(1024);
+ case v2048i1:
+ case v256i8:
+ case v128i16:
+ case v64i32:
+ case v32i64:
+ case v128f16:
+ case v128bf16:
+ case v64f32:
+ case v32f64: return TypeSize::Fixed(2048);
+ case nxv32i64: return TypeSize::Scalable(2048);
+ case v512i8:
+ case v256i16:
+ case v128i32:
+ case v64i64:
+ case v256f16:
+ case v128f32:
+ case v64f64: return TypeSize::Fixed(4096);
+ case v1024i8:
+ case v512i16:
+ case v256i32:
+ case v128i64:
+ case v512f16:
+ case v256f32:
+ case x86amx:
+ case v128f64: return TypeSize::Fixed(8192);
+ case v512i32:
+ case v256i64:
+ case v512f32:
+ case v256f64: return TypeSize::Fixed(16384);
+ case v1024i32:
+ case v1024f32: return TypeSize::Fixed(32768);
+ case v2048i32:
+ case v2048f32: return TypeSize::Fixed(65536);
+ case funcref:
+ case externref:
+ case spirvbuiltin:
+ return TypeSize::Fixed(0); // opaque type
+ }
+ }
+
+ /// Return the size of the specified fixed width value type in bits. The
+ /// function will assert if the type is scalable.
+ uint64_t getFixedSizeInBits() const {
+ return getSizeInBits().getFixedValue();
+ }
+
+ uint64_t getScalarSizeInBits() const {
+ return getScalarType().getSizeInBits().getFixedValue();
+ }
+
+ /// Return the number of bytes overwritten by a store of the specified value
+ /// type.
+ ///
+ /// If the value type is a scalable vector type, the scalable property will
+ /// be set and the runtime size will be a positive integer multiple of the
+ /// base size.
+ TypeSize getStoreSize() const {
+ TypeSize BaseSize = getSizeInBits();
+ return {(BaseSize.getKnownMinValue() + 7) / 8, BaseSize.isScalable()};
+ }
+
+ // Return the number of bytes overwritten by a store of this value type or
+ // this value type's element type in the case of a vector.
+ uint64_t getScalarStoreSize() const {
+ return getScalarType().getStoreSize().getFixedValue();
+ }
+
+ /// Return the number of bits overwritten by a store of the specified value
+ /// type.
+ ///
+ /// If the value type is a scalable vector type, the scalable property will
+ /// be set and the runtime size will be a positive integer multiple of the
+ /// base size.
+ TypeSize getStoreSizeInBits() const {
+ return getStoreSize() * 8;
+ }
+
+ /// Returns true if the number of bits for the type is a multiple of an
+ /// 8-bit byte.
+ bool isByteSized() const { return getSizeInBits().isKnownMultipleOf(8); }
+
+ /// Return true if we know at compile time this has more bits than VT.
+ bool knownBitsGT(MVT VT) const {
+ return TypeSize::isKnownGT(getSizeInBits(), VT.getSizeInBits());
+ }
+
+ /// Return true if we know at compile time this has more than or the same
+ /// bits as VT.
+ bool knownBitsGE(MVT VT) const {
+ return TypeSize::isKnownGE(getSizeInBits(), VT.getSizeInBits());
+ }
+
+ /// Return true if we know at compile time this has fewer bits than VT.
+ bool knownBitsLT(MVT VT) const {
+ return TypeSize::isKnownLT(getSizeInBits(), VT.getSizeInBits());
+ }
+
+ /// Return true if we know at compile time this has fewer than or the same
+ /// bits as VT.
+ bool knownBitsLE(MVT VT) const {
+ return TypeSize::isKnownLE(getSizeInBits(), VT.getSizeInBits());
+ }
+
+ /// Return true if this has more bits than VT.
+ bool bitsGT(MVT VT) const {
+ assert(isScalableVector() == VT.isScalableVector() &&
+ "Comparison between scalable and fixed types");
+ return knownBitsGT(VT);
+ }
+
+ /// Return true if this has no less bits than VT.
+ bool bitsGE(MVT VT) const {
+ assert(isScalableVector() == VT.isScalableVector() &&
+ "Comparison between scalable and fixed types");
+ return knownBitsGE(VT);
+ }
+
+ /// Return true if this has less bits than VT.
+ bool bitsLT(MVT VT) const {
+ assert(isScalableVector() == VT.isScalableVector() &&
+ "Comparison between scalable and fixed types");
+ return knownBitsLT(VT);
+ }
+
+ /// Return true if this has no more bits than VT.
+ bool bitsLE(MVT VT) const {
+ assert(isScalableVector() == VT.isScalableVector() &&
+ "Comparison between scalable and fixed types");
+ return knownBitsLE(VT);
+ }
+
+ static MVT getFloatingPointVT(unsigned BitWidth) {
+ switch (BitWidth) {
+ default:
+ llvm_unreachable("Bad bit width!");
+ case 16:
+ return MVT::f16;
+ case 32:
+ return MVT::f32;
+ case 64:
+ return MVT::f64;
+ case 80:
+ return MVT::f80;
+ case 128:
+ return MVT::f128;
+ }
+ }
+
+ static MVT getIntegerVT(unsigned BitWidth) {
+ switch (BitWidth) {
+ default:
+ return (MVT::SimpleValueType)(MVT::INVALID_SIMPLE_VALUE_TYPE);
+ case 1:
+ return MVT::i1;
+ case 2:
+ return MVT::i2;
+ case 4:
+ return MVT::i4;
+ case 8:
+ return MVT::i8;
+ case 16:
+ return MVT::i16;
+ case 32:
+ return MVT::i32;
+ case 64:
+ return MVT::i64;
+ case 128:
+ return MVT::i128;
+ }
+ }
+
+ static MVT getVectorVT(MVT VT, unsigned NumElements) {
+ // clang-format off
+ switch (VT.SimpleTy) {
+ default:
+ break;
+ case MVT::i1:
+ if (NumElements == 1) return MVT::v1i1;
+ if (NumElements == 2) return MVT::v2i1;
+ if (NumElements == 4) return MVT::v4i1;
+ if (NumElements == 8) return MVT::v8i1;
+ if (NumElements == 16) return MVT::v16i1;
+ if (NumElements == 32) return MVT::v32i1;
+ if (NumElements == 64) return MVT::v64i1;
+ if (NumElements == 128) return MVT::v128i1;
+ if (NumElements == 256) return MVT::v256i1;
+ if (NumElements == 512) return MVT::v512i1;
+ if (NumElements == 1024) return MVT::v1024i1;
+ if (NumElements == 2048) return MVT::v2048i1;
+ break;
+ case MVT::i2:
+ if (NumElements == 128) return MVT::v128i2;
+ if (NumElements == 256) return MVT::v256i2;
+ break;
+ case MVT::i4:
+ if (NumElements == 64) return MVT::v64i4;
+ if (NumElements == 128) return MVT::v128i4;
+ break;
+ case MVT::i8:
+ if (NumElements == 1) return MVT::v1i8;
+ if (NumElements == 2) return MVT::v2i8;
+ if (NumElements == 4) return MVT::v4i8;
+ if (NumElements == 8) return MVT::v8i8;
+ if (NumElements == 16) return MVT::v16i8;
+ if (NumElements == 32) return MVT::v32i8;
+ if (NumElements == 64) return MVT::v64i8;
+ if (NumElements == 128) return MVT::v128i8;
+ if (NumElements == 256) return MVT::v256i8;
+ if (NumElements == 512) return MVT::v512i8;
+ if (NumElements == 1024) return MVT::v1024i8;
+ break;
+ case MVT::i16:
+ if (NumElements == 1) return MVT::v1i16;
+ if (NumElements == 2) return MVT::v2i16;
+ if (NumElements == 3) return MVT::v3i16;
+ if (NumElements == 4) return MVT::v4i16;
+ if (NumElements == 8) return MVT::v8i16;
+ if (NumElements == 16) return MVT::v16i16;
+ if (NumElements == 32) return MVT::v32i16;
+ if (NumElements == 64) return MVT::v64i16;
+ if (NumElements == 128) return MVT::v128i16;
+ if (NumElements == 256) return MVT::v256i16;
+ if (NumElements == 512) return MVT::v512i16;
+ break;
+ case MVT::i32:
+ if (NumElements == 1) return MVT::v1i32;
+ if (NumElements == 2) return MVT::v2i32;
+ if (NumElements == 3) return MVT::v3i32;
+ if (NumElements == 4) return MVT::v4i32;
+ if (NumElements == 5) return MVT::v5i32;
+ if (NumElements == 6) return MVT::v6i32;
+ if (NumElements == 7) return MVT::v7i32;
+ if (NumElements == 8) return MVT::v8i32;
+ if (NumElements == 9) return MVT::v9i32;
+ if (NumElements == 10) return MVT::v10i32;
+ if (NumElements == 11) return MVT::v11i32;
+ if (NumElements == 12) return MVT::v12i32;
+ if (NumElements == 16) return MVT::v16i32;
+ if (NumElements == 32) return MVT::v32i32;
+ if (NumElements == 64) return MVT::v64i32;
+ if (NumElements == 128) return MVT::v128i32;
+ if (NumElements == 256) return MVT::v256i32;
+ if (NumElements == 512) return MVT::v512i32;
+ if (NumElements == 1024) return MVT::v1024i32;
+ if (NumElements == 2048) return MVT::v2048i32;
+ break;
+ case MVT::i64:
+ if (NumElements == 1) return MVT::v1i64;
+ if (NumElements == 2) return MVT::v2i64;
+ if (NumElements == 3) return MVT::v3i64;
+ if (NumElements == 4) return MVT::v4i64;
+ if (NumElements == 8) return MVT::v8i64;
+ if (NumElements == 16) return MVT::v16i64;
+ if (NumElements == 32) return MVT::v32i64;
+ if (NumElements == 64) return MVT::v64i64;
+ if (NumElements == 128) return MVT::v128i64;
+ if (NumElements == 256) return MVT::v256i64;
+ break;
+ case MVT::i128:
+ if (NumElements == 1) return MVT::v1i128;
+ break;
+ case MVT::f16:
+ if (NumElements == 1) return MVT::v1f16;
+ if (NumElements == 2) return MVT::v2f16;
+ if (NumElements == 3) return MVT::v3f16;
+ if (NumElements == 4) return MVT::v4f16;
+ if (NumElements == 8) return MVT::v8f16;
+ if (NumElements == 16) return MVT::v16f16;
+ if (NumElements == 32) return MVT::v32f16;
+ if (NumElements == 64) return MVT::v64f16;
+ if (NumElements == 128) return MVT::v128f16;
+ if (NumElements == 256) return MVT::v256f16;
+ if (NumElements == 512) return MVT::v512f16;
+ break;
+ case MVT::bf16:
+ if (NumElements == 2) return MVT::v2bf16;
+ if (NumElements == 3) return MVT::v3bf16;
+ if (NumElements == 4) return MVT::v4bf16;
+ if (NumElements == 8) return MVT::v8bf16;
+ if (NumElements == 16) return MVT::v16bf16;
+ if (NumElements == 32) return MVT::v32bf16;
+ if (NumElements == 64) return MVT::v64bf16;
+ if (NumElements == 128) return MVT::v128bf16;
+ break;
+ case MVT::f32:
+ if (NumElements == 1) return MVT::v1f32;
+ if (NumElements == 2) return MVT::v2f32;
+ if (NumElements == 3) return MVT::v3f32;
+ if (NumElements == 4) return MVT::v4f32;
+ if (NumElements == 5) return MVT::v5f32;
+ if (NumElements == 6) return MVT::v6f32;
+ if (NumElements == 7) return MVT::v7f32;
+ if (NumElements == 8) return MVT::v8f32;
+ if (NumElements == 9) return MVT::v9f32;
+ if (NumElements == 10) return MVT::v10f32;
+ if (NumElements == 11) return MVT::v11f32;
+ if (NumElements == 12) return MVT::v12f32;
+ if (NumElements == 16) return MVT::v16f32;
+ if (NumElements == 32) return MVT::v32f32;
+ if (NumElements == 64) return MVT::v64f32;
+ if (NumElements == 128) return MVT::v128f32;
+ if (NumElements == 256) return MVT::v256f32;
+ if (NumElements == 512) return MVT::v512f32;
+ if (NumElements == 1024) return MVT::v1024f32;
+ if (NumElements == 2048) return MVT::v2048f32;
+ break;
+ case MVT::f64:
+ if (NumElements == 1) return MVT::v1f64;
+ if (NumElements == 2) return MVT::v2f64;
+ if (NumElements == 3) return MVT::v3f64;
+ if (NumElements == 4) return MVT::v4f64;
+ if (NumElements == 8) return MVT::v8f64;
+ if (NumElements == 16) return MVT::v16f64;
+ if (NumElements == 32) return MVT::v32f64;
+ if (NumElements == 64) return MVT::v64f64;
+ if (NumElements == 128) return MVT::v128f64;
+ if (NumElements == 256) return MVT::v256f64;
+ break;
+ }
+ return (MVT::SimpleValueType)(MVT::INVALID_SIMPLE_VALUE_TYPE);
+ // clang-format on
+ }
+
+ static MVT getScalableVectorVT(MVT VT, unsigned NumElements) {
+ switch(VT.SimpleTy) {
+ default:
+ break;
+ case MVT::i1:
+ if (NumElements == 1) return MVT::nxv1i1;
+ if (NumElements == 2) return MVT::nxv2i1;
+ if (NumElements == 4) return MVT::nxv4i1;
+ if (NumElements == 8) return MVT::nxv8i1;
+ if (NumElements == 16) return MVT::nxv16i1;
+ if (NumElements == 32) return MVT::nxv32i1;
+ if (NumElements == 64) return MVT::nxv64i1;
+ break;
+ case MVT::i8:
+ if (NumElements == 1) return MVT::nxv1i8;
+ if (NumElements == 2) return MVT::nxv2i8;
+ if (NumElements == 4) return MVT::nxv4i8;
+ if (NumElements == 8) return MVT::nxv8i8;
+ if (NumElements == 16) return MVT::nxv16i8;
+ if (NumElements == 32) return MVT::nxv32i8;
+ if (NumElements == 64) return MVT::nxv64i8;
+ break;
+ case MVT::i16:
+ if (NumElements == 1) return MVT::nxv1i16;
+ if (NumElements == 2) return MVT::nxv2i16;
+ if (NumElements == 4) return MVT::nxv4i16;
+ if (NumElements == 8) return MVT::nxv8i16;
+ if (NumElements == 16) return MVT::nxv16i16;
+ if (NumElements == 32) return MVT::nxv32i16;
+ break;
+ case MVT::i32:
+ if (NumElements == 1) return MVT::nxv1i32;
+ if (NumElements == 2) return MVT::nxv2i32;
+ if (NumElements == 4) return MVT::nxv4i32;
+ if (NumElements == 8) return MVT::nxv8i32;
+ if (NumElements == 16) return MVT::nxv16i32;
+ if (NumElements == 32) return MVT::nxv32i32;
+ break;
+ case MVT::i64:
+ if (NumElements == 1) return MVT::nxv1i64;
+ if (NumElements == 2) return MVT::nxv2i64;
+ if (NumElements == 4) return MVT::nxv4i64;
+ if (NumElements == 8) return MVT::nxv8i64;
+ if (NumElements == 16) return MVT::nxv16i64;
+ if (NumElements == 32) return MVT::nxv32i64;
+ break;
+ case MVT::f16:
+ if (NumElements == 1) return MVT::nxv1f16;
+ if (NumElements == 2) return MVT::nxv2f16;
+ if (NumElements == 4) return MVT::nxv4f16;
+ if (NumElements == 8) return MVT::nxv8f16;
+ if (NumElements == 16) return MVT::nxv16f16;
+ if (NumElements == 32) return MVT::nxv32f16;
+ break;
+ case MVT::bf16:
+ if (NumElements == 1) return MVT::nxv1bf16;
+ if (NumElements == 2) return MVT::nxv2bf16;
+ if (NumElements == 4) return MVT::nxv4bf16;
+ if (NumElements == 8) return MVT::nxv8bf16;
+ if (NumElements == 16) return MVT::nxv16bf16;
+ if (NumElements == 32) return MVT::nxv32bf16;
+ break;
+ case MVT::f32:
+ if (NumElements == 1) return MVT::nxv1f32;
+ if (NumElements == 2) return MVT::nxv2f32;
+ if (NumElements == 4) return MVT::nxv4f32;
+ if (NumElements == 8) return MVT::nxv8f32;
+ if (NumElements == 16) return MVT::nxv16f32;
+ break;
+ case MVT::f64:
+ if (NumElements == 1) return MVT::nxv1f64;
+ if (NumElements == 2) return MVT::nxv2f64;
+ if (NumElements == 4) return MVT::nxv4f64;
+ if (NumElements == 8) return MVT::nxv8f64;
+ break;
+ }
+ return (MVT::SimpleValueType)(MVT::INVALID_SIMPLE_VALUE_TYPE);
+ }
+
+ static MVT getVectorVT(MVT VT, unsigned NumElements, bool IsScalable) {
+ if (IsScalable)
+ return getScalableVectorVT(VT, NumElements);
+ return getVectorVT(VT, NumElements);
+ }
+
+ static MVT getVectorVT(MVT VT, ElementCount EC) {
+ if (EC.isScalable())
+ return getScalableVectorVT(VT, EC.getKnownMinValue());
+ return getVectorVT(VT, EC.getKnownMinValue());
+ }
+
+ /// Return the value type corresponding to the specified type. This returns
+ /// all pointers as iPTR. If HandleUnknown is true, unknown types are
+ /// returned as Other, otherwise they are invalid.
+ static MVT getVT(Type *Ty, bool HandleUnknown = false);
+
+ public:
+ /// SimpleValueType Iteration
+ /// @{
+ static auto all_valuetypes() {
+ return enum_seq_inclusive(MVT::FIRST_VALUETYPE, MVT::LAST_VALUETYPE,
+ force_iteration_on_noniterable_enum);
+ }
+
+ static auto integer_valuetypes() {
+ return enum_seq_inclusive(MVT::FIRST_INTEGER_VALUETYPE,
+ MVT::LAST_INTEGER_VALUETYPE,
+ force_iteration_on_noniterable_enum);
+ }
+
+ static auto fp_valuetypes() {
+ return enum_seq_inclusive(MVT::FIRST_FP_VALUETYPE, MVT::LAST_FP_VALUETYPE,
+ force_iteration_on_noniterable_enum);
+ }
+
+ static auto vector_valuetypes() {
+ return enum_seq_inclusive(MVT::FIRST_VECTOR_VALUETYPE,
+ MVT::LAST_VECTOR_VALUETYPE,
+ force_iteration_on_noniterable_enum);
+ }
+
+ static auto fixedlen_vector_valuetypes() {
+ return enum_seq_inclusive(MVT::FIRST_FIXEDLEN_VECTOR_VALUETYPE,
+ MVT::LAST_FIXEDLEN_VECTOR_VALUETYPE,
+ force_iteration_on_noniterable_enum);
+ }
+
+ static auto scalable_vector_valuetypes() {
+ return enum_seq_inclusive(MVT::FIRST_SCALABLE_VECTOR_VALUETYPE,
+ MVT::LAST_SCALABLE_VECTOR_VALUETYPE,
+ force_iteration_on_noniterable_enum);
+ }
+
+ static auto integer_fixedlen_vector_valuetypes() {
+ return enum_seq_inclusive(MVT::FIRST_INTEGER_FIXEDLEN_VECTOR_VALUETYPE,
+ MVT::LAST_INTEGER_FIXEDLEN_VECTOR_VALUETYPE,
+ force_iteration_on_noniterable_enum);
+ }
+
+ static auto fp_fixedlen_vector_valuetypes() {
+ return enum_seq_inclusive(MVT::FIRST_FP_FIXEDLEN_VECTOR_VALUETYPE,
+ MVT::LAST_FP_FIXEDLEN_VECTOR_VALUETYPE,
+ force_iteration_on_noniterable_enum);
+ }
+
+ static auto integer_scalable_vector_valuetypes() {
+ return enum_seq_inclusive(MVT::FIRST_INTEGER_SCALABLE_VECTOR_VALUETYPE,
+ MVT::LAST_INTEGER_SCALABLE_VECTOR_VALUETYPE,
+ force_iteration_on_noniterable_enum);
+ }
+
+ static auto fp_scalable_vector_valuetypes() {
+ return enum_seq_inclusive(MVT::FIRST_FP_SCALABLE_VECTOR_VALUETYPE,
+ MVT::LAST_FP_SCALABLE_VECTOR_VALUETYPE,
+ force_iteration_on_noniterable_enum);
+ }
+ /// @}
+ };
+
+ inline raw_ostream &operator<<(raw_ostream &OS, const MVT &VT) {
+ VT.print(OS);
+ return OS;
+ }
+
+} // end namespace llvm
+
+#endif // LLVM_SUPPORT_MACHINEVALUETYPE_H
More information about the llvm-commits
mailing list