vast

vast copied to clipboard

`core::SelectOp` and some `void` related fixes.

1

Adds lowering of `core::SelectOp`. Fixes some corner cases related to `void` "values" being returned.

lkorenc

Complex type support in HL dialect

1

Jezurko

### Prerequisites - [X] I have read the documentation and the proposed feature is not implemented. ### Description Currently conversion tests are an archaic mess with very random directory structue....

lkorenc

ABI compatible function prototype lowering

1

We want to emit ABI compatible low-level dialect. In clang, this is performed before lowering to LLVM. We want to give the same result when lowering from high-level in the...

xlauko

Allow use of a typedef in an mlir document without defining it in that mlir document - how this means having some kind of underlying type mapping/sizing/something for it maybe...

xlauko

`time_t` tracking

9

Rethink `time_t` tracking, and just how "deep" down the stack we can reasonably keep it around or ensure that we know a given `i32` is actually a `time_t`.

xlauko

Verify that `DeclRefOp` takes `!hl.lvalue` type.

xlauko

Add API to get global references. Named references are not handled, yet. Fix `vast-query` to list users of global variables.

xlauko

Verify that cast operation produce correct value categories. Add constraints (type-traits) on conversion of lvalues and non-lvalues. This will require decoupling of cast kinds to multiple operations.

xlauko

xlauko