qsym

A symbolic executor for the QBE intermediate language

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

1data $data = { b 222, b 173, b 190, b 239 }
2
3function $main(w %a) {
4@start
5	%ptr =l add $data, 0
6	%val =l loadsw %ptr
7	hlt
8}