libqbe/lisc/test/cup.ssa

# counts up from -1988 to 1991

@start
@loop
	%n0  =l phi @start -1988, @loop %n1
	%n1  =l add 1, %n0
	%cmp =w csle 1991, %n1
	jnz %cmp, @end, @loop
@end
	ret
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
			`@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`
fix two bugs in isel 2015-08-06 13:08:31 -04:00			`%cmp =w csle 1991, %n1`
jez becomes jnz, complete cmp+jmp contraction 2015-08-07 16:01:07 -04:00			`jnz %cmp, @end, @loop`
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			`@end`
			`ret`