qsym

A symbolic executor for the QBE intermediate language

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

 1#!/usr/bin/awk -f
 2
 3BEGIN {
 4	in_halt = 0
 5}
 6
 7/^	$/ {
 8	in_halt = 0
 9}
10
11/^Halting executing$/ {
12	in_halt = 1
13}
14
15/^	main:.1 -> / {
16	if (in_halt)
17		print($3)
18}