1//===- ValueTypes.td - ValueType definitions ---------------*- tablegen -*-===// 2// 3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4// See https://llvm.org/LICENSE.txt for license information. 5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6// 7//===----------------------------------------------------------------------===// 8// 9// ValueTypes.td - list of ValueType instances supported by the the 10// CodeGen infrastructure. 11// 12//===----------------------------------------------------------------------===// 13 14class ValueType<int size, int value> { 15 string Namespace = "MVT"; 16 string LLVMName = NAME; 17 int Size = size; 18 int Value = value; 19 int nElem = 1; 20 ValueType ElementType = ?; 21 bit isOverloaded = false; 22 bit isInteger = false; 23 bit isFP = false; 24 bit isVector = false; 25 bit isScalable = false; 26 // Indicates this VT should be included in the 27 // [FIRST_VALUETYPE,LAST_VALUETYPE] range. 28 bit isNormalValueType = true; 29} 30 31class VTAny<int value> : ValueType<0, value> { 32 let isOverloaded = true; 33} 34 35class VTInt<int size, int value> 36 : ValueType<size, value> { 37 let isInteger = true; 38} 39 40class VTFP<int size, int value> 41 : ValueType<size, value> { 42 let isFP = true; 43} 44 45class VTVec<int nelem, ValueType elt, int value> 46 : ValueType<!mul(nelem, elt.Size), value> { 47 let nElem = nelem; 48 let ElementType = elt; 49 let isInteger = elt.isInteger; 50 let isFP = elt.isFP; 51 let isVector = true; 52} 53 54class VTScalableVec<int nelem, ValueType elt, int value> 55 : VTVec<nelem, elt, value> { 56 let isScalable = true; 57} 58 59defset list<ValueType> ValueTypes = { 60 61def OtherVT : ValueType<0, 1> { // "Other" value 62 let LLVMName = "Other"; 63} 64 65def i1 : VTInt<1, 2>; // One bit boolean value 66def i2 : VTInt<2, 3>; // 2-bit integer value 67def i4 : VTInt<4, 4>; // 4-bit integer value 68def i8 : VTInt<8, 5>; // 8-bit integer value 69def i16 : VTInt<16, 6>; // 16-bit integer value 70def i32 : VTInt<32, 7>; // 32-bit integer value 71def i64 : VTInt<64, 8>; // 64-bit integer value 72def i128 : VTInt<128, 9>; // 128-bit integer value 73 74def bf16 : VTFP<16, 10>; // 16-bit brain floating point value 75def f16 : VTFP<16, 11>; // 16-bit floating point value 76def f32 : VTFP<32, 12>; // 32-bit floating point value 77def f64 : VTFP<64, 13>; // 64-bit floating point value 78def f80 : VTFP<80, 14>; // 80-bit floating point value 79def f128 : VTFP<128, 15>; // 128-bit floating point value 80def ppcf128 : VTFP<128, 16>; // PPC 128-bit floating point value 81 82def v1i1 : VTVec<1, i1, 17>; // 1 x i1 vector value 83def v2i1 : VTVec<2, i1, 18>; // 2 x i1 vector value 84def v3i1 : VTVec<3, i1, 19>; // 3 x i1 vector value 85def v4i1 : VTVec<4, i1, 20>; // 4 x i1 vector value 86def v8i1 : VTVec<8, i1, 21>; // 8 x i1 vector value 87def v16i1 : VTVec<16, i1, 22>; // 16 x i1 vector value 88def v32i1 : VTVec<32, i1, 23>; // 32 x i1 vector value 89def v64i1 : VTVec<64, i1, 24>; // 64 x i1 vector value 90def v128i1 : VTVec<128, i1, 25>; // 128 x i1 vector value 91def v256i1 : VTVec<256, i1, 26>; // 256 x i1 vector value 92def v512i1 : VTVec<512, i1, 27>; // 512 x i1 vector value 93def v1024i1 : VTVec<1024, i1, 28>; // 1024 x i1 vector value 94def v2048i1 : VTVec<2048, i1, 29>; // 2048 x i1 vector value 95 96def v128i2 : VTVec<128, i2, 30>; // 128 x i2 vector value 97def v256i2 : VTVec<256, i2, 31>; // 256 x i2 vector value 98 99def v64i4 : VTVec<64, i4, 32>; // 64 x i4 vector value 100def v128i4 : VTVec<128, i4, 33>; // 128 x i4 vector value 101 102def v1i8 : VTVec<1, i8, 34>; // 1 x i8 vector value 103def v2i8 : VTVec<2, i8, 35>; // 2 x i8 vector value 104def v3i8 : VTVec<3, i8, 36>; // 3 x i8 vector value 105def v4i8 : VTVec<4, i8, 37>; // 4 x i8 vector value 106def v8i8 : VTVec<8, i8, 38>; // 8 x i8 vector value 107def v16i8 : VTVec<16, i8, 39>; // 16 x i8 vector value 108def v32i8 : VTVec<32, i8, 40>; // 32 x i8 vector value 109def v64i8 : VTVec<64, i8, 41>; // 64 x i8 vector value 110def v128i8 : VTVec<128, i8, 42>; // 128 x i8 vector value 111def v256i8 : VTVec<256, i8, 43>; // 256 x i8 vector value 112def v512i8 : VTVec<512, i8, 44>; // 512 x i8 vector value 113def v1024i8 : VTVec<1024, i8, 45>; // 1024 x i8 vector value 114 115def v1i16 : VTVec<1, i16, 46>; // 1 x i16 vector value 116def v2i16 : VTVec<2, i16, 47>; // 2 x i16 vector value 117def v3i16 : VTVec<3, i16, 48>; // 3 x i16 vector value 118def v4i16 : VTVec<4, i16, 49>; // 4 x i16 vector value 119def v8i16 : VTVec<8, i16, 50>; // 8 x i16 vector value 120def v16i16 : VTVec<16, i16, 51>; // 16 x i16 vector value 121def v32i16 : VTVec<32, i16, 52>; // 32 x i16 vector value 122def v64i16 : VTVec<64, i16, 53>; // 64 x i16 vector value 123def v128i16 : VTVec<128, i16, 54>; // 128 x i16 vector value 124def v256i16 : VTVec<256, i16, 55>; // 256 x i16 vector value 125def v512i16 : VTVec<512, i16, 56>; // 512 x i16 vector value 126 127def v1i32 : VTVec<1, i32, 57>; // 1 x i32 vector value 128def v2i32 : VTVec<2, i32, 58>; // 2 x i32 vector value 129def v3i32 : VTVec<3, i32, 59>; // 3 x i32 vector value 130def v4i32 : VTVec<4, i32, 60>; // 4 x i32 vector value 131def v5i32 : VTVec<5, i32, 61>; // 5 x i32 vector value 132def v6i32 : VTVec<6, i32, 62>; // 6 x f32 vector value 133def v7i32 : VTVec<7, i32, 63>; // 7 x f32 vector value 134def v8i32 : VTVec<8, i32, 64>; // 8 x i32 vector value 135def v9i32 : VTVec<9, i32, 65>; // 9 x i32 vector value 136def v10i32 : VTVec<10, i32, 66>; // 10 x i32 vector value 137def v11i32 : VTVec<11, i32, 67>; // 11 x i32 vector value 138def v12i32 : VTVec<12, i32, 68>; // 12 x i32 vector value 139def v16i32 : VTVec<16, i32, 69>; // 16 x i32 vector value 140def v32i32 : VTVec<32, i32, 70>; // 32 x i32 vector value 141def v64i32 : VTVec<64, i32, 71>; // 64 x i32 vector value 142def v128i32 : VTVec<128, i32, 72>; // 128 x i32 vector value 143def v256i32 : VTVec<256, i32, 73>; // 256 x i32 vector value 144def v512i32 : VTVec<512, i32, 74>; // 512 x i32 vector value 145def v1024i32 : VTVec<1024, i32, 75>; // 1024 x i32 vector value 146def v2048i32 : VTVec<2048, i32, 76>; // 2048 x i32 vector value 147 148def v1i64 : VTVec<1, i64, 77>; // 1 x i64 vector value 149def v2i64 : VTVec<2, i64, 78>; // 2 x i64 vector value 150def v3i64 : VTVec<3, i64, 79>; // 3 x i64 vector value 151def v4i64 : VTVec<4, i64, 80>; // 4 x i64 vector value 152def v8i64 : VTVec<8, i64, 81>; // 8 x i64 vector value 153def v16i64 : VTVec<16, i64, 82>; // 16 x i64 vector value 154def v32i64 : VTVec<32, i64, 83>; // 32 x i64 vector value 155def v64i64 : VTVec<64, i64, 84>; // 64 x i64 vector value 156def v128i64 : VTVec<128, i64, 85>; // 128 x i64 vector value 157def v256i64 : VTVec<256, i64, 86>; // 256 x i64 vector value 158 159def v1i128 : VTVec<1, i128, 87>; // 1 x i128 vector value 160 161def v1f16 : VTVec<1, f16, 88>; // 1 x f16 vector value 162def v2f16 : VTVec<2, f16, 89>; // 2 x f16 vector value 163def v3f16 : VTVec<3, f16, 90>; // 3 x f16 vector value 164def v4f16 : VTVec<4, f16, 91>; // 4 x f16 vector value 165def v8f16 : VTVec<8, f16, 92>; // 8 x f16 vector value 166def v16f16 : VTVec<16, f16, 93>; // 16 x f16 vector value 167def v32f16 : VTVec<32, f16, 94>; // 32 x f16 vector value 168def v64f16 : VTVec<64, f16, 95>; // 64 x f16 vector value 169def v128f16 : VTVec<128, f16, 96>; // 128 x f16 vector value 170def v256f16 : VTVec<256, f16, 97>; // 256 x f16 vector value 171def v512f16 : VTVec<512, f16, 98>; // 512 x f16 vector value 172 173def v2bf16 : VTVec<2, bf16, 99>; // 2 x bf16 vector value 174def v3bf16 : VTVec<3, bf16, 100>; // 3 x bf16 vector value 175def v4bf16 : VTVec<4, bf16, 101>; // 4 x bf16 vector value 176def v8bf16 : VTVec<8, bf16, 102>; // 8 x bf16 vector value 177def v16bf16 : VTVec<16, bf16, 103>; // 16 x bf16 vector value 178def v32bf16 : VTVec<32, bf16, 104>; // 32 x bf16 vector value 179def v64bf16 : VTVec<64, bf16, 105>; // 64 x bf16 vector value 180def v128bf16 : VTVec<128, bf16, 106>; // 128 x bf16 vector value 181 182def v1f32 : VTVec<1, f32, 107>; // 1 x f32 vector value 183def v2f32 : VTVec<2, f32, 108>; // 2 x f32 vector value 184def v3f32 : VTVec<3, f32, 109>; // 3 x f32 vector value 185def v4f32 : VTVec<4, f32, 110>; // 4 x f32 vector value 186def v5f32 : VTVec<5, f32, 111>; // 5 x f32 vector value 187def v6f32 : VTVec<6, f32, 112>; // 6 x f32 vector value 188def v7f32 : VTVec<7, f32, 113>; // 7 x f32 vector value 189def v8f32 : VTVec<8, f32, 114>; // 8 x f32 vector value 190def v9f32 : VTVec<9, f32, 115>; // 9 x f32 vector value 191def v10f32 : VTVec<10, f32, 116>; // 10 x f32 vector value 192def v11f32 : VTVec<11, f32, 117>; // 11 x f32 vector value 193def v12f32 : VTVec<12, f32, 118>; // 12 x f32 vector value 194def v16f32 : VTVec<16, f32, 119>; // 16 x f32 vector value 195def v32f32 : VTVec<32, f32, 120>; // 32 x f32 vector value 196def v64f32 : VTVec<64, f32, 121>; // 64 x f32 vector value 197def v128f32 : VTVec<128, f32, 122>; // 128 x f32 vector value 198def v256f32 : VTVec<256, f32, 123>; // 256 x f32 vector value 199def v512f32 : VTVec<512, f32, 124>; // 512 x f32 vector value 200def v1024f32 : VTVec<1024, f32, 125>; // 1024 x f32 vector value 201def v2048f32 : VTVec<2048, f32, 126>; // 2048 x f32 vector value 202 203def v1f64 : VTVec<1, f64, 127>; // 1 x f64 vector value 204def v2f64 : VTVec<2, f64, 128>; // 2 x f64 vector value 205def v3f64 : VTVec<3, f64, 129>; // 3 x f64 vector value 206def v4f64 : VTVec<4, f64, 130>; // 4 x f64 vector value 207def v8f64 : VTVec<8, f64, 131>; // 8 x f64 vector value 208def v16f64 : VTVec<16, f64, 132>; // 16 x f64 vector value 209def v32f64 : VTVec<32, f64, 133>; // 32 x f64 vector value 210def v64f64 : VTVec<64, f64, 134>; // 64 x f64 vector value 211def v128f64 : VTVec<128, f64, 135>; // 128 x f64 vector value 212def v256f64 : VTVec<256, f64, 136>; // 256 x f64 vector value 213 214def nxv1i1 : VTScalableVec<1, i1, 137>; // n x 1 x i1 vector value 215def nxv2i1 : VTScalableVec<2, i1, 138>; // n x 2 x i1 vector value 216def nxv4i1 : VTScalableVec<4, i1, 139>; // n x 4 x i1 vector value 217def nxv8i1 : VTScalableVec<8, i1, 140>; // n x 8 x i1 vector value 218def nxv16i1 : VTScalableVec<16, i1, 141>; // n x 16 x i1 vector value 219def nxv32i1 : VTScalableVec<32, i1, 142>; // n x 32 x i1 vector value 220def nxv64i1 : VTScalableVec<64, i1, 143>; // n x 64 x i1 vector value 221 222def nxv1i8 : VTScalableVec<1, i8, 144>; // n x 1 x i8 vector value 223def nxv2i8 : VTScalableVec<2, i8, 145>; // n x 2 x i8 vector value 224def nxv4i8 : VTScalableVec<4, i8, 146>; // n x 4 x i8 vector value 225def nxv8i8 : VTScalableVec<8, i8, 147>; // n x 8 x i8 vector value 226def nxv16i8 : VTScalableVec<16, i8, 148>; // n x 16 x i8 vector value 227def nxv32i8 : VTScalableVec<32, i8, 149>; // n x 32 x i8 vector value 228def nxv64i8 : VTScalableVec<64, i8, 150>; // n x 64 x i8 vector value 229 230def nxv1i16 : VTScalableVec<1, i16, 151>; // n x 1 x i16 vector value 231def nxv2i16 : VTScalableVec<2, i16, 152>; // n x 2 x i16 vector value 232def nxv4i16 : VTScalableVec<4, i16, 153>; // n x 4 x i16 vector value 233def nxv8i16 : VTScalableVec<8, i16, 154>; // n x 8 x i16 vector value 234def nxv16i16 : VTScalableVec<16, i16, 155>; // n x 16 x i16 vector value 235def nxv32i16 : VTScalableVec<32, i16, 156>; // n x 32 x i16 vector value 236 237def nxv1i32 : VTScalableVec<1, i32, 157>; // n x 1 x i32 vector value 238def nxv2i32 : VTScalableVec<2, i32, 158>; // n x 2 x i32 vector value 239def nxv4i32 : VTScalableVec<4, i32, 159>; // n x 4 x i32 vector value 240def nxv8i32 : VTScalableVec<8, i32, 160>; // n x 8 x i32 vector value 241def nxv16i32 : VTScalableVec<16, i32, 161>; // n x 16 x i32 vector value 242def nxv32i32 : VTScalableVec<32, i32, 162>; // n x 32 x i32 vector value 243 244def nxv1i64 : VTScalableVec<1, i64, 163>; // n x 1 x i64 vector value 245def nxv2i64 : VTScalableVec<2, i64, 164>; // n x 2 x i64 vector value 246def nxv4i64 : VTScalableVec<4, i64, 165>; // n x 4 x i64 vector value 247def nxv8i64 : VTScalableVec<8, i64, 166>; // n x 8 x i64 vector value 248def nxv16i64 : VTScalableVec<16, i64, 167>; // n x 16 x i64 vector value 249def nxv32i64 : VTScalableVec<32, i64, 168>; // n x 32 x i64 vector value 250 251def nxv1f16 : VTScalableVec<1, f16, 169>; // n x 1 x f16 vector value 252def nxv2f16 : VTScalableVec<2, f16, 170>; // n x 2 x f16 vector value 253def nxv4f16 : VTScalableVec<4, f16, 171>; // n x 4 x f16 vector value 254def nxv8f16 : VTScalableVec<8, f16, 172>; // n x 8 x f16 vector value 255def nxv16f16 : VTScalableVec<16, f16, 173>; // n x 16 x f16 vector value 256def nxv32f16 : VTScalableVec<32, f16, 174>; // n x 32 x f16 vector value 257 258def nxv1bf16 : VTScalableVec<1, bf16, 175>; // n x 1 x bf16 vector value 259def nxv2bf16 : VTScalableVec<2, bf16, 176>; // n x 2 x bf16 vector value 260def nxv4bf16 : VTScalableVec<4, bf16, 177>; // n x 4 x bf16 vector value 261def nxv8bf16 : VTScalableVec<8, bf16, 178>; // n x 8 x bf16 vector value 262def nxv16bf16 : VTScalableVec<16, bf16, 179>; // n x 16 x bf16 vector value 263def nxv32bf16 : VTScalableVec<32, bf16, 180>; // n x 32 x bf16 vector value 264 265def nxv1f32 : VTScalableVec<1, f32, 181>; // n x 1 x f32 vector value 266def nxv2f32 : VTScalableVec<2, f32, 182>; // n x 2 x f32 vector value 267def nxv4f32 : VTScalableVec<4, f32, 183>; // n x 4 x f32 vector value 268def nxv8f32 : VTScalableVec<8, f32, 184>; // n x 8 x f32 vector value 269def nxv16f32 : VTScalableVec<16, f32, 185>; // n x 16 x f32 vector value 270 271def nxv1f64 : VTScalableVec<1, f64, 186>; // n x 1 x f64 vector value 272def nxv2f64 : VTScalableVec<2, f64, 187>; // n x 2 x f64 vector value 273def nxv4f64 : VTScalableVec<4, f64, 188>; // n x 4 x f64 vector value 274def nxv8f64 : VTScalableVec<8, f64, 189>; // n x 8 x f64 vector value 275 276def x86mmx : ValueType<64, 190>; // X86 MMX value 277def Glue : ValueType<0, 191>; // Pre-RA sched glue 278def isVoid : ValueType<0, 192>; // Produces no value 279def untyped : ValueType<8, 193> { // Produces an untyped value 280 let LLVMName = "Untyped"; 281} 282def funcref : ValueType<0, 194>; // WebAssembly's funcref type 283def externref : ValueType<0, 195>; // WebAssembly's externref type 284def exnref : ValueType<0, 196>; // WebAssembly's exnref type 285def x86amx : ValueType<8192, 197>; // X86 AMX value 286def i64x8 : ValueType<512, 198>; // 8 Consecutive GPRs (AArch64) 287def aarch64svcount 288 : ValueType<16, 199>; // AArch64 predicate-as-counter 289def spirvbuiltin : ValueType<0, 200>; // SPIR-V's builtin type 290 291let isNormalValueType = false in { 292def token : ValueType<0, 248>; // TokenTy 293def MetadataVT : ValueType<0, 249> { // Metadata 294 let LLVMName = "Metadata"; 295} 296 297// Pseudo valuetype mapped to the current pointer size to any address space. 298// Should only be used in TableGen. 299def iPTRAny : VTAny<250>; 300 301// Pseudo valuetype to represent "vector of any size" 302// Should only be used in TableGen. 303def vAny : VTAny<251>; 304 305// Pseudo valuetype to represent "float of any format" 306// Should only be used in TableGen. 307def fAny : VTAny<252>; 308 309// Pseudo valuetype to represent "integer of any bit width" 310// Should only be used in TableGen. 311def iAny : VTAny<253>; 312 313// Pseudo valuetype mapped to the current pointer size. 314// Should only be used in TableGen. 315def iPTR : ValueType<0, 254>; 316 317// Pseudo valuetype to represent "any type of any size". 318// Should only be used in TableGen. 319def Any : VTAny<255>; 320 321} // isNormalValueType = false 322 323} // end defset ValueTypes 324 325/// This class is for targets that want to use pointer types in patterns 326/// with the GlobalISelEmitter. Targets must define their own pointer 327/// derived from this class. The scalar argument should be an 328/// integer type with the same bit size as the pointer. 329/// e.g. def p0 : PtrValueType <i64, 0>; 330 331class PtrValueType <ValueType scalar, int addrspace> : 332 ValueType<scalar.Size, scalar.Value> { 333 int AddrSpace = addrspace; 334} 335