| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879 |
- # 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
|
