xref: /src/external/gpl3/gdb.old/dist/sim/testsuite/v850/satadd.cgs

# v850 satadd
# 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	0x70000000, r1
	seti	0x70000000, r2
	satadd	r1, r2

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

	noflags
	seti	0x7ffffffe, r1
	satadd	10, r1

	flags	sat + nc + v + ns + nz
	reg	r1, 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	0x90000000, r1
	seti	0x90000000, r2
	satadd	r1, r2

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

	noflags
	seti	0x80000001, r1
	satadd	-10, r1

	flags	sat + c + v + s + nz
	reg	r1, 0x80000000

# Check that the SAT flag remains set until reset

	seti	1, r1
	seti	2, r2
	satadd	r1,r2

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

	noflags
	seti	1, r1
	seti	2, r2
	satadd	r1,r2

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

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

	noflags
	seti	0x70000000, r1
	seti	0x0fffffff, r2
	satadd	r1,r2

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


	noflags
	seti	0x90000000, r1
	seti	0xf0000000, r2
	satadd	r1,r2

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


	pass