1a2f330976
This improves and unifies our approach to printing all template arguments. The same approach to printing types is extended to all TemplateArguments: A sugared version is printed in quotes, followed by printing the canonical form, unless they would print the same. Special improvements are done to add more detail to template template arguments. It's planned in a future patch to use this improved TemplateName printer for other places besides TemplateArguments. Note: The sugared/desugared printing does not show up for TemplateNames in tests yet, because we do a poor job of preserving their type sugar. This will be improved in a future patch.
335 lines
11 KiB
C++
335 lines
11 KiB
C++
// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fopenmp \
|
|
// RUN: -fsyntax-only -verify %s
|
|
|
|
// expected-no-diagnostics
|
|
|
|
// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fopenmp \
|
|
// RUN: -ast-print %s | FileCheck %s --check-prefix=PRINT
|
|
|
|
// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fopenmp \
|
|
// RUN: -ast-dump %s | FileCheck %s --check-prefix=DUMP
|
|
|
|
// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fopenmp \
|
|
// RUN: -emit-pch -o %t %s
|
|
|
|
// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fopenmp \
|
|
// RUN: -include-pch %t -ast-dump-all %s | FileCheck %s --check-prefix=DUMP
|
|
|
|
// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fopenmp \
|
|
// RUN: -include-pch %t -ast-print %s | FileCheck %s --check-prefix=PRINT
|
|
|
|
#ifndef HEADER
|
|
#define HEADER
|
|
|
|
typedef void *omp_interop_t;
|
|
|
|
struct S {
|
|
omp_interop_t o1;
|
|
omp_interop_t o2;
|
|
omp_interop_t o3;
|
|
static omp_interop_t so;
|
|
void foo();
|
|
S();
|
|
~S();
|
|
};
|
|
omp_interop_t S::so;
|
|
|
|
struct T {
|
|
static void static_member_func();
|
|
static omp_interop_t to;
|
|
};
|
|
omp_interop_t T::to;
|
|
|
|
void T::static_member_func() {
|
|
omp_interop_t o1;
|
|
//PRINT: #pragma omp interop init(target : o1)
|
|
#pragma omp interop init(target:o1)
|
|
|
|
//PRINT: #pragma omp interop init(target : to)
|
|
#pragma omp interop init(target: to)
|
|
|
|
//PRINT: #pragma omp interop init(target : T::to)
|
|
#pragma omp interop init(target: T::to)
|
|
|
|
//PRINT: #pragma omp interop init(target : S::so)
|
|
#pragma omp interop init(target: S::so)
|
|
}
|
|
|
|
|
|
S::S() {
|
|
//PRINT: #pragma omp interop init(target : this->o1)
|
|
#pragma omp interop init(target:o1)
|
|
//PRINT: #pragma omp interop use(this->o1) init(target : this->o2)
|
|
#pragma omp interop use(o1) init(target:o2)
|
|
//PRINT: #pragma omp interop use(this->o2) init(target : this->o3)
|
|
#pragma omp interop use(o2) init(target:o3)
|
|
}
|
|
S::~S() {
|
|
//PRINT: #pragma omp interop destroy(this->o1) destroy(this->o2) destroy(this->o3)
|
|
#pragma omp interop destroy(o1) destroy(o2) destroy(o3)
|
|
}
|
|
|
|
void S::foo() {
|
|
//PRINT: #pragma omp interop init(target : so)
|
|
#pragma omp interop init(target:so)
|
|
}
|
|
|
|
//PRINT-LABEL: void foo1(
|
|
//DUMP-LABEL: FunctionDecl {{.*}} foo1
|
|
void foo1(int *ap, int dev) {
|
|
omp_interop_t I;
|
|
omp_interop_t &IRef = I;
|
|
|
|
//PRINT: #pragma omp interop init(target : I)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
#pragma omp interop init(target:I)
|
|
|
|
//PRINT: #pragma omp interop use(I)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPUseClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
#pragma omp interop use(I)
|
|
|
|
//PRINT: #pragma omp interop destroy(I)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPDestroyClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
#pragma omp interop destroy(I)
|
|
|
|
//PRINT: #pragma omp interop init(target : IRef)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'IRef'
|
|
#pragma omp interop init(target:IRef)
|
|
|
|
//PRINT: #pragma omp interop use(IRef)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPUseClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'IRef'
|
|
#pragma omp interop use(IRef)
|
|
|
|
//PRINT: #pragma omp interop destroy(IRef)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPDestroyClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'IRef'
|
|
#pragma omp interop destroy(IRef)
|
|
|
|
const omp_interop_t CI = (omp_interop_t)0;
|
|
//PRINT: #pragma omp interop use(CI)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPUseClause
|
|
//DUMP: DeclRefExpr{{.*}}'const omp_interop_t'{{.*}}Var{{.*}}'CI'
|
|
#pragma omp interop use(CI)
|
|
|
|
//PRINT: #pragma omp interop device(dev) depend(inout : ap) init(targetsync : I)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPDeviceClause
|
|
//DUMP: DeclRefExpr{{.*}}'dev' 'int'
|
|
//DUMP: OMPDependClause
|
|
//DUMP: DeclRefExpr{{.*}}'ap' 'int *'
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
#pragma omp interop device(dev) depend(inout:ap) init(targetsync:I)
|
|
|
|
//PRINT: #pragma omp interop device(dev) depend(inout : ap) use(I)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPDeviceClause
|
|
//DUMP: DeclRefExpr{{.*}}'dev' 'int'
|
|
//DUMP: OMPDependClause
|
|
//DUMP: DeclRefExpr{{.*}}'ap' 'int *'
|
|
//DUMP: OMPUseClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
#pragma omp interop device(dev) depend(inout:ap) use(I)
|
|
|
|
//PRINT: #pragma omp interop device(dev) depend(inout : ap) destroy(I)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPDeviceClause
|
|
//DUMP: DeclRefExpr{{.*}}'dev' 'int'
|
|
//DUMP: OMPDependClause
|
|
//DUMP: DeclRefExpr{{.*}}'ap' 'int *'
|
|
//DUMP: OMPDestroyClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
#pragma omp interop device(dev) depend(inout:ap) destroy(I)
|
|
|
|
//PRINT: #pragma omp interop init(prefer_type(1,2,3,4,5,6), targetsync : I)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
//DUMP: IntegerLiteral{{.*}}1
|
|
//DUMP: IntegerLiteral{{.*}}2
|
|
//DUMP: IntegerLiteral{{.*}}3
|
|
//DUMP: IntegerLiteral{{.*}}4
|
|
//DUMP: IntegerLiteral{{.*}}5
|
|
//DUMP: IntegerLiteral{{.*}}6
|
|
#pragma omp interop init(prefer_type(1,2,3,4,5,6),targetsync:I)
|
|
|
|
//PRINT: #pragma omp interop init(prefer_type(2,4,6,1), targetsync : I)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
//DUMP: IntegerLiteral{{.*}}2
|
|
//DUMP: IntegerLiteral{{.*}}4
|
|
//DUMP: IntegerLiteral{{.*}}6
|
|
//DUMP: IntegerLiteral{{.*}}1
|
|
#pragma omp interop init(prefer_type(2,4,6,1),targetsync:I)
|
|
|
|
//PRINT: #pragma omp interop init(prefer_type("cuda","cuda_driver","opencl","sycl","hip","level_zero"), targetsync : I)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
//DUMP: StringLiteral{{.*}}"cuda"
|
|
//DUMP: StringLiteral{{.*}}"cuda_driver"
|
|
//DUMP: StringLiteral{{.*}}"opencl"
|
|
//DUMP: StringLiteral{{.*}}"sycl"
|
|
//DUMP: StringLiteral{{.*}}"hip"
|
|
//DUMP: StringLiteral{{.*}}"level_zero"
|
|
#pragma omp interop init( \
|
|
prefer_type("cuda","cuda_driver","opencl","sycl","hip","level_zero"), \
|
|
targetsync:I)
|
|
|
|
//PRINT: #pragma omp interop init(prefer_type("level_zero",2,4), targetsync : I)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
//DUMP: StringLiteral{{.*}}"level_zero"
|
|
//DUMP: IntegerLiteral{{.*}}2
|
|
//DUMP: IntegerLiteral{{.*}}4
|
|
#pragma omp interop init(prefer_type("level_zero",2,4),targetsync:I)
|
|
|
|
omp_interop_t J;
|
|
|
|
//PRINT: #pragma omp interop init(target : I) init(targetsync : J)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'J'
|
|
#pragma omp interop init(target:I) init(targetsync:J)
|
|
|
|
//PRINT: #pragma omp interop init(target : I) use(J)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
//DUMP: OMPUseClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'J'
|
|
#pragma omp interop init(target:I) use(J)
|
|
|
|
//PRINT: #pragma omp interop use(I) use(J)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPUseClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
//DUMP: OMPUseClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'J'
|
|
#pragma omp interop use(I) use(J)
|
|
|
|
//PRINT: #pragma omp interop destroy(I) destroy(J)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPDestroyClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
//DUMP: OMPDestroyClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'J'
|
|
#pragma omp interop destroy(I) destroy(J)
|
|
|
|
//PRINT: #pragma omp interop init(target : I) destroy(J)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
//DUMP: OMPDestroyClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'J'
|
|
#pragma omp interop init(target:I) destroy(J)
|
|
|
|
//PRINT: #pragma omp interop destroy(I) use(J)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPDestroyClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'I'
|
|
//DUMP: OMPUseClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}Var{{.*}}'J'
|
|
#pragma omp interop destroy(I) use(J)
|
|
|
|
//PRINT: #pragma omp interop init(target : S::so)
|
|
#pragma omp interop init(target: S::so)
|
|
}
|
|
|
|
//DUMP: FunctionTemplateDecl{{.*}}fooTemp
|
|
//DUMP-NEXT: NonTypeTemplateParmDecl{{.*}}'int{{.*}}I
|
|
template <int I>
|
|
void fooTemp() {
|
|
omp_interop_t interop_var;
|
|
//PRINT: #pragma omp interop init(prefer_type(I,4,"level_one"), target : interop_var)
|
|
//DUMP: FunctionDecl{{.*}}fooTemp
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}'interop_var'
|
|
//DUMP: DeclRefExpr{{.*}}NonTypeTemplateParm{{.*}}'I' 'int'
|
|
//DUMP: IntegerLiteral{{.*}}'int' 4
|
|
//DUMP: StringLiteral{{.*}}"level_one"
|
|
|
|
//PRINT: #pragma omp interop init(prefer_type(3,4,"level_one"), target : interop_var)
|
|
//DUMP: FunctionDecl{{.*}}fooTemp
|
|
//DUMP: TemplateArgument integral '3'
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}'omp_interop_t'{{.*}}'interop_var'
|
|
//DUMP: SubstNonTypeTemplateParmExpr{{.*}}'int'
|
|
//DUMP: NonTypeTemplateParmDecl{{.*}}'int'{{.*}}I
|
|
//DUMP: IntegerLiteral{{.*}}'int' 3
|
|
//DUMP: IntegerLiteral{{.*}}'int' 4
|
|
//DUMP: StringLiteral{{.*}}"level_one"
|
|
#pragma omp interop init(prefer_type(I,4,"level_one"), target: interop_var)
|
|
}
|
|
|
|
//DUMP: FunctionTemplateDecl{{.*}}barTemp
|
|
//DUMP-NEXT: TemplateTypeParmDecl{{.*}}typename{{.*}}T
|
|
template <typename T>
|
|
void barTemp(T t) {
|
|
//PRINT: #pragma omp interop init(prefer_type(4,"level_one"), target : t)
|
|
//DUMP: FunctionDecl{{.*}}barTemp 'void (T)'
|
|
//DUMP: ParmVarDecl{{.*}}t 'T'
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}ParmVar{{.*}}'t' 'T'
|
|
//DUMP: IntegerLiteral{{.*}}'int' 4
|
|
//DUMP: StringLiteral{{.*}}"level_one"
|
|
#pragma omp interop init(prefer_type(4,"level_one"), target: t)
|
|
|
|
//PRINT: #pragma omp interop use(t)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPUseClause
|
|
//DUMP: DeclRefExpr{{.*}}ParmVar{{.*}}'t' 'T'
|
|
#pragma omp interop use(t)
|
|
|
|
//PRINT: #pragma omp interop destroy(t)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPDestroyClause
|
|
//DUMP: DeclRefExpr{{.*}}ParmVar{{.*}}'t' 'T'
|
|
#pragma omp interop destroy(t)
|
|
|
|
//DUMP: FunctionDecl{{.*}}barTemp 'void (void *)'
|
|
//DUMP: TemplateArgument type 'void *'
|
|
//DUMP: ParmVarDecl{{.*}}t 'void *'
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPInitClause
|
|
//DUMP: DeclRefExpr{{.*}}ParmVar{{.*}}'t' 'void *'
|
|
//PRINT: #pragma omp interop init(prefer_type(4,"level_one"), target : t)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPUseClause
|
|
//DUMP: DeclRefExpr{{.*}}ParmVar{{.*}}'t' 'void *'
|
|
//PRINT: #pragma omp interop use(t)
|
|
//DUMP: OMPInteropDirective
|
|
//DUMP: OMPDestroyClause
|
|
//DUMP: DeclRefExpr{{.*}}ParmVar{{.*}}'t' 'void *'
|
|
//PRINT: #pragma omp interop destroy(t)
|
|
}
|
|
|
|
void bar()
|
|
{
|
|
fooTemp<3>();
|
|
omp_interop_t Ivar;
|
|
barTemp(Ivar);
|
|
S s;
|
|
}
|
|
|
|
#endif // HEADER
|