clang 20.0.0git
SemaARM.h
Go to the documentation of this file.
1//===----- SemaARM.h ------- ARM target-specific routines -----*- 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/// \file
9/// This file declares semantic analysis functions specific to ARM.
10///
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_CLANG_SEMA_SEMAARM_H
14#define LLVM_CLANG_SEMA_SEMAARM_H
15
16#include "clang/AST/DeclBase.h"
17#include "clang/AST/Expr.h"
19#include "clang/Sema/SemaBase.h"
20#include "llvm/ADT/StringRef.h"
21#include <tuple>
22
23namespace llvm {
24template <typename T, unsigned N> class SmallVector;
25} // namespace llvm
26
27namespace clang {
28class ParsedAttr;
29class TargetInfo;
30
31class SemaARM : public SemaBase {
32public:
33 SemaARM(Sema &S);
34
36 ArmNonStreaming, /// Intrinsic is only available in normal mode
37 ArmStreaming, /// Intrinsic is only available in Streaming-SVE mode.
38 ArmStreamingCompatible, /// Intrinsic is available both in normal and
39 /// Streaming-SVE mode.
40 VerifyRuntimeMode /// Intrinsic is available in normal mode with
41 /// SVE flags, or in Streaming-SVE mode with SME
42 /// flags. Do Sema checks for the runtime mode.
43 };
44
45 bool CheckImmediateArg(CallExpr *TheCall, unsigned CheckTy, unsigned ArgIdx,
46 unsigned EltBitWidth, unsigned VecBitWidth);
47 bool CheckARMBuiltinExclusiveCall(unsigned BuiltinID, CallExpr *TheCall,
48 unsigned MaxWidth);
49 bool CheckNeonBuiltinFunctionCall(const TargetInfo &TI, unsigned BuiltinID,
50 CallExpr *TheCall);
52 CallExpr *TheCall,
53 SmallVectorImpl<std::tuple<int, int, int, int>> &ImmChecks,
54 int OverloadType = -1);
55 bool
57 SmallVectorImpl<std::tuple<int, int, int>> &ImmChecks);
58 bool CheckMVEBuiltinFunctionCall(unsigned BuiltinID, CallExpr *TheCall);
59 bool CheckSVEBuiltinFunctionCall(unsigned BuiltinID, CallExpr *TheCall);
60 bool CheckSMEBuiltinFunctionCall(unsigned BuiltinID, CallExpr *TheCall);
61 bool CheckCDEBuiltinFunctionCall(const TargetInfo &TI, unsigned BuiltinID,
62 CallExpr *TheCall);
63 bool CheckARMCoprocessorImmediate(const TargetInfo &TI, const Expr *CoprocArg,
64 bool WantCDE);
65 bool CheckARMBuiltinFunctionCall(const TargetInfo &TI, unsigned BuiltinID,
66 CallExpr *TheCall);
67
68 bool CheckAArch64BuiltinFunctionCall(const TargetInfo &TI, unsigned BuiltinID,
69 CallExpr *TheCall);
70 bool BuiltinARMSpecialReg(unsigned BuiltinID, CallExpr *TheCall, int ArgNum,
71 unsigned ExpectedFieldNum, bool AllowName);
72 bool BuiltinARMMemoryTaggingCall(unsigned BuiltinID, CallExpr *TheCall);
73
74 bool MveAliasValid(unsigned BuiltinID, llvm::StringRef AliasName);
75 bool CdeAliasValid(unsigned BuiltinID, llvm::StringRef AliasName);
76 bool SveAliasValid(unsigned BuiltinID, llvm::StringRef AliasName);
77 bool SmeAliasValid(unsigned BuiltinID, llvm::StringRef AliasName);
78 void handleBuiltinAliasAttr(Decl *D, const ParsedAttr &AL);
79 void handleNewAttr(Decl *D, const ParsedAttr &AL);
80 void handleCmseNSEntryAttr(Decl *D, const ParsedAttr &AL);
81 void handleInterruptAttr(Decl *D, const ParsedAttr &AL);
82};
83
85
86} // namespace clang
87
88#endif // LLVM_CLANG_SEMA_SEMAARM_H
const Decl * D
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Definition: Expr.h:2874
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:86
This represents one expression.
Definition: Expr.h:110
ParsedAttr - Represents a syntactic attribute.
Definition: ParsedAttr.h:129
bool CheckARMBuiltinFunctionCall(const TargetInfo &TI, unsigned BuiltinID, CallExpr *TheCall)
Definition: SemaARM.cpp:976
bool CheckSMEBuiltinFunctionCall(unsigned BuiltinID, CallExpr *TheCall)
Definition: SemaARM.cpp:649
bool CheckARMCoprocessorImmediate(const TargetInfo &TI, const Expr *CoprocArg, bool WantCDE)
Definition: SemaARM.cpp:832
bool CheckSVEBuiltinFunctionCall(unsigned BuiltinID, CallExpr *TheCall)
Definition: SemaARM.cpp:689
bool CheckNeonBuiltinFunctionCall(const TargetInfo &TI, unsigned BuiltinID, CallExpr *TheCall)
Definition: SemaARM.cpp:717
bool CheckCDEBuiltinFunctionCall(const TargetInfo &TI, unsigned BuiltinID, CallExpr *TheCall)
Definition: SemaARM.cpp:816
bool PerformNeonImmChecks(CallExpr *TheCall, SmallVectorImpl< std::tuple< int, int, int, int > > &ImmChecks, int OverloadType=-1)
Definition: SemaARM.cpp:511
bool CheckMVEBuiltinFunctionCall(unsigned BuiltinID, CallExpr *TheCall)
Definition: SemaARM.cpp:807
void handleInterruptAttr(Decl *D, const ParsedAttr &AL)
Definition: SemaARM.cpp:1301
bool PerformSVEImmChecks(CallExpr *TheCall, SmallVectorImpl< std::tuple< int, int, int > > &ImmChecks)
Definition: SemaARM.cpp:530
void handleBuiltinAliasAttr(Decl *D, const ParsedAttr &AL)
Definition: SemaARM.cpp:1186
@ ArmStreaming
Intrinsic is only available in normal mode.
Definition: SemaARM.h:37
@ ArmNonStreaming
Definition: SemaARM.h:36
@ VerifyRuntimeMode
Intrinsic is available both in normal and Streaming-SVE mode.
Definition: SemaARM.h:40
@ ArmStreamingCompatible
Intrinsic is only available in Streaming-SVE mode.
Definition: SemaARM.h:38
void handleNewAttr(Decl *D, const ParsedAttr &AL)
Definition: SemaARM.cpp:1233
bool CheckARMBuiltinExclusiveCall(unsigned BuiltinID, CallExpr *TheCall, unsigned MaxWidth)
Definition: SemaARM.cpp:857
bool SveAliasValid(unsigned BuiltinID, llvm::StringRef AliasName)
Definition: SemaARM.cpp:1172
bool CheckAArch64BuiltinFunctionCall(const TargetInfo &TI, unsigned BuiltinID, CallExpr *TheCall)
Definition: SemaARM.cpp:1054
bool MveAliasValid(unsigned BuiltinID, llvm::StringRef AliasName)
Definition: SemaARM.cpp:1159
bool BuiltinARMMemoryTaggingCall(unsigned BuiltinID, CallExpr *TheCall)
BuiltinARMMemoryTaggingCall - Handle calls of memory tagging extensions.
Definition: SemaARM.cpp:26
void handleCmseNSEntryAttr(Decl *D, const ParsedAttr &AL)
Definition: SemaARM.cpp:1286
bool CheckImmediateArg(CallExpr *TheCall, unsigned CheckTy, unsigned ArgIdx, unsigned EltBitWidth, unsigned VecBitWidth)
Definition: SemaARM.cpp:373
bool BuiltinARMSpecialReg(unsigned BuiltinID, CallExpr *TheCall, int ArgNum, unsigned ExpectedFieldNum, bool AllowName)
BuiltinARMSpecialReg - Handle a check if argument ArgNum of CallExpr TheCall is an ARM/AArch64 specia...
Definition: SemaARM.cpp:188
bool SmeAliasValid(unsigned BuiltinID, llvm::StringRef AliasName)
Definition: SemaARM.cpp:1179
bool CdeAliasValid(unsigned BuiltinID, llvm::StringRef AliasName)
Definition: SemaARM.cpp:1167
Sema - This implements semantic analysis and AST building for C.
Definition: Sema.h:464
Exposes information about the current target.
Definition: TargetInfo.h:220
Defines the clang::TargetInfo interface.
The JSON file list parser is used to communicate input to InstallAPI.
SemaARM::ArmStreamingType getArmStreamingFnType(const FunctionDecl *FD)
Definition: SemaARM.cpp:543
Diagnostic wrappers for TextAPI types for error reporting.
Definition: Dominators.h:30