libqbe/test/cup.ssa

# counts up from -1988 to 1991

export
function $test() {
@start
@loop
	%n0  =l phi @start -1988, @loop %n1
	%n1  =l add 1, %n0
	%cmp =w cslel 1991, %n1
	jnz %cmp, @end, @loop
@end
	ret
}

# >>> driver
# extern void test(void);
# int main() { test(); return 0; }
# <<<
fix two bugs in isel 2015-08-06 13:08:31 -04:00			`# counts up from -1988 to 1991`
start work on comparisons There are two things I overlooked so far. 1. Binary instructions like cmp that do not have a result in registers need the size suffix sometimes, for example when comparing a spill location with a constant. 2. The register allocator needs to be adapted to support the comparison instruction: it is not possible to compare two spill locations without using a register. 2015-08-05 11:37:10 -04:00
implement export control 2016-03-28 10:30:55 -04:00			`export`
use new function syntax in tests 2015-09-18 12:27:50 -04:00			`function $test() {`
cosmetic indentation style fix 2015-09-14 18:06:29 -04:00			`@start`
			`@loop`
split cmp in two sizes 2015-08-06 16:35:17 -04:00			`%n0 =l phi @start -1988, @loop %n1`
			`%n1 =l add 1, %n0`
update tests to new comparisons 2016-02-11 20:02:31 -05:00			`%cmp =w cslel 1991, %n1`
jez becomes jnz, complete cmp+jmp contraction 2015-08-07 16:01:07 -04:00			`jnz %cmp, @end, @loop`
cosmetic indentation style fix 2015-09-14 18:06:29 -04:00			`@end`
start work on comparisons There are two things I overlooked so far. 1. Binary instructions like cmp that do not have a result in registers need the size suffix sometimes, for example when comparing a spill location with a constant. 2. The register allocator needs to be adapted to support the comparison instruction: it is not possible to compare two spill locations without using a register. 2015-08-05 11:37:10 -04:00			`ret`
turn test files in one function definition 2015-09-07 22:11:43 -04:00			`}`
start work on automating tests 2016-03-02 22:11:50 -05:00
			`# >>> driver`
testbed is now functional I would like to make sure some _ tests are passing, however I have to think of a nice way to grab debug output and compare it nicely. Some require NReg == 3, that is a pain in the ass. Maybe they can be changed to work for the full register set. 2016-03-03 11:55:13 -05:00			`# extern void test(void);`
start work on automating tests 2016-03-02 22:11:50 -05:00			`# int main() { test(); return 0; }`
			`# <<<`