Skip to content

Conversation

MaxDesiatov
Copy link
Member

No description provided.

stephentyrone and others added 29 commits December 1, 2020 11:03
To reflect the most recent compile time fix.
[cxx-interop] Bail on functions that use unimportable types.
…otocol-inheritance

[Sema] Adding deprecation warning for protocol inheritance 'class' syntax
[concurrency] IRGen: update task/executor/context on every suspend point
…ed stdlib

Pending investigation rdar://71857262
Pending investigation: rdar://71857770
…s-ci

[test] Disable some tests failing in specific configurations pending investigation
…face

This warning should help understand missing SPI diagnostics when the
compiler loads a public module when a private one is expected.

rdar://71859081
…35d20940005a1fa67d3a1bf

[auto-diff] Fix a bunch of places in the *Cloners where we were not closing borrow scopes.
…is enabled.

Instead of scribbling each allocation as it's parceled out, scribble the entire chunk up-front. Then, when handing out an allocation, check to make sure it still has the right scribbled data in it.
…index

[CSBinding] Attempt to join any existing and viable bindings with new…
[NFC] Move Migrated SDK Target List into StdlibDeploymentTarget
…ializer

[stdlib] Simplify buffer pointer initialization.
Previously FieldIndexCacheBase only had a parent class of
SingleValueInstruction. I need to be able to in certain cases shim in a
SingleValueInstruction subclass as a parent class instead. In my case it is to
imbue ownership forwarding on StructExtractInst.

This commit itself doesn't make that change and instead just always templatizes
using SingleValueInstruction.
…port

[Sema] Warn on @_spi imports of modules built from their public interface
…-disable

[Concurrency] Tweak where concurrency tests run
…ce-to-checked

[SR-13899] [Sema] Adjustments on coerce to checked cast diagnostics
eeckstein and others added 25 commits December 9, 2020 22:22
A StackAllocator performs fast allocation and deallocation of memory by implementing a bump-pointer allocation strategy.
In contrast to a pure bump-pointer allocator, it's possible to free memory.
Allocations and deallocations must follow a strict stack discipline.

In general, slabs which become unused are _not_ freed, but reused for subsequent allocations.
The first slab can be placed into pre-allocated memory.
Use the StackAllocator as task allocator.

TODO: we could pass an initial pre-allocated first slab to the allocator, which is allocated on the stack or with the parent task's allocator.

rdar://problem/71157018
…vars

[ConstraintSystem] Track adjacent type variables while inferring bindings
Request handling happens on a global queue, so we need to use a
barrier_async on the same queue to ensure the initialization finishes
before requests are handled.
…ign-thunk

[WIP] SILGen: Implement native-to-foreign thunks for async methods.
…ration on a value with OwnershipKind::None.

This is safe to do since our end_borrow isn't returned to our user.
…tInitializationInfo-race

[sourcekit] Prevent race between getInitializationInfo and requests
… and destroy_value uses.

E.x.:

```
  %1 = unchecked_ref_cast %0
  destroy_value %1
->
  destroy_value %0
```

I am doing this only in non-Raw SIL to ensure that I do not disturb the
mandatory passes.
In order to extract the module dependency graph from the compilation the driver just ran, define a separate semantic type to hold a result code and the graph itself.
This required dropping some superfluous 'const' qualification in the module dependency graph.
…1b6396a97db774b30ce227e

[sil] Teach the verifier that an upcast of an address isn't a consuming use.
…e89ae3bb871905923f1748a

Canonicalize single value forwarding insts that only have debug_value and destroy_value uses.
…d31ca1f3a6e3c1b8e8cdf50

[ownership] Do not insert an end_borrow when calling emitEndBorrowOperation on a value with OwnershipKind::None.
[concurrency] Implement the Task allocator as bump-pointer allocator.
@MaxDesiatov MaxDesiatov requested a review from a team December 10, 2020 23:16
@MaxDesiatov MaxDesiatov marked this pull request as ready for review December 10, 2020 23:16
@kateinoigakukun kateinoigakukun merged commit 125daf7 into swiftwasm Dec 10, 2020
@kateinoigakukun kateinoigakukun deleted the maxd/main-merge branch December 10, 2020 23:52
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.