LLVM 22.0.0git
LowLevelTypeUtils.cpp
Go to the documentation of this file.
1//===-- llvm/CodeGen/LowLevelTypeUtils.cpp --------------------------------===//
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/// \file This file implements the more header-heavy bits of the LLT class to
10/// avoid polluting users' namespaces.
11//
12//===----------------------------------------------------------------------===//
13
15#include "llvm/ADT/APFloat.h"
16#include "llvm/IR/DataLayout.h"
18using namespace llvm;
19
21 if (auto VTy = dyn_cast<VectorType>(&Ty)) {
22 auto EC = VTy->getElementCount();
23 LLT ScalarTy = getLLTForType(*VTy->getElementType(), DL);
24 if (EC.isScalar())
25 return ScalarTy;
26 return LLT::vector(EC, ScalarTy);
27 }
28
29 if (auto PTy = dyn_cast<PointerType>(&Ty)) {
30 unsigned AddrSpace = PTy->getAddressSpace();
31 return LLT::pointer(AddrSpace, DL.getPointerSizeInBits(AddrSpace));
32 }
33
34 if (Ty.isSized() && !Ty.isScalableTargetExtTy()) {
35 // Aggregates are no different from real scalars as far as GlobalISel is
36 // concerned.
37 auto SizeInBits = DL.getTypeSizeInBits(&Ty);
38 assert(SizeInBits != 0 && "invalid zero-sized type");
39 return LLT::scalar(SizeInBits);
40 }
41
42 if (Ty.isTokenTy())
43 return LLT::token();
44
45 return LLT();
46}
47
49 if (!Ty.isVector())
50 return MVT::getIntegerVT(Ty.getSizeInBits());
51
52 return MVT::getVectorVT(
53 MVT::getIntegerVT(Ty.getElementType().getSizeInBits()),
54 Ty.getElementCount());
55}
56
58 if (Ty.isVector()) {
59 EVT EltVT = getApproximateEVTForLLT(Ty.getElementType(), Ctx);
60 return EVT::getVectorVT(Ctx, EltVT, Ty.getElementCount());
61 }
62
63 return EVT::getIntegerVT(Ctx, Ty.getSizeInBits());
64}
65
67 if (!Ty.isVector())
68 return LLT::scalar(Ty.getSizeInBits());
69
70 return LLT::scalarOrVector(Ty.getVectorElementCount(),
71 Ty.getVectorElementType().getSizeInBits());
72}
73
75 assert(Ty.isScalar() && "Expected a scalar type.");
76 switch (Ty.getSizeInBits()) {
77 case 16:
78 return APFloat::IEEEhalf();
79 case 32:
80 return APFloat::IEEEsingle();
81 case 64:
82 return APFloat::IEEEdouble();
83 case 128:
84 return APFloat::IEEEquad();
85 }
86 llvm_unreachable("Invalid FP type size.");
87}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file declares a class to represent arbitrary precision floating point values and provide a varie...
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Implement a low-level type suitable for MachineInstr level instruction selection.
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:63
static constexpr LLT vector(ElementCount EC, unsigned ScalarSizeInBits)
Get a low-level vector of some number of elements and element width.
static constexpr LLT scalar(unsigned SizeInBits)
Get a low-level scalar or aggregate "bag of bits".
static constexpr LLT pointer(unsigned AddressSpace, unsigned SizeInBits)
Get a low-level pointer in the given address space.
static constexpr LLT token()
Get a low-level token; just a scalar with zero bits (or no size).
static constexpr LLT scalarOrVector(ElementCount EC, LLT ScalarTy)
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
Machine Value Type.
static MVT getVectorVT(MVT VT, unsigned NumElements)
static MVT getIntegerVT(unsigned BitWidth)
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:45
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
This is an optimization pass for GlobalISel generic memory operations.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:649
LLVM_ABI const llvm::fltSemantics & getFltSemanticForLLT(LLT Ty)
Get the appropriate floating point arithmetic semantic based on the bit size of the given scalar LLT.
LLVM_ABI MVT getMVTForLLT(LLT Ty)
Get a rough equivalent of an MVT for a given LLT.
LLVM_ABI LLT getLLTForMVT(MVT Ty)
Get a rough equivalent of an LLT for a given MVT.
LLVM_ABI EVT getApproximateEVTForLLT(LLT Ty, LLVMContext &Ctx)
LLVM_ABI LLT getLLTForType(Type &Ty, const DataLayout &DL)
Construct a low-level type based on an LLVM type.
static LLVM_ABI const fltSemantics & IEEEsingle() LLVM_READNONE
Definition APFloat.cpp:266
static LLVM_ABI const fltSemantics & IEEEquad() LLVM_READNONE
Definition APFloat.cpp:268
static LLVM_ABI const fltSemantics & IEEEdouble() LLVM_READNONE
Definition APFloat.cpp:267
static LLVM_ABI const fltSemantics & IEEEhalf() LLVM_READNONE
Definition APFloat.cpp:264
Extended Value Type.
Definition ValueTypes.h:35
static EVT getVectorVT(LLVMContext &Context, EVT VT, unsigned NumElements, bool IsScalable=false)
Returns the EVT that represents a vector NumElements in length, where each element is of type VT.
Definition ValueTypes.h:74
static EVT getIntegerVT(LLVMContext &Context, unsigned BitWidth)
Returns the EVT that represents an integer with the given number of bits.
Definition ValueTypes.h:65