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