libqbe/test/loop.ssa

# simple looping program
# sums all integers from 100 to 0

export
function $test() {
@start

@loop
	%s  =w phi @start   0, @loop %s1
	%n  =w phi @start 100, @loop %n1
	%s1 =w add %s, %n
	%n1 =w sub %n, 1
	jnz %n1, @loop, @end

@end
	storew %s1, $a
	ret
}

# >>> driver
# extern void test(void);
# int a;
# int main() { test(); return !(a == 5050); }
# <<<
add a sample program 2015-07-03 15:11:36 -04:00			`# simple looping program`
			`# sums all integers from 100 to 0`

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`
add a sample program 2015-07-03 15:11:36 -04:00
cosmetic indentation style fix 2015-09-14 18:06:29 -04:00			`@loop`
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			`%s =w phi @start 0, @loop %s1`
			`%n =w phi @start 100, @loop %n1`
start work on word/long handling 2015-08-01 18:17:06 -04:00			`%s1 =w add %s, %n`
test comparison elimination in isel 2016-03-16 10:41:01 -04:00			`%n1 =w sub %n, 1`
jez becomes jnz, complete cmp+jmp contraction 2015-08-07 16:01:07 -04:00			`jnz %n1, @loop, @end`
add a sample program 2015-07-03 15:11:36 -04:00
cosmetic indentation style fix 2015-09-14 18:06:29 -04:00			`@end`
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			`storew %s1, $a`
add a sample program 2015-07-03 15:11:36 -04:00			`ret`
turn test files in one function definition 2015-09-07 22:11:43 -04:00			`}`
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
			`# >>> driver`
			`# extern void test(void);`
			`# int a;`
			`# int main() { test(); return !(a == 5050); }`
			`# <<<`