xref: /netbsd-src/external/gpl3/gdb/dist/sim/testsuite/bfin/random_0012.S (revision 4b169a6ba595ae283ca507b26b15fdff40495b1c)
1# test VIT_MAX behavior when high Acc bits are set
2# mach: bfin
3#include "test.h"
4.include "testutils.inc"
5
6	start
7
8	dmm32 ASTAT, (0x5860c690 | _VS | _AV0S | _AC1 | _AQ | _CC | _AC0_COPY);
9	dmm32 A0.w, 0xd81562e8;
10	dmm32 A0.x, 0xffffffff;
11	imm32 R4, 0x15c2d815;
12	imm32 R5, 0xc9bd3a6b;
13	R4.L = VIT_MAX (R5) (ASR);
14	checkreg R4, 0x15c23a6b;
15	checkreg A0.w, 0x6c0ab174;
16	checkreg A0.x, 0x0000007f;
17	checkreg ASTAT, (0x5860c690 | _VS | _AV0S | _AC1 | _AQ | _CC | _AC0_COPY);
18
19	dmm32 ASTAT, (0x48308090 | _AV1 | _AV0 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
20	dmm32 A0.w, 0x715cf6e6;
21	dmm32 A0.x, 0xffffffb6;
22	imm32 R3, 0x3a89c7ed;
23	imm32 R4, 0x4819bbf9;
24	R3.L = VIT_MAX (R4) (ASR);
25	checkreg R3, 0x3a89bbf9;
26	checkreg A0.w, 0x38ae7b73;
27	checkreg A0.x, 0x0000005b;
28	checkreg ASTAT, (0x48308090 | _AV1 | _AV0 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
29
30	dmm32 ASTAT, (0x18104c10 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _CC | _AC0_COPY | _AZ);
31	dmm32 A0.w, 0xea06f130;
32	dmm32 A0.x, 0xffffffff;
33	imm32 R2, 0x62ce98f1;
34	imm32 R5, 0x045415f9;
35	R2.L = VIT_MAX (R5) (ASR);
36	checkreg R2, 0x62ce15f9;
37	checkreg A0.w, 0x75037898;
38	checkreg A0.x, 0x0000007f;
39	checkreg ASTAT, (0x18104c10 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _CC | _AC0_COPY | _AZ);
40
41	dmm32 ASTAT, (0x0090ce10 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AQ | _CC | _AC0_COPY | _AN);
42	dmm32 A0.w, 0xffffffff;
43	dmm32 A0.x, 0xffffffff;
44	imm32 R0, 0xc9647fff;
45	imm32 R6, 0x1d4baeb8;
46	R6.L = VIT_MAX (R0) (ASR);
47	checkreg R6, 0x1d4bc964;
48	checkreg A0.w, 0xffffffff;
49	checkreg A0.x, 0x0000007f;
50	checkreg ASTAT, (0x0090ce10 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AQ | _CC | _AC0_COPY | _AN);
51
52	pass
53