---

yaml
---
r: 340863
b: refs/heads/rxwei-patch-1
c: 9c08fcc
h: refs/heads/master
i:
  340861: 71bd230
  340859: 2131cec
  340855: 3d2f6ea
  340847: 58779b0
  340831: 719546e
  340799: fba5d54
  340735: 86ac3b2

Author: jckarter

[refs]

@@ -1015,7 +1015,7 @@ refs/tags/swift-DEVELOPMENT-SNAPSHOT-2018-08-18-a: b10b1fce14385faa6d44f6b933e95
 refs/heads/rdar-43033749-fix-batch-mode-no-diags-swift-5.0-branch: a14e64eaad30de89f0f5f0b2a782eed7ecdcb255
 refs/heads/revert-19006-error-bridging-integer-type: 8a9065a3696535305ea53fe9b71f91cbe6702019
 refs/heads/revert-19050-revert-19006-error-bridging-integer-type: ecf752d54b05dd0a20f510f0bfa54a3fec3bcaca
-refs/heads/rxwei-patch-1: aa35e4d62f59172983d26541b1f479f5bff1ebb2
+refs/heads/rxwei-patch-1: 9c08fccf08249060afd2d508bb780b3f3cef3a3b
 refs/heads/shahmishal-patch-1: e58ec0f7488258d42bef51bc3e6d7b3dc74d7b2a
 refs/heads/typelist-existential: 4046359efd541fb5c72d69a92eefc0a784df8f5e
 refs/tags/swift-4.2-DEVELOPMENT-SNAPSHOT-2018-08-20-a: 4319ba09e4fb8650ee86061075c74a016b6baab9

branches/rxwei-patch-1/CMakeLists.txt

@@ -621,9 +621,9 @@ endif()
 if(SWIFT_HOST_VARIANT_ARCH)
   set(SWIFT_HOST_VARIANT_ARCH_default "${SWIFT_HOST_VARIANT_ARCH}")
 else()
-  if(CMAKE_SYSTEM_PROCESSOR MATCHES "x86_64|AMD64")
+  if("${CMAKE_SYSTEM_PROCESSOR}" STREQUAL "x86_64")
     set(SWIFT_HOST_VARIANT_ARCH_default "x86_64")
-  elseif(CMAKE_SYSTEM_PROCESSOR MATCHES "aarch64|ARM64")
+  elseif("${CMAKE_SYSTEM_PROCESSOR}" STREQUAL "aarch64")
     set(SWIFT_HOST_VARIANT_ARCH_default "aarch64")
   elseif("${CMAKE_SYSTEM_PROCESSOR}" STREQUAL "ppc64")
     set(SWIFT_HOST_VARIANT_ARCH_default "powerpc64")
@@ -636,6 +636,8 @@ else()
     set(SWIFT_HOST_VARIANT_ARCH_default "armv6")
   elseif("${CMAKE_SYSTEM_PROCESSOR}" MATCHES "armv7l|armv7-a")
     set(SWIFT_HOST_VARIANT_ARCH_default "armv7")
+  elseif("${CMAKE_SYSTEM_PROCESSOR}" STREQUAL "AMD64")
+    set(SWIFT_HOST_VARIANT_ARCH_default "x86_64")
   elseif("${CMAKE_SYSTEM_PROCESSOR}" STREQUAL "IA64")
     set(SWIFT_HOST_VARIANT_ARCH_default "itanium")
   elseif("${CMAKE_SYSTEM_PROCESSOR}" MATCHES "(x86|i686)")

branches/rxwei-patch-1/include/swift/AST/Decl.h

@@ -344,7 +344,13 @@ class alignas(1 << DeclAlignInBits) Decl {
     IsUserAccessible : 1
   );
 
-  SWIFT_INLINE_BITFIELD(AbstractStorageDecl, ValueDecl, 1+1+2+1+1+1,
+  SWIFT_INLINE_BITFIELD(AbstractStorageDecl, ValueDecl, 1+1+1+1+2+1+1+1,
+    /// Whether the getter is mutating.
+    IsGetterMutating : 1,
+
+    /// Whether the setter is mutating.
+    IsSetterMutating : 1,
+
     /// Whether this represents physical storage.
     HasStorage : 1,
 
@@ -433,7 +439,7 @@ class alignas(1 << DeclAlignInBits) Decl {
     HasSingleExpressionBody : 1
   );
 
-  SWIFT_INLINE_BITFIELD(FuncDecl, AbstractFunctionDecl, 1+2+1+1+1+2,
+  SWIFT_INLINE_BITFIELD(FuncDecl, AbstractFunctionDecl, 1+2+1+1+2,
     /// Whether this function is a 'static' method.
     IsStatic : 1,
 
@@ -446,9 +452,6 @@ class alignas(1 << DeclAlignInBits) Decl {
     /// Whether this function has a dynamic Self return type.
     HasDynamicSelf : 1,
 
-    /// Whether we've computed the 'self' access kind yet.
-    SelfAccessComputed : 1,
-
     /// Backing bits for 'self' access kind.
     SelfAccess : 2
   );
@@ -2850,11 +2853,6 @@ class OpaqueTypeDecl : public GenericTypeDecl {
 
   ValueDecl *getNamingDecl() const { return NamingDecl; }
 
-  void setNamingDecl(ValueDecl *D) {
-    assert(!NamingDecl && "already have naming decl");
-    NamingDecl = D;
-  }
-  
   GenericSignature *getOpaqueInterfaceGenericSignature() const {
     return OpaqueInterfaceGenericSignature;
   }
@@ -4387,10 +4385,6 @@ class ProtocolDecl final : public NominalTypeDecl {
 /// SubscriptDecl, representing potentially settable memory locations.
 class AbstractStorageDecl : public ValueDecl {
   friend class SetterAccessLevelRequest;
-  friend class IsGetterMutatingRequest;
-  friend class IsSetterMutatingRequest;
-  friend class OpaqueReadOwnershipRequest;
-
 public:
   static const size_t MaxNumAccessors = 255;
 private:
@@ -4458,22 +4452,17 @@ class AbstractStorageDecl : public ValueDecl {
     Bits.AbstractStorageDecl.SupportsMutation = implInfo.supportsMutation();
   }
 
-  struct {
-    unsigned IsGetterMutatingComputed : 1;
-    unsigned IsGetterMutating : 1;
-    unsigned IsSetterMutatingComputed : 1;
-    unsigned IsSetterMutating : 1;
-    unsigned OpaqueReadOwnershipComputed : 1;
-    unsigned OpaqueReadOwnership : 2;
-  } LazySemanticInfo = { };
-
 protected:
   AbstractStorageDecl(DeclKind Kind, bool IsStatic, DeclContext *DC,
                       DeclName Name, SourceLoc NameLoc,
                       StorageIsMutable_t supportsMutation)
     : ValueDecl(Kind, DC, Name, NameLoc) {
     Bits.AbstractStorageDecl.HasStorage = true;
     Bits.AbstractStorageDecl.SupportsMutation = supportsMutation;
+    Bits.AbstractStorageDecl.IsGetterMutating = false;
+    Bits.AbstractStorageDecl.IsSetterMutating = true;
+    Bits.AbstractStorageDecl.OpaqueReadOwnership =
+      unsigned(OpaqueReadOwnership::Owned);
     Bits.AbstractStorageDecl.IsStatic = IsStatic;
   }
 
@@ -4557,26 +4546,29 @@ class AbstractStorageDecl : public ValueDecl {
   }
 
   /// Return the ownership of values opaquely read from this storage.
-  OpaqueReadOwnership getOpaqueReadOwnership() const;
+  OpaqueReadOwnership getOpaqueReadOwnership() const {
+    return OpaqueReadOwnership(Bits.AbstractStorageDecl.OpaqueReadOwnership);
+  }
   void setOpaqueReadOwnership(OpaqueReadOwnership ownership) {
-    LazySemanticInfo.OpaqueReadOwnership = unsigned(ownership);
-    LazySemanticInfo.OpaqueReadOwnershipComputed = true;
+    Bits.AbstractStorageDecl.OpaqueReadOwnership = unsigned(ownership);
   }
 
   /// Return true if reading this storage requires the ability to
   /// modify the base value.
-  bool isGetterMutating() const;
+  bool isGetterMutating() const {
+    return Bits.AbstractStorageDecl.IsGetterMutating;
+  }
   void setIsGetterMutating(bool isMutating) {
-    LazySemanticInfo.IsGetterMutating = isMutating;
-    LazySemanticInfo.IsGetterMutatingComputed = true;
+    Bits.AbstractStorageDecl.IsGetterMutating = isMutating;
   }
 
   /// Return true if modifying this storage requires the ability to
   /// modify the base value.
-  bool isSetterMutating() const;
+  bool isSetterMutating() const {
+    return Bits.AbstractStorageDecl.IsSetterMutating;
+  }
   void setIsSetterMutating(bool isMutating) {
-    LazySemanticInfo.IsSetterMutating = isMutating;
-    LazySemanticInfo.IsSetterMutatingComputed = true;
+    Bits.AbstractStorageDecl.IsSetterMutating = isMutating;
   }
 
   AccessorDecl *getAccessor(AccessorKind kind) const {
@@ -5941,7 +5933,6 @@ llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, SelfAccessKind SAK);
 /// FuncDecl - 'func' declaration.
 class FuncDecl : public AbstractFunctionDecl {
   friend class AbstractFunctionDecl;
-  friend class SelfAccessKindRequest;
 
   SourceLoc StaticLoc;  // Location of the 'static' token or invalid.
   SourceLoc FuncLoc;    // Location of the 'func' token.
@@ -5972,9 +5963,7 @@ class FuncDecl : public AbstractFunctionDecl {
 
     Bits.FuncDecl.HasDynamicSelf = false;
     Bits.FuncDecl.ForcedStaticDispatch = false;
-    Bits.FuncDecl.SelfAccess =
-      static_cast<unsigned>(SelfAccessKind::NonMutating);
-    Bits.FuncDecl.SelfAccessComputed = false;
+    Bits.FuncDecl.SelfAccess = static_cast<unsigned>(SelfAccessKind::NonMutating);
   }
 
 private:
@@ -5987,13 +5976,6 @@ class FuncDecl : public AbstractFunctionDecl {
                               DeclContext *Parent,
                               ClangNode ClangN);
 
-  Optional<SelfAccessKind> getCachedSelfAccessKind() const {
-    if (Bits.FuncDecl.SelfAccessComputed)
-      return static_cast<SelfAccessKind>(Bits.FuncDecl.SelfAccess);
-
-    return None;
-  }
-
 public:
   /// Factory function only for use by deserialization.
   static FuncDecl *createDeserialized(ASTContext &Context, SourceLoc StaticLoc,
@@ -6028,7 +6010,7 @@ class FuncDecl : public AbstractFunctionDecl {
   void setStatic(bool IsStatic = true) {
     Bits.FuncDecl.IsStatic = IsStatic;
   }
-
+      
   bool isMutating() const {
     return getSelfAccessKind() == SelfAccessKind::Mutating;
   }
@@ -6039,11 +6021,11 @@ class FuncDecl : public AbstractFunctionDecl {
     return getSelfAccessKind() == SelfAccessKind::__Consuming;
   }
 
-  SelfAccessKind getSelfAccessKind() const;
-
+  SelfAccessKind getSelfAccessKind() const {
+    return static_cast<SelfAccessKind>(Bits.FuncDecl.SelfAccess);
+  }
   void setSelfAccessKind(SelfAccessKind mod) {
     Bits.FuncDecl.SelfAccess = static_cast<unsigned>(mod);
-    Bits.FuncDecl.SelfAccessComputed = true;
   }
 
   SourceLoc getStaticLoc() const { return StaticLoc; }

branches/rxwei-patch-1/include/swift/AST/DiagnosticsClangImporter.def

@@ -102,5 +102,4 @@ WARNING(clang_vfs_overlay_is_ignored,none,
 # undef NOTE
 # undef WARNING
 # undef ERROR
-# undef REMARK
 #endif

branches/rxwei-patch-1/include/swift/AST/TypeCheckRequests.h

@@ -36,8 +36,6 @@ class SpecializeAttr;
 class TypeAliasDecl;
 struct TypeLoc;
 class ValueDecl;
-class AbstractStorageDecl;
-enum class OpaqueReadOwnership: uint8_t;
 
 /// Display a nominal type or extension thereof.
 void simple_display(
@@ -676,112 +674,6 @@ class FunctionBuilderTypeRequest :
   void noteCycleStep(DiagnosticEngine &diags) const;
 };
 
-/// Request a function's self access kind.
-class SelfAccessKindRequest :
-    public SimpleRequest<SelfAccessKindRequest,
-                         CacheKind::SeparatelyCached,
-                         SelfAccessKind,
-                         FuncDecl *> {
-public:
-  using SimpleRequest::SimpleRequest;
-
-private:
-  friend SimpleRequest;
-
-  // Evaluation.
-  llvm::Expected<SelfAccessKind>
-  evaluate(Evaluator &evaluator, FuncDecl *func) const;
-
-public:
-  // Cycle handling
-  void diagnoseCycle(DiagnosticEngine &diags) const;
-  void noteCycleStep(DiagnosticEngine &diags) const;
-
-  // Separate caching.
-  bool isCached() const { return true; }
-  Optional<SelfAccessKind> getCachedResult() const;
-  void cacheResult(SelfAccessKind value) const;
-};
-
-/// Request whether the storage has a mutating getter.
-class IsGetterMutatingRequest :
-    public SimpleRequest<IsGetterMutatingRequest,
-                         CacheKind::SeparatelyCached,
-                         bool, AbstractStorageDecl *> {
-public:
-  using SimpleRequest::SimpleRequest;
-
-private:
-  friend SimpleRequest;
-
-  // Evaluation.
-  llvm::Expected<bool>
-  evaluate(Evaluator &evaluator, AbstractStorageDecl *func) const;
-
-public:
-  // Cycle handling
-  void diagnoseCycle(DiagnosticEngine &diags) const;
-  void noteCycleStep(DiagnosticEngine &diags) const;
-
-  // Separate caching.
-  bool isCached() const { return true; }
-  Optional<bool> getCachedResult() const;
-  void cacheResult(bool value) const;
-};
-
-/// Request whether the storage has a mutating getter.
-class IsSetterMutatingRequest :
-    public SimpleRequest<IsSetterMutatingRequest,
-                         CacheKind::SeparatelyCached,
-                         bool, AbstractStorageDecl *> {
-public:
-  using SimpleRequest::SimpleRequest;
-
-private:
-  friend SimpleRequest;
-
-  // Evaluation.
-  llvm::Expected<bool>
-  evaluate(Evaluator &evaluator, AbstractStorageDecl *func) const;
-
-public:
-  // Cycle handling
-  void diagnoseCycle(DiagnosticEngine &diags) const;
-  void noteCycleStep(DiagnosticEngine &diags) const;
-
-  // Separate caching.
-  bool isCached() const { return true; }
-  Optional<bool> getCachedResult() const;
-  void cacheResult(bool value) const;
-};
-
-/// Request whether reading the storage yields a borrowed value.
-class OpaqueReadOwnershipRequest :
-    public SimpleRequest<OpaqueReadOwnershipRequest,
-                         CacheKind::SeparatelyCached,
-                         OpaqueReadOwnership,
-                         AbstractStorageDecl *> {
-public:
-  using SimpleRequest::SimpleRequest;
-
-private:
-  friend SimpleRequest;
-
-  // Evaluation.
-  llvm::Expected<OpaqueReadOwnership>
-  evaluate(Evaluator &evaluator, AbstractStorageDecl *storage) const;
-
-public:
-  // Cycle handling
-  void diagnoseCycle(DiagnosticEngine &diags) const;
-  void noteCycleStep(DiagnosticEngine &diags) const;
-
-  // Separate caching.
-  bool isCached() const { return true; }
-  Optional<OpaqueReadOwnership> getCachedResult() const;
-  void cacheResult(OpaqueReadOwnership value) const;
-};
-
 // Allow AnyValue to compare two Type values, even though Type doesn't
 // support ==.
 template<>

branches/rxwei-patch-1/include/swift/AST/TypeCheckerTypeIDZone.def

@@ -35,7 +35,3 @@ SWIFT_TYPEID(PropertyWrapperBackingPropertyTypeRequest)
 SWIFT_TYPEID(PropertyWrapperBackingPropertyInfoRequest)
 SWIFT_TYPEID(AttachedFunctionBuilderRequest)
 SWIFT_TYPEID(FunctionBuilderTypeRequest)
-SWIFT_TYPEID(SelfAccessKindRequest)
-SWIFT_TYPEID(IsGetterMutatingRequest)
-SWIFT_TYPEID(IsSetterMutatingRequest)
-SWIFT_TYPEID(OpaqueReadOwnershipRequest)

branches/rxwei-patch-1/include/swift/AST/Types.h

@@ -1071,13 +1071,6 @@ class alignas(1 << TypeAlignInBits) TypeBase {
              const PrintOptions &PO = PrintOptions()) const;
   void print(ASTPrinter &Printer, const PrintOptions &PO) const;
 
-  /// Can this type be written in source at all?
-  ///
-  /// If not, it shouldn't be shown in fix-its, for instance. The primary
-  /// example is opaque result types, which are written `some P` at the point
-  /// of definition but cannot be uttered anywhere else.
-  bool hasTypeRepr() const;
-
   /// Does this type have grammatically simple syntax?
   bool hasSimpleTypeRepr() const;
 

branches/rxwei-patch-1/include/swift/Parse/Parser.h

@@ -1012,7 +1012,6 @@ class Parser {
   ParserResult<VarDecl> parseDeclVarGetSet(Pattern *pattern,
                                            ParseDeclOptions Flags,
                                            SourceLoc StaticLoc,
-                                           StaticSpellingKind StaticSpelling,
                                            SourceLoc VarLoc,
                                            bool hasInitializer,
                                            const DeclAttributes &Attributes,

branches/rxwei-patch-1/include/swift/Serialization/ModuleFormat.h

@@ -52,7 +52,7 @@ const uint16_t SWIFTMODULE_VERSION_MAJOR = 0;
 /// describe what change you made. The content of this comment isn't important;
 /// it just ensures a conflict if two people change the module format.
 /// Don't worry about adhering to the 80-column limit for this line.
-const uint16_t SWIFTMODULE_VERSION_MINOR = 495; // remove superclass from ProtocolLayout
+const uint16_t SWIFTMODULE_VERSION_MINOR = 494; // remove linkage from SILVTable
 
 using DeclIDField = BCFixed<31>;
 
@@ -997,6 +997,7 @@ namespace decls_block {
     BCFixed<1>,             // objc?
     BCFixed<1>,             // existential-type-supported?
     GenericEnvironmentIDField, // generic environment
+    TypeIDField,            // superclass
     AccessLevelField,       // access level
     BCArray<DeclIDField>    // inherited types
     // Trailed by the generic parameters (if any), the members record, and