Merge pull request #73277 from Azoy/fix-conditional-invertible

[IRGen] Fix misalignment of conditional invertible requirement counts

Author: Azoy

include/swift/ABI/GenericContext.h

@@ -23,6 +23,7 @@
 #include "swift/ABI/MetadataRef.h"
 #include "swift/ABI/InvertibleProtocols.h"
 #include "swift/ABI/TrailingObjects.h"
+#include "swift/Basic/MathUtils.h"
 #include "swift/Demangling/Demangle.h"
 
 namespace swift {
@@ -696,7 +697,7 @@ class TrailingGenericContextObjects<TargetSelf<Runtime>,
     if (!asSelf()->hasConditionalInvertedProtocols())
       return 0;
 
-    return countBitsUsed(getConditionalInvertedProtocols().rawBits());
+    return popcount(getConditionalInvertedProtocols().rawBits());
   }
 
   size_t numTrailingObjects(

include/swift/Basic/MathUtils.h

@@ -19,6 +19,10 @@
 
 #include <cstddef>
 
+#if SWIFT_COMPILER_IS_MSVC
+#include <intrin.h>
+#endif
+
 namespace swift {
 
 /// Round the given value up to the given alignment, as a power of two.
@@ -33,6 +37,15 @@ static inline size_t roundUpToAlignMask(size_t size, size_t alignMask) {
   return (size + alignMask) & ~alignMask;
 }
 
+static inline unsigned popcount(unsigned value) {
+#if SWIFT_COMPILER_IS_MSVC
+  return __popcnt(value);
+#else
+  // Assume we have a compiler with this intrinsic.
+  return __builtin_popcount(value);
+#endif
+}
+
 } // namespace swift
 
 #endif // #ifndef SWIFT_BASIC_MATH_UTILS_H

lib/IRGen/GenMeta.cpp

@@ -1334,6 +1334,13 @@ namespace {
             B.addPlaceholderWithSize(IGM.Int16Ty));
       }
 
+      // The conditional invertible protocol set is alone as a 16 bit slot, so
+      // an even amount of conditional invertible protocols will cause an uneven
+      // alignment.
+      if ((numProtocols & 1) == 0) {
+        B.addInt16(0);
+      }
+
       // Emit the generic requirements for the conditional conformance
       // to each invertible protocol.
       auto nominal = cast<NominalTypeDecl>(Type);