-
Notifications
You must be signed in to change notification settings - Fork 28
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[pull] swiftwasm from main #5531
Commits on May 9, 2023
-
[cxx-interop] C++ records should have address-only layout when they c…
…an't be passed in registers This ensures that a C++ record with only ObjC ARC pointers with trivial other members is passed by value in SIL Fixes apple#61929
Configuration menu - View commit details
-
Copy full SHA for 49d7e04 - Browse repository at this point
Copy the full SHA 49d7e04View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2c4188b - Browse repository at this point
Copy the full SHA 2c4188bView commit details
Commits on May 19, 2023
-
[ConstraintSytem] NFC: Remove unnecessary checking/counting from `cou…
…ntDistinctOverloads`
Configuration menu - View commit details
-
Copy full SHA for 84b212c - Browse repository at this point
Copy the full SHA 84b212cView commit details
Commits on May 20, 2023
-
[Diagnostics] Skip overloaded locations where all solutions have the …
…same type If there are multiple overloads, let's skip locations that produce the same type across all of the solutions, such location is most likely a consequence of ambiguity and not its source. Resolves: rdar://109245375
Configuration menu - View commit details
-
Copy full SHA for f12e24e - Browse repository at this point
Copy the full SHA f12e24eView commit details
Commits on Jun 9, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 47a08e3 - Browse repository at this point
Copy the full SHA 47a08e3View commit details
Commits on Jun 13, 2023
-
[CS] Diagnose UnresolvedPatternExprs as part of constraint solving
Instead of diagnosing in CSApply, let's create a fix and diagnose in the solver instead. Additionally, make sure we assign ErrorTypes to any VarDecls bound by the invalid pattern, which fixes a crash. rdar://110638279
Configuration menu - View commit details
-
Copy full SHA for c6dd3ad - Browse repository at this point
Copy the full SHA c6dd3adView commit details
Commits on Jun 15, 2023
-
[Macros] Allow keywords after
#
in freestanding macro expansionsAllow keywords after `#` in freestanding macro expansions There is no reason why we shouldn’t allow keywords here. I also thought about allowing keywords after `@` but things become tricky here for two reasons: - In the parser, we parse a type after the `@`, which could start with a keyword itself (e.g. `any`). If we want to keep the parser logic to parse a type after `@` (which I think we should), then it becomes unclear what `@any T` should parse as. - We allow a space between `@` and the type name. This makes it very hard for recovery to tell whether `@ struct` refers to an attribute with name `struct` or if the user forgot to write the attribute name after `@`. Since almost all keywords are lowercase and attached member macros are usually spelled with an uppercase name, there are a lot fewer chances for clashes here, so I don’t think it’s worth allowing keywords after `@`. apple#66444 rdar://110472060
Configuration menu - View commit details
-
Copy full SHA for fbbbd0d - Browse repository at this point
Copy the full SHA fbbbd0dView commit details -
[Parse] InitAccessors: Parse initializer exprs associated with comput…
…ed properties that have `init` accessor Initialization expressions are not allowed on computed properties but if a property has `init` accessor it should be allowed because it could be used by a memberwise initializer.
Configuration menu - View commit details
-
Copy full SHA for 8b1c9c9 - Browse repository at this point
Copy the full SHA 8b1c9c9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 290970a - Browse repository at this point
Copy the full SHA 290970aView commit details -
[test] fix objcxx-arc-field-in-struct-type-layout-execution.swift tes…
…t failure on macOS
Configuration menu - View commit details
-
Copy full SHA for 988f373 - Browse repository at this point
Copy the full SHA 988f373View commit details -
[CanOSSALifetime] Bail early in lifetime extension
While collecting originalLiveBlocks, walking backward from consuming blocks, if a visited block is already in originalLiveBlocks, don't visit its predecessors. Continuing the backwards walk is wasteful. rdar://110854874
Configuration menu - View commit details
-
Copy full SHA for 57e226d - Browse repository at this point
Copy the full SHA 57e226dView commit details -
Configuration menu - View commit details
-
Copy full SHA for d1554f2 - Browse repository at this point
Copy the full SHA d1554f2View commit details -
[Sema] Formalize a way to check whether storage is initializable
Previously only stored properties could be initializable but with introduction of init accessors computed properties gained an ability to specify initialzer expression and participation in memberwise initialization for structs.
Configuration menu - View commit details
-
Copy full SHA for fc895b4 - Browse repository at this point
Copy the full SHA fc895b4View commit details -
[Sema/SILGen] Consider init exprs associated with init accessor prope…
…rties for memberwise init
Configuration menu - View commit details
-
Copy full SHA for f58d407 - Browse repository at this point
Copy the full SHA f58d407View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7abd265 - Browse repository at this point
Copy the full SHA 7abd265View commit details -
[SourceKit] Record module loading errors when generating interfaces
Record up to two errors emitted when we fail to load a module for interface generation, and include these errors in the message we pass back to the editor. This should help us better pin down the reason why interface generation failed. rdar://109511099
Configuration menu - View commit details
-
Copy full SHA for a9f9bd1 - Browse repository at this point
Copy the full SHA a9f9bd1View commit details
Commits on Jun 16, 2023
-
[Macros] Update plugin search options serialization
Previously plugin search options were serialized for each option kind. Instead serialize them in the order specified.
Configuration menu - View commit details
-
Copy full SHA for 706985d - Browse repository at this point
Copy the full SHA 706985dView commit details -
Configuration menu - View commit details
-
Copy full SHA for fc7ecc8 - Browse repository at this point
Copy the full SHA fc7ecc8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8e66001 - Browse repository at this point
Copy the full SHA 8e66001View commit details -
Merge pull request apple#66643 from ahoppen/ahoppen/keyword-freestand…
…ing-macro-names [Macros] Allow keywords after `#` in freestanding macro expansions
Configuration menu - View commit details
-
Copy full SHA for e822a6a - Browse repository at this point
Copy the full SHA e822a6aView commit details -
Merge pull request apple#66695 from ktoso/wip-distributed-harden-empt…
…y-impls [Distributed] Harden typechecker against completely empty DAS types
Configuration menu - View commit details
-
Copy full SHA for b420190 - Browse repository at this point
Copy the full SHA b420190View commit details -
Merge pull request apple#66680 from nate-chandler/rdar110854874
[CanonicalizeOSSALifetime] Bail early in lifetime extension backwards walk.
Configuration menu - View commit details
-
Copy full SHA for 49e9284 - Browse repository at this point
Copy the full SHA 49e9284View commit details -
Merge pull request apple#66679 from mikeash/disable-tracing-minimal
[Build] Set swift-stdlib-tracing=0 for minimal stdlib builds.
Configuration menu - View commit details
-
Copy full SHA for cdc72fd - Browse repository at this point
Copy the full SHA cdc72fdView commit details -
Merge pull request apple#65813 from hyp/eng/passInRegs
[cxx-interop] Itanium ABI C++ records should have address-only layout when they can't be passed in registers
Configuration menu - View commit details
-
Copy full SHA for 4590aa1 - Browse repository at this point
Copy the full SHA 4590aa1View commit details -
SILDebugScopes: Don't ignore ConditionalClauseInitializerScope.
ConditionalClauseInitializerScope often create redundant scopes, however, they are needed to correctly represent the scopes in an expression such as: if case .something(let foo), let foo = foo. This patch changes SILGen to lower them 1:1 from ASTScopes. rdar://110841130
Configuration menu - View commit details
-
Copy full SHA for 874ba08 - Browse repository at this point
Copy the full SHA 874ba08View commit details -
[TypeLowering] Move-only types are lexical.
Vars of such types should be given lexical `alloc_stack`s by `AllocBoxToStack` which requires that the `alloc_box` insts formed for them have an associated borrow scope which in turn requires that type lowering for move only structs and enums have their lexical bits set. rdar://110901430
Configuration menu - View commit details
-
Copy full SHA for 9b69044 - Browse repository at this point
Copy the full SHA 9b69044View commit details -
Fix the failures on the oss-swift_tools-RA_stdlib-DA_test-device-non_executable bot.
Configuration menu - View commit details
-
Copy full SHA for f1a9e8b - Browse repository at this point
Copy the full SHA f1a9e8bView commit details -
[TypeLowering] Move-only types are lexical.
Vars of such types should be given lexical `alloc_stack`s by `AllocBoxToStack` which requires that the `alloc_box` insts formed for them have an associated borrow scope which in turn requires that type lowering for move only structs and enums have their lexical bits set. rdar://110901430
Configuration menu - View commit details
-
Copy full SHA for c340d47 - Browse repository at this point
Copy the full SHA c340d47View commit details -
Optimizer: add an additional DeadObjectElimination at the end of the …
…pipeline The last dead-store-elimination pass can expose opportunities for dead object elimination. rdar://110846405
Configuration menu - View commit details
-
Copy full SHA for 0bf643d - Browse repository at this point
Copy the full SHA 0bf643dView commit details -
Merge pull request apple#66035 from xedin/rdar-109245375
[Diagnostics] Skip overloaded locations where all solutions have the same type
Configuration menu - View commit details
-
Copy full SHA for f8bde21 - Browse repository at this point
Copy the full SHA f8bde21View commit details -
Configuration menu - View commit details
-
Copy full SHA for f10d0df - Browse repository at this point
Copy the full SHA f10d0dfView commit details -
Merge pull request apple#66706 from aschwaighofer/fix_arm64e_opaque_p…
…tr_failures Fix tests on arm64e
Configuration menu - View commit details
-
Copy full SHA for a77cc30 - Browse repository at this point
Copy the full SHA a77cc30View commit details -
[TypeResolution] Ban local variable packs (apple#66622)
* Ban explicit local variable packs * Ban inferred local variable packs
Configuration menu - View commit details
-
Copy full SHA for e1d2198 - Browse repository at this point
Copy the full SHA e1d2198View commit details -
Merge pull request apple#66681 from xedin/enable-inits-on-props-with-…
…init-accessors [Sema/SILGen] InitAccessors: Synthesize default arguments for init accessor properties
Configuration menu - View commit details
-
Copy full SHA for 9d342f1 - Browse repository at this point
Copy the full SHA 9d342f1View commit details -
[Macros] Make 'PluginSearchOption' a external union
Create a 'Kind' enum so that deserialization can use the kind instead of a string option name.
Configuration menu - View commit details
-
Copy full SHA for 6fa0c14 - Browse repository at this point
Copy the full SHA 6fa0c14View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ed9df0 - Browse repository at this point
Copy the full SHA 1ed9df0View commit details -
[SILOpt] Don't opt move-only lifetimes.
According to language rules, such lifetimes are fixed and the relative order of their deinits is guaranteed. rdar://110913116
Configuration menu - View commit details
-
Copy full SHA for 5d7aa84 - Browse repository at this point
Copy the full SHA 5d7aa84View commit details -
Merge pull request apple#66698 from eeckstein/dead-alloc-in-passpipeline
Optimizer: add an additional DeadObjectElimination at the end of the pipeline
Configuration menu - View commit details
-
Copy full SHA for 9d4f4af - Browse repository at this point
Copy the full SHA 9d4f4afView commit details -
Merge pull request apple#66705 from nate-chandler/rdar110901430
[TypeLowering] Move-only types are lexical.
Configuration menu - View commit details
-
Copy full SHA for 13cdc66 - Browse repository at this point
Copy the full SHA 13cdc66View commit details -
[SILOpt] Don't opt move-only lifetimes.
According to language rules, such lifetimes are fixed and the relative order of their deinits is guaranteed. rdar://110913116
Configuration menu - View commit details
-
Copy full SHA for 8db8451 - Browse repository at this point
Copy the full SHA 8db8451View commit details -
Compute VarDeclScopeMap up front.
The previous lazy discovery did not always work because sometimes a debug_value is emitted before the first SIL instruction in the variable's scope. rdar://110841130
Configuration menu - View commit details
-
Copy full SHA for 329e428 - Browse repository at this point
Copy the full SHA 329e428View commit details -
Configuration menu - View commit details
-
Copy full SHA for fef3578 - Browse repository at this point
Copy the full SHA fef3578View commit details -
[FieldSensitivePL] NFC: Implemented print.
The members were declared but undefined.
Configuration menu - View commit details
-
Copy full SHA for d067453 - Browse repository at this point
Copy the full SHA d067453View commit details -
[Basic] Removed spurious req from FrozenMultiMap.
Its storage vector is intended to be of some type like `std::vector<std::pair<Key, Optional<Value>>>`, i.e., some collection of pairs whose `second` is an `Optional<Value>`. So when constructing a default instance of that pair, just construct an Optional in the None case.
Configuration menu - View commit details
-
Copy full SHA for 934ec10 - Browse repository at this point
Copy the full SHA 934ec10View commit details -
Configuration menu - View commit details
-
Copy full SHA for f4d8761 - Browse repository at this point
Copy the full SHA f4d8761View commit details -
[Macros] Add default plugin paths for Darwin SDKs and platforms.
Corresponding to apple/swift-driver#1377, this adds some default plugin paths for Darwin SDKs and platforms. Fixes rdar://110819604.
Configuration menu - View commit details
-
Copy full SHA for 1ec900e - Browse repository at this point
Copy the full SHA 1ec900eView commit details -
Merge pull request apple#66711 from DougGregor/old-driver-default-plu…
…gin-paths [Macros] Add default plugin paths for Darwin SDKs and platforms.
Configuration menu - View commit details
-
Copy full SHA for 22348e6 - Browse repository at this point
Copy the full SHA 22348e6View commit details -
Merge pull request apple#66689 from rintaro/macros-serialization-plug…
…inopts [Macros] Update plugin search options serialization
Configuration menu - View commit details
-
Copy full SHA for 13a29a0 - Browse repository at this point
Copy the full SHA 13a29a0View commit details
Commits on Jun 17, 2023
-
require
consume x
for noncopyable pattern bindings since they're co……nsuming this was staged in as a warning initially but it was intended to be an error if it is not written so that we can move to a world where these pattern matches are done as a borrowing operation instead. rdar://110908714
Configuration menu - View commit details
-
Copy full SHA for 36451ef - Browse repository at this point
Copy the full SHA 36451efView commit details -
[IRGen] Use EnumImplStrategy to generate getEnumTag function for layo… (
apple#66707) * [IRGen] Use EnumImplStrategy to generate getEnumTag function for layout strings rdar://110794898 The implementation in TypeLayout seems to have a bug causing wrong tags to be returned on 32 bit systems. * Don't use unsupported types in tests
Configuration menu - View commit details
-
Copy full SHA for 874b577 - Browse repository at this point
Copy the full SHA 874b577View commit details -
Merge pull request apple#66495 from karwa/patch-16
Enable IRGen/protocol_metadata test on Apple Silicon
Configuration menu - View commit details
-
Copy full SHA for 4e5ff2c - Browse repository at this point
Copy the full SHA 4e5ff2cView commit details -
Merge pull request apple#66716 from nate-chandler/rdar110913116
[SILOptimizer] Don't optimize move-only lifetimes.
Configuration menu - View commit details
-
Copy full SHA for ca29d53 - Browse repository at this point
Copy the full SHA ca29d53View commit details -
Merge pull request apple#66713 from kavon/require-switch-consume
require `consume x` for noncopyable pattern bindings since they're consuming
Configuration menu - View commit details
-
Copy full SHA for 6709648 - Browse repository at this point
Copy the full SHA 6709648View commit details -
[FieldSensitivePL] Fix vectorization.
FieldSensitivePrunedLiveness is used as a vectorization of PrunedLiveness. An instance of FSPL with N elements needs to be able to represent the same states as N instances of PL. Previously, it failed to do that in two significant ways: (1) It attempted to save space for which elements were live by using a range. This failed to account for instructions which are users of non-contiguous fields of an aggregate. apply( @owned (struct_element_addr %s, #S.f1), @owned (struct_element_addr %s, #S.f3) ) (2) It used a single bit to represent whether the instruction was consuming. This failed to account for instructions which consumed some fields and borrowed others. apply( @owned (struct_element_addr %s, #S.f1), @guaranteed (struct_element_addr %s, #S.f2) ) The fix for (1) is to use a bit vector to represent which elements are used by the instruction. The fix for (2) is to use a second bit vector to represent which elements are _consumed_ by the instruction. Adapted the move-checker to use the new representation. rdar://110909290
Configuration menu - View commit details
-
Copy full SHA for f4e3292 - Browse repository at this point
Copy the full SHA f4e3292View commit details -
[MoveOnlyAddressChecker] NFC: Promoted assertion.
Dumped more info and called llvm_unreachable on bad state.
Configuration menu - View commit details
-
Copy full SHA for b97712c - Browse repository at this point
Copy the full SHA b97712cView commit details -
[MoveOnlyAddressChecker] Maximize lifetimes.
Previously, the checker inserted destroys after each last use. Here, extend the lifetimes of fields as far as possible within their original (unchecked) limits. rdar://99681073
Configuration menu - View commit details
-
Copy full SHA for eaf4560 - Browse repository at this point
Copy the full SHA eaf4560View commit details -
[move-only] Avoid loc from func decl.
It's always the first line of the function, so try to do better.
Configuration menu - View commit details
-
Copy full SHA for 11443f2 - Browse repository at this point
Copy the full SHA 11443f2View commit details -
[MoveOnlyAddressChecker] Added extension flag.
Passing ``` -Xllvm -move-only-address-checker-disable-lifetime-extension=true ``` will skip the maximization of unconsumed field lifetimes.
Configuration menu - View commit details
-
Copy full SHA for 2bfa723 - Browse repository at this point
Copy the full SHA 2bfa723View commit details -
Merge pull request apple#66712 from felipepiovezan/felipe/update_debu…
…g_info_opaque_ptrs [DebugInfo] Update tests to use opaque ptrs
Configuration menu - View commit details
-
Copy full SHA for cbd0b15 - Browse repository at this point
Copy the full SHA cbd0b15View commit details -
Merge pull request apple#66692 from adrian-prantl/110841130
SILDebugScopes: Don't ignore ConditionalClauseInitializerScope.
Configuration menu - View commit details
-
Copy full SHA for c2f164d - Browse repository at this point
Copy the full SHA c2f164dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 606eef6 - Browse repository at this point
Copy the full SHA 606eef6View commit details -
Merge pull request apple#66690 from nate-chandler/rdar110676577
[FieldSensitivePL] Fix vectorization.
Configuration menu - View commit details
-
Copy full SHA for 91ee824 - Browse repository at this point
Copy the full SHA 91ee824View commit details -
Merge pull request apple#66585 from nate-chandler/rdar99681073
[MoveOnlyAddressChecker] Maximize lifetimes.
Configuration menu - View commit details
-
Copy full SHA for d312589 - Browse repository at this point
Copy the full SHA d312589View commit details