qsym

A symbolic executor for the QBE intermediate language

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

 1function w $main(w %.1) {
 2@start
 3	jnz %.1, @a, @b
 4@before_a
 5	%ret =w add 0, 23
 6@a
 7	%ret =w add 0, 1
 8@a_end
 9	hlt
10@after_a
11	%ret =w add 0, 42
12@before_b
13	%ret =w add 0, 13
14@b
15	%ret =w add 0, 2
16@b_end
17	hlt
18@after_b
19	%ret =w add 0, 1337
20}