seen from United States
seen from United States
seen from China
seen from Netherlands
seen from Türkiye
seen from China
seen from United States
seen from Türkiye
seen from China
seen from Japan
seen from Netherlands
seen from Malaysia
seen from United States
seen from United States
seen from T1
seen from France
seen from United Kingdom
seen from India
seen from Singapore
seen from Singapore
Line stepping through MLIR with a debugger!
gdb session I’ve added an alternate input source for the silly compiler. As well as the .silly files that it previously accepted, it now also accepts .mlir (silly-dialect) files as input. This means that if there’s an experimental language feature that requires new style MLIR, but I don’t want to figure out how to push that all the way through grammar -> parser -> builder -> lowering all at…
View On WordPress
Added FUNCTION/CALL support to my toy compiler
I’ve tagged V4 for my toy language and MLIR based compiler. See the Changelog for the gory details (or the commit history). There are three specific new features, relative to the V3 tag: Adds support (grammar, builder, lowering) for function declarations, and function calls. Much of the work for this was done in branch use_mlir_funcop_with_scopeop, later squashed and merged as a big commit.…
Have added boolean operations to my toy MLIR compiler
Screenshot The git repo for the project now has a way to encode predicates, which I figured was a good first step towards adding some useful control flow (IF+LOOPS). Specifically, the toy language/compiler now supports the following operators: < <= > >= EQ NE This list works for any floating point or integer type (including BOOL, which is like “INT1”). I also added AND,OR,XOR (for integer…
View On WordPress
Adding fixed size types to my toy MLIR compiler
In toycalculator, an MLIR/LLVM compiler experiment, I described a rudimentary MLIR based compiler. I’ve now added fixed size integer types, a boolean type and boolean constants (but not boolean operators), and two floating point types. For the time being, the untyped ‘DCL’ declaration type (FLOAT64) is still in the grammar and the parser/MLIR-builder. There’s lots still in the TODO list,…
View On WordPress
toycalculator, an MLIR/LLVM compiler experiment.
Over the last 8 years, I’ve been intimately involved in building a pair of LLVM based compilers for the COBOL and PL/I languages. However, a lot of my work was on the runtime side of the story. This was non-trivial work, with lots of complex interactions to figure out, but it also meant that I didn’t get to play with the fun (codegen) part of the compiler. Over the last month or so, I’ve been…
