sim/testsuite/sim/bfin/random_0012.S

   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