Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2025-02-15 23:40:54 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

[clang][Interp] Handle PredefinedExprs

Browse Source 
Differential Revision: https://reviews.llvm.org/D148689
This commit is contained in:
Timm Bäder 2023-04-19 08:49:21 +02:00
parent b7bd3a734c
commit 1e9ac71787
3 changed files with 36 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
clang/lib/AST/Interp/ByteCodeExprGen.cpp
View File

@ -932,6 +932,14 @@ bool ByteCodeExprGen<Emitter>::VisitLambdaExpr(const LambdaExpr *E) {
return true;
}
template <class Emitter>
bool ByteCodeExprGen<Emitter>::VisitPredefinedExpr(const PredefinedExpr *E) {
if (DiscardResult)
return true;
return this->visit(E->getFunctionName());
}
template <class Emitter> bool ByteCodeExprGen<Emitter>::discard(const Expr *E) {
if (E->containsErrors())
return false;

1
clang/lib/AST/Interp/ByteCodeExprGen.h
View File

@ -94,6 +94,7 @@ public:
bool VisitCompoundLiteralExpr(const CompoundLiteralExpr *E);
bool VisitTypeTraitExpr(const TypeTraitExpr *E);
bool VisitLambdaExpr(const LambdaExpr *E);
bool VisitPredefinedExpr(const PredefinedExpr *E);
protected:
bool visitExpr(const Expr *E) override;

31
clang/test/AST/Interp/literals.cpp
View File

@ -1,7 +1,7 @@
// RUN: %clang_cc1 -fexperimental-new-constant-interpreter -std=c++11 -verify %s
// RUN: %clang_cc1 -fexperimental-new-constant-interpreter -std=c++20 -verify %s
// RUN: %clang_cc1 -std=c++11 -verify=ref %s
// RUN: %clang_cc1 -std=c++20 -verify=ref %s
// RUN: %clang_cc1 -fexperimental-new-constant-interpreter -fms-extensions -std=c++11 -verify %s
// RUN: %clang_cc1 -fexperimental-new-constant-interpreter -fms-extensions -std=c++20 -verify %s
// RUN: %clang_cc1 -std=c++11 -fms-extensions -verify=ref %s
// RUN: %clang_cc1 -std=c++20 -fms-extensions -verify=ref %s
#define INT_MIN (~__INT_MAX__)
#define INT_MAX __INT_MAX__
@ -851,3 +851,26 @@ constexpr int ignoredExprs() {
}
#endif
namespace PredefinedExprs {
#if __cplusplus >= 201402L
template<typename CharT>
constexpr bool strings_match(const CharT *str1, const CharT *str2) {
while (*str1 && *str2) {
if (*str1++ != *str2++)
return false;
};
return *str1 == *str2;
}
void foo() {
static_assert(strings_match(__FUNCSIG__, "void __cdecl PredefinedExprs::foo(void)"), "");
static_assert(strings_match(L__FUNCSIG__, L"void __cdecl PredefinedExprs::foo(void)"), "");
static_assert(strings_match(L__FUNCTION__, L"foo"), "");
static_assert(strings_match(__FUNCTION__, "foo"), "");
static_assert(strings_match(__func__, "foo"), "");
static_assert(strings_match(__PRETTY_FUNCTION__, "void PredefinedExprs::foo()"), "");
}
#endif
}