qsym

A symbolic executor for the QBE intermediate language

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

1data $data = { w 1234, w 5678 }
2
3function w $main(w %a) {
4@start
5	%ptr =l add $data, 4
6	%val =w loadw %ptr
7	hlt
8}