4 ms·
LLVM from a Go Perspective
- vnorilo 7y agoHmm, 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.
- krackers 7y agoIf 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.
- vnorilo 7y agoSure; 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.
- aykevl 7y agoYes, 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. (Note: I'm the author of the post)
- vnorilo 7y agoIf someone wants to get started on building a LLVM backed language, I’d recommend go with the Kaleidoscope tutorial [0] if one is new to compilers. 0: https://llvm.org/docs/tutorial/LangImpl01.html https://llvm.org/docs/tutorial/LangImpl01.html
- dis-sys 7y ago> 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?
- vnorilo 7y agoxtlang is one; ML meets C with S-expressions and hot reloading. https://extemporelang.github.io/docs/reference/types/ https://extemporelang.github.io/docs/reference/types/ edit: link is more specific now
- darshanime 7y agoMeet Wren: https://github.com/wren-lang/wren https://github.com/wren-lang/wren
- brabel 7y agohttps://ziglang.org/ https://ziglang.org/ 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://andrewkelley.me/post/full-time-zig.html