WIP

Author: tshortli

lib/SIL/IR/Linker.cpp

@@ -101,6 +101,7 @@ void SILLinkerVisitor::deserializeAndPushToWorklist(SILFunction *F) {
 /// Deserialize a function and add it to the worklist for processing.
 void SILLinkerVisitor::maybeAddFunctionToWorklist(SILFunction *F,
                                                   bool setToSerializable) {
+  llvm::errs() << "ALLANXXX " << F->getName() << "\n";
   PrettyStackTraceSILFunction stackTrace("adding to linker worklist", F);
 
   SILLinkage linkage = F->getLinkage();

lib/SILGen/SILGen.cpp

@@ -684,7 +684,13 @@ static SILFunction *getFunctionToInsertAfter(SILGenModule &SGM,
 }
 
 static bool shouldEmitFunctionBody(const AbstractFunctionDecl *AFD) {
-  return AFD->hasBody() && !AFD->isBodySkipped();
+
+  if (AFD->hasBody() && !AFD->isBodySkipped()) {
+    return true;
+  } else {
+    llvm::errs() << "ALLANXXX shouldEmitFunctionBody() false " << AFD->getName() << " " << static_cast<unsigned>(AFD->getBodyKind()) << "\n";
+    return false;
+  }
 }
 
 static bool isEmittedOnDemand(SILModule &M, SILDeclRef constant) {

test/Serialization/Inputs/c-enums/CEnums.h

@@ -0,0 +1,10 @@
+
+#ifndef CEnums_h
+#define CEnums_h
+
+typedef enum __attribute__((enum_extensibility(open))) YesOrNo {
+  Yes,
+  No,
+} YesOrNo;
+
+#endif

test/Serialization/Inputs/c-enums/module.modulemap

@@ -0,0 +1,4 @@
+
+module CEnums {
+  header "CEnums.h"
+}

test/Serialization/skip-function-bodies.swift

@@ -0,0 +1,32 @@
+// RUN: %empty-directory(%t)
+// RUN: %target-swift-frontend -emit-module %s -o %t/SkipNonInlinable/Skip.swiftmodule -I %S/Inputs/c-enums -debug-forbid-typecheck-prefix SKIP_INLINABLE_NO_TYPECHECK -experimental-skip-non-inlinable-function-bodies
+// RUN: %target-swift-frontend -emit-module %s -o %t/SkipAll/Skip.swiftmodule -I %S/Inputs/c-enums -debug-forbid-typecheck-prefix SKIP_INLINABLE_NO_TYPECHECK -debug-forbid-typecheck-prefix SKIP_ALL_NO_TYPECHECK -experimental-skip-all-function-bodies
+
+import CEnums
+
+@usableFromInline
+@inline(never)
+func blackHole<T>(_ t: T) {}
+
+public func publicFunc() {
+  let SKIP_INLINABLE_NO_TYPECHECK = 1
+  blackHole(SKIP_INLINABLE_NO_TYPECHECK)
+}
+
+@inlinable public func inlinableFunc() -> YesOrNo {
+  let SKIP_ALL_NO_TYPECHECK = 1
+  blackHole(SKIP_ALL_NO_TYPECHECK)
+
+  let s = Struct("string")
+  blackHole(s.string)
+  
+  return YesOrNo(rawValue: 1)!
+}
+
+public struct Struct {
+  @_borrowed public var string: String
+
+  public init(_ string: String) {
+    self.string = string
+  }
+}