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, (0x2030ca00 | _VS | _V | _AV1S | _AV0S | _AQ | _V_COPY | _AC0_COPY | _AN | _AZ);
      8  1.1  christos 	dmm32 A1.w, 0xdf7ce5c7;
      9  1.1  christos 	dmm32 A1.x, 0xffffff9c;
     10  1.1  christos 	imm32 R0, 0x098ecb70;
     11  1.1  christos 	imm32 R1, 0x80000000;
     12  1.1  christos 	R1.H = (A1 += R0.L * R1.H) (M, ISS2);
     13  1.1  christos 	checkreg R1, 0x80000000;
     14  1.1  christos 	checkreg A1.w, 0xc534e5c7;
     15  1.1  christos 	checkreg A1.x, 0xffffff9c;
     16  1.1  christos 	checkreg ASTAT, (0x2030ca00 | _VS | _V | _AV1S | _AV0S | _AQ | _V_COPY | _AC0_COPY | _AN | _AZ);
     17  1.1  christos 
     18  1.1  christos 	dmm32 ASTAT, (0x00100600 | _VS | _AQ | _AZ);
     19  1.1  christos 	dmm32 A1.w, 0xdf39474d;
     20  1.1  christos 	dmm32 A1.x, 0xffffffd9;
     21  1.1  christos 	imm32 R2, 0x64864b87;
     22  1.1  christos 	imm32 R3, 0x61a97f85;
     23  1.1  christos 	imm32 R6, 0x1bcacb1a;
     24  1.1  christos 	R2.H = (A1 -= R6.L * R3.L) (M, ISS2);
     25  1.1  christos 	checkreg R2, 0x80004b87;
     26  1.1  christos 	checkreg A1.w, 0xf992dccb;
     27  1.1  christos 	checkreg A1.x, 0xffffffd9;
     28  1.1  christos 	checkreg ASTAT, (0x00100600 | _VS | _V | _AQ | _V_COPY | _AZ);
     29  1.1  christos 
     30  1.1  christos 	dmm32 ASTAT, (0x50f0c290 | _VS | _AC0 | _AQ | _CC | _AC0_COPY);
     31  1.1  christos 	dmm32 A1.w, 0xb0a49eb4;
     32  1.1  christos 	dmm32 A1.x, 0x00000000;
     33  1.1  christos 	imm32 R0, 0x1a1607f3;
     34  1.1  christos 	imm32 R1, 0x6dcc7fff;
     35  1.1  christos 	imm32 R6, 0x80008000;
     36  1.1  christos 	R6.H = (A1 -= R1.L * R0.H) (M, ISS2);
     37  1.1  christos 	checkreg R6, 0x7fff8000;
     38  1.1  christos 	checkreg A1.w, 0xa399b8ca;
     39  1.1  christos 	checkreg A1.x, 0x00000000;
     40  1.1  christos 	checkreg ASTAT, (0x50f0c290 | _VS | _V | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
     41  1.1  christos 
     42  1.1  christos 	dmm32 ASTAT, (0x48b04c10 | _VS | _AV1S | _AV0S | _AQ | _CC | _AC0_COPY | _AN);
     43  1.1  christos 	dmm32 A1.w, 0x91b35cde;
     44  1.1  christos 	dmm32 A1.x, 0x0000006c;
     45  1.1  christos 	imm32 R1, 0xf473c458;
     46  1.1  christos 	imm32 R5, 0x1358b0c2;
     47  1.1  christos 	imm32 R7, 0xfbf00410;
     48  1.1  christos 	R5.H = (A1 -= R1.L * R7.H) (M, ISS2);
     49  1.1  christos 	checkreg R5, 0x7fffb0c2;
     50  1.1  christos 	checkreg A1.w, 0xcc69025e;
     51  1.1  christos 	checkreg A1.x, 0x0000006c;
     52  1.1  christos 	checkreg ASTAT, (0x48b04c10 | _VS | _V | _AV1S | _AV0S | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
     53  1.1  christos 
     54  1.1  christos 	dmm32 ASTAT, (0x1ca04210 | _VS | _AC0 | _AQ | _AN | _AZ);
     55  1.1  christos 	dmm32 A1.w, 0xf516677c;
     56  1.1  christos 	dmm32 A1.x, 0x00000015;
     57  1.1  christos 	imm32 R5, 0x218d4960;
     58  1.1  christos 	imm32 R6, 0xfa8c8000;
     59  1.1  christos 	R5 = (A1 -= R6.L * R5.H) (M, ISS2);
     60  1.1  christos 	checkreg R5, 0x7fffffff;
     61  1.1  christos 	checkreg A1.w, 0x05dce77c;
     62  1.1  christos 	checkreg A1.x, 0x00000016;
     63  1.1  christos 	checkreg ASTAT, (0x1ca04210 | _VS | _V | _AC0 | _AQ | _V_COPY | _AN | _AZ);
     64  1.1  christos 
     65  1.1  christos 	dmm32 ASTAT, (0x04004490 | _VS | _AC1 | _AN);
     66  1.1  christos 	dmm32 A1.w, 0xd1795d0a;
     67  1.1  christos 	dmm32 A1.x, 0x00000000;
     68  1.1  christos 	imm32 R2, 0x67bd270e;
     69  1.1  christos 	imm32 R3, 0xda302534;
     70  1.1  christos 	imm32 R7, 0x7fffa2af;
     71  1.1  christos 	R2.H = (A1 += R7.L * R3.L) (M, ISS2);
     72  1.1  christos 	checkreg R2, 0x7fff270e;
     73  1.1  christos 	checkreg A1.w, 0xc3e9b396;
     74  1.1  christos 	checkreg A1.x, 0x00000000;
     75  1.1  christos 	checkreg ASTAT, (0x04004490 | _VS | _V | _AC1 | _V_COPY | _AN);
     76  1.1  christos 
     77  1.1  christos 	dmm32 ASTAT, (0x60600490 | _VS | _AV1S | _AC1 | _CC | _AC0_COPY | _AZ);
     78  1.1  christos 	dmm32 A1.w, 0xeb8abaea;
     79  1.1  christos 	dmm32 A1.x, 0x00000036;
     80  1.1  christos 	imm32 R1, 0x111687e8;
     81  1.1  christos 	imm32 R5, 0x111687e8;
     82  1.1  christos 	R1 = (A1 += R1.L * R5.L) (M, ISS2);
     83  1.1  christos 	checkreg R1, 0x7fffffff;
     84  1.1  christos 	checkreg A1.w, 0xabc93d2a;
     85  1.1  christos 	checkreg A1.x, 0x00000036;
     86  1.1  christos 	checkreg ASTAT, (0x60600490 | _VS | _V | _AV1S | _AC1 | _CC | _V_COPY | _AC0_COPY | _AZ);
     87  1.1  christos 
     88  1.1  christos 	dmm32 ASTAT, (0x30200e80 | _VS | _V | _AV1S | _AV0S | _AC1 | _AQ | _V_COPY | _AN);
     89  1.1  christos 	dmm32 A1.w, 0xd3275e78;
     90  1.1  christos 	dmm32 A1.x, 0xffffff89;
     91  1.1  christos 	imm32 R3, 0xfee80d8d;
     92  1.1  christos 	imm32 R6, 0x1c1a8000;
     93  1.1  christos 	imm32 R7, 0x00000000;
     94  1.1  christos 	R3 = (A1 += R7.L * R6.L) (M, ISS2);
     95  1.1  christos 	checkreg R3, 0x80000000;
     96  1.1  christos 	checkreg A1.w, 0xd3275e78;
     97  1.1  christos 	checkreg A1.x, 0xffffff89;
     98  1.1  christos 	checkreg ASTAT, (0x30200e80 | _VS | _V | _AV1S | _AV0S | _AC1 | _AQ | _V_COPY | _AN);
     99  1.1  christos 
    100  1.1  christos 	dmm32 ASTAT, (0x50208610 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY);
    101  1.1  christos 	dmm32 A1.w, 0xb3b71810;
    102  1.1  christos 	dmm32 A1.x, 0x00000000;
    103  1.1  christos 	imm32 R4, 0xfc2f7ffe;
    104  1.1  christos 	imm32 R5, 0x7fffffff;
    105  1.1  christos 	imm32 R7, 0x3488c040;
    106  1.1  christos 	R7.H = (A1 -= R4.L * R5.H) (M, ISS2);
    107  1.1  christos 	checkreg R7, 0x7fffc040;
    108  1.1  christos 	checkreg A1.w, 0x73b8980e;
    109  1.1  christos 	checkreg A1.x, 0x00000000;
    110  1.1  christos 	checkreg ASTAT, (0x50208610 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY);
    111  1.1  christos 
    112  1.1  christos 	dmm32 ASTAT, (0x48d04410 | _VS | _AV1S | _AV0S | _AC0 | _AQ);
    113  1.1  christos 	dmm32 A1.w, 0xeb066305;
    114  1.1  christos 	dmm32 A1.x, 0xffffff9c;
    115  1.1  christos 	imm32 R0, 0x80002105;
    116  1.1  christos 	imm32 R4, 0xf4fbe11e;
    117  1.1  christos 	imm32 R7, 0xffffb83a;
    118  1.1  christos 	R7 = (A1 += R0.L * R4.L) (M, ISS2);
    119  1.1  christos 	checkreg R7, 0x80000000;
    120  1.1  christos 	checkreg A1.w, 0x080fa69b;
    121  1.1  christos 	checkreg A1.x, 0xffffff9d;
    122  1.1  christos 	checkreg ASTAT, (0x48d04410 | _VS | _V | _AV1S | _AV0S | _AC0 | _AQ | _V_COPY);
    123  1.1  christos 
    124  1.1  christos 	dmm32 ASTAT, (0x3850c090 | _VS | _AV1S | _AV0S | _AC1 | _CC);
    125  1.1  christos 	dmm32 A1.w, 0xdfed6537;
    126  1.1  christos 	dmm32 A1.x, 0xffffffae;
    127  1.1  christos 	imm32 R0, 0xe962c700;
    128  1.1  christos 	imm32 R4, 0x32c97fff;
    129  1.1  christos 	imm32 R7, 0x28da7373;
    130  1.1  christos 	R4.H = (A1 += R7.L * R0.H) (M, ISS2);
    131  1.1  christos 	checkreg R4, 0x80007fff;
    132  1.1  christos 	checkreg A1.w, 0x492d423d;
    133  1.1  christos 	checkreg A1.x, 0xffffffaf;
    134  1.1  christos 	checkreg ASTAT, (0x3850c090 | _VS | _V | _AV1S | _AV0S | _AC1 | _CC | _V_COPY);
    135  1.1  christos 
    136  1.1  christos 	dmm32 ASTAT, (0x78a0ce00 | _VS | _AV1S | _AC0 | _AQ | _CC);
    137  1.1  christos 	dmm32 A1.w, 0x8c733a78;
    138  1.1  christos 	dmm32 A1.x, 0x0000002d;
    139  1.1  christos 	imm32 R1, 0x3840acb0;
    140  1.1  christos 	imm32 R3, 0x47b843ad;
    141  1.1  christos 	imm32 R7, 0x7fff4d00;
    142  1.1  christos 	R7 = (A1 += R1.L * R3.H) (M, ISS2);
    143  1.1  christos 	checkreg R7, 0x7fffffff;
    144  1.1  christos 	checkreg A1.w, 0x751c28f8;
    145  1.1  christos 	checkreg A1.x, 0x0000002d;
    146  1.1  christos 	checkreg ASTAT, (0x78a0ce00 | _VS | _V | _AV1S | _AC0 | _AQ | _CC | _V_COPY);
    147  1.1  christos 
    148  1.1  christos 	dmm32 ASTAT, (0x3cf08880 | _VS | _AV1S | _AV0S | _AC0);
    149  1.1  christos 	dmm32 A1.w, 0xbde0b55f;
    150  1.1  christos 	dmm32 A1.x, 0xfffffffd;
    151  1.1  christos 	imm32 R0, 0x80002300;
    152  1.1  christos 	imm32 R5, 0x635db45a;
    153  1.1  christos 	imm32 R7, 0x67e67af3;
    154  1.1  christos 	R7 = (A1 += R0.L * R5.L) (M, ISS2);
    155  1.1  christos 	checkreg R7, 0x80000000;
    156  1.1  christos 	checkreg A1.w, 0xd689035f;
    157  1.1  christos 	checkreg A1.x, 0xfffffffd;
    158  1.1  christos 	checkreg ASTAT, (0x3cf08880 | _VS | _V | _AV1S | _AV0S | _AC0 | _V_COPY);
    159  1.1  christos 
    160  1.1  christos 	dmm32 ASTAT, (0x58608410 | _VS | _AQ | _CC | _AZ);
    161  1.1  christos 	dmm32 A1.w, 0xe4660b32;
    162  1.1  christos 	dmm32 A1.x, 0xffffff84;
    163  1.1  christos 	imm32 R1, 0x2c6c9118;
    164  1.1  christos 	imm32 R2, 0x007793ad;
    165  1.1  christos 	imm32 R7, 0x526c17d9;
    166  1.1  christos 	R1.H = (A1 -= R2.L * R7.L) (M, ISS2);
    167  1.1  christos 	checkreg R1, 0x80009118;
    168  1.1  christos 	checkreg A1.w, 0xee7d528d;
    169  1.1  christos 	checkreg A1.x, 0xffffff84;
    170  1.1  christos 	checkreg ASTAT, (0x58608410 | _VS | _V | _AQ | _CC | _V_COPY | _AZ);
    171  1.1  christos 
    172  1.1  christos 	dmm32 ASTAT, (0x2020c210 | _VS | _AV1S | _AV0S | _AC0 | _AC0_COPY | _AN);
    173  1.1  christos 	dmm32 A1.w, 0x8da6c28f;
    174  1.1  christos 	dmm32 A1.x, 0x00000000;
    175  1.1  christos 	imm32 R1, 0x0000fff7;
    176  1.1  christos 	imm32 R4, 0xf85a0000;
    177  1.1  christos 	imm32 R7, 0x7fff0000;
    178  1.1  christos 	R7 = (A1 += R4.L * R1.L) (M, ISS2);
    179  1.1  christos 	checkreg R7, 0x7fffffff;
    180  1.1  christos 	checkreg A1.w, 0x8da6c28f;
    181  1.1  christos 	checkreg A1.x, 0x00000000;
    182  1.1  christos 	checkreg ASTAT, (0x2020c210 | _VS | _V | _AV1S | _AV0S | _AC0 | _V_COPY | _AC0_COPY | _AN);
    183  1.1  christos 
    184  1.1  christos 	pass
    185