# 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