qsym

A symbolic executor for the QBE intermediate language

git clone https://git.8pit.net/qsym.git

1function $main(w %a) {
2@start
3	%.1 =l alloc4 2
4	storeh 255, %.1
5	%.2 =w loaduh %.1
6	%.3 =w extsb %.2
7	hlt
8}