Home | History | Annotate | Line # | Download | only in bfin
      1  1.1  christos // ACP 5.7 ABS(A1) sets AV0
      2  1.1  christos # mach: bfin
      3  1.1  christos 
      4  1.1  christos .include "testutils.inc"
      5  1.1  christos 	start
      6  1.1  christos 
      7  1.1  christos 	r1=0x80 (z);
      8  1.1  christos 	A0=0;
      9  1.1  christos 	A0.x=r1;
     10  1.1  christos 	A0=abs A0;
     11  1.1  christos 	_DBG astat;
     12  1.1  christos //r7=astat;
     13  1.1  christos //dbga (r7.h, 0x3);
     14  1.1  christos //dbga (r7.l, 0x0);
     15  1.1  christos 	cc = az;
     16  1.1  christos 	r7 = cc;
     17  1.1  christos 	dbga( r7.l, 0);
     18  1.1  christos 	cc = an;
     19  1.1  christos 	r7 = cc;
     20  1.1  christos 	dbga( r7.l, 0);
     21  1.1  christos 	cc = av0;
     22  1.1  christos 	r7 = cc;
     23  1.1  christos 	dbga( r7.l, 1);
     24  1.1  christos 	cc = av0s;
     25  1.1  christos 	r7 = cc;
     26  1.1  christos 	dbga( r7.l, 1);
     27  1.1  christos 	cc = av1;
     28  1.1  christos 	r7 = cc;
     29  1.1  christos 	dbga( r7.l, 0);
     30  1.1  christos 	cc = av1s;
     31  1.1  christos 	r7 = cc;
     32  1.1  christos 	dbga( r7.l, 0);
     33  1.1  christos 
     34  1.1  christos 	r6=A0.x;
     35  1.1  christos 	dbga (r6.l, 0x7f);
     36  1.1  christos 
     37  1.1  christos 	r1=0x80 (z);
     38  1.1  christos 	A1=0;
     39  1.1  christos 	A1.x=r1;
     40  1.1  christos 	A1=abs A1;
     41  1.1  christos 	_DBG astat;
     42  1.1  christos //r7=astat;
     43  1.1  christos //dbga (r7.h, 0xf);
     44  1.1  christos //dbga (r7.l, 0x0);
     45  1.1  christos 	cc = az;
     46  1.1  christos 	r7 = cc;
     47  1.1  christos 	dbga( r7.l, 0);
     48  1.1  christos 	cc = an;
     49  1.1  christos 	r7 = cc;
     50  1.1  christos 	dbga( r7.l, 0);
     51  1.1  christos 	cc = av0;
     52  1.1  christos 	r7 = cc;
     53  1.1  christos 	dbga( r7.l, 1);
     54  1.1  christos 	cc = av0s;
     55  1.1  christos 	r7 = cc;
     56  1.1  christos 	dbga( r7.l, 1);
     57  1.1  christos 	cc = av1;
     58  1.1  christos 	r7 = cc;
     59  1.1  christos 	dbga( r7.l, 1);
     60  1.1  christos 	cc = av1s;
     61  1.1  christos 	r7 = cc;
     62  1.1  christos 	dbga( r7.l, 1);
     63  1.1  christos 
     64  1.1  christos 	r6=A1.x;
     65  1.1  christos 	dbga (r6.l, 0x7f);
     66  1.1  christos 
     67  1.1  christos 	r7=0;
     68  1.1  christos 	astat=r7;
     69  1.1  christos 	r1=0x80 (z);
     70  1.1  christos 	A1=0;
     71  1.1  christos 	A1.x=r1;
     72  1.1  christos 	A0 = abs A1;
     73  1.1  christos 	_DBG astat;
     74  1.1  christos //r7=astat;
     75  1.1  christos //dbga (r7.h, 0x3);
     76  1.1  christos //dbga (r7.l, 0x0);
     77  1.1  christos 	cc = az;
     78  1.1  christos 	r7 = cc;
     79  1.1  christos 	dbga( r7.l, 0);
     80  1.1  christos 	cc = an;
     81  1.1  christos 	r7 = cc;
     82  1.1  christos 	dbga( r7.l, 0);
     83  1.1  christos 	cc = av0;
     84  1.1  christos 	r7 = cc;
     85  1.1  christos 	dbga( r7.l, 1);
     86  1.1  christos 	cc = av0s;
     87  1.1  christos 	r7 = cc;
     88  1.1  christos 	dbga( r7.l, 1);
     89  1.1  christos 	cc = av1;
     90  1.1  christos 	r7 = cc;
     91  1.1  christos 	dbga( r7.l, 0);
     92  1.1  christos 	cc = av1s;
     93  1.1  christos 	r7 = cc;
     94  1.1  christos 	dbga( r7.l, 0);
     95  1.1  christos 
     96  1.1  christos 	r6=A0.x;
     97  1.1  christos 	dbga (r6.l, 0x7f);
     98  1.1  christos 
     99  1.1  christos 	r7=0;
    100  1.1  christos 	astat=r7;
    101  1.1  christos 	r1=0x80 (z);
    102  1.1  christos 	A0=0;
    103  1.1  christos 	A0.x=r1;
    104  1.1  christos 	A1 = abs A0;
    105  1.1  christos 	_DBG astat;
    106  1.1  christos //r7=astat;
    107  1.1  christos //dbga (r7.h, 0xc);
    108  1.1  christos //dbga (r7.l, 0x0);
    109  1.1  christos 	cc = az;
    110  1.1  christos 	r3 = cc;
    111  1.1  christos 	dbga( r3.l, 0);
    112  1.1  christos 	cc = an;
    113  1.1  christos 	r3 = cc;
    114  1.1  christos 	dbga( r3.l, 0);
    115  1.1  christos 	cc = av0;
    116  1.1  christos 	r3 = cc;
    117  1.1  christos 	dbga( r3.l, 0);
    118  1.1  christos 	cc = av0s;
    119  1.1  christos 	r3 = cc;
    120  1.1  christos 	dbga( r3.l, 0);
    121  1.1  christos 	cc = av1;
    122  1.1  christos 	r3 = cc;
    123  1.1  christos 	dbga( r3.l, 1);
    124  1.1  christos 	cc = av1s;
    125  1.1  christos 	r3 = cc;
    126  1.1  christos 	dbga( r3.l, 1);
    127  1.1  christos 
    128  1.1  christos 	r6=A1.x;
    129  1.1  christos 	dbga (r6.l, 0x7f);
    130  1.1  christos 
    131  1.1  christos 	r7=0;
    132  1.1  christos 	astat=r7;
    133  1.1  christos 	r1=0x80 (z);
    134  1.1  christos 	A1=0;
    135  1.1  christos 	A1.x=r1;
    136  1.1  christos 	A0.x=r6;
    137  1.1  christos 	_DBG A1;
    138  1.1  christos 	_DBG A0;
    139  1.1  christos 	A1=abs A1, A0=abs A0;
    140  1.1  christos 	_DBG ASTAT;
    141  1.1  christos //r7=astat;
    142  1.1  christos //dbga (r7.h, 0xc);
    143  1.1  christos //dbga (r7.l, 0x0);
    144  1.1  christos 	cc = az;
    145  1.1  christos 	r4 = cc;
    146  1.1  christos 	dbga( r4.l, 0);
    147  1.1  christos 	cc = an;
    148  1.1  christos 	r4 = cc;
    149  1.1  christos 	dbga( r4.l, 0);
    150  1.1  christos 	cc = av0;
    151  1.1  christos 	r4 = cc;
    152  1.1  christos 	dbga( r4.l, 0);
    153  1.1  christos 	cc = av0s;
    154  1.1  christos 	r4 = cc;
    155  1.1  christos 	dbga( r4.l, 0);
    156  1.1  christos 	cc = av1;
    157  1.1  christos 	r4 = cc;
    158  1.1  christos 	dbga( r4.l, 1);
    159  1.1  christos 	cc = av1s;
    160  1.1  christos 	r4 = cc;
    161  1.1  christos 	dbga( r4.l, 1);
    162  1.1  christos 
    163  1.1  christos 	r7=0;
    164  1.1  christos 	astat=r7;
    165  1.1  christos 	r1=0x80 (z);
    166  1.1  christos 	A1=0;
    167  1.1  christos 	A1.x=r1;
    168  1.1  christos 	A0 = A1;
    169  1.1  christos 	A1=abs A1, A0=abs A0;
    170  1.1  christos 	_DBG ASTAT;
    171  1.1  christos //r7=astat;
    172  1.1  christos //dbga (r7.h, 0xf);
    173  1.1  christos //dbga (r7.l, 0x0);
    174  1.1  christos 	cc = az;
    175  1.1  christos 	r7 = cc;
    176  1.1  christos 	dbga( r7.l, 0);
    177  1.1  christos 	cc = an;
    178  1.1  christos 	r7 = cc;
    179  1.1  christos 	dbga( r7.l, 0);
    180  1.1  christos 	cc = av0;
    181  1.1  christos 	r7 = cc;
    182  1.1  christos 	dbga( r7.l, 1);
    183  1.1  christos 	cc = av0s;
    184  1.1  christos 	r7 = cc;
    185  1.1  christos 	dbga( r7.l, 1);
    186  1.1  christos 	cc = av1;
    187  1.1  christos 	r7 = cc;
    188  1.1  christos 	dbga( r7.l, 1);
    189  1.1  christos 	cc = av1s;
    190  1.1  christos 	r7 = cc;
    191  1.1  christos 	dbga( r7.l, 1);
    192  1.1  christos 
    193  1.1  christos // ACP 5.8 ABS sometimes sets AN
    194  1.1  christos 
    195  1.1  christos 	r7=0;
    196  1.1  christos 	astat=r7;
    197  1.1  christos 	r0=1;
    198  1.1  christos 	r1=abs r0;
    199  1.1  christos 	_DBG r0;
    200  1.1  christos 	_DBG r1;
    201  1.1  christos 	_DBG astat;
    202  1.1  christos //r7=astat;
    203  1.1  christos //dbga (r7.h, 0x0);
    204  1.1  christos //dbga (r7.l, 0x0);
    205  1.1  christos 	cc = az;
    206  1.1  christos 	r7 = cc;
    207  1.1  christos 	dbga( r7.l, 0);
    208  1.1  christos 	cc = an;
    209  1.1  christos 	r7 = cc;
    210  1.1  christos 	dbga( r7.l, 0);
    211  1.1  christos 	cc = av0;
    212  1.1  christos 	r7 = cc;
    213  1.1  christos 	dbga( r7.l, 0);
    214  1.1  christos 	cc = av0s;
    215  1.1  christos 	r7 = cc;
    216  1.1  christos 	dbga( r7.l, 0);
    217  1.1  christos 	cc = av1;
    218  1.1  christos 	r7 = cc;
    219  1.1  christos 	dbga( r7.l, 0);
    220  1.1  christos 	cc = av1s;
    221  1.1  christos 	r7 = cc;
    222  1.1  christos 	dbga( r7.l, 0);
    223  1.1  christos 
    224  1.1  christos 	pass;
    225