# Verify ASTAT bits are set correctly during dsp mac insns
# mach: bfin
#include "test.h"
.include "testutils.inc"
start
dmm32 ASTAT, (0x4450cc90 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _V_COPY | _AC0_COPY | _AN);
dmm32 A0.w, 0x16ba2677;
dmm32 A0.x, 0x00000000;
imm32 R4, 0x80007fff;
A0 -= R4.H * R4.H (W32);
checkreg A0.w, 0x96ba2678;
checkreg A0.x, 0xffffffff;
checkreg ASTAT, (0x4450cc90 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _V_COPY | _AC0_COPY | _AN);
dmm32 ASTAT, (0x3c30c800 | _VS | _AV0S | _AC1 | _CC);
dmm32 A0.w, 0xf170d0c7;
dmm32 A0.x, 0xffffffff;
imm32 R2, 0x80008000;
A0 -= R2.H * R2.L (W32);
checkreg A0.w, 0x80000000;
checkreg A0.x, 0xffffffff;
checkreg ASTAT, (0x3c30c800 | _VS | _AV0S | _AV0 | _AC1 | _CC);
dmm32 ASTAT, (0x6c200880 | _VS | _AV1S | _AC1 | _AC0 | _CC | _AN);
dmm32 A0.x, 0x560a1c52;
dmm32 A0.x, 0xffffffbb;
imm32 R5, 0x8000ffff;
A0 = R5.H * R5.H (W32);
checkreg A0.w, 0x7fffffff;
checkreg A0.x, 0x00000000;
checkreg ASTAT, (0x6c200880 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AC0 | _CC | _AN);
dmm32 ASTAT, (0x58908a90 | _VS | _AC1 | _AC0 | _AQ);
dmm32 A0.w, 0x00c5a4e0;
dmm32 A0.x, 0x00000000;
imm32 R0, 0xffffb33a;
imm32 R2, 0xffffb33a;
imm32 R3, 0xb33a4cc6;
R2 = (A0 -= R0.L * R3.H) (FU);
checkreg R2, 0x00000000;
checkreg A0.w, 0x00000000;
checkreg A0.x, 0x00000000;
checkreg ASTAT, (0x58908a90 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _V_COPY);
dmm32 ASTAT, (0x2cc00c90 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY);
dmm32 A0.w, 0x00a38000;
dmm32 A0.x, 0x00000000;
imm32 R0, 0x2aa2ffff;
imm32 R1, 0xff5c711e;
imm32 R4, 0x2913dc90;
R0 = (A0 -= R4.L * R1.L) (IU);
checkreg R0, 0x00000000;
checkreg A0.w, 0x00000000;
checkreg A0.x, 0x00000000;
checkreg ASTAT, (0x2cc00c90 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _V_COPY | _AC0_COPY);
dmm32 ASTAT, (0x3880c280 | _VS | _AC1 | _AZ);
dmm32 A0.w, 0x00000000;
dmm32 A0.x, 0x00000000;
imm32 R4, 0x139ad315;
imm32 R6, 0x7fff0000;
R4.L = (A0 -= R6.H * R6.H) (FU);
checkreg R4, 0x139a0000;
checkreg ASTAT, (0x3880c280 | _VS | _V | _AV0S | _AV0 | _AC1 | _V_COPY | _AZ);
dmm32 ASTAT, (0x48408290 | _VS | _AV1S | _AV0S | _AQ | _CC | _AC0_COPY);
dmm32 A0.w, 0x6b426a69;
dmm32 A0.x, 0xffffffba;
imm32 R0, 0x24038000;
imm32 R2, 0xf62c7780;
imm32 R3, 0x5a64f8e8;
R2.L = (A0 -= R3.L * R0.L) (IH);
checkreg R2, 0xf62c8000;
checkreg A0.w, 0x80000000;
checkreg A0.x, 0xffffffff;
checkreg ASTAT, (0x48408290 | _VS | _V | _AV1S | _AV0S | _AV0 | _AQ | _CC | _V_COPY | _AC0_COPY);
dmm32 ASTAT, (0x7c00c210 | _VS | _AC1 | _AN);
dmm32 A1.w, 0x730173e9;
dmm32 A1.x, 0xffffffae;
imm32 R4, 0x8000ffff;
imm32 R5, 0x738559e8;
R5.H = (A1 -= R4.L * R5.L) (M, IH);
checkreg R5, 0x800059e8;
checkreg A1.w, 0x80000000;
checkreg A1.x, 0xffffffff;
checkreg ASTAT, (0x7c00c210 | _VS | _V | _AV1S | _AV1 | _AC1 | _V_COPY | _AN);
dmm32 ASTAT, (0x4830c400 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AZ);
dmm32 A0.w, 0x033a05f0;
dmm32 A0.x, 0x00000000;
imm32 R3, 0x5992dd5a;
imm32 R4, 0x098a889e;
imm32 R6, 0x8000de08;
R6.L = (A0 -= R4.L * R3.H) (TFU);
checkreg R6, 0x80000000;
checkreg A0.w, 0x00000000;
checkreg A0.x, 0x00000000;
checkreg ASTAT, (0x4830c400 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC0 | _CC | _V_COPY | _AZ);
pass