Skip to content

Conversation

pull[bot]
Copy link

@pull pull bot commented May 16, 2020

See Commits and Changes for more details.


Created by pull[bot]. Want to support this open source service? Please star it : )

gottesmm and others added 6 commits May 15, 2020 22:34
…ckCleanup.

This cleanup is meant to be used with a value that is temporarily taken from a
memory location for a lexical scope. At end of scope, the value is returned back
to the original memory location.

It is used to implement in SILGen "move only loadable values". Note, a "move
only loadable value" is not a "move only type". It is just an abstraction for
working with a single copy of a loadable value as if that single copy was a move
only value.

This is currently only being used in initializer emission since we treat self in
such a context as a "move only value" before we delegate to a
super/convenience/peer initializer since we have to allow for such initializers
to change the underlying class we have stored which in certain use cases require
self to be guaranteed as /never/ being retained. The move only value
representation makes this easy to do/enforce.

My hope is that by changing the name of this cleanup it is more obvious what it
is meant to do and can become (hopefully) generally useful.
The correct usage of "-SAME" is after the check-prefix, not in the
middle. I've updated the constants to what is emitted today.
[IRGen testing] Fix bogus FileCheck check-prefix "-SAME" usage
…df9168b83d620b32b86f985

[silgen] Rename DelegateInitSelfWritebackCleanup -> OwnedValueWritebackCleanup.
Revert "[IRGen testing] Fix bogus FileCheck check-prefix "-SAME" usage"
hamishknight and others added 7 commits May 16, 2020 16:52
We currently leave a key path constraint unsolved
if one of its components hasn't yet had its
overload resolved. However, for e.g a missing
member component, the overload type variable will
be bound to a hole and an overload will never be
resolved.

Tweak the logic to consider the key path constraint
trivially solved if one of its components has been
marked as a hole, which will allow the key path
type itself to be marked as a hole.

Resolves SR-12437 & SR-12823.
Resolves rdar://62201037.
Lit's incremental mode is incompatible with read-only source filesystems
which some CI setups use and there is no way to disable incremental mode
in Swift without enabling --shuffle via LLVM_LIT_ARGS.
[CMake] Allow devs to disable implicit incremental testing
@MaxDesiatov MaxDesiatov merged commit 4d45840 into swiftwasm May 18, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

8 participants