Lucian Radu Teodorescu

For the following code: ``` trait A {} trait B { type Storage fun f() -> Storage } extension A { public typealias Storage = Int public fun f() ->...

Cannot initialize types that have static values.

2

See the following code: ``` type MyEnum { memberwise init internal let value: Int public static let static_value: MyEnum = construct_some_value() public static fun construct_some_value() -> MyEnum { return .new(value:...

Analyze projections & check for errors.

1

Inspect projects and build a "skeleton" out of them, describing the important parts of a projection (yield points, ramp & slide blocks). The projection is well-formed if there is exactly...

Analyze projections & check for errors.

1

Inspect projects and build a "skeleton" out of them, describing the important parts of a projection. This skeleton is used to check that we have exactly one `yield` on all...

- implement mutexes in terms of futexes - add support for futex functions - add tests - add (temporary) support for error handling based on errno - improve error handling...

Proof-of-concept for the target of IR refactoring

2

The current focus is on `IR/Analysis/Module+XXX` files, except NormalizeObjectStates (requires more refactoring) and Deploymorphize (which has more complex changes, that can't be easily assessed by a diff). There are still...

Improve `DominatorTree` and `ControlFlowGraph`

1

`DominatorTree` shall not depend on module anymore. Use `Block.ID` instead of addresses in `DominatorTree` and `ControlFlowGraph`.

Prepare for expanding projections

1

Add: - add a new program pass to expand projections; this has two steps: - lower projections into ramp and slide pairs - lower project calls into calls to ramps...