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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
# mach: bfin
#include "test.h"
.include "testutils.inc"
start
dmm32 ASTAT, (0x60608a90 | _VS | _V | _AV1S | _AV0S | _AQ | _V_COPY | _AC0_COPY);
dmm32 A1.w, 0xf41fbf3f;
dmm32 A1.x, 0x00000000;
imm32 R5, 0xd8d95310;
imm32 R6, 0xd0457fff;
R5.H = (A1 -= R6.L * R6.H) (M, FU);
checkreg R5, 0x7fff5310;
checkreg A1.w, 0x8bfe0f84;
checkreg A1.x, 0x00000000;
checkreg ASTAT, (0x60608a90 | _VS | _V | _AV1S | _AV0S | _AQ | _V_COPY | _AC0_COPY);
dmm32 ASTAT, (0x54b0ca90 | _VS | _AV1S | _AC1 | _AC0 | _CC | _AC0_COPY | _AN);
dmm32 A1.w, 0xf88288c8;
dmm32 A1.x, 0xffffffff;
imm32 R0, 0xfffe6736;
imm32 R2, 0x8000f882;
imm32 R3, 0xffff8391;
R0.H = (A1 += R3.L * R2.L) (M, FU);
checkreg R0, 0x80006736;
checkreg A1.w, 0x7fb7d06a;
checkreg A1.x, 0xffffffff;
checkreg ASTAT, (0x54b0ca90 | _VS | _V | _AV1S | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
dmm32 ASTAT, (0x1c500480 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AN);
dmm32 A1.w, 0x9083dd08;
dmm32 A1.x, 0x00000000;
imm32 R0, 0x00000000;
imm32 R4, 0x00002492;
R4.H = (A1 += R4.L * R0.H) (M, FU);
checkreg R4, 0x7fff2492;
checkreg ASTAT, (0x1c500480 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
dmm32 ASTAT, (0x7c00c810 | _AV1S | _AC1 | _AC0);
dmm32 A1.w, 0x69e86d3f;
dmm32 A1.x, 0xffffffc2;
imm32 R1, 0x64f42c5b;
imm32 R3, 0x4128529d;
R3 = (A1 -= R3.L * R1.L) (M, FU);
checkreg R3, 0x80000000;
checkreg A1.w, 0x5b981370;
checkreg A1.x, 0xffffffc2;
checkreg ASTAT, (0x7c00c810 | _VS | _V | _AV1S | _AC1 | _AC0 | _V_COPY);
dmm32 ASTAT, (0x5cc0c480 | _VS | _AQ | _CC);
dmm32 A1.w, 0x34bbe964;
dmm32 A1.x, 0x00000036;
imm32 R1, 0x7fffffff;
imm32 R5, 0x7fff427e;
A1 -= R5.L * R1.L (M, FU);
checkreg A1.w, 0xf23e2be2;
checkreg A1.x, 0x00000035;
checkreg ASTAT, (0x5cc0c480 | _VS | _AQ | _CC);
# here the result is zero, and the _V bit is set
dmm32 ASTAT, 0x0;
dmm32 A0.w, 0x00008492;
dmm32 A0.x, 0x00000000;
imm32 R2, 0x7fff0002;
imm32 R3, 0xfa6e8492;
imm32 R6, 0xffff0002;
R6 = (A0 -= R3.L * R2.L) (FU);
checkreg R6, 0x00000000;
checkreg A0.w, 0x00000000;
checkreg A0.x, 0x00000000;
checkreg ASTAT, ( _VS | _V | _AV0S | _AV0 | _V_COPY);
# here the result is zero, and the _V bit is not set
dmm32 ASTAT, (_V | _V_COPY);
dmm32 A0.w, 0x1fffc000;
dmm32 A0.x, 0x00000000;
imm32 R0, 0x80004000;
imm32 R4, 0x1fffffff;
imm32 R6, 0x80000000;
R4.L = (A0 -= R0.L * R6.H) (FU);
checkreg R4, 0x1fff0000;
checkreg A0.w, 0x00000000;
checkreg A0.x, 0x00000000;
checkreg ASTAT, (_AV0S | _AV0);
dmm32 ASTAT, (0x0c108610 | _VS | _AV0S | _AC1 | _AC0 | _AQ | _AC0_COPY | _AN);
dmm32 A0.w, 0x0000eaf0;
dmm32 A0.x, 0x00000000;
imm32 R1, 0x00010000;
imm32 R6, 0xfbf10001;
R1.L = (A0 -= R6.H * R1.H) (FU);
checkreg R1, 0x00010000;
checkreg A0.w, 0x00000000;
checkreg A0.x, 0x00000000;
checkreg ASTAT, (0x0c108610 | _VS | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _AC0_COPY | _AN);
pass
|
