1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
# 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
|