10b57cec5SDimitry Andric //=== WebAssembly.h - Declare WebAssembly target feature support *- C++ -*-===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This file declares WebAssembly TargetInfo objects. 100b57cec5SDimitry Andric // 110b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 120b57cec5SDimitry Andric 130b57cec5SDimitry Andric #ifndef LLVM_CLANG_LIB_BASIC_TARGETS_WEBASSEMBLY_H 140b57cec5SDimitry Andric #define LLVM_CLANG_LIB_BASIC_TARGETS_WEBASSEMBLY_H 150b57cec5SDimitry Andric 160b57cec5SDimitry Andric #include "clang/Basic/TargetInfo.h" 170b57cec5SDimitry Andric #include "clang/Basic/TargetOptions.h" 180b57cec5SDimitry Andric #include "llvm/ADT/Triple.h" 190b57cec5SDimitry Andric #include "llvm/Support/Compiler.h" 200b57cec5SDimitry Andric 210b57cec5SDimitry Andric namespace clang { 220b57cec5SDimitry Andric namespace targets { 230b57cec5SDimitry Andric 240b57cec5SDimitry Andric class LLVM_LIBRARY_VISIBILITY WebAssemblyTargetInfo : public TargetInfo { 250b57cec5SDimitry Andric static const Builtin::Info BuiltinInfo[]; 260b57cec5SDimitry Andric 270b57cec5SDimitry Andric enum SIMDEnum { 280b57cec5SDimitry Andric NoSIMD, 290b57cec5SDimitry Andric SIMD128, 30349cc55cSDimitry Andric RelaxedSIMD, 310b57cec5SDimitry Andric } SIMDLevel = NoSIMD; 320b57cec5SDimitry Andric 330b57cec5SDimitry Andric bool HasNontrappingFPToInt = false; 340b57cec5SDimitry Andric bool HasSignExt = false; 350b57cec5SDimitry Andric bool HasExceptionHandling = false; 360b57cec5SDimitry Andric bool HasBulkMemory = false; 370b57cec5SDimitry Andric bool HasAtomics = false; 380b57cec5SDimitry Andric bool HasMutableGlobals = false; 390b57cec5SDimitry Andric bool HasMultivalue = false; 400b57cec5SDimitry Andric bool HasTailCall = false; 415ffd83dbSDimitry Andric bool HasReferenceTypes = false; 425ffd83dbSDimitry Andric 435ffd83dbSDimitry Andric std::string ABI; 440b57cec5SDimitry Andric 450b57cec5SDimitry Andric public: 460b57cec5SDimitry Andric explicit WebAssemblyTargetInfo(const llvm::Triple &T, const TargetOptions &) 470b57cec5SDimitry Andric : TargetInfo(T) { 480b57cec5SDimitry Andric NoAsmVariants = true; 490b57cec5SDimitry Andric SuitableAlign = 128; 500b57cec5SDimitry Andric LargeArrayMinWidth = 128; 510b57cec5SDimitry Andric LargeArrayAlign = 128; 520b57cec5SDimitry Andric SimdDefaultAlign = 128; 530b57cec5SDimitry Andric SigAtomicType = SignedLong; 540b57cec5SDimitry Andric LongDoubleWidth = LongDoubleAlign = 128; 550b57cec5SDimitry Andric LongDoubleFormat = &llvm::APFloat::IEEEquad(); 560b57cec5SDimitry Andric MaxAtomicPromoteWidth = MaxAtomicInlineWidth = 64; 570b57cec5SDimitry Andric // size_t being unsigned long for both wasm32 and wasm64 makes mangled names 580b57cec5SDimitry Andric // more consistent between the two. 590b57cec5SDimitry Andric SizeType = UnsignedLong; 600b57cec5SDimitry Andric PtrDiffType = SignedLong; 610b57cec5SDimitry Andric IntPtrType = SignedLong; 620b57cec5SDimitry Andric } 630b57cec5SDimitry Andric 645ffd83dbSDimitry Andric StringRef getABI() const override; 655ffd83dbSDimitry Andric bool setABI(const std::string &Name) override; 665ffd83dbSDimitry Andric 670b57cec5SDimitry Andric protected: 680b57cec5SDimitry Andric void getTargetDefines(const LangOptions &Opts, 690b57cec5SDimitry Andric MacroBuilder &Builder) const override; 700b57cec5SDimitry Andric 710b57cec5SDimitry Andric private: 7275b4d546SDimitry Andric static void setSIMDLevel(llvm::StringMap<bool> &Features, SIMDEnum Level, 7375b4d546SDimitry Andric bool Enabled); 740b57cec5SDimitry Andric 750b57cec5SDimitry Andric bool 760b57cec5SDimitry Andric initFeatureMap(llvm::StringMap<bool> &Features, DiagnosticsEngine &Diags, 770b57cec5SDimitry Andric StringRef CPU, 780b57cec5SDimitry Andric const std::vector<std::string> &FeaturesVec) const override; 790b57cec5SDimitry Andric bool hasFeature(StringRef Feature) const final; 800b57cec5SDimitry Andric 8175b4d546SDimitry Andric void setFeatureEnabled(llvm::StringMap<bool> &Features, StringRef Name, 8275b4d546SDimitry Andric bool Enabled) const final; 8375b4d546SDimitry Andric 840b57cec5SDimitry Andric bool handleTargetFeatures(std::vector<std::string> &Features, 850b57cec5SDimitry Andric DiagnosticsEngine &Diags) final; 860b57cec5SDimitry Andric 870b57cec5SDimitry Andric bool isValidCPUName(StringRef Name) const final; 880b57cec5SDimitry Andric void fillValidCPUList(SmallVectorImpl<StringRef> &Values) const final; 890b57cec5SDimitry Andric 900b57cec5SDimitry Andric bool setCPU(const std::string &Name) final { return isValidCPUName(Name); } 910b57cec5SDimitry Andric 920b57cec5SDimitry Andric ArrayRef<Builtin::Info> getTargetBuiltins() const final; 930b57cec5SDimitry Andric 940b57cec5SDimitry Andric BuiltinVaListKind getBuiltinVaListKind() const final { 950b57cec5SDimitry Andric return VoidPtrBuiltinVaList; 960b57cec5SDimitry Andric } 970b57cec5SDimitry Andric 980b57cec5SDimitry Andric ArrayRef<const char *> getGCCRegNames() const final { return None; } 990b57cec5SDimitry Andric 1000b57cec5SDimitry Andric ArrayRef<TargetInfo::GCCRegAlias> getGCCRegAliases() const final { 1010b57cec5SDimitry Andric return None; 1020b57cec5SDimitry Andric } 1030b57cec5SDimitry Andric 1040b57cec5SDimitry Andric bool validateAsmConstraint(const char *&Name, 1050b57cec5SDimitry Andric TargetInfo::ConstraintInfo &Info) const final { 1060b57cec5SDimitry Andric return false; 1070b57cec5SDimitry Andric } 1080b57cec5SDimitry Andric 1090b57cec5SDimitry Andric const char *getClobbers() const final { return ""; } 1100b57cec5SDimitry Andric 1110b57cec5SDimitry Andric bool isCLZForZeroUndef() const final { return false; } 1120b57cec5SDimitry Andric 1130b57cec5SDimitry Andric bool hasInt128Type() const final { return true; } 1140b57cec5SDimitry Andric 1150b57cec5SDimitry Andric IntType getIntTypeByWidth(unsigned BitWidth, bool IsSigned) const final { 1160b57cec5SDimitry Andric // WebAssembly prefers long long for explicitly 64-bit integers. 1170b57cec5SDimitry Andric return BitWidth == 64 ? (IsSigned ? SignedLongLong : UnsignedLongLong) 1180b57cec5SDimitry Andric : TargetInfo::getIntTypeByWidth(BitWidth, IsSigned); 1190b57cec5SDimitry Andric } 1200b57cec5SDimitry Andric 1210b57cec5SDimitry Andric IntType getLeastIntTypeByWidth(unsigned BitWidth, bool IsSigned) const final { 1220b57cec5SDimitry Andric // WebAssembly uses long long for int_least64_t and int_fast64_t. 1230b57cec5SDimitry Andric return BitWidth == 64 1240b57cec5SDimitry Andric ? (IsSigned ? SignedLongLong : UnsignedLongLong) 1250b57cec5SDimitry Andric : TargetInfo::getLeastIntTypeByWidth(BitWidth, IsSigned); 1260b57cec5SDimitry Andric } 1275ffd83dbSDimitry Andric 1285ffd83dbSDimitry Andric CallingConvCheckResult checkCallingConvention(CallingConv CC) const override { 1295ffd83dbSDimitry Andric switch (CC) { 1305ffd83dbSDimitry Andric case CC_C: 1315ffd83dbSDimitry Andric case CC_Swift: 1325ffd83dbSDimitry Andric return CCCR_OK; 133fe6060f1SDimitry Andric case CC_SwiftAsync: 134fe6060f1SDimitry Andric return CCCR_Error; 1355ffd83dbSDimitry Andric default: 1365ffd83dbSDimitry Andric return CCCR_Warning; 1375ffd83dbSDimitry Andric } 1385ffd83dbSDimitry Andric } 1395ffd83dbSDimitry Andric 140*0eae32dcSDimitry Andric bool hasBitIntType() const override { return true; } 1415ffd83dbSDimitry Andric 1425ffd83dbSDimitry Andric bool hasProtectedVisibility() const override { return false; } 143fe6060f1SDimitry Andric 144fe6060f1SDimitry Andric void adjust(DiagnosticsEngine &Diags, LangOptions &Opts) override; 1450b57cec5SDimitry Andric }; 1465ffd83dbSDimitry Andric 1470b57cec5SDimitry Andric class LLVM_LIBRARY_VISIBILITY WebAssembly32TargetInfo 1480b57cec5SDimitry Andric : public WebAssemblyTargetInfo { 1490b57cec5SDimitry Andric public: 1500b57cec5SDimitry Andric explicit WebAssembly32TargetInfo(const llvm::Triple &T, 1510b57cec5SDimitry Andric const TargetOptions &Opts) 1520b57cec5SDimitry Andric : WebAssemblyTargetInfo(T, Opts) { 153fe6060f1SDimitry Andric if (T.isOSEmscripten()) 154349cc55cSDimitry Andric resetDataLayout("e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-f128:64-n32:64-" 155349cc55cSDimitry Andric "S128-ni:1:10:20"); 156fe6060f1SDimitry Andric else 157349cc55cSDimitry Andric resetDataLayout( 158349cc55cSDimitry Andric "e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-n32:64-S128-ni:1:10:20"); 1590b57cec5SDimitry Andric } 1600b57cec5SDimitry Andric 1610b57cec5SDimitry Andric protected: 1620b57cec5SDimitry Andric void getTargetDefines(const LangOptions &Opts, 1630b57cec5SDimitry Andric MacroBuilder &Builder) const override; 1640b57cec5SDimitry Andric }; 1650b57cec5SDimitry Andric 1660b57cec5SDimitry Andric class LLVM_LIBRARY_VISIBILITY WebAssembly64TargetInfo 1670b57cec5SDimitry Andric : public WebAssemblyTargetInfo { 1680b57cec5SDimitry Andric public: 1690b57cec5SDimitry Andric explicit WebAssembly64TargetInfo(const llvm::Triple &T, 1700b57cec5SDimitry Andric const TargetOptions &Opts) 1710b57cec5SDimitry Andric : WebAssemblyTargetInfo(T, Opts) { 1720b57cec5SDimitry Andric LongAlign = LongWidth = 64; 1730b57cec5SDimitry Andric PointerAlign = PointerWidth = 64; 1740b57cec5SDimitry Andric SizeType = UnsignedLong; 1750b57cec5SDimitry Andric PtrDiffType = SignedLong; 1760b57cec5SDimitry Andric IntPtrType = SignedLong; 177fe6060f1SDimitry Andric if (T.isOSEmscripten()) 178349cc55cSDimitry Andric resetDataLayout("e-m:e-p:64:64-p10:8:8-p20:8:8-i64:64-f128:64-n32:64-" 179349cc55cSDimitry Andric "S128-ni:1:10:20"); 180fe6060f1SDimitry Andric else 181349cc55cSDimitry Andric resetDataLayout( 182349cc55cSDimitry Andric "e-m:e-p:64:64-p10:8:8-p20:8:8-i64:64-n32:64-S128-ni:1:10:20"); 1830b57cec5SDimitry Andric } 1840b57cec5SDimitry Andric 1850b57cec5SDimitry Andric protected: 1860b57cec5SDimitry Andric void getTargetDefines(const LangOptions &Opts, 1870b57cec5SDimitry Andric MacroBuilder &Builder) const override; 1880b57cec5SDimitry Andric }; 1890b57cec5SDimitry Andric } // namespace targets 1900b57cec5SDimitry Andric } // namespace clang 1910b57cec5SDimitry Andric #endif // LLVM_CLANG_LIB_BASIC_TARGETS_WEBASSEMBLY_H 192