Manually merge main to rebranch #77211
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…sing Swift compilation Target Triple. As per swiftlang#65930, the Clang importer's Clang instance may be configured with a different (higher) OS version than the compilation target itself in order to be able to load pre-compiled Clang modules that are aligned with the broader SDK, and match the SDK deployment target against which Swift modules are also built. Code-generation, however, must use the actual compilation target triple. This matches how Swift itself loads Swift module dependencies as well: dependency '.swiftinterface' files are type-checked against the availability epoch and code-generated against the actual compilation triple. Resolves rdar://113712186
rdar://135640720
`Builtin.FixedArray<let N: Int, T: ~Copyable & ~Escapable>` has the layout of `N` elements of type `T` laid out sequentially in memory (with the tail padding of every element occupied by the array). This provides a primitive on which the standard library `Vector` type can be built.
Most constraints don't have a fix, so we can tail-allocate the fix. This saves 16 bytes per constraint, because it also eliminates some padding.
OverloadChoice is rather large, 40 bytes.
…tem::generateOverloadConstraints()
These functions are never called while undoing a change; so we want to assert if we have an active undo instead of silently not recording the change.
…containing ParameterizedProtocolType This fixes a soundness hole. We can't just match up the primary associated types of different protocols.
The experimental feature the test requires is available in non-asserts compilers.
Along with `get` and `set`, permit `read` to be required. When a type defines `read`, the read impl is that `read`.
With the `CoroutineAccessors` feature, `read` is allowed along with `get` and `set`; alter the diagnostic that's issued when a disallowed introducer is listed in the requirement list to indicate that `read` is one of those which are valid, but only when the feature is enabled.
Make refactoring the availability checker easier by making functions that are only called by `TypeCheckAvailability.cpp` static in that file.
[IRGen] Support generic but concrete metatypes with hasSymbol
The new code needs to not build for iOS. rdar://137551812
Builtin.FixedArray
…lity-typechecking
…-fix [Backtracing] Fix iOS build.
bnbarham
requested review from
rjmccall,
ktoso,
mikeash,
al45tair,
xymus,
AnthonyLatsis,
tshortli and
adrian-prantl
as code owners
bnbarham
removed request for
a team,
xedin,
slavapestov,
ktoso,
rintaro,
jckarter,
xymus,
mikeash,
rjmccall,
DougGregor,
CodaFi,
adrian-prantl,
al45tair,
ahoppen,
artemcm,
hborla,
hamishknight,
eeckstein,
tshortli and
AnthonyLatsis
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Conflicts:
test/IRGen/has_symbol.swifttest updates in rebranch. Modified test for new codegen.