qsym

A symbolic executor for the QBE intermediate language

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

 1function $main(w %a) {
 2@start
 3	%A0 =l alloc4 8
 4	%A1 =l add %A0, 4
 5	storew 1,  %A0
 6	storew %a, %A1
 7	%v1 =w loadw %A0
 8	%v2 =w loadw %A1
 9	%v3 =w add %v1, %v2
10	%result =w add %v3, 4294967294
11	jnz %result, @end1, @end2
12@end1
13	%exit =w add 0, 1
14	hlt
15@end2
16	%exit =w add 0, 2
17	hlt
18}