Merge pull request #69938 from nate-chandler/rdar96919870/1/bitwise-copyable-protocol

[BitwiseCopyable] Add a marker protocol.

Author: nate-chandler

include/swift/AST/KnownProtocols.def

@@ -137,6 +137,7 @@ PROTOCOL(AsyncIteratorProtocol)
 PROTOCOL(FloatingPoint)
 
 INVERTIBLE_PROTOCOL_WITH_NAME(Copyable, "Copyable")
+PROTOCOL_(BitwiseCopyable)
 
 EXPRESSIBLE_BY_LITERAL_PROTOCOL(ExpressibleByArrayLiteral, "Array", false)
 EXPRESSIBLE_BY_LITERAL_PROTOCOL(ExpressibleByBooleanLiteral, "BooleanLiteralType", true)

include/swift/Basic/Features.def

@@ -269,6 +269,9 @@ EXPERIMENTAL_FEATURE(StaticExclusiveOnly, true)
 /// Enable the @extractConstantsFromMembers attribute.
 EXPERIMENTAL_FEATURE(ExtractConstantsFromMembers, false)
 
+/// Enable bitwise-copyable feature.
+EXPERIMENTAL_FEATURE(BitwiseCopyable, true)
+
 #undef EXPERIMENTAL_FEATURE_EXCLUDED_FROM_MODULE_INTERFACE
 #undef EXPERIMENTAL_FEATURE
 #undef UPCOMING_FEATURE

lib/AST/ASTPrinter.cpp

@@ -3702,6 +3702,8 @@ static bool usesFeatureExtractConstantsFromMembers(Decl *decl) {
   return decl->getAttrs().hasAttribute<ExtractConstantsFromMembersAttr>();
 }
 
+static bool usesFeatureBitwiseCopyable(Decl *decl) { return false; }
+
 /// Suppress the printing of a particular feature.
 static void suppressingFeature(PrintOptions &options, Feature feature,
                                llvm::function_ref<void()> action) {

lib/IRGen/GenMeta.cpp

@@ -6577,6 +6577,7 @@ SpecialProtocol irgen::getSpecialProtocolID(ProtocolDecl *P) {
   case KnownProtocolKind::RangeReplaceableCollection:
   case KnownProtocolKind::GlobalActor:
   case KnownProtocolKind::Copyable:
+  case KnownProtocolKind::BitwiseCopyable:
     return SpecialProtocol::None;
   }
 

stdlib/public/core/CMakeLists.txt

@@ -301,6 +301,7 @@ list(APPEND swift_stdlib_compile_flags "-Xfrontend" "-enable-experimental-concis
 list(APPEND swift_stdlib_compile_flags "-enable-experimental-feature" "Macros")
 list(APPEND swift_stdlib_compile_flags "-enable-experimental-feature" "FreestandingMacros")
 list(APPEND swift_stdlib_compile_flags "-enable-experimental-feature" "Extern")
+list(APPEND swift_stdlib_compile_flags "-enable-experimental-feature" "BitwiseCopyable")
 
 set(swift_core_incorporate_object_libraries)
 list(APPEND swift_core_incorporate_object_libraries swiftRuntime)

stdlib/public/core/Misc.swift

@@ -168,3 +168,7 @@ public func _unsafePerformance<T>(_ c: () -> T) -> T {
 
 
 @_marker public protocol Copyable {}
+
+#if $BitwiseCopyable
+@_marker public protocol _BitwiseCopyable {}
+#endif

test/Frontend/bitwise-copyable-flag.swift

@@ -0,0 +1,9 @@
+// RUN: %target-swift-frontend                           \
+// RUN:     -enable-experimental-feature BitwiseCopyable \
+// RUN:     %s                                           \
+// RUN:     -typecheck -verify
+
+// Verify that the BitwiseCopyable feature flag works both in asserts and noasserts builds.
+
+struct S : _BitwiseCopyable {
+}