================ @@ -0,0 +1,485 @@ +//===--- BuiltinsX86_64.td - X86-64 Builtin function database ---*- C++ -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// +// +// This file defines the X86-64-specific builtin function database. +// +//===----------------------------------------------------------------------===// + +include "clang/Basic/BuiltinsX86Base.td" + +let Header = "intrin.h", Languages = "ALL_MS_LANGUAGES", Attributes = [NoThrow, RequireDeclaration] in { + def _BitScanForward64 : X86LibBuiltin<"unsigned char(msuint32_t *, unsigned long long int)">; + def _BitScanReverse64 : X86LibBuiltin<"unsigned char(msuint32_t *, unsigned long long int)">; +} + +let Header = "intrin.h", Languages = "ALL_MS_LANGUAGES", Attributes = [NoThrow, Const, RequireDeclaration] in { + def __mulh : X86LibBuiltin<"long long int(long long int, long long int)">; + def __umulh : X86LibBuiltin<"unsigned long long int(unsigned long long int, unsigned long long int)">; + def _mul128 : X86LibBuiltin<"long long int(long long int, long long int, long long int *)">; + def _umul128 : X86LibBuiltin<"unsigned long long int(unsigned long long int, unsigned long long int, unsigned long long int *)">; +} + +let Header = "intrin.h", Languages = "ALL_MS_LANGUAGES", Attributes = [NoThrow, RequireDeclaration] in { + def __faststorefence : X86LibBuiltin<"void()">; +} + +let Header = "intrin.h", Languages = "ALL_MS_LANGUAGES", Attributes = [NoThrow, Const, RequireDeclaration] in { + def __shiftleft128 : X86LibBuiltin<"unsigned long long int(unsigned long long int, unsigned long long int, unsigned char)">; + def __shiftright128 : X86LibBuiltin<"unsigned long long int(unsigned long long int, unsigned long long int, unsigned char)">; +} + +let Features = "cx16", Header = "intrin.h", Languages = "ALL_MS_LANGUAGES", Attributes = [NoThrow, RequireDeclaration] in { + def _InterlockedCompareExchange128 : X86LibBuiltin<"unsigned char(long long int volatile *, long long int, long long int, long long int *)">; +} + +let Attributes = [NoThrow] in { + def readeflags_u64 : X86Builtin<"unsigned long long int()">; + def writeeflags_u64 : X86Builtin<"void(unsigned long long int)">; +} + +let Features = "sse", Attributes = [NoThrow, Const, RequiredVectorWidth<128>] in { + def cvtss2si64 : X86Builtin<"long long int(_Vector<4, float>)">; + def cvttss2si64 : X86Builtin<"long long int(_Vector<4, float>)">; +} + +let Features = "sse2", Attributes = [NoThrow, Const, RequiredVectorWidth<128>] in { + def cvtsd2si64 : X86Builtin<"long long int(_Vector<2, double>)">; + def cvttsd2si64 : X86Builtin<"long long int(_Vector<2, double>)">; +} + +let Features = "sse2", Attributes = [NoThrow] in { + def movnti64 : X86Builtin<"void(long long int *, long long int)">; +} + +let Features = "sse4.1", Attributes = [NoThrow, Const, RequiredVectorWidth<128>] in { + def vec_set_v2di : X86Builtin<"_Vector<2, long long int>(_Vector<2, long long int>, long long int, _Constant int)">; +} + +let Features = "crc32", Attributes = [NoThrow, Const] in { + def crc32di : X86Builtin<"unsigned long long int(unsigned long long int, unsigned long long int)">; +} + +let Features = "avx", Attributes = [NoThrow, Const, RequiredVectorWidth<256>] in { + def vec_ext_v4di : X86Builtin<"long long int(_Vector<4, long long int>, _Constant int)">; + def vec_set_v4di : X86Builtin<"_Vector<4, long long int>(_Vector<4, long long int>, long long int, _Constant int)">; +} + +let Features = "fsgsbase", Attributes = [NoThrow] in { + def rdfsbase32 : X86Builtin<"unsigned int()">; + def rdfsbase64 : X86Builtin<"unsigned long long int()">; + def rdgsbase32 : X86Builtin<"unsigned int()">; + def rdgsbase64 : X86Builtin<"unsigned long long int()">; + def wrfsbase32 : X86Builtin<"void(unsigned int)">; + def wrfsbase64 : X86Builtin<"void(unsigned long long int)">; + def wrgsbase32 : X86Builtin<"void(unsigned int)">; + def wrgsbase64 : X86Builtin<"void(unsigned long long int)">; +} + +let Features = "fxsr", Attributes = [NoThrow] in { + def fxrstor64 : X86Builtin<"void(void *)">; + def fxsave64 : X86Builtin<"void(void *)">; +} + +let Features = "xsave", Attributes = [NoThrow] in { + def xsave64 : X86Builtin<"void(void *, unsigned long long int)">; + def xrstor64 : X86Builtin<"void(void *, unsigned long long int)">; +} + +let Features = "xsaveopt", Attributes = [NoThrow] in { + def xsaveopt64 : X86Builtin<"void(void *, unsigned long long int)">; +} + +let Features = "xsaves", Attributes = [NoThrow] in { + def xrstors64 : X86Builtin<"void(void *, unsigned long long int)">; +} + +let Features = "xsavec", Attributes = [NoThrow] in { + def xsavec64 : X86Builtin<"void(void *, unsigned long long int)">; +} + +let Features = "xsaves", Attributes = [NoThrow] in { + def xsaves64 : X86Builtin<"void(void *, unsigned long long int)">; +} + +let Features = "shstk", Attributes = [NoThrow] in { + def incsspq : X86Builtin<"void(unsigned long long int)">; + def rdsspq : X86Builtin<"unsigned long long int(unsigned long long int)">; + def wrssq : X86Builtin<"void(unsigned long long int, void *)">; + def wrussq : X86Builtin<"void(unsigned long long int, void *)">; +} + +let Attributes = [NoThrow, Constexpr] in { + def addcarryx_u64 : X86Builtin<"unsigned char(unsigned char, unsigned long long int, unsigned long long int, unsigned long long int *)">; + def subborrow_u64 : X86Builtin<"unsigned char(unsigned char, unsigned long long int, unsigned long long int, unsigned long long int *)">; +} + +let Features = "rdrnd", Attributes = [NoThrow] in { + def rdrand64_step : X86Builtin<"unsigned int(unsigned long long int *)">; +} + +let Features = "rdseed", Attributes = [NoThrow] in { + def rdseed64_step : X86Builtin<"unsigned int(unsigned long long int *)">; +} + +let Features = "lzcnt", Attributes = [NoThrow, Const, Constexpr] in { + def lzcnt_u64 : X86Builtin<"unsigned long long int(unsigned long long int)">; +} + +let Features = "bmi", Attributes = [NoThrow, Const, Constexpr] in { + def bextr_u64 : X86Builtin<"unsigned long long int(unsigned long long int, unsigned long long int)">; +} + +let Attributes = [NoThrow, Const, Constexpr] in { + def tzcnt_u64 : X86Builtin<"unsigned long long int(unsigned long long int)">; +} + +let Features = "bmi2", Attributes = [NoThrow, Const, Constexpr] in { + def bzhi_di : X86Builtin<"unsigned long long int(unsigned long long int, unsigned long long int)">; + def pdep_di : X86Builtin<"unsigned long long int(unsigned long long int, unsigned long long int)">; + def pext_di : X86Builtin<"unsigned long long int(unsigned long long int, unsigned long long int)">; +} + +let Features = "tbm", Attributes = [NoThrow, Const, Constexpr] in { + def bextri_u64 : X86Builtin<"unsigned long long int(unsigned long long int, _Constant unsigned long long int)">; +} + +let Features = "lwp", Attributes = [NoThrow] in { + def lwpins64 : X86Builtin<"unsigned char(unsigned long long int, unsigned int, _Constant unsigned int)">; + def lwpval64 : X86Builtin<"void(unsigned long long int, unsigned int, _Constant unsigned int)">; +} + +let Features = "avx512f", Attributes = [NoThrow, Const, RequiredVectorWidth<128>] in { + def vcvtsd2si64 : X86Builtin<"long long int(_Vector<2, double>, _Constant int)">; + def vcvtsd2usi64 : X86Builtin<"unsigned long long int(_Vector<2, double>, _Constant int)">; + def vcvtss2si64 : X86Builtin<"long long int(_Vector<4, float>, _Constant int)">; + def vcvtss2usi64 : X86Builtin<"unsigned long long int(_Vector<4, float>, _Constant int)">; + def vcvttsd2si64 : X86Builtin<"long long int(_Vector<2, double>, _Constant int)">; + def vcvttsd2usi64 : X86Builtin<"unsigned long long int(_Vector<2, double>, _Constant int)">; + def vcvttss2si64 : X86Builtin<"long long int(_Vector<4, float>, _Constant int)">; + def vcvttss2usi64 : X86Builtin<"unsigned long long int(_Vector<4, float>, _Constant int)">; + def cvtsi2sd64 : X86Builtin<"_Vector<2, double>(_Vector<2, double>, long long int, _Constant int)">; + def cvtsi2ss64 : X86Builtin<"_Vector<4, float>(_Vector<4, float>, long long int, _Constant int)">; + def cvtusi2sd64 : X86Builtin<"_Vector<2, double>(_Vector<2, double>, unsigned long long int, _Constant int)">; + def cvtusi2ss64 : X86Builtin<"_Vector<4, float>(_Vector<4, float>, unsigned long long int, _Constant int)">; +} + +let Features = "avx512fp16", Attributes = [NoThrow, Const, RequiredVectorWidth<128>] in { + def vcvtsh2si64 : X86Builtin<"long long int(_Vector<8, _Float16>, _Constant int)">; + def vcvtsh2usi64 : X86Builtin<"unsigned long long int(_Vector<8, _Float16>, _Constant int)">; + def vcvtusi642sh : X86Builtin<"_Vector<8, _Float16>(_Vector<8, _Float16>, unsigned long long int, _Constant int)">; + def vcvtsi642sh : X86Builtin<"_Vector<8, _Float16>(_Vector<8, _Float16>, long long int, _Constant int)">; + def vcvttsh2si64 : X86Builtin<"long long int(_Vector<8, _Float16>, _Constant int)">; + def vcvttsh2usi64 : X86Builtin<"unsigned long long int(_Vector<8, _Float16>, _Constant int)">; +} + +let Features = "movdiri", Attributes = [NoThrow] in { + def directstore_u64 : X86Builtin<"void(unsigned long int *, unsigned long int)">; +} + +let Features = "avx10.2-256", Attributes = [NoThrow, Const, RequiredVectorWidth<128>] in { + def vcvttsd2sis64 : X86Builtin<"long long int(_Vector<2, double>, _Constant int)">; + def vcvttsd2usis64 : X86Builtin<"unsigned long long int(_Vector<2, double>, _Constant int)">; + def vcvttss2sis64 : X86Builtin<"long long int(_Vector<4, float>, _Constant int)">; + def vcvttss2usis64 : X86Builtin<"unsigned long long int(_Vector<4, float>, _Constant int)">; +} + +let Features = "uintr", Attributes = [NoThrow] in { + def clui : X86Builtin<"void()">; + def stui : X86Builtin<"void()">; + def testui : X86Builtin<"unsigned char()">; + def senduipi : X86Builtin<"void(uint64_t)">; +} + +let Features = "usermsr", Attributes = [NoThrow] in { + def urdmsr : X86Builtin<"unsigned long long int(unsigned long long int)">; + def uwrmsr : X86Builtin<"void(unsigned long long int, unsigned long long int)">; +} + +let Features = "amx-tile", Attributes = [NoThrow] in { + def tile_loadconfig_internal : X86Builtin<"void(void const *)">; + def tileloadd64_internal : X86Builtin<"_Vector<256, int>(unsigned short, unsigned short, void const *, size_t)">; +} + +let Features = "amx-movrs", Attributes = [NoThrow] in { + def tileloaddrs64_internal : X86Builtin<"_Vector<256, int>(unsigned short, unsigned short, void const *, size_t)">; +} + +let Features = "amx-tile", Attributes = [NoThrow] in { + def tileloaddt164_internal : X86Builtin<"_Vector<256, int>(unsigned short, unsigned short, void const *, size_t)">; +} ---------------- phoebewang wrote:
Merge to `amx-tile` group. https://github.com/llvm/llvm-project/pull/121043 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
