InitializeStaticGlobals: allow statically initialized globals of non-loadable types

Author: eeckstein

include/swift/SIL/SILBuilder.h

@@ -1679,7 +1679,7 @@ class SILBuilder {
   StructInst *createStruct(SILLocation Loc, SILType Ty,
                            ArrayRef<SILValue> Elements,
                            ValueOwnershipKind forwardingOwnershipKind) {
-    ASSERT(isLoadableOrOpaque(Ty));
+    ASSERT(isLoadableOrOpaque(Ty) || isInsertingIntoGlobal());
     return insert(StructInst::create(getSILDebugLocation(Loc), Ty, Elements,
                                      getModule(), forwardingOwnershipKind));
   }
@@ -1724,7 +1724,8 @@ class SILBuilder {
   EnumInst *createEnum(SILLocation Loc, SILValue Operand,
                        EnumElementDecl *Element, SILType Ty,
                        ValueOwnershipKind forwardingOwnershipKind) {
-    ASSERT(isLoadableOrOpaque(Ty));
+    ASSERT(isLoadableOrOpaque(Ty) ||
+           (isInsertingIntoGlobal() && getTypeLowering(Ty).isFixedABI()));
     // Assert that this works and does not crash.
     (void)getModule().getCaseIndex(Element);
 

lib/SIL/Utils/SILBridging.cpp

@@ -356,7 +356,7 @@ bool BridgedGlobalVar::canBeInitializedStatically() const {
   auto props = global->getModule().Types.getTypeProperties(
       global->getLoweredType(),
       TypeExpansionContext::noOpaqueTypeArchetypesSubstitution(expansion));
-  return props.isLoadable();
+  return props.isFixedABI();
 }
 
 bool BridgedGlobalVar::mustBeInitializedStatically() const {