Home | History | Annotate | Line # | Download | only in bfin
      1  1.1  christos # Check that VS in ASTAT is set with add/sub insns (and not just V)
      2  1.1  christos # mach: bfin
      3  1.1  christos #include "test.h"
      4  1.1  christos .include "testutils.inc"
      5  1.1  christos 
      6  1.1  christos 	start
      7  1.1  christos 
      8  1.1  christos 	dmm32 ASTAT, (0x2810c010 | _AV1S | _AC1 | _AC0 | _AQ | _V_COPY | _AC0_COPY | _AN);
      9  1.1  christos 	imm32 R0, 0x27f3a149;
     10  1.1  christos 	imm32 R3, 0x3cae7c58;
     11  1.1  christos 	imm32 R4, 0x33c97634;
     12  1.1  christos 	R3.H = R0.L - R4.H (NS);
     13  1.1  christos 	checkreg R3, 0x6d807c58;
     14  1.1  christos 	checkreg ASTAT, (0x2810c010 | _VS | _V | _AV1S | _AC1 | _AC0 | _AQ | _V_COPY | _AC0_COPY);
     15  1.1  christos 
     16  1.1  christos 	dmm32 ASTAT, (0x64c00680 | _AQ | _AC0_COPY);
     17  1.1  christos 	imm32 R1, 0x1b7b025c;
     18  1.1  christos 	imm32 R5, 0x1ba46ce6;
     19  1.1  christos 	R5.L = R5.L + R1.H (NS);
     20  1.1  christos 	checkreg R5, 0x1ba48861;
     21  1.1  christos 	checkreg ASTAT, (0x64c00680 | _VS | _V | _AQ | _V_COPY | _AN);
     22  1.1  christos 
     23  1.1  christos 	dmm32 ASTAT, (0x68b04200 | _AV1S | _AV0 | _AC0 | _AQ | _AN);
     24  1.1  christos 	imm32 R3, 0x4b91870f;
     25  1.1  christos 	imm32 R6, 0x5972bae0;
     26  1.1  christos 	imm32 R7, 0x31f7dfb7;
     27  1.1  christos 	R7.H = R6.L + R3.L (S);
     28  1.1  christos 	checkreg R7, 0x8000dfb7;
     29  1.1  christos 	checkreg ASTAT, (0x68b04200 | _VS | _V | _AV1S | _AV0 | _AC0 | _AQ | _V_COPY | _AC0_COPY | _AN);
     30  1.1  christos 
     31  1.1  christos 	dmm32 ASTAT, (0x78208e90 | _CC | _AN);
     32  1.1  christos 	imm32 R3, 0x40b63bc7;
     33  1.1  christos 	imm32 R5, 0x49c89df9;
     34  1.1  christos 	R3.H = R5.L - R3.H (NS);
     35  1.1  christos 	checkreg R3, 0x5d433bc7;
     36  1.1  christos 	checkreg ASTAT, (0x78208e90 | _VS | _V | _AC0 | _CC | _V_COPY | _AC0_COPY);
     37  1.1  christos 
     38  1.1  christos 	dmm32 ASTAT, (0x00904680 | _AV1S | _AV1 | _AV0 | _AC1 | _AQ | _AZ);
     39  1.1  christos 	imm32 R2, 0x23a2c115;
     40  1.1  christos 	imm32 R4, 0x6977581e;
     41  1.1  christos 	imm32 R6, 0x41900942;
     42  1.1  christos 	R4.L = R2.L - R6.H (NS);
     43  1.1  christos 	checkreg R4, 0x69777f85;
     44  1.1  christos 	checkreg ASTAT, (0x00904680 | _VS | _V | _AV1S | _AV1 | _AV0 | _AC1 | _AC0 | _AQ | _V_COPY | _AC0_COPY);
     45  1.1  christos 
     46  1.1  christos 	dmm32 ASTAT, (0x78d08210 | _V | _AV1S | _AC1 | _AC0 | _V_COPY | _AC0_COPY | _AN | _AZ);
     47  1.1  christos 	imm32 R0, 0x4317139e;
     48  1.1  christos 	imm32 R1, 0x49ed40d6;
     49  1.1  christos 	R0.L = R1.L + R0.H (NS);
     50  1.1  christos 	checkreg R0, 0x431783ed;
     51  1.1  christos 	checkreg ASTAT, (0x78d08210 | _VS | _V | _AV1S | _AC1 | _V_COPY | _AN);
     52  1.1  christos 
     53  1.1  christos 	dmm32 ASTAT, (0x58d00e10 | _AV1 | _AQ | _CC);
     54  1.1  christos 	imm32 R0, 0x09ea77a2;
     55  1.1  christos 	imm32 R1, 0x6ccd0b05;
     56  1.1  christos 	imm32 R2, 0x761c63af;
     57  1.1  christos 	R1.H = R0.L + R2.H (NS);
     58  1.1  christos 	checkreg R1, 0xedbe0b05;
     59  1.1  christos 	checkreg ASTAT, (0x58d00e10 | _VS | _V | _AV1 | _AQ | _CC | _V_COPY | _AN);
     60  1.1  christos 
     61  1.1  christos 	dmm32 ASTAT, (0x30c08000 | _AC0 | _AQ | _AC0_COPY);
     62  1.1  christos 	imm32 R4, 0x36d243cb;
     63  1.1  christos 	imm32 R5, 0xcd127add;
     64  1.1  christos 	R4.H = R5.L + R4.L (NS);
     65  1.1  christos 	checkreg R4, 0xbea843cb;
     66  1.1  christos 	checkreg ASTAT, (0x30c08000 | _VS | _V | _AQ | _V_COPY | _AN);
     67  1.1  christos 
     68  1.1  christos 	dmm32 ASTAT, (0x74108400 | _V | _AV1 | _AC1 | _AC0 | _AC0_COPY);
     69  1.1  christos 	imm32 R0, 0x4e1893ea;
     70  1.1  christos 	imm32 R1, 0x13cf5cc8;
     71  1.1  christos 	imm32 R3, 0x7441949e;
     72  1.1  christos 	R1.L = R0.L - R3.H (NS);
     73  1.1  christos 	checkreg R1, 0x13cf1fa9;
     74  1.1  christos 	checkreg ASTAT, (0x74108400 | _VS | _V | _AV1 | _AC1 | _AC0 | _V_COPY | _AC0_COPY);
     75  1.1  christos 
     76  1.1  christos 	dmm32 ASTAT, (0x7420ce10 | _AV1S | _AV1 | _AV0S | _AC1 | _AQ | _AC0_COPY | _AN | _AZ);
     77  1.1  christos 	imm32 R4, 0x532c8fb1;
     78  1.1  christos 	imm32 R6, 0x582420d2;
     79  1.1  christos 	R6.H = R4.L - R4.H (NS);
     80  1.1  christos 	checkreg R6, 0x3c8520d2;
     81  1.1  christos 	checkreg ASTAT, (0x7420ce10 | _VS | _V | _AV1S | _AV1 | _AV0S | _AC1 | _AC0 | _AQ | _V_COPY | _AC0_COPY);
     82  1.1  christos 
     83  1.1  christos 	dmm32 ASTAT, (0x74704010 | _V | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY);
     84  1.1  christos 	imm32 R3, 0x6f6a7429;
     85  1.1  christos 	imm32 R5, 0x2ea5c47e;
     86  1.1  christos 	R5.H = R5.L - R3.H (NS);
     87  1.1  christos 	checkreg R5, 0x5514c47e;
     88  1.1  christos 	checkreg ASTAT, (0x74704010 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
     89  1.1  christos 
     90  1.1  christos 	dmm32 ASTAT, (0x0ce08490 | _AV1S | _AV0S | _AC1 | _AC0 | _CC | _AZ);
     91  1.1  christos 	imm32 R1, 0xfd18a0b0;
     92  1.1  christos 	imm32 R4, 0x259e2151;
     93  1.1  christos 	R4.L = R1.L - R4.H (NS);
     94  1.1  christos 	checkreg R4, 0x259e7b12;
     95  1.1  christos 	checkreg ASTAT, (0x0ce08490 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY);
     96  1.1  christos 
     97  1.1  christos 	dmm32 ASTAT, (0x54b08810 | _V | _AV1S | _AV0S | _AC0_COPY | _AN);
     98  1.1  christos 	imm32 R3, 0x7a763675;
     99  1.1  christos 	imm32 R6, 0x23c4a335;
    100  1.1  christos 	R3.L = R6.L + R6.L (NS);
    101  1.1  christos 	checkreg R3, 0x7a76466a;
    102  1.1  christos 	checkreg ASTAT, (0x54b08810 | _VS | _V | _AV1S | _AV0S | _AC0 | _V_COPY | _AC0_COPY);
    103  1.1  christos 
    104  1.1  christos 	dmm32 ASTAT, (0x70f0c080 | _AV1S | _AV0S | _AC0);
    105  1.1  christos 	imm32 R4, 0x55fab7e4;
    106  1.1  christos 	imm32 R5, 0x7dbd9b06;
    107  1.1  christos 	R5.H = R5.L - R4.H (S);
    108  1.1  christos 	checkreg R5, 0x80009b06;
    109  1.1  christos 	checkreg ASTAT, (0x70f0c080 | _VS | _V | _AV1S | _AV0S | _AC0 | _V_COPY | _AC0_COPY | _AN);
    110  1.1  christos 
    111  1.1  christos 	dmm32 ASTAT, (0x5ce04680 | _AV0 | _AC0 | _V_COPY | _AC0_COPY | _AN);
    112  1.1  christos 	imm32 R0, 0x19cacbdb;
    113  1.1  christos 	imm32 R2, 0x151cb293;
    114  1.1  christos 	imm32 R4, 0x571c351a;
    115  1.1  christos 	R0.H = R4.L - R2.L (S);
    116  1.1  christos 	checkreg R0, 0x7fffcbdb;
    117  1.1  christos 	checkreg ASTAT, (0x5ce04680 | _VS | _V | _AV0 | _V_COPY);
    118  1.1  christos 
    119  1.1  christos 	dmm32 ASTAT, (0x0c604a00 | _AV1S | _AV0S | _V_COPY | _AC0_COPY | _AZ);
    120  1.1  christos 	imm32 R3, 0x5432c45d;
    121  1.1  christos 	imm32 R6, 0x62519952;
    122  1.1  christos 	R3.L = R6.L + R6.L (S);
    123  1.1  christos 	checkreg R3, 0x54328000;
    124  1.1  christos 	checkreg ASTAT, (0x0c604a00 | _VS | _V | _AV1S | _AV0S | _AC0 | _V_COPY | _AC0_COPY | _AN);
    125  1.1  christos 
    126  1.1  christos 	dmm32 ASTAT, (0x58708c90 | _AV0 | _AC1 | _AQ | _CC | _AC0_COPY | _AN | _AZ);
    127  1.1  christos 	imm32 R0, 0x1f3f3c0e;
    128  1.1  christos 	imm32 R4, 0x5fae58d2;
    129  1.1  christos 	R0.H = R0.L + R4.L (NS);
    130  1.1  christos 	checkreg R0, 0x94e03c0e;
    131  1.1  christos 	checkreg ASTAT, (0x58708c90 | _VS | _V | _AV0 | _AC1 | _AQ | _CC | _V_COPY | _AN);
    132  1.1  christos 
    133  1.1  christos 	dmm32 ASTAT, (0x34b00a00 | _V | _AV1S | _AC1 | _CC | _V_COPY | _AZ);
    134  1.1  christos 	imm32 R3, 0x6ea226dc;
    135  1.1  christos 	imm32 R4, 0x045c6d64;
    136  1.1  christos 	imm32 R7, 0x7e599a25;
    137  1.1  christos 	R7.L = R3.L + R4.L (NS);
    138  1.1  christos 	checkreg R7, 0x7e599440;
    139  1.1  christos 	checkreg ASTAT, (0x34b00a00 | _VS | _V | _AV1S | _AC1 | _CC | _V_COPY | _AN);
    140  1.1  christos 
    141  1.1  christos 	dmm32 ASTAT, (0x40a0c010 | _AV1S | _AC0);
    142  1.1  christos 	imm32 R2, 0x641501ef;
    143  1.1  christos 	imm32 R7, 0x3acb49aa;
    144  1.1  christos 	R2.H = R7.L + R7.H (NS);
    145  1.1  christos 	checkreg R2, 0x847501ef;
    146  1.1  christos 	checkreg ASTAT, (0x40a0c010 | _VS | _V | _AV1S | _V_COPY | _AN);
    147  1.1  christos 
    148  1.1  christos 	dmm32 ASTAT, (0x78f04090 | _AV1S | _AC1 | _AQ | _CC | _AZ);
    149  1.1  christos 	imm32 R2, 0x65681fdf;
    150  1.1  christos 	imm32 R3, 0x5fffe0d3;
    151  1.1  christos 	imm32 R5, 0x37df99cd;
    152  1.1  christos 	R2.H = R5.L - R3.H (NS);
    153  1.1  christos 	checkreg R2, 0x39ce1fdf;
    154  1.1  christos 	checkreg ASTAT, (0x78f04090 | _VS | _V | _AV1S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
    155  1.1  christos 
    156  1.1  christos 	dmm32 ASTAT, (0x0cc04e10 | _AV1S | _AQ | _CC);
    157  1.1  christos 	imm32 R3, 0x571977df;
    158  1.1  christos 	imm32 R4, 0x029671d0;
    159  1.1  christos 	R3.L = R4.L + R3.H (NS);
    160  1.1  christos 	checkreg R3, 0x5719c8e9;
    161  1.1  christos 	checkreg ASTAT, (0x0cc04e10 | _VS | _V | _AV1S | _AQ | _CC | _V_COPY | _AN);
    162  1.1  christos 
    163  1.1  christos 	dmm32 ASTAT, (0x00104880 | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AN);
    164  1.1  christos 	imm32 R0, 0x4c98aa07;
    165  1.1  christos 	imm32 R4, 0x5e9da59f;
    166  1.1  christos 	R4.H = R0.L + R0.L (S);
    167  1.1  christos 	checkreg R4, 0x8000a59f;
    168  1.1  christos 	checkreg ASTAT, (0x00104880 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
    169  1.1  christos 
    170  1.1  christos 	dmm32 ASTAT, (0x08008c00 | _AV1S | _AV0S | _AV0 | _CC | _AC0_COPY);
    171  1.1  christos 	imm32 R4, 0x58ee2400;
    172  1.1  christos 	imm32 R6, 0x2e97af3e;
    173  1.1  christos 	R4.L = R6.L + R6.L (NS);
    174  1.1  christos 	checkreg R4, 0x58ee5e7c;
    175  1.1  christos 	checkreg ASTAT, (0x08008c00 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC0 | _CC | _V_COPY | _AC0_COPY);
    176  1.1  christos 
    177  1.1  christos 	dmm32 ASTAT, (0x2ce0c290 | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
    178  1.1  christos 	imm32 R2, 0x2d467e64;
    179  1.1  christos 	imm32 R6, 0x31aeb601;
    180  1.1  christos 	imm32 R7, 0x1523a746;
    181  1.1  christos 	R7.L = R2.L - R6.L (S);
    182  1.1  christos 	checkreg R7, 0x15237fff;
    183  1.1  christos 	checkreg ASTAT, (0x2ce0c290 | _VS | _V | _AV1S | _AV0S | _AC1 | _AQ | _CC | _V_COPY);
    184  1.1  christos 
    185  1.1  christos 	pass
    186