Henrich Lauko
Henrich Lauko
- Updates VAST to appear in the C compilers dropdown. - Corrects paths to resources so that VAST can locate C standard library. - Adds clarification to the pop-up, recommending...
Add `remill` and `gap` ports. `remill` port allows to specify features `cxx-common-llvm-14` or `system-llvm` to build with local install `llvm` or uses `cxx-common` provided LLVM.
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...
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...
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`.
Verify that `DeclRefOp` takes `!hl.lvalue` type.
Add API to get global references. Named references are not handled, yet. Fix `vast-query` to list users of global variables.
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.
At the moment `void functions(mlir::Operation *op, Yield &&yield)` from `Util/Symbols.hpp` yields only high-level functions. It would be better to have generic yielder for operations of `mlir::FunctionOpInterface`.