blob: ef7936762152d834b1935e1bec097c443bf120c7 [file] [log] [blame]
Erich Keaneebba5922017-07-21 22:37:03 +00001//===--- WebAssembly.cpp - Implement WebAssembly target feature support ---===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Erich Keaneebba5922017-07-21 22:37:03 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file implements WebAssembly TargetInfo objects.
10//
11//===----------------------------------------------------------------------===//
12
13#include "WebAssembly.h"
14#include "Targets.h"
15#include "clang/Basic/Builtins.h"
16#include "clang/Basic/Diagnostic.h"
17#include "clang/Basic/TargetBuiltins.h"
18#include "llvm/ADT/StringSwitch.h"
19
20using namespace clang;
21using namespace clang::targets;
22
23const Builtin::Info WebAssemblyTargetInfo::BuiltinInfo[] = {
24#define BUILTIN(ID, TYPE, ATTRS) \
25 {#ID, TYPE, ATTRS, nullptr, ALL_LANGUAGES, nullptr},
Thomas Livelyb7b9fdc2019-01-10 23:49:00 +000026#define TARGET_BUILTIN(ID, TYPE, ATTRS, FEATURE) \
27 {#ID, TYPE, ATTRS, nullptr, ALL_LANGUAGES, FEATURE},
Erich Keaneebba5922017-07-21 22:37:03 +000028#define LIBBUILTIN(ID, TYPE, ATTRS, HEADER) \
29 {#ID, TYPE, ATTRS, HEADER, ALL_LANGUAGES, nullptr},
30#include "clang/Basic/BuiltinsWebAssembly.def"
31};
32
Erich Keanee44bdb32018-02-08 23:16:55 +000033static constexpr llvm::StringLiteral ValidCPUNames[] = {
34 {"mvp"}, {"bleeding-edge"}, {"generic"}};
35
Erich Keaneebba5922017-07-21 22:37:03 +000036bool WebAssemblyTargetInfo::hasFeature(StringRef Feature) const {
37 return llvm::StringSwitch<bool>(Feature)
38 .Case("simd128", SIMDLevel >= SIMD128)
Thomas Livelyb7b9fdc2019-01-10 23:49:00 +000039 .Case("unimplemented-simd128", SIMDLevel >= UnimplementedSIMD128)
Dan Gohman0811cd12017-11-28 01:13:45 +000040 .Case("nontrapping-fptoint", HasNontrappingFPToInt)
Dan Gohmand0c4e1e2018-01-19 17:16:32 +000041 .Case("sign-ext", HasSignExt)
Heejin Ahn8b6af222018-03-02 00:39:16 +000042 .Case("exception-handling", HasExceptionHandling)
Thomas Lively88058d42019-01-31 21:02:19 +000043 .Case("bulk-memory", HasBulkMemory)
Heejin Ahnbab85972019-02-06 01:41:26 +000044 .Case("atomics", HasAtomics)
Thomas Lively5f0c4c62019-03-29 22:00:18 +000045 .Case("mutable-globals", HasMutableGlobals)
Thomas Livelyeafe8ef2019-05-23 17:26:47 +000046 .Case("multivalue", HasMultivalue)
47 .Case("tail-call", HasTailCall)
Heejin Ahn764f4082020-01-23 19:22:51 -080048 .Case("reference-types", HasReferenceTypes)
Erich Keaneebba5922017-07-21 22:37:03 +000049 .Default(false);
50}
51
52bool WebAssemblyTargetInfo::isValidCPUName(StringRef Name) const {
Erich Keanee44bdb32018-02-08 23:16:55 +000053 return llvm::find(ValidCPUNames, Name) != std::end(ValidCPUNames);
54}
55
56void WebAssemblyTargetInfo::fillValidCPUList(
57 SmallVectorImpl<StringRef> &Values) const {
58 Values.append(std::begin(ValidCPUNames), std::end(ValidCPUNames));
Erich Keaneebba5922017-07-21 22:37:03 +000059}
60
61void WebAssemblyTargetInfo::getTargetDefines(const LangOptions &Opts,
62 MacroBuilder &Builder) const {
63 defineCPUMacros(Builder, "wasm", /*Tuning=*/false);
64 if (SIMDLevel >= SIMD128)
65 Builder.defineMacro("__wasm_simd128__");
Thomas Livelyb7b9fdc2019-01-10 23:49:00 +000066 if (SIMDLevel >= UnimplementedSIMD128)
67 Builder.defineMacro("__wasm_unimplemented_simd128__");
Thomas Lively88058d42019-01-31 21:02:19 +000068 if (HasNontrappingFPToInt)
69 Builder.defineMacro("__wasm_nontrapping_fptoint__");
70 if (HasSignExt)
71 Builder.defineMacro("__wasm_sign_ext__");
72 if (HasExceptionHandling)
73 Builder.defineMacro("__wasm_exception_handling__");
74 if (HasBulkMemory)
75 Builder.defineMacro("__wasm_bulk_memory__");
Heejin Ahnbab85972019-02-06 01:41:26 +000076 if (HasAtomics)
77 Builder.defineMacro("__wasm_atomics__");
Thomas Lively5f0c4c62019-03-29 22:00:18 +000078 if (HasMutableGlobals)
79 Builder.defineMacro("__wasm_mutable_globals__");
Thomas Livelyeafe8ef2019-05-23 17:26:47 +000080 if (HasMultivalue)
81 Builder.defineMacro("__wasm_multivalue__");
82 if (HasTailCall)
83 Builder.defineMacro("__wasm_tail_call__");
Heejin Ahn764f4082020-01-23 19:22:51 -080084 if (HasReferenceTypes)
85 Builder.defineMacro("__wasm_reference_types__");
Thomas Livelyb7b9fdc2019-01-10 23:49:00 +000086}
87
88void WebAssemblyTargetInfo::setSIMDLevel(llvm::StringMap<bool> &Features,
89 SIMDEnum Level) {
90 switch (Level) {
91 case UnimplementedSIMD128:
92 Features["unimplemented-simd128"] = true;
93 LLVM_FALLTHROUGH;
94 case SIMD128:
95 Features["simd128"] = true;
96 LLVM_FALLTHROUGH;
97 case NoSIMD:
98 break;
99 }
100}
101
102bool WebAssemblyTargetInfo::initFeatureMap(
103 llvm::StringMap<bool> &Features, DiagnosticsEngine &Diags, StringRef CPU,
104 const std::vector<std::string> &FeaturesVec) const {
105 if (CPU == "bleeding-edge") {
106 Features["nontrapping-fptoint"] = true;
107 Features["sign-ext"] = true;
Heejin Ahn65eb1132020-01-23 19:32:32 -0800108 Features["bulk-memory"] = true;
Heejin Ahnbab85972019-02-06 01:41:26 +0000109 Features["atomics"] = true;
Thomas Lively5f0c4c62019-03-29 22:00:18 +0000110 Features["mutable-globals"] = true;
Heejin Ahn65eb1132020-01-23 19:32:32 -0800111 Features["tail-call"] = true;
Thomas Livelyb7b9fdc2019-01-10 23:49:00 +0000112 setSIMDLevel(Features, SIMD128);
113 }
114 // Other targets do not consider user-configured features here, but while we
115 // are actively developing new features it is useful to let user-configured
116 // features control availability of builtins
117 setSIMDLevel(Features, SIMDLevel);
118 if (HasNontrappingFPToInt)
119 Features["nontrapping-fptoint"] = true;
120 if (HasSignExt)
121 Features["sign-ext"] = true;
122 if (HasExceptionHandling)
123 Features["exception-handling"] = true;
Thomas Lively88058d42019-01-31 21:02:19 +0000124 if (HasBulkMemory)
125 Features["bulk-memory"] = true;
Heejin Ahnbab85972019-02-06 01:41:26 +0000126 if (HasAtomics)
127 Features["atomics"] = true;
Thomas Lively5f0c4c62019-03-29 22:00:18 +0000128 if (HasMutableGlobals)
129 Features["mutable-globals"] = true;
Thomas Livelyeafe8ef2019-05-23 17:26:47 +0000130 if (HasMultivalue)
131 Features["multivalue"] = true;
132 if (HasTailCall)
133 Features["tail-call"] = true;
Heejin Ahn764f4082020-01-23 19:22:51 -0800134 if (HasReferenceTypes)
135 Features["reference-types"] = true;
Thomas Livelyb7b9fdc2019-01-10 23:49:00 +0000136
137 return TargetInfo::initFeatureMap(Features, Diags, CPU, FeaturesVec);
Erich Keaneebba5922017-07-21 22:37:03 +0000138}
139
140bool WebAssemblyTargetInfo::handleTargetFeatures(
141 std::vector<std::string> &Features, DiagnosticsEngine &Diags) {
142 for (const auto &Feature : Features) {
143 if (Feature == "+simd128") {
144 SIMDLevel = std::max(SIMDLevel, SIMD128);
145 continue;
146 }
147 if (Feature == "-simd128") {
148 SIMDLevel = std::min(SIMDLevel, SIMDEnum(SIMD128 - 1));
149 continue;
150 }
Thomas Livelyb7b9fdc2019-01-10 23:49:00 +0000151 if (Feature == "+unimplemented-simd128") {
152 SIMDLevel = std::max(SIMDLevel, SIMDEnum(UnimplementedSIMD128));
153 continue;
154 }
155 if (Feature == "-unimplemented-simd128") {
156 SIMDLevel = std::min(SIMDLevel, SIMDEnum(UnimplementedSIMD128 - 1));
157 continue;
158 }
Dan Gohman0811cd12017-11-28 01:13:45 +0000159 if (Feature == "+nontrapping-fptoint") {
160 HasNontrappingFPToInt = true;
161 continue;
162 }
163 if (Feature == "-nontrapping-fptoint") {
164 HasNontrappingFPToInt = false;
165 continue;
166 }
Dan Gohmand0c4e1e2018-01-19 17:16:32 +0000167 if (Feature == "+sign-ext") {
168 HasSignExt = true;
169 continue;
170 }
171 if (Feature == "-sign-ext") {
172 HasSignExt = false;
173 continue;
174 }
Heejin Ahn8b6af222018-03-02 00:39:16 +0000175 if (Feature == "+exception-handling") {
176 HasExceptionHandling = true;
177 continue;
178 }
179 if (Feature == "-exception-handling") {
180 HasExceptionHandling = false;
181 continue;
182 }
Thomas Lively88058d42019-01-31 21:02:19 +0000183 if (Feature == "+bulk-memory") {
184 HasBulkMemory = true;
185 continue;
186 }
187 if (Feature == "-bulk-memory") {
188 HasBulkMemory = false;
189 continue;
190 }
Heejin Ahnbab85972019-02-06 01:41:26 +0000191 if (Feature == "+atomics") {
192 HasAtomics = true;
193 continue;
194 }
195 if (Feature == "-atomics") {
196 HasAtomics = false;
197 continue;
198 }
Thomas Lively5f0c4c62019-03-29 22:00:18 +0000199 if (Feature == "+mutable-globals") {
200 HasMutableGlobals = true;
201 continue;
202 }
203 if (Feature == "-mutable-globals") {
204 HasMutableGlobals = false;
205 continue;
206 }
Thomas Livelyeafe8ef2019-05-23 17:26:47 +0000207 if (Feature == "+multivalue") {
208 HasMultivalue = true;
209 continue;
210 }
211 if (Feature == "-multivalue") {
212 HasMultivalue = false;
213 continue;
214 }
215 if (Feature == "+tail-call") {
216 HasTailCall = true;
217 continue;
218 }
219 if (Feature == "-tail-call") {
220 HasTailCall = false;
221 continue;
222 }
Heejin Ahn764f4082020-01-23 19:22:51 -0800223 if (Feature == "+reference-types") {
224 HasReferenceTypes = true;
225 continue;
226 }
227 if (Feature == "-reference-types") {
228 HasReferenceTypes = false;
229 continue;
230 }
Erich Keaneebba5922017-07-21 22:37:03 +0000231
232 Diags.Report(diag::err_opt_not_valid_with_opt)
233 << Feature << "-target-feature";
234 return false;
235 }
236 return true;
237}
238
239ArrayRef<Builtin::Info> WebAssemblyTargetInfo::getTargetBuiltins() const {
240 return llvm::makeArrayRef(BuiltinInfo, clang::WebAssembly::LastTSBuiltin -
241 Builtin::FirstTSBuiltin);
242}
243
244void WebAssembly32TargetInfo::getTargetDefines(const LangOptions &Opts,
245 MacroBuilder &Builder) const {
246 WebAssemblyTargetInfo::getTargetDefines(Opts, Builder);
247 defineCPUMacros(Builder, "wasm32", /*Tuning=*/false);
248}
249
250void WebAssembly64TargetInfo::getTargetDefines(const LangOptions &Opts,
251 MacroBuilder &Builder) const {
252 WebAssemblyTargetInfo::getTargetDefines(Opts, Builder);
253 defineCPUMacros(Builder, "wasm64", /*Tuning=*/false);
254}