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, (0x00a0cc80 | _VS | _AV1S | _AQ | _CC | _AN);
      8  1.1  christos 	dmm32 A1.w, 0x8f7fea28;
      9  1.1  christos 	dmm32 A1.x, 0x00000005;
     10  1.1  christos 	imm32 R2, 0x000014f2;
     11  1.1  christos 	imm32 R4, 0x7fff7fff;
     12  1.1  christos 	imm32 R7, 0x14d3a258;
     13  1.1  christos 	R7.H = (A1 -= R4.L * R2.H) (M, T);
     14  1.1  christos 	checkreg R7, 0x7fffa258;
     15  1.1  christos 	checkreg A1.w, 0x8f7fea28;
     16  1.1  christos 	checkreg A1.x, 0x00000005;
     17  1.1  christos 	checkreg ASTAT, (0x00a0cc80 | _VS | _V | _AV1S | _AQ | _CC | _V_COPY | _AN);
     18  1.1  christos 
     19  1.1  christos 	dmm32 ASTAT, (0x7c90c410 | _VS | _V | _AV1S | _AV0S | _AQ | _CC | _V_COPY);
     20  1.1  christos 	dmm32 A1.w, 0xbfed6ffc;
     21  1.1  christos 	dmm32 A1.x, 0x00000000;
     22  1.1  christos 	imm32 R0, 0x7fffffff;
     23  1.1  christos 	imm32 R5, 0x00000000;
     24  1.1  christos 	imm32 R6, 0xf70a7fff;
     25  1.1  christos 	R0.H = (A1 -= R5.L * R6.L) (M, T);
     26  1.1  christos 	checkreg ASTAT, (0x7c90c410 | _VS | _V | _AV1S | _AV0S | _AQ | _CC | _V_COPY);
     27  1.1  christos 	checkreg A1.w, 0xbfed6ffc;
     28  1.1  christos 	checkreg A1.x, 0x00000000;
     29  1.1  christos 	checkreg R0, 0x7fffffff;
     30  1.1  christos 	checkreg R5, 0x00000000;
     31  1.1  christos 	checkreg R6, 0xf70a7fff;
     32  1.1  christos 
     33  1.1  christos 	dmm32 ASTAT, (0x2c508a10 | _VS | _AV1S | _AV0S | _AC1 | _AQ);
     34  1.1  christos 	dmm32 A1.w, 0xfffd8001;
     35  1.1  christos 	dmm32 A1.x, 0x00000000;
     36  1.1  christos 	imm32 R3, 0x00018000;
     37  1.1  christos 	imm32 R4, 0x7fff8000;
     38  1.1  christos 	imm32 R5, 0x7fff0002;
     39  1.1  christos 	R3.H = (A1 += R5.L * R4.L) (M, T);
     40  1.1  christos 	checkreg R3, 0x7fff8000;
     41  1.1  christos 	checkreg A1.w, 0xfffe8001;
     42  1.1  christos 	checkreg A1.x, 0x00000000;
     43  1.1  christos 	checkreg ASTAT, (0x2c508a10 | _VS | _V | _AV1S | _AV0S | _AC1 | _AQ | _V_COPY);
     44  1.1  christos 
     45  1.1  christos 	dmm32 ASTAT, (0x28408c90 | _VS | _AV1S | _AC0 | _AQ | _AC0_COPY | _AN);
     46  1.1  christos 	dmm32 A1.w, 0x842fbc0a;
     47  1.1  christos 	dmm32 A1.x, 0x00000000;
     48  1.1  christos 	imm32 R0, 0x04c44422;
     49  1.1  christos 	imm32 R3, 0x40f67fff;
     50  1.1  christos 	imm32 R7, 0x448c0856;
     51  1.1  christos 	R7.H = (A1 -= R3.L * R0.H) (M, T);
     52  1.1  christos 	checkreg R7, 0x7fff0856;
     53  1.1  christos 	checkreg A1.w, 0x81cdc0ce;
     54  1.1  christos 	checkreg A1.x, 0x00000000;
     55  1.1  christos 	checkreg ASTAT, (0x28408c90 | _VS | _V | _AV1S | _AC0 | _AQ | _V_COPY | _AC0_COPY | _AN);
     56  1.1  christos 
     57  1.1  christos 	dmm32 ASTAT, (0x44708c10 | _AV1S | _CC | _AC0_COPY | _AN);
     58  1.1  christos 	dmm32 A1.w, 0xaa016cf5;
     59  1.1  christos 	dmm32 A1.x, 0xffffffdb;
     60  1.1  christos 	imm32 R2, 0x25908079;
     61  1.1  christos 	imm32 R5, 0x46eabfcd;
     62  1.1  christos 	imm32 R7, 0x67066230;
     63  1.1  christos 	R2.H = (A1 += R5.L * R7.H) (M, T);
     64  1.1  christos 	checkreg R2, 0x80008079;
     65  1.1  christos 	checkreg A1.w, 0x902b66c3;
     66  1.1  christos 	checkreg A1.x, 0xffffffdb;
     67  1.1  christos 	checkreg ASTAT, (0x44708c10 | _VS | _V | _AV1S | _CC | _V_COPY | _AC0_COPY | _AN);
     68  1.1  christos 
     69  1.1  christos 	dmm32 ASTAT, (0x3c604090 | _VS | _V | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
     70  1.1  christos 	dmm32 A1.w, 0x8eef28b0;
     71  1.1  christos 	dmm32 A1.x, 0x00000023;
     72  1.1  christos 	imm32 R0, 0x000156b2;
     73  1.1  christos 	imm32 R1, 0xfc1a8000;
     74  1.1  christos 	imm32 R5, 0x7fff7fff;
     75  1.1  christos 	R5.H = (A1 += R1.L * R0.H) (M, T);
     76  1.1  christos 	checkreg A1.w, 0x8eeea8b0;
     77  1.1  christos 	checkreg A1.x, 0x00000023;
     78  1.1  christos 	checkreg ASTAT, (0x3c604090 | _VS | _V | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
     79  1.1  christos 
     80  1.1  christos 	dmm32 ASTAT, (0x74208e00 | _VS | _AV0S | _AC0 | _AQ | _AC0_COPY);
     81  1.1  christos 	dmm32 A1.w, 0xed3c9973;
     82  1.1  christos 	dmm32 A1.x, 0x00000000;
     83  1.1  christos 	imm32 R0, 0x80000000;
     84  1.1  christos 	imm32 R1, 0x7fff8000;
     85  1.1  christos 	imm32 R2, 0x00000000;
     86  1.1  christos 	R1.H = (A1 -= R2.L * R0.H) (M, T);
     87  1.1  christos 	checkreg ASTAT, (0x74208e00 | _VS | _V | _AV0S | _AC0 | _AQ | _V_COPY | _AC0_COPY);
     88  1.1  christos 	checkreg A1.w, 0xed3c9973;
     89  1.1  christos 	checkreg A1.x, 0x00000000;
     90  1.1  christos 	checkreg R0, 0x80000000;
     91  1.1  christos 	checkreg R1, 0x7fff8000;
     92  1.1  christos 	checkreg R2, 0x00000000;
     93  1.1  christos 
     94  1.1  christos 	dmm32 ASTAT, (0x10308800 | _VS | _AV0S | _AC0 | _AC0_COPY);
     95  1.1  christos 	dmm32 A1.w, 0x8b345e6e;
     96  1.1  christos 	dmm32 A1.x, 0x00000000;
     97  1.1  christos 	imm32 R3, 0xc40c1663;
     98  1.1  christos 	imm32 R4, 0xd0347fff;
     99  1.1  christos 	imm32 R7, 0x4249da20;
    100  1.1  christos 	R3.H = (A1 += R4.L * R7.H) (M, T);
    101  1.1  christos 	checkreg R3, 0x7fff1663;
    102  1.1  christos 	checkreg A1.w, 0xac589c25;
    103  1.1  christos 	checkreg A1.x, 0x00000000;
    104  1.1  christos 	checkreg ASTAT, (0x10308800 | _VS | _V | _AV0S | _AC0 | _V_COPY | _AC0_COPY);
    105  1.1  christos 
    106  1.1  christos 	dmm32 ASTAT, (0x1c104880 | _VS | _V | _AV1S | _AV0S | _AC1 | _AQ | _CC | _V_COPY | _AZ);
    107  1.1  christos 	dmm32 A1.w, 0xa333ecbc;
    108  1.1  christos 	dmm32 A1.x, 0xffffffea;
    109  1.1  christos 	imm32 R2, 0x7fffffff;
    110  1.1  christos 	imm32 R3, 0x72ea7fff;
    111  1.1  christos 	imm32 R4, 0x07348ad1;
    112  1.1  christos 	R4.H = (A1 += R2.L * R3.L) (M, T);
    113  1.1  christos 	checkreg R4, 0x80008ad1;
    114  1.1  christos 	checkreg A1.w, 0xa3336cbd;
    115  1.1  christos 	checkreg A1.x, 0xffffffea;
    116  1.1  christos 	checkreg ASTAT, (0x1c104880 | _VS | _V | _AV1S | _AV0S | _AC1 | _AQ | _CC | _V_COPY | _AZ);
    117  1.1  christos 
    118  1.1  christos 	dmm32 ASTAT, (0x44904e00 | _VS);
    119  1.1  christos 	dmm32 A1.w, 0x90202372;
    120  1.1  christos 	dmm32 A1.x, 0xffffffc4;
    121  1.1  christos 	imm32 R2, 0x138ac9fc;
    122  1.1  christos 	imm32 R3, 0x720a427f;
    123  1.1  christos 	imm32 R4, 0x800000f5;
    124  1.1  christos 	R3.H = (A1 += R4.L * R2.H) (M, T);
    125  1.1  christos 	checkreg R3, 0x8000427f;
    126  1.1  christos 	checkreg A1.w, 0x9032d684;
    127  1.1  christos 	checkreg A1.x, 0xffffffc4;
    128  1.1  christos 	checkreg ASTAT, (0x44904e00 | _VS | _V | _V_COPY);
    129  1.1  christos 
    130  1.1  christos 	dmm32 ASTAT, (0x48f04c90 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AN);
    131  1.1  christos 	dmm32 A1.w, 0xe9c97364;
    132  1.1  christos 	dmm32 A1.x, 0xffffffef;
    133  1.1  christos 	imm32 R2, 0x001dffe9;
    134  1.1  christos 	imm32 R3, 0x50f06d20;
    135  1.1  christos 	imm32 R6, 0x6179b75b;
    136  1.1  christos 	R6.H = (A1 -= R3.L * R2.L) (M, T);
    137  1.1  christos 	checkreg R6, 0x8000b75b;
    138  1.1  christos 	checkreg A1.w, 0x7cb34144;
    139  1.1  christos 	checkreg A1.x, 0xffffffef;
    140  1.1  christos 	checkreg ASTAT, (0x48f04c90 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AN);
    141  1.1  christos 
    142  1.1  christos 	dmm32 ASTAT, (0x68d00e90 | _VS | _V | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
    143  1.1  christos 	dmm32 A1.w, 0xf3d34812;
    144  1.1  christos 	dmm32 A1.x, 0xffffff95;
    145  1.1  christos 	imm32 R1, 0xf7419a18;
    146  1.1  christos 	imm32 R6, 0x0fdf83b3;
    147  1.1  christos 	imm32 R7, 0x0b831070;
    148  1.1  christos 	R7.H = (A1 -= R6.L * R1.H) (M, T);
    149  1.1  christos 	checkreg R7, 0x80001070;
    150  1.1  christos 	checkreg A1.w, 0x6be1229f;
    151  1.1  christos 	checkreg A1.x, 0xffffff96;
    152  1.1  christos 	checkreg ASTAT, (0x68d00e90 | _VS | _V | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
    153  1.1  christos 
    154  1.1  christos 	dmm32 ASTAT, (0x3060ce80 | _VS | _AV1S | _AC1 | _CC | _AN);
    155  1.1  christos 	dmm32 A1.w, 0xe0c1fc60;
    156  1.1  christos 	dmm32 A1.x, 0x00000000;
    157  1.1  christos 	imm32 R1, 0x00e97fff;
    158  1.1  christos 	imm32 R7, 0x3fff0001;
    159  1.1  christos 	R1.H = (A1 += R1.L * R7.H) (M, T);
    160  1.1  christos 	checkreg R1, 0x7fff7fff;
    161  1.1  christos 	checkreg A1.w, 0x00c13c61;
    162  1.1  christos 	checkreg A1.x, 0x00000001;
    163  1.1  christos 	checkreg ASTAT, (0x3060ce80 | _VS | _V | _AV1S | _AC1 | _CC | _V_COPY | _AN);
    164  1.1  christos 
    165  1.1  christos 	dmm32 ASTAT, (0x3c80c000 | _VS | _AV0S | _AC0_COPY | _AN);
    166  1.1  christos 	dmm32 A1.w, 0xb0e43973;
    167  1.1  christos 	dmm32 A1.x, 0xffffffbc;
    168  1.1  christos 	imm32 R0, 0x511a6fe3;
    169  1.1  christos 	imm32 R1, 0x43fe2c80;
    170  1.1  christos 	imm32 R2, 0x424b5c19;
    171  1.1  christos 	R0.H = (A1 -= R2.L * R1.H) (M, T);
    172  1.1  christos 	checkreg R0, 0x80006fe3;
    173  1.1  christos 	checkreg A1.w, 0x986e4da5;
    174  1.1  christos 	checkreg A1.x, 0xffffffbc;
    175  1.1  christos 	checkreg ASTAT, (0x3c80c000 | _VS | _V | _AV0S | _V_COPY | _AC0_COPY | _AN);
    176  1.1  christos 
    177  1.1  christos 	pass
    178