| # mach: bfin |
| #include "test.h" |
| .include "testutils.inc" |
| |
| start |
| |
| dmm32 ASTAT, (0x74308400 | _VS | _AV1S | _AV0S | _CC | _AN); |
| dmm32 A0.w, 0x5d4cf98c; |
| dmm32 A0.x, 0xffffffff; |
| imm32 R0, 0xba16ffff; |
| imm32 R4, 0x8000109d; |
| imm32 R6, 0x8000b212; |
| R6.L = (A0 -= R4.L * R0.L) (IH); |
| checkreg R6, 0x80008000; |
| checkreg A0.w, 0x80000000; |
| checkreg A0.x, 0xffffffff; |
| checkreg ASTAT, (0x74308400 | _VS | _V | _AV1S | _AV0S | _AV0 | _CC | _V_COPY | _AN); |
| |
| dmm32 ASTAT, (0x34e0ce80 | _VS | _V | _AV1S | _V_COPY | _AN); |
| dmm32 A0.w, 0x64bb88af; |
| dmm32 A0.x, 0xffffffff; |
| imm32 R5, 0x00008000; |
| imm32 R7, 0x0001ad69; |
| R5.L = (A0 += R7.H * R7.L) (IH); |
| checkreg A0.w, 0x80000000; |
| checkreg A0.x, 0xffffffff; |
| checkreg ASTAT, (0x34e0ce80 | _VS | _V | _AV1S | _AV0S | _AV0 | _V_COPY | _AN); |
| |
| dmm32 ASTAT, (0x4c204c10 | _VS | _V | _AV0S | _AQ | _V_COPY | _AN); |
| dmm32 A1.w, 0x75642aaf; |
| dmm32 A1.x, 0xffffffff; |
| imm32 R2, 0x133dffff; |
| imm32 R4, 0xc00006aa; |
| imm32 R7, 0x7fffffff; |
| R4.H = (A1 -= R2.L * R7.H) (IH); |
| checkreg R4, 0x800006aa; |
| checkreg A1.w, 0x80000000; |
| checkreg A1.x, 0xffffffff; |
| checkreg ASTAT, (0x4c204c10 | _VS | _V | _AV1S | _AV1 | _AV0S | _AQ | _V_COPY | _AN); |
| |
| dmm32 ASTAT, (0x48600400 | _VS | _V | _AV0S | _AC1 | _AC0 | _CC | _V_COPY | _AN); |
| dmm32 A0.w, 0x534a596c; |
| dmm32 A0.x, 0xffffffff; |
| imm32 R1, 0x7fff86a7; |
| imm32 R5, 0x1163d244; |
| R1.L = (A0 -= R5.L * R1.L) (IH); |
| checkreg R1, 0x7fff8000; |
| checkreg A0.w, 0x80000000; |
| checkreg A0.x, 0xffffffff; |
| checkreg ASTAT, (0x48600400 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _CC | _V_COPY | _AN); |
| |
| dmm32 ASTAT, (0x38008c90 | _VS | _V | _AV1S | _AC1 | _CC | _V_COPY | _AN); |
| dmm32 A1.w, 0x80000000; |
| dmm32 A1.x, 0xffffffff; |
| imm32 R0, 0x7fffffff; |
| imm32 R1, 0xdee9214c; |
| imm32 R4, 0x79f3c80a; |
| R1.H = (A1 += R0.L * R4.H) (M, IH); |
| checkreg R1, 0x8000214c; |
| checkreg ASTAT, (0x38008c90 | _VS | _AV1S | _AV1 | _AC1 | _CC | _AN); |
| |
| dmm32 ASTAT, (0x4cb00a00 | _VS | _AV1S | _AV0S | _AC1 | _AN); |
| dmm32 A0.w, 0x804e7e2f; |
| dmm32 A0.x, 0xffffffff; |
| imm32 R1, 0x3fccdf09; |
| imm32 R2, 0x09e71015; |
| imm32 R6, 0x761ac984; |
| R2.L = (A0 += R6.L * R1.H) (IH); |
| checkreg R2, 0x09e78000; |
| checkreg A0.w, 0x80000000; |
| checkreg A0.x, 0xffffffff; |
| checkreg ASTAT, (0x4cb00a00 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC1 | _V_COPY | _AN); |
| |
| dmm32 ASTAT, (0x08904c00 | _VS | _AV0S | _AQ | _AZ); |
| dmm32 A0.w, 0x00000000; |
| dmm32 A0.x, 0x00000000; |
| imm32 R1, 0x80000000; |
| imm32 R2, 0x0001de54; |
| imm32 R5, 0x80000000; |
| R1.L = (A0 -= R5.H * R2.H) (TFU); |
| checkreg ASTAT, (0x08904c00 | _VS | _V | _AV0S | _AV0 | _AQ | _V_COPY | _AZ); |
| checkreg A0.w, 0x00000000; |
| checkreg A0.x, 0x00000000; |
| checkreg R1, 0x80000000; |
| checkreg R2, 0x0001de54; |
| checkreg R5, 0x80000000; |
| |
| dmm32 ASTAT, (0x00d04810 | _VS | _AV0S | _CC | _AC0_COPY | _AZ); |
| dmm32 A0.w, 0x00000000; |
| dmm32 A0.x, 0x00000000; |
| imm32 R4, 0x00020000; |
| imm32 R5, 0x35a26677; |
| R4.L = (A0 -= R5.H * R4.H) (TFU); |
| checkreg ASTAT, (0x00d04810 | _VS | _V | _AV0S | _AV0 | _CC | _V_COPY | _AC0_COPY | _AZ); |
| checkreg A0.w, 0x00000000; |
| checkreg A0.x, 0x00000000; |
| checkreg R4, 0x00020000; |
| checkreg R5, 0x35a26677; |
| |
| dmm32 ASTAT, (0x08100a80 | _VS | _AV0S | _AQ | _CC); |
| dmm32 A0.w, 0x00000000; |
| dmm32 A0.x, 0x00000000; |
| imm32 R0, 0x000300cc; |
| imm32 R4, 0x00029150; |
| imm32 R7, 0x00ff00ff; |
| R4.L = (A0 -= R0.L * R7.L) (IU); |
| checkreg R4, 0x00020000; |
| checkreg A0.w, 0x00000000; |
| checkreg A0.x, 0x00000000; |
| checkreg ASTAT, (0x08100a80 | _VS | _V | _AV0S | _AV0 | _AQ | _CC | _V_COPY); |
| |
| dmm32 ASTAT, (0x6c20c400 | _VS | _AV1S | _AV0S | _CC); |
| dmm32 A0.w, 0x860c9ac9; |
| dmm32 A0.x, 0xffffffff; |
| imm32 R2, 0x860c9a1b; |
| R2.L = (A0 -= R2.H * R2.L) (IH); |
| checkreg R2, 0x860c8000; |
| checkreg A0.w, 0x80000000; |
| checkreg A0.x, 0xffffffff; |
| checkreg ASTAT, (0x6c20c400 | _VS | _V | _AV1S | _AV0S | _AV0 | _CC | _V_COPY); |
| |
| dmm32 ASTAT, (0x20f00c10 | _VS | _AV0S | _AQ); |
| dmm32 A0.w, 0x0000de90; |
| dmm32 A0.x, 0x00000000; |
| imm32 R0, 0x00000003; |
| imm32 R1, 0xfffd8000; |
| imm32 R5, 0x4a31921c; |
| R1.L = (A0 -= R5.L * R0.L) (FU); |
| checkreg R1, 0xfffd0000; |
| checkreg A0.w, 0x00000000; |
| checkreg A0.x, 0x00000000; |
| checkreg ASTAT, (0x20f00c10 | _VS | _V | _AV0S | _AV0 | _AQ | _V_COPY); |
| |
| dmm32 ASTAT, (0x38700690 | _VS | _V | _AV1S | _AC1 | _AQ | _V_COPY); |
| dmm32 A1.w, 0x00000000; |
| dmm32 A1.x, 0x00000000; |
| imm32 R0, 0x58863d39; |
| imm32 R1, 0x45377355; |
| imm32 R6, 0x00030000; |
| R1.H = (A1 -= R0.L * R6.H) (TFU); |
| checkreg R1, 0x00007355; |
| checkreg ASTAT, (0x38700690 | _VS | _V | _AV1S | _AV1 | _AC1 | _AQ | _V_COPY); |
| |
| dmm32 ASTAT, (0x48704880 | _VS | _AV0S | _AC1 | _AC0 | _AQ | _AC0_COPY | _AN); |
| dmm32 A0.w, 0x7fffd68a; |
| dmm32 A0.x, 0xffffffff; |
| imm32 R7, 0x06d88000; |
| R7.L = A0 (IH); |
| checkreg A0.w, 0x7fffd68a; |
| checkreg A0.x, 0xffffffff; |
| checkreg R7, 0x06d88000; |
| checkreg ASTAT, (0x48704880 | _VS | _AV0S | _AC1 | _AC0 | _AQ | _AC0_COPY | _AN); |
| |
| pass |