averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity
184,374 Commits 622 Branches 2,942 Tags
jgrynspan/windows-GUID-hashable-6.2
Commit Graph

12816 Commits

Author SHA1 Message Date
Dario Rexin
e617c4ec65 Merge pull request #77056 from drexin/wip-137954177 
[IRGen] Don't try to emit single payload CVW for incompatible multi p…
 2024-10-17 09:42:45 -07:00
Dario Rexin
659b290fdd [IRGen] Properly handle ObjC class existentials in CVW generation 
rdar://13807464

For most TypeInfo based layouts, we don't have enough information to emit CVW, but for ObjC class existentials it's trivial.
 2024-10-17 09:39:23 -07:00
swift-ci
ffb7eef5ab Merge remote-tracking branch 'origin/main' into rebranch 2024-10-17 05:15:25 -07:00
Arnold Schwaighofer
4e931e7638 Merge pull request #76849 from aschwaighofer/prof_thunks 
IRGen: Add the ability to mark certain generic entry points in back traces
 2024-10-17 05:12:06 -07:00
Dario Rexin
decab5dcfc [IRGen] Don't try to emit single payload CVW for incompatible multi payload enums 
rdar://137954177

There was a missing condition in the branch that caused the compiler to try to emit a single payload enum compact value witness for multi payload enums, when the multi payload enum contained an incompatible case.
 2024-10-16 15:35:00 -07:00
Augusto Noronha
7443fc1c6f [DebugInfo] Stop emitting spare bits mask in debug info 
We're now able to calculate the spare bits mask from other information.
Stop emitting it in debug info.
 2024-10-15 16:18:43 -07:00
Slava Pestov
6437e32e2c IRGen: Fix emission of calls to opaque return type metadata access function with packs 
We need to heap-ify the packs here, because the runtime demangler
assumes the input hacks are on the heap.

Fixes rdar://117815191.
 2024-10-15 17:39:08 -04:00
swift-ci
4ac1f2887f Merge remote-tracking branch 'origin/main' into rebranch 2024-10-15 10:16:56 -07:00
Egor Zhdan
3a200deee9 [cxx-interop] Add UnsafeCxxContiguousIterator & UnsafeCxxMutableContiguousIterator protocols 
This adds a pair of Swift protocols that represents C++ iterator types conforming to `std::contiguous_iterator_tag` requirements. These are random access iterators that guarantee that the values are stored in consequent memory addresses.

This will be used to optimize usage of C++ containers such as `std::vector` from Swift, for instance, by providing an overload of `withContiguousStorageIfAvailable` for contiguous containers.

rdar://137877849
 2024-10-15 14:30:09 +01:00
Arnold Schwaighofer
8ebb3ec473 IRGen: Add the ability to mark certain generic entry points in back traces 
Mark generic function calls with concrete parameters, generic v-table calls and
generic witness table calls where self is generic.
 2024-10-14 14:06:10 -07:00
swift-ci
8a2edbc4c5 Merge remote-tracking branch 'origin/main' into rebranch 2024-10-11 17:05:06 -07:00
Nate Chandler
71239d6357 [CoroutineAccessors] SIL represents callee alloc. 
When its operand has coroutine kind `yield_once_2`, a `begin_apply`
instruction produces an additional value representing the storage
allocated by the callee.  This storage must be deallocated by a
`dealloc_stack` on every path out of the function.  Like any other stack
allocation, it must obey stack discipline.
 2024-10-11 08:25:03 -07:00
Nate Chandler
49a2831d3f [CoroutineAccessors] Old ABI may be used via flag. 
Add a setting to IRGenOptions and key off of it to emit yield_once_2
coroutines using either (1) the same code-path as yield_once coroutines
or (2) a new, not-yet implemented code-path.

Add flags to set the value in both directions.  During bringup, by
default, use the existing caller-allocated ABI.
 2024-10-11 08:25:02 -07:00
Nate Chandler
df1c4f6b25 [CoroutineAccessors] Add new SILFnTy CoroKind. 
For `modify` and `read` coroutines, produce SILFunctionType's whose
coroutineKind is ::YieldOnce2.
 2024-10-11 08:25:02 -07:00
swift-ci
6bfbd639e5 Merge remote-tracking branch 'origin/main' into rebranch 2024-10-08 09:37:48 -07:00
Arnold Schwaighofer
35afefb08e IRGen: Prefer memcpy for initWithTake of single/mulipayload enums where 
possible over an outlined copy function

rdar://83297558
https://github.com/swiftlang/swift/issues/57537
 2024-10-07 16:49:41 -07:00
swift-ci
8d3265a328 Merge remote-tracking branch 'origin/main' into rebranch 2024-10-07 11:34:54 -07:00
Erik Eckstein
a3e6e86383 Embedded: support existentials with inherited conformances 
That means: derived classes where the base conforms to a protocol
 2024-10-07 12:25:18 +02:00
Erik Eckstein
abbc63316c IRGen: support associated-type and associated-conformance witness table entries 
Associated-type entries are simply skipped.
Associated-conformance entries point to the specialized conformance witness tables.
 2024-10-07 09:00:31 +02:00
Erik Eckstein
a67d9c5bed embedded: Support class existentials with inherited protocols 
For example:
```
protocol Base: AnyObject {}
protocol Derived: Base {}

class C: Derived {}

let e: Derived = C()
```
 2024-10-07 08:49:56 +02:00
Erik Eckstein
db4c28a5a3 IRGen: allow specialized witness tables also in regular swift 2024-10-07 08:49:56 +02:00
swift-ci
433a6d8469 Merge remote-tracking branch 'origin/main' into rebranch 2024-10-03 19:47:13 -07:00
Kuba (Brecka) Mracek
341d6305ff Merge pull request #76767 from kubamracek/embedded-concurrency-task-groups 
[Concurrency] Enable TaskGroup/DiscardingTaskGroup in Embedded Swift
 2024-10-03 19:29:54 -07:00
swift-ci
b8a5d2d6d7 Merge remote-tracking branch 'origin/main' into rebranch 2024-10-03 01:35:42 -07:00
Konrad `ktoso` Malawski
dea3b59331 Merge pull request #76250 from ktoso/wip-experimental-isolated-deinit 2024-10-03 17:19:10 +09:00
swift-ci
23d53573f5 Merge remote-tracking branch 'origin/main' into rebranch 2024-10-02 19:30:23 -07:00
Michael Gottesman
561662d6cc [sil] Add a new instruction called ThunkInst. 
For now this will only be used for HopToMainActorIfNeeded thunks. I am creating
this now since in the past there has only been one option for creating
thunks... to create the thunk in SILGen using SILGenThunk. This code is hard to
test and there is a lot of it. By using an instruction here we get a few benefits:

1. We decouple SILGen from needing to generate new kinds of thunks. This means
that SILGenThunk does not need to expand to handle more thunks.

2. All thunks implemented via ThunkInst will be easy to test in a decoupled way
with SIL tests.

3. Even though this stabilizes the patient, we still have many thunks in SILGen
and various parts of the compiler. Over time, we can swap to this model,
allowing us to hopefully eventually delete SILGenThunk.
 2024-10-02 14:15:49 -07:00
swift-ci
7cc6111f96 Merge remote-tracking branch 'origin/main' into rebranch 2024-10-02 01:53:55 -07:00
Erik Eckstein
5502373018 SIL: rename AssociatedTypeProtocolWitness -> AssociatedConformanceWitness in SILWitnessTable 
To be consistent with the naming convention in the AST
 2024-10-02 07:10:30 +02:00
Kuba Mracek
a2dcb6045c [embedded] Introduce a new swift_taskGroup_initializeWithOptions runtime entrypoint 2024-10-01 14:56:38 -07:00
swift-ci
e5f97d79c5 Merge remote-tracking branch 'origin/main' into rebranch 2024-09-30 07:15:01 -07:00
nate-chandler
ba8f8ea282 Merge pull request #76526 from nate-chandler/general-coro/20240906/1 
[CoroutineAccessors] Initial framing.
 2024-09-30 07:04:04 -07:00
Konrad `ktoso` Malawski
45b97f146b Merge branch 'main' into wip-experimental-isolated-deinit 2024-09-30 13:47:39 +09:00
swift-ci
54d8c9feb0 Merge remote-tracking branch 'origin/main' into rebranch 2024-09-29 14:55:02 -07:00
Hamish Knight
bf6bb650ea Merge pull request #76771 from hamishknight/rename-arg-interface-ty 
[AST] NFC: Rename `getArgumentInterfaceType` -> `getPayloadInterfaceType`
 2024-09-29 22:53:13 +01:00
Hamish Knight
91ae5d6345 [AST] NFC: Rename getArgumentInterfaceType -> getPayloadInterfaceType 
IMO this is a slightly clearer name, many of its
uses already use the term "payload".
 2024-09-29 17:05:14 +01:00
Kuba Mracek
f1c2334c9a [Concurrency] Enable TaskGroup/DiscardingTaskGroup in Embedded Swift 2024-09-28 17:52:05 -07:00
swift-ci
b8a494b089 Merge remote-tracking branch 'origin/main' into rebranch 2024-09-28 02:49:38 -07:00
Amritpan Kaur
6066418340 Merge pull request #73242 from amritpan/metatype-kp-implementation 2024-09-28 02:46:15 -07:00
Anton Korobeynikov
6eefd963c6 Fix partial apply forwarder emission for coroutines that are methods 
of structs with type parameters. Simplify the code while here
 2024-09-26 21:52:17 -07:00
Nate Chandler
091368ba21 [CoroutineAccessors] Added read. 
The name is a placeholder for the mutating single-yield coroutine
accessor.
 2024-09-26 18:10:39 -07:00
Nate Chandler
98a2e6a7df [CoroutineAccessors] Added modify. 
The name is a placeholder for the mutating single-yield coroutine
accessor.
 2024-09-26 18:10:39 -07:00
Ben Barham
c15bc19946 Merge remote-tracking branch 'origin/main' into main-to-rebranch 
Conflicts:
  - `lib/Serialization/ModuleFileSharedCore.cpp` new headers on main
 2024-09-26 16:01:56 -07:00
eeckstein
8c5d7ee452 Merge pull request #76669 from eeckstein/class-existentials 
embedded: support class existentials with generic classes
 2024-09-26 07:37:35 +02:00
Doug Gregor
624570db57 Improve naming of the isResilientConformance flag that disables optimizations 
Thank you, Arnold, for talking through this with me.
 2024-09-25 13:05:22 -07:00
Amritpan Kaur
2d70cd74e7 [IRGen] Weak link static keypath component property descriptors. 2024-09-25 12:54:52 -07:00
Doug Gregor
21b2f099de Use "resilient conformance" logic for deciding protocol dependencies involving Sendable 
When compiling with library evolution and a pre-Swift 6.0 deployment
target, a mismatch between the notion of resilience used for determining
whether a protocol that inherits Sendable might need to be treated as
"dependent" differed from how other parts of IR generation decided
whether to conformance should be considered as resilient. The
difference came when both the protocol and its conforming type are in
the same module as the user.

Switch over to the "is this conformance resilient?" query that takes
into account such conformances.

Fixes rdar://136586922.
 2024-09-25 12:09:40 -07:00
Joe Groff
4e3f665cc8 Merge pull request #76688 from jckarter/atomic-layout 
IRGen: Set a "not bitwise borrowable" bit in value witnesses for `@_rawLayout` types.
 2024-09-25 08:09:56 -10:00
Erik Eckstein
401a602b23 IRGen: support emitting specialized witness tables 2024-09-25 19:32:14 +02:00
Erik Eckstein
1d8f4b009e IRGen: make some imported asserts for embedded -> ASSERT to also catch them in NDEBUG compiler builds 2024-09-25 19:32:14 +02:00