qsym

A symbolic executor for the QBE intermediate language

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

 1function $main(w %a) {
 2@start
 3        %a =w add %a, 5
 4        %b =w add 0, 42
 5        %r =w ceqw %a, %b
 6        jnz %r, @end1, @end2
 7@end1
 8        %exit =w add 0, 1
 9        hlt
10@end2
11        %exit =w add 0, 2
12        hlt
13}