Home | History | Annotate | Line # | Download | only in bfin
      1  1.1  christos # mach: bfin
      2  1.1  christos #include "test.h"
      3  1.1  christos .include "testutils.inc"
      4  1.1  christos 
      5  1.1  christos 	start
      6  1.1  christos 
      7  1.1  christos 	dmm32 ASTAT, (0x44004010 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY);
      8  1.1  christos 	dmm32 A1.w, 0x851fa4fc;
      9  1.1  christos 	dmm32 A1.x, 0x00000000;
     10  1.1  christos 	imm32 R0, 0x00000000;
     11  1.1  christos 	imm32 R2, 0x80000000;
     12  1.1  christos 	imm32 R5, 0x139d77b4;
     13  1.1  christos 	R5.H = (A1 += R2.L * R0.L) (M, S2RND);
     14  1.1  christos 	checkreg R5, 0x7fff77b4;
     15  1.1  christos 	checkreg A1.w, 0x851fa4fc;
     16  1.1  christos 	checkreg A1.x, 0x00000000;
     17  1.1  christos 	checkreg ASTAT, (0x44004010 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
     18  1.1  christos 
     19  1.1  christos 	dmm32 ASTAT, (0x48000600 | _VS | _V | _AV1S | _CC | _V_COPY);
     20  1.1  christos 	dmm32 A1.w, 0xc5ee7420;
     21  1.1  christos 	dmm32 A1.x, 0x00000000;
     22  1.1  christos 	imm32 R1, 0x45f17fff;
     23  1.1  christos 	imm32 R2, 0x00000000;
     24  1.1  christos 	imm32 R4, 0xffffffff;
     25  1.1  christos 	R1 = (A1 -= R2.L * R4.H) (M, S2RND);
     26  1.1  christos 	checkreg R1, 0x7fffffff;
     27  1.1  christos 	checkreg A1.w, 0xc5ee7420;
     28  1.1  christos 	checkreg A1.x, 0x00000000;
     29  1.1  christos 	checkreg ASTAT, (0x48000600 | _VS | _V | _AV1S | _CC | _V_COPY);
     30  1.1  christos 
     31  1.1  christos 	dmm32 ASTAT, (0x48500a10 | _VS | _V | _AV1S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AZ);
     32  1.1  christos 	dmm32 A1.w, 0x965cddab;
     33  1.1  christos 	dmm32 A1.x, 0x00000063;
     34  1.1  christos 	imm32 R1, 0x1d4cc3e7;
     35  1.1  christos 	imm32 R3, 0xe7ce9d8e;
     36  1.1  christos 	imm32 R6, 0x3cc80b2f;
     37  1.1  christos 	R6.H = (A1 -= R3.L * R1.L) (M, S2RND);
     38  1.1  christos 	checkreg R6, 0x7fff0b2f;
     39  1.1  christos 	checkreg A1.w, 0xe1b28889;
     40  1.1  christos 	checkreg A1.x, 0x00000063;
     41  1.1  christos 	checkreg ASTAT, (0x48500a10 | _VS | _V | _AV1S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AZ);
     42  1.1  christos 
     43  1.1  christos 	dmm32 ASTAT, (0x44308410 | _VS | _AV0S | _CC | _AN);
     44  1.1  christos 	dmm32 A1.w, 0x92315df7;
     45  1.1  christos 	dmm32 A1.x, 0x0000007e;
     46  1.1  christos 	imm32 R1, 0x9e4b24e0;
     47  1.1  christos 	imm32 R4, 0xe3da8000;
     48  1.1  christos 	imm32 R7, 0x00ba086c;
     49  1.1  christos 	R1.H = (A1 -= R7.L * R4.H) (M, S2RND);
     50  1.1  christos 	checkreg R1, 0x7fff24e0;
     51  1.1  christos 	checkreg A1.w, 0x8ab26dff;
     52  1.1  christos 	checkreg A1.x, 0x0000007e;
     53  1.1  christos 	checkreg ASTAT, (0x44308410 | _VS | _V | _AV0S | _CC | _V_COPY | _AN);
     54  1.1  christos 
     55  1.1  christos 	dmm32 ASTAT, (0x10a00090 | _VS | _V | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
     56  1.1  christos 	dmm32 A1.w, 0x8ed084bf;
     57  1.1  christos 	dmm32 A1.x, 0xffffffbe;
     58  1.1  christos 	imm32 R0, 0x8000ffff;
     59  1.1  christos 	imm32 R3, 0xbb4e34ef;
     60  1.1  christos 	imm32 R5, 0x7af8492d;
     61  1.1  christos 	R5 = (A1 += R3.L * R0.L) (M, S2RND);
     62  1.1  christos 	checkreg R5, 0x80000000;
     63  1.1  christos 	checkreg A1.w, 0xc3bf4fd0;
     64  1.1  christos 	checkreg A1.x, 0xffffffbe;
     65  1.1  christos 	checkreg ASTAT, (0x10a00090 | _VS | _V | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
     66  1.1  christos 
     67  1.1  christos 	dmm32 ASTAT, (0x10f04e10 | _VS | _V | _AV1S | _AV0S | _AC1 | _AN | _AZ);
     68  1.1  christos 	dmm32 A1.w, 0x81becdd8;
     69  1.1  christos 	dmm32 A1.x, 0x00000058;
     70  1.1  christos 	imm32 R2, 0x14946201;
     71  1.1  christos 	imm32 R4, 0x1a162edd;
     72  1.1  christos 	R2.H = (A1 -= R2.L * R4.L) (M, S2RND);
     73  1.1  christos 	checkreg R2, 0x7fff6201;
     74  1.1  christos 	checkreg A1.w, 0x6fce04fb;
     75  1.1  christos 	checkreg A1.x, 0x00000058;
     76  1.1  christos 	checkreg ASTAT, (0x10f04e10 | _VS | _V | _AV1S | _AV0S | _AC1 | _V_COPY | _AN | _AZ);
     77  1.1  christos 
     78  1.1  christos 	dmm32 ASTAT, (0x20f04c80 | _VS | _AV0S | _AN);
     79  1.1  christos 	dmm32 A1.w, 0xe9cc0041;
     80  1.1  christos 	dmm32 A1.x, 0x00000079;
     81  1.1  christos 	imm32 R1, 0x0f62a5a2;
     82  1.1  christos 	imm32 R3, 0x4e8e9bdd;
     83  1.1  christos 	imm32 R7, 0x6630d991;
     84  1.1  christos 	R1 = (A1 -= R3.L * R7.H) (M, S2RND);
     85  1.1  christos 	checkreg R1, 0x7fffffff;
     86  1.1  christos 	checkreg A1.w, 0x11c4b8d1;
     87  1.1  christos 	checkreg A1.x, 0x0000007a;
     88  1.1  christos 	checkreg ASTAT, (0x20f04c80 | _VS | _V | _AV0S | _V_COPY | _AN);
     89  1.1  christos 
     90  1.1  christos 	dmm32 ASTAT, (0x20104e00 | _VS | _AC1 | _AC0 | _AQ | _AN);
     91  1.1  christos 	dmm32 A1.w, 0xadeb5c67;
     92  1.1  christos 	dmm32 A1.x, 0xffffffa6;
     93  1.1  christos 	imm32 R1, 0x07911840;
     94  1.1  christos 	imm32 R7, 0x01070000;
     95  1.1  christos 	R7 = (A1 += R1.L * R7.H) (M, S2RND);
     96  1.1  christos 	checkreg R7, 0x80000000;
     97  1.1  christos 	checkreg A1.w, 0xae044627;
     98  1.1  christos 	checkreg A1.x, 0xffffffa6;
     99  1.1  christos 	checkreg ASTAT, (0x20104e00 | _VS | _V | _AC1 | _AC0 | _AQ | _V_COPY | _AN);
    100  1.1  christos 
    101  1.1  christos 	dmm32 ASTAT, (0x08e04010 | _VS | _AV0S);
    102  1.1  christos 	dmm32 A1.w, 0xff80f384;
    103  1.1  christos 	dmm32 A1.x, 0x00000003;
    104  1.1  christos 	imm32 R1, 0x00000000;
    105  1.1  christos 	imm32 R2, 0x8000387c;
    106  1.1  christos 	imm32 R3, 0x1e547fff;
    107  1.1  christos 	R2.H = (A1 -= R1.L * R3.L) (M, S2RND);
    108  1.1  christos 	checkreg R2, 0x7fff387c;
    109  1.1  christos 	checkreg A1.w, 0xff80f384;
    110  1.1  christos 	checkreg A1.x, 0x00000003;
    111  1.1  christos 	checkreg ASTAT, (0x08e04010 | _VS | _V | _AV0S | _V_COPY);
    112  1.1  christos 
    113  1.1  christos 	dmm32 ASTAT, (0x0cf08280 | _VS | _AV1S | _AC1 | _CC | _AN);
    114  1.1  christos 	dmm32 A1.w, 0x80000000;
    115  1.1  christos 	dmm32 A1.x, 0xffffff80;
    116  1.1  christos 	imm32 R2, 0xecc35cac;
    117  1.1  christos 	imm32 R4, 0x00007fff;
    118  1.1  christos 	imm32 R7, 0x80000000;
    119  1.1  christos 	R7 = (A1 -= R4.L * R2.L) (M, S2RND);
    120  1.1  christos 	checkreg R7, 0x80000000;
    121  1.1  christos 	checkreg A1.w, 0x51aa5cac;
    122  1.1  christos 	checkreg A1.x, 0xffffff80;
    123  1.1  christos 	checkreg ASTAT, (0x0cf08280 | _VS | _V | _AV1S | _AC1 | _CC | _V_COPY | _AN);
    124  1.1  christos 
    125  1.1  christos 	dmm32 ASTAT, (0x40c08090 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AN);
    126  1.1  christos 	dmm32 A1.w, 0xfcbe6525;
    127  1.1  christos 	dmm32 A1.x, 0x00000039;
    128  1.1  christos 	imm32 R0, 0x0003f3c0;
    129  1.1  christos 	imm32 R2, 0xfffffffc;
    130  1.1  christos 	imm32 R6, 0xffff0000;
    131  1.1  christos 	R0.H = (A1 -= R2.L * R6.H) (M, S2RND);
    132  1.1  christos 	checkreg R0, 0x7ffff3c0;
    133  1.1  christos 	checkreg A1.w, 0xfcc26521;
    134  1.1  christos 	checkreg A1.x, 0x00000039;
    135  1.1  christos 	checkreg ASTAT, (0x40c08090 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
    136  1.1  christos 
    137  1.1  christos 	dmm32 ASTAT, (0x00704c10 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _V_COPY);
    138  1.1  christos 	dmm32 A1.w, 0xdfbb3c19;
    139  1.1  christos 	dmm32 A1.x, 0x00000000;
    140  1.1  christos 	imm32 R0, 0x50407788;
    141  1.1  christos 	imm32 R4, 0x50407788;
    142  1.1  christos 	imm32 R6, 0x0d3f0c0a;
    143  1.1  christos 	R6.H = (A1 -= R4.L * R0.L) (M, S2RND);
    144  1.1  christos 	checkreg R6, 0x7fff0c0a;
    145  1.1  christos 	checkreg A1.w, 0xa7eb83d9;
    146  1.1  christos 	checkreg A1.x, 0x00000000;
    147  1.1  christos 	checkreg ASTAT, (0x00704c10 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _V_COPY);
    148  1.1  christos 
    149  1.1  christos 	dmm32 ASTAT, (0x3c50c610 | _VS | _V | _AV1S | _AC1 | _CC | _V_COPY | _AN);
    150  1.1  christos 	dmm32 A1.w, 0xbc7ca70b;
    151  1.1  christos 	dmm32 A1.x, 0xffffff80;
    152  1.1  christos 	imm32 R1, 0x76b3a772;
    153  1.1  christos 	imm32 R2, 0x5cc87864;
    154  1.1  christos 	imm32 R5, 0x33169c34;
    155  1.1  christos 	R1 = (A1 += R2.L * R5.H) (M, S2RND);
    156  1.1  christos 	checkreg R1, 0x80000000;
    157  1.1  christos 	checkreg A1.w, 0xd482eba3;
    158  1.1  christos 	checkreg A1.x, 0xffffff80;
    159  1.1  christos 	checkreg ASTAT, (0x3c50c610 | _VS | _V | _AV1S | _AC1 | _CC | _V_COPY | _AN);
    160  1.1  christos 
    161  1.1  christos 	dmm32 ASTAT, (0x50008480 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY);
    162  1.1  christos 	dmm32 A1.w, 0xd843bd0f;
    163  1.1  christos 	dmm32 A1.x, 0x00000027;
    164  1.1  christos 	imm32 R0, 0xc5d36b7c;
    165  1.1  christos 	imm32 R7, 0x7fff8000;
    166  1.1  christos 	R0.H = (A1 += R0.L * R7.L) (M, S2RND);
    167  1.1  christos 	checkreg R0, 0x7fff6b7c;
    168  1.1  christos 	checkreg A1.w, 0x0e01bd0f;
    169  1.1  christos 	checkreg A1.x, 0x00000028;
    170  1.1  christos 	checkreg ASTAT, (0x50008480 | _VS | _V | _AC1 | _AC0 | _AQ | _V_COPY | _AC0_COPY);
    171  1.1  christos 
    172  1.1  christos 	dmm32 ASTAT, (0x50208610 | _VS | _V | _AV1S | _AV0S | _V_COPY | _AN);
    173  1.1  christos 	dmm32 A1.w, 0xcf30f0be;
    174  1.1  christos 	dmm32 A1.x, 0xffffffad;
    175  1.1  christos 	imm32 R0, 0x6d8f3470;
    176  1.1  christos 	imm32 R4, 0x4174b386;
    177  1.1  christos 	imm32 R6, 0x0793b3dd;
    178  1.1  christos 	R0.H = (A1 -= R4.L * R6.H) (M, S2RND);
    179  1.1  christos 	checkreg R0, 0x80003470;
    180  1.1  christos 	checkreg A1.w, 0xd17430cc;
    181  1.1  christos 	checkreg A1.x, 0xffffffad;
    182  1.1  christos 	checkreg ASTAT, (0x50208610 | _VS | _V | _AV1S | _AV0S | _V_COPY | _AN);
    183  1.1  christos 
    184  1.1  christos 	dmm32 ASTAT, (0x60700c10 | _VS | _V | _AV1S | _AV0S | _AQ | _V_COPY | _AC0_COPY);
    185  1.1  christos 	dmm32 A1.w, 0xc867b111;
    186  1.1  christos 	dmm32 A1.x, 0xffffff90;
    187  1.1  christos 	imm32 R4, 0x580f445e;
    188  1.1  christos 	imm32 R5, 0x1fb2e64b;
    189  1.1  christos 	imm32 R6, 0xb6bc814b;
    190  1.1  christos 	R6.H = (A1 += R5.L * R4.L) (M, S2RND);
    191  1.1  christos 	checkreg R6, 0x8000814b;
    192  1.1  christos 	checkreg A1.w, 0xc18a2c9b;
    193  1.1  christos 	checkreg A1.x, 0xffffff90;
    194  1.1  christos 	checkreg ASTAT, (0x60700c10 | _VS | _V | _AV1S | _AV0S | _AQ | _V_COPY | _AC0_COPY);
    195  1.1  christos 
    196  1.1  christos 	dmm32 ASTAT, (0x4070c080 | _AV0S | _CC);
    197  1.1  christos 	dmm32 A1.w, 0xe1239b9f;
    198  1.1  christos 	dmm32 A1.x, 0xffffffcd;
    199  1.1  christos 	imm32 R4, 0xe4d2beb4;
    200  1.1  christos 	imm32 R5, 0x1c919600;
    201  1.1  christos 	imm32 R6, 0x18356124;
    202  1.1  christos 	R5.H = (A1 -= R4.L * R6.L) (M, S2RND);
    203  1.1  christos 	checkreg R5, 0x80009600;
    204  1.1  christos 	checkreg A1.w, 0xf9ea964f;
    205  1.1  christos 	checkreg A1.x, 0xffffffcd;
    206  1.1  christos 	checkreg ASTAT, (0x4070c080 | _VS | _V | _AV0S | _CC | _V_COPY);
    207  1.1  christos 
    208  1.1  christos 	dmm32 ASTAT, (0x50608210 | _VS | _AV1S | _AV0S | _AV0 | _AC0 | _AQ | _CC | _AC0_COPY | _AN);
    209  1.1  christos 	dmm32 A1.w, 0xe8c00d5a;
    210  1.1  christos 	dmm32 A1.x, 0xffffffbe;
    211  1.1  christos 	imm32 R1, 0x2baf99f2;
    212  1.1  christos 	imm32 R4, 0x03e69887;
    213  1.1  christos 	imm32 R7, 0x07f45a0f;
    214  1.1  christos 	R1 = (A1 -= R7.L * R4.H) (M, S2RND);
    215  1.1  christos 	checkreg R1, 0x80000000;
    216  1.1  christos 	checkreg A1.w, 0xe760f6e0;
    217  1.1  christos 	checkreg A1.x, 0xffffffbe;
    218  1.1  christos 	checkreg ASTAT, (0x50608210 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
    219  1.1  christos 
    220  1.1  christos 	pass
    221