Merge branch 'main' into observable_nonmarker

Author: natecook1000

.github/CODEOWNERS

@@ -62,7 +62,7 @@
 /include/swift/DependencyScan                      @artemcm
 /include/swift/Driver                              @artemcm
 # TODO: /include/swift/IRGen/
-/include/swift/IDE/                                @ahoppen @bnbarham @rintaro
+/include/swift/IDE/                                @ahoppen @bnbarham @rintaro @hamishknight
 /include/swift/Index/                              @bnbarham
 /include/swift/Refactoring                         @ahoppen @bnbarham
 /include/swift/Parse/                              @ahoppen @bnbarham @CodaFi @DougGregor @rintaro
@@ -100,8 +100,8 @@
 /lib/DriverTool/swift_symbolgraph_extract_main.cpp  @QuietMisdreavus
 /lib/Frontend/*ModuleInterface*                     @artemcm @tshortli
 # TODO: /lib/IRGen/
-/lib/IDE/                                           @ahoppen @bnbarham @rintaro
-/lib/IDETool/                                       @ahoppen @bnbarham @rintaro
+/lib/IDE/                                           @ahoppen @bnbarham @rintaro @hamishknight
+/lib/IDETool/                                       @ahoppen @bnbarham @rintaro @hamishknight
 /lib/Index/                                         @bnbarham
 /lib/Refactoring/                                   @ahoppen @bnbarham
 /lib/IRGen/*Coverage*                               @hamishknight
@@ -139,24 +139,26 @@
 # stdlib
 # TODO: /stdlib/
 /stdlib/public/Backtracing/               @al45tair
+/stdlib/public/Concurrency/               @ktoso @kavon
 /stdlib/public/Cxx/                       @zoecarver @hyp @egorzhdan
 /stdlib/public/Distributed/               @ktoso
 /stdlib/public/Windows/                   @compnerd
 /stdlib/public/libexec/swift-backtrace/   @al45tair
 
 # test
 /test/ASTGen/                                       @zoecarver @CodaFi
+/test/Concurrency/                                  @ktoso @kavon
 /test/Constraints/                                  @hborla @xedin
 /test/DebugInfo/                                    @adrian-prantl
 /test/Distributed/                                  @ktoso
 /test/Driver/                                       @artemcm
 /test/Driver/static*                                @MaxDesiatov @etcwilde
 /test/Generics/                                     @hborla @slavapestov
 # TODO: /test/IRGen/
-/test/IDE/                                          @ahoppen @bnbarham @rintaro
+/test/IDE/                                          @ahoppen @bnbarham @rintaro @hamishknight
 /test/Index/                                        @bnbarham
 /test/refactoring/                                  @ahoppen @bnbarham
-/test/SourceKit/                                    @ahoppen @bnbarham @rintaro
+/test/SourceKit/                                    @ahoppen @bnbarham @rintaro @hamishknight
 /test/Interop/                                      @zoecarver @hyp @egorzhdan
 /test/Parse/                                        @ahoppen @bnbarham @CodaFi @DougGregor @rintaro
 /test/Profiler                                      @hamishknight
@@ -177,9 +179,9 @@
 
 # tools
 # TODO: /tools
-/tools/SourceKit                                    @ahoppen @bnbarham @rintaro
+/tools/SourceKit                                    @ahoppen @bnbarham @rintaro @hamishknight
 /tools/lldb-moduleimport-test/                      @adrian-prantl
-/tools/swift-ide-test                               @ahoppen @bnbarham @rintaro
+/tools/swift-ide-test                               @ahoppen @bnbarham @rintaro @hamishknight
 /tools/swift-refactor                               @ahoppen @bnbarham
 
 # unittests
@@ -188,7 +190,7 @@
 /unittests/Parse/                         @ahoppen @bnbarham @CodaFi @DougGregor @rintaro
 # TODO: /unittests/SIL/
 /unittests/Sema/                          @hborla @xedin
-/unittests/SourceKit/                     @ahoppen @bnbarham @rintaro
+/unittests/SourceKit/                     @ahoppen @bnbarham @rintaro @hamishknight
 # TODO: /unittests/stdlib/
 
 # userdocs
@@ -209,7 +211,7 @@
 
 # validation-test
 # TODO: /validation-test/IRGen/
-/validation-test/IDE/                     @ahoppen @bnbarham @rintaro
+/validation-test/IDE/                     @ahoppen @bnbarham @rintaro @hamishknight
 /validation-test/Parse/                   @ahoppen @bnbarham @CodaFi @DougGregor @rintaro
 # TODO: /validation-test/SIL/
 # TODO: /validation-test/SILGen/

SwiftCompilerSources/Sources/Optimizer/Analysis/AliasAnalysis.swift

@@ -16,33 +16,6 @@ import SIL
 struct AliasAnalysis {
   let bridged: BridgedAliasAnalysis
 
-  func mayRead(_ inst: Instruction, fromAddress: Value) -> Bool {
-    switch bridged.getMemBehavior(inst.bridged, fromAddress.bridged) {
-      case .MayRead, .MayReadWrite, .MayHaveSideEffects:
-        return true
-      default:
-        return false
-    }
-  }
-
-  func mayWrite(_ inst: Instruction, toAddress: Value) -> Bool {
-    switch bridged.getMemBehavior(inst.bridged, toAddress.bridged) {
-      case .MayWrite, .MayReadWrite, .MayHaveSideEffects:
-        return true
-      default:
-        return false
-    }
-  }
-
-  func mayReadOrWrite(_ inst: Instruction, address: Value) -> Bool {
-    switch bridged.getMemBehavior(inst.bridged, address.bridged) {
-      case .MayRead, .MayWrite, .MayReadWrite, .MayHaveSideEffects:
-        return true
-      default:
-        return false
-    }
-  }
-
   /// Returns the correct path for address-alias functions.
   static func getPtrOrAddressPath(for value: Value) -> SmallProjectionPath {
     let ty = value.type
@@ -119,6 +92,35 @@ struct AliasAnalysis {
   }
 }
 
+extension Instruction {
+  func mayRead(fromAddress: Value, _ aliasAnalysis: AliasAnalysis) -> Bool {
+    switch aliasAnalysis.bridged.getMemBehavior(bridged, fromAddress.bridged) {
+      case .MayRead, .MayReadWrite, .MayHaveSideEffects:
+        return true
+      default:
+        return false
+    }
+  }
+
+  func mayWrite(toAddress: Value, _ aliasAnalysis: AliasAnalysis) -> Bool {
+    switch aliasAnalysis.bridged.getMemBehavior(bridged, toAddress.bridged) {
+      case .MayWrite, .MayReadWrite, .MayHaveSideEffects:
+        return true
+      default:
+        return false
+    }
+  }
+
+  func mayReadOrWrite(address: Value, _ aliasAnalysis: AliasAnalysis) -> Bool {
+    switch aliasAnalysis.bridged.getMemBehavior(bridged, address.bridged) {
+      case .MayRead, .MayWrite, .MayReadWrite, .MayHaveSideEffects:
+        return true
+      default:
+        return false
+    }
+  }
+}
+
 private func getMemoryEffect(ofApply apply: ApplySite, for address: Value, path: SmallProjectionPath, _ context: FunctionPassContext) -> SideEffects.Memory {
   let calleeAnalysis = context.calleeAnalysis
   let visitor = SideEffectsVisitor(apply: apply, calleeAnalysis: calleeAnalysis, isAddress: true)

SwiftCompilerSources/Sources/Optimizer/FunctionPasses/CMakeLists.txt

@@ -11,6 +11,7 @@ swift_compiler_sources(Optimizer
   CleanupDebugSteps.swift
   ComputeEscapeEffects.swift
   ComputeSideEffects.swift
+  DeadStoreElimination.swift
   InitializeStaticGlobals.swift
   ObjectOutliner.swift
   ObjCBridgingOptimization.swift
@@ -19,4 +20,5 @@ swift_compiler_sources(Optimizer
   ReleaseDevirtualizer.swift
   SimplificationPasses.swift
   StackPromotion.swift
+  StripObjectHeaders.swift
 )