WIP

Author: tshortli

lib/AST/Decl.cpp

@@ -8984,6 +8984,10 @@ bool IsFunctionBodySkippedRequest::evaluate(
     // typecheck them.
     if (AD->hasForcedStaticDispatch())
       return false;
+
+    // ALLANXXX
+//    if (AD->isSynthesized())
+//      return false;
   }
 
   // Actor initializers need to be checked to determine delegation status.

test/SILGen/skip-function-bodies-clang-enum-init-raw-value.swift

@@ -16,6 +16,6 @@
 
 // CHECK-SKIP-ALL-NOT: sSo7YesOrNoV8rawValueABSgs6UInt32V_tcfC
 
-// CHECK: sil shared [serialized]{{.*}} @$sSo7YesOrNoV8rawValueABSgs6UInt32V_tcfC : $@convention(method) (UInt32, @thin YesOrNo.Type) -> Optional<YesOrNo> {
+// CHECK: sil shared [serialized]{{.*}} @$sSo7YesOrNoV8rawValueABSgs6UInt32V_tcfC : $@convention(method) ({{.*}}, @thin YesOrNo.Type) -> Optional<YesOrNo> {
 // CHECK:   return {{%.*}} : $Optional<YesOrNo>
 // CHECK: } // end sil function '$sSo7YesOrNoV8rawValueABSgs6UInt32V_tcfC'

test/SILGen/skip-function-bodies-lazy-property.swift

@@ -0,0 +1,16 @@
+// RUN: %empty-directory(%t)
+// RUN: %target-swift-frontend -emit-silgen %s -experimental-skip-non-inlinable-function-bodies | %FileCheck %s
+// RUN: %target-swift-frontend -emit-silgen %s -experimental-skip-non-inlinable-function-bodies-without-types | %FileCheck %s
+// RUN: %target-swift-frontend -emit-silgen %s -experimental-skip-all-function-bodies | %FileCheck %s --check-prefix=CHECK-SKIP-ALL
+
+// CHECK: sil
+
+// CHECK-SKIP-ALL-NOT: ALLANXXX
+
+public struct S {
+  public lazy var x: Int = generateNumber()
+
+  func generateNumber() -> Int {
+    return 1
+  }
+}