qsym

A symbolic executor for the QBE intermediate language

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

 1function w $main(w %a) {
 2@start
 3        jnz %a, @l1, @l1
 4@l1
 5        jmp @phi
 6@l2
 7        jmp @phi
 8@phi
 9	%res =w phi @l1 1, @l2 2
10@end
11        hlt
12}