File: satsubi.cgs

package info (click to toggle)
gdb-doc 16.3-1
  • links: PTS, VCS
  • area: non-free
  • in suites: forky, sid, trixie
  • size: 244,264 kB
  • sloc: ansic: 2,134,731; asm: 375,582; exp: 206,875; cpp: 73,639; makefile: 70,232; sh: 26,038; python: 13,697; yacc: 11,341; ada: 7,358; xml: 6,098; perl: 5,077; pascal: 3,389; tcl: 2,986; f90: 2,764; lisp: 1,984; cs: 879; lex: 738; sed: 228; awk: 181; objc: 137; fortran: 57
file content (59 lines) | stat: -rw-r--r-- 1,007 bytes parent folder | download | duplicates (35) 
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