Merge pull request #72183 from eeckstein/fix-init-static-globals

InitializeStaticGlobals: don't merge stores for structs with unreferencable storage

Author: eeckstein

SwiftCompilerSources/Sources/Optimizer/FunctionPasses/InitializeStaticGlobals.swift

@@ -113,10 +113,14 @@ private func getSequenceOfElementStores(firstStore: StoreInst) -> ([StoreInst],
     return nil
   }
   let structAddr = elementAddr.struct
-  if structAddr.type.isMoveOnly {
+  let structType = structAddr.type
+  if structType.isMoveOnly {
     return nil
   }
-  guard let fields = structAddr.type.getNominalFields(in: firstStore.parentFunction) else {
+  if structType.nominal.isStructWithUnreferenceableStorage {
+    return nil
+  }
+  guard let fields = structType.getNominalFields(in: firstStore.parentFunction) else {
     return nil
   }
   let numElements = fields.count

test/SILOptimizer/Inputs/bitfield.h

@@ -0,0 +1,5 @@
+
+struct S {
+    int a;
+    int b : 8;
+};

test/SILOptimizer/global_init_opt.swift

@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend -parse-as-library -O -module-name=test %s -emit-sil | %FileCheck %s
+// RUN: %target-swift-frontend -parse-as-library -O -import-objc-header %S/Inputs/bitfield.h -module-name=test %s -emit-sil | %FileCheck %s
 
 // REQUIRES: swift_in_compiler
 
@@ -7,6 +7,9 @@ var gg: Int = {
   return 27
 }()
 
+// Test that the compiler doesn't crash with a global C bitfield.
+var bitfield = S(a: 0, b: 0)
+
 // CHECK-LABEL: sil @$s4test3cseSiyF
 // CHECK:   builtin "once"
 // CHECK-NOT:   builtin "once"