LLVM 18.0.0git
SPIRVSubtarget.cpp
Go to the documentation of this file.
1//===-- SPIRVSubtarget.cpp - SPIR-V Subtarget Information ------*- C++ -*--===//
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// This file implements the SPIR-V specific subclass of TargetSubtargetInfo.
10//
11//===----------------------------------------------------------------------===//
12
13#include "SPIRVSubtarget.h"
14#include "SPIRV.h"
15#include "SPIRVGlobalRegistry.h"
16#include "SPIRVLegalizerInfo.h"
18#include "SPIRVTargetMachine.h"
21
22using namespace llvm;
23
24#define DEBUG_TYPE "spirv-subtarget"
25
26#define GET_SUBTARGETINFO_TARGET_DESC
27#define GET_SUBTARGETINFO_CTOR
28#include "SPIRVGenSubtargetInfo.inc"
29
31 "spirv-extensions", cl::desc("SPIR-V extensions"), cl::ZeroOrMore,
34 clEnumValN(SPIRV::Extension::SPV_INTEL_arbitrary_precision_integers,
35 "SPV_INTEL_arbitrary_precision_integers",
36 "Allows generating arbitrary width integer types"),
37 clEnumValN(SPIRV::Extension::SPV_INTEL_optnone, "SPV_INTEL_optnone",
38 "Adds OptNoneINTEL value for Function Control mask that "
39 "indicates a request to not optimize the function"),
40 clEnumValN(SPIRV::Extension::SPV_KHR_no_integer_wrap_decoration,
41 "SPV_KHR_no_integer_wrap_decoration",
42 "Adds decorations to indicate that a given instruction does "
43 "not cause integer wrapping"),
44 clEnumValN(SPIRV::Extension::SPV_KHR_bit_instructions,
45 "SPV_KHR_bit_instructions",
46 "This enables bit instructions to be used by SPIR-V modules "
47 "without requiring the Shader capability")));
48
49// Compare version numbers, but allow 0 to mean unspecified.
50static bool isAtLeastVer(uint32_t Target, uint32_t VerToCompareTo) {
51 return Target == 0 || Target >= VerToCompareTo;
52}
53
54SPIRVSubtarget::SPIRVSubtarget(const Triple &TT, const std::string &CPU,
55 const std::string &FS,
57 : SPIRVGenSubtargetInfo(TT, CPU, /*TuneCPU=*/CPU, FS),
58 PointerSize(TM.getPointerSizeInBits(/* AS= */ 0)), SPIRVVersion(0),
59 OpenCLVersion(0), InstrInfo(),
60 FrameLowering(initSubtargetDependencies(CPU, FS)), TLInfo(TM, *this),
61 TargetTriple(TT) {
62 // The order of initialization is important.
63 initAvailableExtensions();
64 initAvailableExtInstSets();
65
66 GR = std::make_unique<SPIRVGlobalRegistry>(PointerSize);
67 CallLoweringInfo = std::make_unique<SPIRVCallLowering>(TLInfo, GR.get());
68 Legalizer = std::make_unique<SPIRVLegalizerInfo>(*this);
69 RegBankInfo = std::make_unique<SPIRVRegisterBankInfo>();
70 InstSelector.reset(
71 createSPIRVInstructionSelector(TM, *this, *RegBankInfo.get()));
72}
73
75 StringRef FS) {
76 ParseSubtargetFeatures(CPU, /*TuneCPU=*/CPU, FS);
77 if (SPIRVVersion == 0)
78 SPIRVVersion = 14;
79 if (OpenCLVersion == 0)
80 OpenCLVersion = 22;
81 return *this;
82}
83
84bool SPIRVSubtarget::canUseExtension(SPIRV::Extension::Extension E) const {
85 return AvailableExtensions.contains(E);
86}
87
89 SPIRV::InstructionSet::InstructionSet E) const {
90 return AvailableExtInstSets.contains(E);
91}
92
93bool SPIRVSubtarget::isAtLeastSPIRVVer(uint32_t VerToCompareTo) const {
94 return isAtLeastVer(SPIRVVersion, VerToCompareTo);
95}
96
97bool SPIRVSubtarget::isAtLeastOpenCLVer(uint32_t VerToCompareTo) const {
98 if (!isOpenCLEnv())
99 return false;
100 return isAtLeastVer(OpenCLVersion, VerToCompareTo);
101}
102
103// If the SPIR-V version is >= 1.4 we can call OpPtrEqual and OpPtrNotEqual.
105 return isAtLeastVer(SPIRVVersion, 14);
106}
107
108void SPIRVSubtarget::initAvailableExtensions() {
109 AvailableExtensions.clear();
110 if (!isOpenCLEnv())
111 return;
112
113 for (auto Extension : Extensions)
114 AvailableExtensions.insert(Extension);
115}
116
117// TODO: use command line args for this rather than just defaults.
118// Must have called initAvailableExtensions first.
119void SPIRVSubtarget::initAvailableExtInstSets() {
120 AvailableExtInstSets.clear();
121 if (!isOpenCLEnv())
122 AvailableExtInstSets.insert(SPIRV::InstructionSet::GLSL_std_450);
123 else
124 AvailableExtInstSets.insert(SPIRV::InstructionSet::OpenCL_std);
125
126 // Handle extended instruction sets from extensions.
127 if (canUseExtension(
128 SPIRV::Extension::SPV_AMD_shader_trinary_minmax_extension)) {
129 AvailableExtInstSets.insert(
130 SPIRV::InstructionSet::SPV_AMD_shader_trinary_minmax);
131 }
132}
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
Definition: CommandLine.h:680
const char LLVMTargetMachineRef TM
return InstrInfo
static bool isAtLeastVer(uint32_t Target, uint32_t VerToCompareTo)
cl::list< SPIRV::Extension::Extension > Extensions("spirv-extensions", cl::desc("SPIR-V extensions"), cl::ZeroOrMore, cl::Hidden, cl::values(clEnumValN(SPIRV::Extension::SPV_INTEL_arbitrary_precision_integers, "SPV_INTEL_arbitrary_precision_integers", "Allows generating arbitrary width integer types"), clEnumValN(SPIRV::Extension::SPV_INTEL_optnone, "SPV_INTEL_optnone", "Adds OptNoneINTEL value for Function Control mask that " "indicates a request to not optimize the function"), clEnumValN(SPIRV::Extension::SPV_KHR_no_integer_wrap_decoration, "SPV_KHR_no_integer_wrap_decoration", "Adds decorations to indicate that a given instruction does " "not cause integer wrapping"), clEnumValN(SPIRV::Extension::SPV_KHR_bit_instructions, "SPV_KHR_bit_instructions", "This enables bit instructions to be used by SPIR-V modules " "without requiring the Shader capability")))
SPIRVSubtarget & initSubtargetDependencies(StringRef CPU, StringRef FS)
bool isAtLeastOpenCLVer(uint32_t VerToCompareTo) const
bool canDirectlyComparePointers() const
bool isAtLeastSPIRVVer(uint32_t VerToCompareTo) const
bool isOpenCLEnv() const
void ParseSubtargetFeatures(StringRef CPU, StringRef TuneCPU, StringRef FS)
bool canUseExtInstSet(SPIRV::InstructionSet::InstructionSet E) const
SPIRVSubtarget(const Triple &TT, const std::string &CPU, const std::string &FS, const SPIRVTargetMachine &TM)
bool canUseExtension(SPIRV::Extension::Extension E) const
void clear()
Definition: SmallSet.h:218
bool contains(const T &V) const
Check if the SmallSet contains the given element.
Definition: SmallSet.h:236
std::pair< const_iterator, bool > insert(const T &V)
insert - Insert an element into the set if it isn't already there.
Definition: SmallSet.h:179
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
Target - Wrapper for Target specific information.
Triple - Helper class for working with autoconf configuration names.
Definition: Triple.h:44
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
Definition: CommandLine.h:705
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
InstructionSelector * createSPIRVInstructionSelector(const SPIRVTargetMachine &TM, const SPIRVSubtarget &Subtarget, const RegisterBankInfo &RBI)