alt.hn

5/8/2026 at 7:00:25 AM

QBE – Compiler Back End

 https://c9x.me/compile/

by smartmic

5/8/2026 at 3:12:11 PM

I really like QBE but I hope they will make it a true library because I don't want to launch a subprocess to compile a program.

by lucrbvi

5/8/2026 at 3:55:15 PM

This is exactly my gripe unfortunately, it feels like needless fragility. IIRC the author has said they believe it wouldn't be too difficult to patch QBE to work as a library, but from what I've seen the code is somewhat terse and eccentric.

by heavensteeth

5/8/2026 at 4:52:12 PM

There is a library conversion fork: https://github.com/sgraham/sqbe.

IMO when the intended usage is AOT with an external assembler, which is another subprocess, text-based IO is actually the more natural approach.

by fuhsnn

5/8/2026 at 10:07:52 PM

There are at least 2 Go libraries written in Go, based on QBE. One is used by this project: https://github.com/xplshn/gbc

by sparky4pro

5/9/2026 at 4:02:56 PM

Why not? Processes are cheaper than you might think. GCC invokes several as an example.

by duped

5/8/2026 at 5:17:00 PM

Tangentially: Is there a Rust alternative similar to this?

by mamcx

5/8/2026 at 1:55:52 PM

Cool project, and FWIW it's like one Claude prompt to add MIPS support to this. I did that and then was able to compile my little custom language to the N64.

by superdisk

5/8/2026 at 3:44:39 PM

> it's like one Claude prompt to add MIPS support to this

Can you provide the code somewhere? Is it complete? Does it really work? I have a hard time to believe that an LLM really can generate a complete and working backend for a target architecture with "one prompt". From my experience with such tools, by the end of the day it takes longer until it covers all edge cases and actually works than when writing it myself.

by Rochus

5/8/2026 at 4:41:53 PM

The backend is only ~1300 lines. QBE is a super simple project which is why adding a backend to it worked so well. I just pointed Claude at the existing RISC-V backend for reference and it whipped up the MIPS one. It really does work, though there might be bugs I didn't run into. I compiled an Amiga MOD player, written in my language, to the N64 and it worked fine, if that gives you an idea of how stress tested it was. IIRC it runs about 5x slower than GCC-generated code.

https://gist.github.com/SuperDisk/1aa50263a773143c82a39d4771...

by superdisk

5/8/2026 at 5:11:28 PM

Interesting, thanks for posting. I had a first look and think that the AI has messed up with the floating-point and casting instructions (i.e. just copied over the RV instructions). I also spotted other places (e.g. TLS) which look like RV. It's also surprising that the code - as you say - is so much slower than (optimized?) GCC, since QBE is assumed to be at 70-80%.

by Rochus

5/8/2026 at 3:48:01 PM

They absolutely can for simpler cases like this, especially recent GPT 5.x models are amazing at such lower-level compiler work.

by Tiberium

5/8/2026 at 2:15:26 PM

Truly amazing times. Just doing things has never been easier, and it has really reinvigorated me.

by ursuscamp

5/8/2026 at 3:00:59 PM

> I did that

Can you contribute it? I don't see it listed as an official backend.

by vintagedave

5/8/2026 at 3:15:11 PM

> Can you contribute it? I don't see it listed as an official backend.

I don't think anyone wants AI generated contribution to QBE (neither do I).

by kouosi

5/8/2026 at 4:23:47 PM

I'm starting to think I should post my prompts if the model one shots it as I don't think the code itself is worth putting out.

by nivethan

5/8/2026 at 4:43:38 PM

As the other commenter said, I don't think contributing it would be that useful, since QBE is a rather zen-garden project and I don't think the author would accept slop. Also he could just generate it with a prompt himself :P

It's certainly fun as a toy though!

by superdisk

5/8/2026 at 3:51:44 PM

Also relevant: https://git.sr.ht/~mcf/cproc is a C compiler on top of QBE

by Tiberium

5/9/2026 at 6:53:31 AM

For 32 bit support there's cparser which is very close to cproc.

by anthk

5/8/2026 at 5:07:55 PM

Combined with cproc, I get 70% of gcc -O2, for a small fraction of the code... and a plain and simple C coded compiler.

by sylware

5/8/2026 at 7:22:50 PM

IR description here: https://c9x.me/git/qbe.git/tree/doc/il.txt

It looks like it doesn't have native support for identifying GC roots, so it's either conservative GC or explicit stack management. I would really like to see something that is (mostly) memory-safe and has string-as-bytes. It's a bit wild that people use Chez Scheme as a target IR for lack of better options.

by fweimer

5/8/2026 at 7:42:25 PM

Looks like a new 1.3 release is coming very soon.

I love QBE, but it does have its limitations: - It handles the ABIs for passing and returning structures in registers, but only with superfluous copies to and from the stack. - Can't generate debug info for data. This is probably due to lack of assembler support and/or complexity in the DWARF format. - The line number debug info directives are currently undocumented and don't support inlined functions.

But it's smol, effective, and it doesn't make you deal with phi nodes!

by stevefolta

5/8/2026 at 2:06:40 PM

Do you know if there is ongoing work to support x86_64 on Windows?

by graemeg

5/9/2026 at 6:09:59 PM

Yes, windows support already merged to main so it will be in 1.3

by Willyboar

5/8/2026 at 3:53:15 PM

A, c9x among codemadness, cool people, among gopher://bitreich.org

https://codemadness.org/git/

Tons of these tools I use are from these guys (among 2f30). Small, predictable, usable, such as pointtools and catpoint. Sfeed for RSS, scc for gopher and so on, and smu for markdown from git repos > html.

by anthk