Hmm, not sure I agree that LLVM has little documentation. My experience using it has been pretty smooth.
Regardless, compiling functions from a language you know to LLVM IR is a good way to learn how IR works. You can do this for C(++) with the clang --emit-llvm switch. In addition, many optimizers in LLVM are geared towards the IR patterns clang emits.
If you're working at the IR level, then there's usually pretty good documentation in terms of the doxygen and various pages explaining things.
But if you start venturing down into the backend, a lot of gotchas are never documented anywhere, just somehow learned through osmosis from another backend author or looking up code snippets from another implemented backend.
Sure; the article was about building compilers rather than backends. FWIW I looked briefly into building a LLVM backend (IR subset) for a DSP chip, and gave up partly for the reasons you mentioned.
Yes, there is a fair bit of documentation. But it is nowhere near any popular general purposes language. Also, most documentation isn't very accessible if you're not a compiler developer already.
> compiler libraries such as LLVM make this a whole lot easier, making it possible for a single person to develop a new language that is close to C in terms of performance.
The TinyGo project is interesting, but it is not a new language developed by a single person as Go is not a new language.
Wondering is there any such single person project implementing a compiler for a new language using LLVM and delivering close to C performance?
Not a new language, as it’s based on/similar to Ruby syntax, but the latter is interpreted while this one is built from the ground up for compilation/LLVM:
14 comments
[ 3.1 ms ] story [ 45.5 ms ] threadRegardless, compiling functions from a language you know to LLVM IR is a good way to learn how IR works. You can do this for C(++) with the clang --emit-llvm switch. In addition, many optimizers in LLVM are geared towards the IR patterns clang emits.
But if you start venturing down into the backend, a lot of gotchas are never documented anywhere, just somehow learned through osmosis from another backend author or looking up code snippets from another implemented backend.
(Note: I'm the author of the post)
0: https://llvm.org/docs/tutorial/LangImpl01.html
The TinyGo project is interesting, but it is not a new language developed by a single person as Go is not a new language.
Wondering is there any such single person project implementing a compiler for a new language using LLVM and delivering close to C performance?
https://extemporelang.github.io/docs/reference/types/
edit: link is more specific now
As far as I know, it's mostly Andrew Kelley[1] working on Zig, though it seems to be growing quickly now!
[1] https://andrewkelley.me/post/full-time-zig.html
https://crystal-lang.org