[FPGA][SYCL] Add support for memory attributes on device_global variables

clang/include/clang/Basic/Attr.td

@@ -2646,50 +2646,14 @@ def SYCLIntelEnableLoopPipelining : StmtAttr {
 def : MutualExclusions<[SYCLIntelDisableLoopPipelining,
  SYCLIntelEnableLoopPipelining]>;
 
-def SYCLIntelLocalNonConstVar : SubsetSubject<Var,
- [{S->hasLocalStorage() &&
- S->getKind() != Decl::ImplicitParam &&
- S->getKind() != Decl::ParmVar &&
- S->getKind() != Decl::NonTypeTemplateParm &&
- !S->getType().isConstQualified()}],
- "local non-const variables">;
-
-def SYCLIntelConstVar : SubsetSubject<Var,
- [{S->getKind() != Decl::ImplicitParam &&
- S->getKind() != Decl::ParmVar &&
- S->getKind() != Decl::NonTypeTemplateParm &&
- (S->getType().isConstQualified() ||
- S->getType().getAddressSpace() ==
- LangAS::opencl_constant)}],
- "constant variables">;
-
-def SYCLIntelLocalStaticAgentMemVar : SubsetSubject<Var,
- [{S->getKind() != Decl::ImplicitParam &&
- S->getKind() != Decl::NonTypeTemplateParm &&
- (S->getStorageClass() == SC_Static ||
- S->hasLocalStorage())}],
- "local variables, static variables, agent memory arguments">;
-
-def SYCLIntelLocalOrStaticVar : SubsetSubject<Var,
- [{S->getKind() != Decl::ImplicitParam &&
- S->getKind() != Decl::ParmVar &&
- S->getKind() != Decl::NonTypeTemplateParm &&
- (S->getStorageClass() == SC_Static ||
- S->hasLocalStorage())}],
- "local variables, static variables">;
-
 def SYCLIntelDoublePump : Attr {
  let Spellings = [CXX11<"intel", "doublepump">];
- let Subjects = SubjectList<[SYCLIntelConstVar, SYCLIntelLocalOrStaticVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelDoublePumpAttrDocs];
 }
 
 def SYCLIntelSinglePump : Attr {
  let Spellings = [CXX11<"intel", "singlepump">];
- let Subjects = SubjectList<[SYCLIntelConstVar, SYCLIntelLocalOrStaticVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelSinglePumpAttrDocs];
 }
@@ -2708,17 +2672,12 @@ def SYCLIntelMemory : Attr {
  }
  }
  }];
- let Subjects = SubjectList<[SYCLIntelConstVar,
- SYCLIntelLocalStaticAgentMemVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelMemoryAttrDocs];
 }
 
 def SYCLIntelRegister : Attr {
  let Spellings = [CXX11<"intel", "fpga_register">];
- let Subjects = SubjectList<[SYCLIntelConstVar, SYCLIntelLocalOrStaticVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelRegisterAttrDocs];
 }
@@ -2729,9 +2688,6 @@ def : MutualExclusions<[SYCLIntelDoublePump, SYCLIntelSinglePump,
 def SYCLIntelBankWidth : InheritableAttr {
  let Spellings = [CXX11<"intel", "bankwidth">];
  let Args = [ExprArgument<"Value">];
- let Subjects = SubjectList<[SYCLIntelConstVar,
- SYCLIntelLocalStaticAgentMemVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelBankWidthAttrDocs];
 }
@@ -2740,9 +2696,6 @@ def : MutualExclusions<[SYCLIntelRegister, SYCLIntelBankWidth]>;
 def SYCLIntelNumBanks : InheritableAttr {
  let Spellings = [CXX11<"intel", "numbanks">];
  let Args = [ExprArgument<"Value">];
- let Subjects = SubjectList<[SYCLIntelConstVar,
- SYCLIntelLocalStaticAgentMemVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelNumBanksAttrDocs];
 }
@@ -2751,7 +2704,6 @@ def SYCLIntelPrivateCopies : InheritableAttr {
  let Spellings = [CXX11<"intel", "private_copies">];
  let Args = [ExprArgument<"Value">];
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
- let Subjects = SubjectList<[SYCLIntelLocalNonConstVar, Field], ErrorDiag>;
  let Documentation = [SYCLIntelPrivateCopiesAttrDocs];
 }
 def : MutualExclusions<[SYCLIntelRegister, SYCLIntelPrivateCopies]>;
@@ -2760,8 +2712,6 @@ def : MutualExclusions<[SYCLIntelRegister, SYCLIntelPrivateCopies]>;
 def SYCLIntelMerge : Attr {
  let Spellings = [CXX11<"intel", "merge">];
  let Args = [StringArgument<"Name">, StringArgument<"Direction">];
- let Subjects = SubjectList<[SYCLIntelConstVar, SYCLIntelLocalOrStaticVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelMergeAttrDocs];
 }
@@ -2770,19 +2720,13 @@ def : MutualExclusions<[SYCLIntelRegister, SYCLIntelMerge]>;
 def SYCLIntelMaxReplicates : InheritableAttr {
  let Spellings = [CXX11<"intel", "max_replicates">];
  let Args = [ExprArgument<"Value">];
- let Subjects = SubjectList<[SYCLIntelConstVar,
- SYCLIntelLocalStaticAgentMemVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelMaxReplicatesAttrDocs];
 }
 def : MutualExclusions<[SYCLIntelRegister, SYCLIntelMaxReplicates]>;
 
 def SYCLIntelSimpleDualPort : Attr {
  let Spellings = [CXX11<"intel", "simple_dual_port">];
- let Subjects = SubjectList<[SYCLIntelConstVar,
- SYCLIntelLocalStaticAgentMemVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelSimpleDualPortAttrDocs];
 }
@@ -2807,9 +2751,6 @@ def SYCLIntelPipeIO : InheritableAttr {
 def SYCLIntelBankBits : Attr {
  let Spellings = [CXX11<"intel", "bank_bits">];
  let Args = [VariadicExprArgument<"Args">];
- let Subjects = SubjectList<[SYCLIntelConstVar,
- SYCLIntelLocalStaticAgentMemVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelBankBitsDocs];
 }
@@ -2819,9 +2760,6 @@ def : MutualExclusions<[SYCLIntelRegister, SYCLIntelNumBanks]>;
 def SYCLIntelForcePow2Depth : InheritableAttr {
  let Spellings = [CXX11<"intel", "force_pow2_depth">];
  let Args = [ExprArgument<"Value">];
- let Subjects = SubjectList<[SYCLIntelConstVar,
- SYCLIntelLocalStaticAgentMemVar,
- Field], ErrorDiag>;
  let LangOpts = [SYCLIsDevice, SilentlyIgnoreSYCLIsHost];
  let Documentation = [SYCLIntelForcePow2DepthAttrDocs];
 }

clang/include/clang/Basic/DiagnosticSemaKinds.td

@@ -12218,6 +12218,13 @@ def err_sycl_attribute_internal_decl
  "in an anonymous namespace">;
 def err_sycl_attribute_not_device_global
  : Error<"%0 attribute can only be applied to 'device_global' variables">;
+def err_fpga_attribute_incorrect_variable
+ : Error<"%0 attribute only applies to constant variables, local variables, "
+ "static variables, %select{|agent memory arguments, }1non-static data "
+ "members and device_global variables">;
+def err_fpga_attribute_invalid_decl
+ : Error<"%0 attribute only applies to const variables, local variables, "
+ "non-static data members and device_global variables">;
 def err_sycl_compiletime_property_duplication : Error<
  "can't apply %0 property twice to the same accessor">;
 def err_sycl_invalid_property_list_param_number : Error<

clang/lib/Sema/SemaDeclAttr.cpp

@@ -7443,6 +7443,24 @@ static bool checkForDuplicateAttribute(Sema &S, Decl *D,
  return false;
 }
 
+// Checks if FPGA memory attributes apply on valid variables.
+// Returns true if an error occured.
+static bool CheckValidFPGAMemoryAttributesVar(Sema &S, Decl *D) {
+ if (const auto *VD = dyn_cast<VarDecl>(D)) {
+ if (!(isa<FieldDecl>(D) ||
+ (VD->getKind() != Decl::ImplicitParam &&
+ VD->getKind() != Decl::NonTypeTemplateParm &&
+ (S.isTypeDecoratedWithDeclAttribute<SYCLDeviceGlobalAttr>(
+ VD->getType()) ||
+ VD->getType().isConstQualified() ||
+ VD->getType().getAddressSpace() == LangAS::opencl_constant ||
+ VD->getStorageClass() == SC_Static || VD->hasLocalStorage())))) {
+ return true;
+ }
+ }
+ return false;
+}
+
 void Sema::AddSYCLIntelNoGlobalWorkOffsetAttr(Decl *D,
  const AttributeCommonInfo &CI,
  Expr *E) {
@@ -7521,6 +7539,15 @@ static void handleSYCLIntelSinglePumpAttr(Sema &S, Decl *D,
  }
  }
 
+ // Check attribute applies to field, constant variables, local variables,
+ // static variables, non-static data members, and device_global variables.
+ if ((D->getKind() == Decl::ParmVar) ||
+ CheckValidFPGAMemoryAttributesVar(S, D)) {
+ S.Diag(AL.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << AL << /*agent memory arguments*/ 0;
+ return;
+ }
+
  // If the declaration does not have an [[intel::fpga_memory]]
  // attribute, this creates one as an implicit attribute.
  if (!D->hasAttr<SYCLIntelMemoryAttr>())
@@ -7544,6 +7571,15 @@ static void handleSYCLIntelDoublePumpAttr(Sema &S, Decl *D,
  }
  }
 
+ // Check attribute applies to field, constant variables, local variables,
+ // static variables, non-static data members, and device_global variables.
+ if ((D->getKind() == Decl::ParmVar) ||
+ CheckValidFPGAMemoryAttributesVar(S, D)) {
+ S.Diag(AL.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << AL << /*agent memory arguments*/ 0;
+ return;
+ }
+
  // If the declaration does not have an [[intel::fpga_memory]]
  // attribute, this creates one as an implicit attribute.
  if (!D->hasAttr<SYCLIntelMemoryAttr>())
@@ -7591,6 +7627,15 @@ static void handleSYCLIntelMemoryAttr(Sema &S, Decl *D, const ParsedAttr &AL) {
  D->dropAttr<SYCLIntelMemoryAttr>();
  }
 
+ // Check attribute applies to field, constant variables, local variables,
+ // static variables, agent memory arguments, non-static data members,
+ // and device_global variables.
+ if (CheckValidFPGAMemoryAttributesVar(S, D)) {
+ S.Diag(AL.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << AL << /*agent memory arguments*/ 1;
+ return;
+ }
+
  D->addAttr(::new (S.Context) SYCLIntelMemoryAttr(S.Context, AL, Kind));
 }
 
@@ -7623,6 +7668,15 @@ static void handleSYCLIntelRegisterAttr(Sema &S, Decl *D,
  }
  }
 
+ // Check attribute applies to field, constant variables, local variables,
+ // static variables, non-static data members, and device_global variables.
+ if ((D->getKind() == Decl::ParmVar) ||
+ CheckValidFPGAMemoryAttributesVar(S, D)) {
+ S.Diag(A.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << A << /*agent memory arguments*/ 0;
+ return;
+ }
+
  if (checkIntelFPGARegisterAttrCompatibility(S, D, A))
  return;
 
@@ -7661,6 +7715,15 @@ void Sema::AddSYCLIntelBankWidthAttr(Decl *D, const AttributeCommonInfo &CI,
  return;
  }
 
+ // Check attribute applies to field, constant variables, local variables,
+ // static variables, agent memory arguments, non-static data members,
+ // and device_global variables.
+ if (CheckValidFPGAMemoryAttributesVar(*this, D)) {
+ Diag(CI.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << CI << /*agent memory arguments*/ 1;
+ return;
+ }
+
  // Check to see if there's a duplicate attribute with different values
  // already applied to the declaration.
  if (const auto *DeclAttr = D->getAttr<SYCLIntelBankWidthAttr>()) {
@@ -7745,6 +7808,15 @@ void Sema::AddSYCLIntelNumBanksAttr(Decl *D, const AttributeCommonInfo &CI,
  }
  }
 
+ // Check attribute applies to constant variables, local variables,
+ // static variables, agent memory arguments, non-static data members,
+ // and device_global variables.
+ if (CheckValidFPGAMemoryAttributesVar(*this, D)) {
+ Diag(CI.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << CI << /*agent memory arguments*/ 1;
+ return;
+ }
+
  // Check to see if there's a duplicate attribute with different values
  // already applied to the declaration.
  if (const auto *DeclAttr = D->getAttr<SYCLIntelNumBanksAttr>()) {
@@ -7812,6 +7884,15 @@ static void handleIntelSimpleDualPortAttr(Sema &S, Decl *D,
  }
  }
 
+ // Check attribute applies to field, constant variables, local variables,
+ // static variables, agent memory arguments, non-static data members,
+ // and device_global variables.
+ if (CheckValidFPGAMemoryAttributesVar(S, D)) {
+ S.Diag(AL.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << AL << /*agent memory arguments*/ 1;
+ return;
+ }
+
  if (!D->hasAttr<SYCLIntelMemoryAttr>())
  D->addAttr(SYCLIntelMemoryAttr::CreateImplicit(
  S.Context, SYCLIntelMemoryAttr::Default));
@@ -7837,6 +7918,16 @@ void Sema::AddSYCLIntelMaxReplicatesAttr(Decl *D, const AttributeCommonInfo &CI,
  << CI << /*positive*/ 0;
  return;
  }
+
+ // Check attribute applies to field, constant variables, local variables,
+ // static variables, agent memory arguments, non-static data members,
+ // and device_global variables.
+ if (CheckValidFPGAMemoryAttributesVar(*this, D)) {
+ Diag(CI.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << CI << /*agent memory arguments*/ 1;
+ return;
+ }
+
  // Check to see if there's a duplicate attribute with different values
  // already applied to the declaration.
  if (const auto *DeclAttr = D->getAttr<SYCLIntelMaxReplicatesAttr>()) {
@@ -7920,6 +8011,15 @@ static void handleSYCLIntelMergeAttr(Sema &S, Decl *D, const ParsedAttr &AL) {
  return;
  }
 
+ // Check attribute applies to field, constant variables, local variables,
+ // static variables, non-static data members, and device_global variables.
+ if ((D->getKind() == Decl::ParmVar) ||
+ CheckValidFPGAMemoryAttributesVar(S, D)) {
+ S.Diag(AL.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << AL << /*agent memory arguments*/ 0;
+ return;
+ }
+
  if (!D->hasAttr<SYCLIntelMemoryAttr>())
  D->addAttr(SYCLIntelMemoryAttr::CreateImplicit(
  S.Context, SYCLIntelMemoryAttr::Default));
@@ -8005,6 +8105,15 @@ void Sema::AddSYCLIntelBankBitsAttr(Decl *D, const AttributeCommonInfo &CI,
  D->addAttr(SYCLIntelNumBanksAttr::CreateImplicit(Context, NBE));
  }
 
+ // Check attribute applies to field, constant variables, local variables,
+ // static variables, agent memory arguments, non-static data members,
+ // and device_global variables.
+ if (CheckValidFPGAMemoryAttributesVar(*this, D)) {
+ Diag(CI.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << CI << /*agent memory arguments*/ 1;
+ return;
+ }
+
  if (!D->hasAttr<SYCLIntelMemoryAttr>())
  D->addAttr(SYCLIntelMemoryAttr::CreateImplicit(
  Context, SYCLIntelMemoryAttr::Default));
@@ -8030,6 +8139,22 @@ void Sema::AddSYCLIntelPrivateCopiesAttr(Decl *D, const AttributeCommonInfo &CI,
  << CI << /*non-negative*/ 1;
  return;
  }
+
+ // Check attribute applies to field as well as const variables, non-static
+ // local variables, non-static data members, and device_global variables.
+ if (const auto *VD = dyn_cast<VarDecl>(D)) {
+ if (!(isa<FieldDecl>(D) ||
+ (VD->getKind() != Decl::ImplicitParam &&
+ VD->getKind() != Decl::NonTypeTemplateParm &&
+ VD->getKind() != Decl::ParmVar &&
+ (VD->hasLocalStorage() ||
+ isTypeDecoratedWithDeclAttribute<SYCLDeviceGlobalAttr>(
+ VD->getType()))))) {
+ Diag(CI.getLoc(), diag::err_fpga_attribute_invalid_decl) << CI;
+ return;
+ }
+ }
+
  // Check to see if there's a duplicate attribute with different values
  // already applied to the declaration.
  if (const auto *DeclAttr = D->getAttr<SYCLIntelPrivateCopiesAttr>()) {
@@ -8080,6 +8205,15 @@ void Sema::AddSYCLIntelForcePow2DepthAttr(Decl *D,
  return;
  }
 
+ // Check attribute applies to field, constant variables, local variables,
+ // static variables, agent memory arguments, non-static data members,
+ // and device_global variables.
+ if (CheckValidFPGAMemoryAttributesVar(*this, D)) {
+ Diag(CI.getLoc(), diag::err_fpga_attribute_incorrect_variable)
+ << CI << /*agent memory arguments*/ 1;
+ return;
+ }
+
  // Check to see if there's a duplicate attribute with different values
  // already applied to the declaration.
  if (const auto *DeclAttr = D->getAttr<SYCLIntelForcePow2DepthAttr>()) {