Merge pull request #27770 from gottesmm/pr-fedc6e35f83040331ae2bec83b08320f3b31ba0e

[sil] Add support for adding _semantics attributes to nominal types.

Author: gottesmm

include/swift/AST/Attr.def

@@ -202,7 +202,7 @@ DECL_ATTR(inline, Inline,
   ABIStableToAdd | ABIStableToRemove | APIStableToAdd | APIStableToRemove,
   20)
 DECL_ATTR(_semantics, Semantics,
-  OnAbstractFunction | OnSubscript |
+  OnAbstractFunction | OnSubscript | OnNominalType |
   AllowMultipleAttributes | UserInaccessible |
   ABIStableToAdd | ABIStableToRemove | APIStableToAdd | APIStableToRemove,
   21)

include/swift/AST/Decl.h

@@ -3512,6 +3512,18 @@ class NominalTypeDecl : public GenericTypeDecl, public IterableDeclContext {
   /// with placeholders for unimportable stored properties.
   ArrayRef<Decl *> getStoredPropertiesAndMissingMemberPlaceholders() const;
 
+  /// Return the range of semantics attributes attached to this NominalTypeDecl.
+  auto getSemanticsAttrs() const
+      -> decltype(getAttrs().getAttributes<SemanticsAttr>()) {
+    return getAttrs().getAttributes<SemanticsAttr>();
+  }
+
+  bool hasSemanticsAttr(StringRef attrValue) const {
+    return llvm::any_of(getSemanticsAttrs(), [&](const SemanticsAttr *attr) {
+      return attrValue.equals(attr->Value);
+    });
+  }
+
   // Implement isa/cast/dyncast/etc.
   static bool classof(const Decl *D) {
     return D->getKind() >= DeclKind::First_NominalTypeDecl &&

test/attr/attr_semantics.swift

@@ -19,3 +19,16 @@ func func_with_nested_semantics_2() {
    func exit(_ code : UInt32) -> Void
    exit(0)
 }
+
+@_semantics("struct")
+struct StructWithSemantics {}
+
+@_semantics("class")
+class ClassWithSemantics {}
+
+@_semantics("enum")
+enum EnumWithSemantics {}
+
+@_semantics("struct1")
+@_semantics("struct2")
+struct StructWithDuplicateSemantics {}