# v850 satsubi
# mach: all

	.include "testutils.inc"

# If the result of the add is "negative", that means we went too
# positive.  The result should be the most positive number.

	noflags
	seti	0x7ffffffe, r1
	satsubi	-10, r1, r2

	flags	sat + c + v + ns + nz
	reg	r2, 0x7fffffff

# Similarly, if the result of the add is "positive", that means we
# went too negative.  The result should be the most negative number.

	noflags
	seti	0x80000001, r1
	satsubi	10, r1, r2

	flags	sat + nc + v + s + nz
	reg	r2, 0x80000000

# Check that the SAT flag remains set until reset

	seti	2, r1
	satsubi	1, r1, r2

	flags	sat + nc + nv + ns + nz
	reg	r2, 1

	noflags
	seti	2, r1
	satsubi	1, r1, r2

	flags	nsat + nc + nv + ns + nz
	reg	r2, 1

# Check that results exactly equal to min/max don't saturate

	noflags
	seti	0x7ffffffe, r1
	satsubi	-1, r1, r2

	flags	nsat + c + nv + ns + nz
	reg	r2, 0x7fffffff


	noflags
	seti	0x80000001, r1
	satsubi	1, r1, r2

	flags	nsat + nc + nv + s + nz
	reg	r2, 0x80000000


	pass