qsym

A symbolic executor for the QBE intermediate language

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

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