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, (0x44004010 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY); 8 1.1 christos dmm32 A1.w, 0x851fa4fc; 9 1.1 christos dmm32 A1.x, 0x00000000; 10 1.1 christos imm32 R0, 0x00000000; 11 1.1 christos imm32 R2, 0x80000000; 12 1.1 christos imm32 R5, 0x139d77b4; 13 1.1 christos R5.H = (A1 += R2.L * R0.L) (M, S2RND); 14 1.1 christos checkreg R5, 0x7fff77b4; 15 1.1 christos checkreg A1.w, 0x851fa4fc; 16 1.1 christos checkreg A1.x, 0x00000000; 17 1.1 christos checkreg ASTAT, (0x44004010 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY); 18 1.1 christos 19 1.1 christos dmm32 ASTAT, (0x48000600 | _VS | _V | _AV1S | _CC | _V_COPY); 20 1.1 christos dmm32 A1.w, 0xc5ee7420; 21 1.1 christos dmm32 A1.x, 0x00000000; 22 1.1 christos imm32 R1, 0x45f17fff; 23 1.1 christos imm32 R2, 0x00000000; 24 1.1 christos imm32 R4, 0xffffffff; 25 1.1 christos R1 = (A1 -= R2.L * R4.H) (M, S2RND); 26 1.1 christos checkreg R1, 0x7fffffff; 27 1.1 christos checkreg A1.w, 0xc5ee7420; 28 1.1 christos checkreg A1.x, 0x00000000; 29 1.1 christos checkreg ASTAT, (0x48000600 | _VS | _V | _AV1S | _CC | _V_COPY); 30 1.1 christos 31 1.1 christos dmm32 ASTAT, (0x48500a10 | _VS | _V | _AV1S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AZ); 32 1.1 christos dmm32 A1.w, 0x965cddab; 33 1.1 christos dmm32 A1.x, 0x00000063; 34 1.1 christos imm32 R1, 0x1d4cc3e7; 35 1.1 christos imm32 R3, 0xe7ce9d8e; 36 1.1 christos imm32 R6, 0x3cc80b2f; 37 1.1 christos R6.H = (A1 -= R3.L * R1.L) (M, S2RND); 38 1.1 christos checkreg R6, 0x7fff0b2f; 39 1.1 christos checkreg A1.w, 0xe1b28889; 40 1.1 christos checkreg A1.x, 0x00000063; 41 1.1 christos checkreg ASTAT, (0x48500a10 | _VS | _V | _AV1S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AZ); 42 1.1 christos 43 1.1 christos dmm32 ASTAT, (0x44308410 | _VS | _AV0S | _CC | _AN); 44 1.1 christos dmm32 A1.w, 0x92315df7; 45 1.1 christos dmm32 A1.x, 0x0000007e; 46 1.1 christos imm32 R1, 0x9e4b24e0; 47 1.1 christos imm32 R4, 0xe3da8000; 48 1.1 christos imm32 R7, 0x00ba086c; 49 1.1 christos R1.H = (A1 -= R7.L * R4.H) (M, S2RND); 50 1.1 christos checkreg R1, 0x7fff24e0; 51 1.1 christos checkreg A1.w, 0x8ab26dff; 52 1.1 christos checkreg A1.x, 0x0000007e; 53 1.1 christos checkreg ASTAT, (0x44308410 | _VS | _V | _AV0S | _CC | _V_COPY | _AN); 54 1.1 christos 55 1.1 christos dmm32 ASTAT, (0x10a00090 | _VS | _V | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY); 56 1.1 christos dmm32 A1.w, 0x8ed084bf; 57 1.1 christos dmm32 A1.x, 0xffffffbe; 58 1.1 christos imm32 R0, 0x8000ffff; 59 1.1 christos imm32 R3, 0xbb4e34ef; 60 1.1 christos imm32 R5, 0x7af8492d; 61 1.1 christos R5 = (A1 += R3.L * R0.L) (M, S2RND); 62 1.1 christos checkreg R5, 0x80000000; 63 1.1 christos checkreg A1.w, 0xc3bf4fd0; 64 1.1 christos checkreg A1.x, 0xffffffbe; 65 1.1 christos checkreg ASTAT, (0x10a00090 | _VS | _V | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY); 66 1.1 christos 67 1.1 christos dmm32 ASTAT, (0x10f04e10 | _VS | _V | _AV1S | _AV0S | _AC1 | _AN | _AZ); 68 1.1 christos dmm32 A1.w, 0x81becdd8; 69 1.1 christos dmm32 A1.x, 0x00000058; 70 1.1 christos imm32 R2, 0x14946201; 71 1.1 christos imm32 R4, 0x1a162edd; 72 1.1 christos R2.H = (A1 -= R2.L * R4.L) (M, S2RND); 73 1.1 christos checkreg R2, 0x7fff6201; 74 1.1 christos checkreg A1.w, 0x6fce04fb; 75 1.1 christos checkreg A1.x, 0x00000058; 76 1.1 christos checkreg ASTAT, (0x10f04e10 | _VS | _V | _AV1S | _AV0S | _AC1 | _V_COPY | _AN | _AZ); 77 1.1 christos 78 1.1 christos dmm32 ASTAT, (0x20f04c80 | _VS | _AV0S | _AN); 79 1.1 christos dmm32 A1.w, 0xe9cc0041; 80 1.1 christos dmm32 A1.x, 0x00000079; 81 1.1 christos imm32 R1, 0x0f62a5a2; 82 1.1 christos imm32 R3, 0x4e8e9bdd; 83 1.1 christos imm32 R7, 0x6630d991; 84 1.1 christos R1 = (A1 -= R3.L * R7.H) (M, S2RND); 85 1.1 christos checkreg R1, 0x7fffffff; 86 1.1 christos checkreg A1.w, 0x11c4b8d1; 87 1.1 christos checkreg A1.x, 0x0000007a; 88 1.1 christos checkreg ASTAT, (0x20f04c80 | _VS | _V | _AV0S | _V_COPY | _AN); 89 1.1 christos 90 1.1 christos dmm32 ASTAT, (0x20104e00 | _VS | _AC1 | _AC0 | _AQ | _AN); 91 1.1 christos dmm32 A1.w, 0xadeb5c67; 92 1.1 christos dmm32 A1.x, 0xffffffa6; 93 1.1 christos imm32 R1, 0x07911840; 94 1.1 christos imm32 R7, 0x01070000; 95 1.1 christos R7 = (A1 += R1.L * R7.H) (M, S2RND); 96 1.1 christos checkreg R7, 0x80000000; 97 1.1 christos checkreg A1.w, 0xae044627; 98 1.1 christos checkreg A1.x, 0xffffffa6; 99 1.1 christos checkreg ASTAT, (0x20104e00 | _VS | _V | _AC1 | _AC0 | _AQ | _V_COPY | _AN); 100 1.1 christos 101 1.1 christos dmm32 ASTAT, (0x08e04010 | _VS | _AV0S); 102 1.1 christos dmm32 A1.w, 0xff80f384; 103 1.1 christos dmm32 A1.x, 0x00000003; 104 1.1 christos imm32 R1, 0x00000000; 105 1.1 christos imm32 R2, 0x8000387c; 106 1.1 christos imm32 R3, 0x1e547fff; 107 1.1 christos R2.H = (A1 -= R1.L * R3.L) (M, S2RND); 108 1.1 christos checkreg R2, 0x7fff387c; 109 1.1 christos checkreg A1.w, 0xff80f384; 110 1.1 christos checkreg A1.x, 0x00000003; 111 1.1 christos checkreg ASTAT, (0x08e04010 | _VS | _V | _AV0S | _V_COPY); 112 1.1 christos 113 1.1 christos dmm32 ASTAT, (0x0cf08280 | _VS | _AV1S | _AC1 | _CC | _AN); 114 1.1 christos dmm32 A1.w, 0x80000000; 115 1.1 christos dmm32 A1.x, 0xffffff80; 116 1.1 christos imm32 R2, 0xecc35cac; 117 1.1 christos imm32 R4, 0x00007fff; 118 1.1 christos imm32 R7, 0x80000000; 119 1.1 christos R7 = (A1 -= R4.L * R2.L) (M, S2RND); 120 1.1 christos checkreg R7, 0x80000000; 121 1.1 christos checkreg A1.w, 0x51aa5cac; 122 1.1 christos checkreg A1.x, 0xffffff80; 123 1.1 christos checkreg ASTAT, (0x0cf08280 | _VS | _V | _AV1S | _AC1 | _CC | _V_COPY | _AN); 124 1.1 christos 125 1.1 christos dmm32 ASTAT, (0x40c08090 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AN); 126 1.1 christos dmm32 A1.w, 0xfcbe6525; 127 1.1 christos dmm32 A1.x, 0x00000039; 128 1.1 christos imm32 R0, 0x0003f3c0; 129 1.1 christos imm32 R2, 0xfffffffc; 130 1.1 christos imm32 R6, 0xffff0000; 131 1.1 christos R0.H = (A1 -= R2.L * R6.H) (M, S2RND); 132 1.1 christos checkreg R0, 0x7ffff3c0; 133 1.1 christos checkreg A1.w, 0xfcc26521; 134 1.1 christos checkreg A1.x, 0x00000039; 135 1.1 christos checkreg ASTAT, (0x40c08090 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN); 136 1.1 christos 137 1.1 christos dmm32 ASTAT, (0x00704c10 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _V_COPY); 138 1.1 christos dmm32 A1.w, 0xdfbb3c19; 139 1.1 christos dmm32 A1.x, 0x00000000; 140 1.1 christos imm32 R0, 0x50407788; 141 1.1 christos imm32 R4, 0x50407788; 142 1.1 christos imm32 R6, 0x0d3f0c0a; 143 1.1 christos R6.H = (A1 -= R4.L * R0.L) (M, S2RND); 144 1.1 christos checkreg R6, 0x7fff0c0a; 145 1.1 christos checkreg A1.w, 0xa7eb83d9; 146 1.1 christos checkreg A1.x, 0x00000000; 147 1.1 christos checkreg ASTAT, (0x00704c10 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _V_COPY); 148 1.1 christos 149 1.1 christos dmm32 ASTAT, (0x3c50c610 | _VS | _V | _AV1S | _AC1 | _CC | _V_COPY | _AN); 150 1.1 christos dmm32 A1.w, 0xbc7ca70b; 151 1.1 christos dmm32 A1.x, 0xffffff80; 152 1.1 christos imm32 R1, 0x76b3a772; 153 1.1 christos imm32 R2, 0x5cc87864; 154 1.1 christos imm32 R5, 0x33169c34; 155 1.1 christos R1 = (A1 += R2.L * R5.H) (M, S2RND); 156 1.1 christos checkreg R1, 0x80000000; 157 1.1 christos checkreg A1.w, 0xd482eba3; 158 1.1 christos checkreg A1.x, 0xffffff80; 159 1.1 christos checkreg ASTAT, (0x3c50c610 | _VS | _V | _AV1S | _AC1 | _CC | _V_COPY | _AN); 160 1.1 christos 161 1.1 christos dmm32 ASTAT, (0x50008480 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY); 162 1.1 christos dmm32 A1.w, 0xd843bd0f; 163 1.1 christos dmm32 A1.x, 0x00000027; 164 1.1 christos imm32 R0, 0xc5d36b7c; 165 1.1 christos imm32 R7, 0x7fff8000; 166 1.1 christos R0.H = (A1 += R0.L * R7.L) (M, S2RND); 167 1.1 christos checkreg R0, 0x7fff6b7c; 168 1.1 christos checkreg A1.w, 0x0e01bd0f; 169 1.1 christos checkreg A1.x, 0x00000028; 170 1.1 christos checkreg ASTAT, (0x50008480 | _VS | _V | _AC1 | _AC0 | _AQ | _V_COPY | _AC0_COPY); 171 1.1 christos 172 1.1 christos dmm32 ASTAT, (0x50208610 | _VS | _V | _AV1S | _AV0S | _V_COPY | _AN); 173 1.1 christos dmm32 A1.w, 0xcf30f0be; 174 1.1 christos dmm32 A1.x, 0xffffffad; 175 1.1 christos imm32 R0, 0x6d8f3470; 176 1.1 christos imm32 R4, 0x4174b386; 177 1.1 christos imm32 R6, 0x0793b3dd; 178 1.1 christos R0.H = (A1 -= R4.L * R6.H) (M, S2RND); 179 1.1 christos checkreg R0, 0x80003470; 180 1.1 christos checkreg A1.w, 0xd17430cc; 181 1.1 christos checkreg A1.x, 0xffffffad; 182 1.1 christos checkreg ASTAT, (0x50208610 | _VS | _V | _AV1S | _AV0S | _V_COPY | _AN); 183 1.1 christos 184 1.1 christos dmm32 ASTAT, (0x60700c10 | _VS | _V | _AV1S | _AV0S | _AQ | _V_COPY | _AC0_COPY); 185 1.1 christos dmm32 A1.w, 0xc867b111; 186 1.1 christos dmm32 A1.x, 0xffffff90; 187 1.1 christos imm32 R4, 0x580f445e; 188 1.1 christos imm32 R5, 0x1fb2e64b; 189 1.1 christos imm32 R6, 0xb6bc814b; 190 1.1 christos R6.H = (A1 += R5.L * R4.L) (M, S2RND); 191 1.1 christos checkreg R6, 0x8000814b; 192 1.1 christos checkreg A1.w, 0xc18a2c9b; 193 1.1 christos checkreg A1.x, 0xffffff90; 194 1.1 christos checkreg ASTAT, (0x60700c10 | _VS | _V | _AV1S | _AV0S | _AQ | _V_COPY | _AC0_COPY); 195 1.1 christos 196 1.1 christos dmm32 ASTAT, (0x4070c080 | _AV0S | _CC); 197 1.1 christos dmm32 A1.w, 0xe1239b9f; 198 1.1 christos dmm32 A1.x, 0xffffffcd; 199 1.1 christos imm32 R4, 0xe4d2beb4; 200 1.1 christos imm32 R5, 0x1c919600; 201 1.1 christos imm32 R6, 0x18356124; 202 1.1 christos R5.H = (A1 -= R4.L * R6.L) (M, S2RND); 203 1.1 christos checkreg R5, 0x80009600; 204 1.1 christos checkreg A1.w, 0xf9ea964f; 205 1.1 christos checkreg A1.x, 0xffffffcd; 206 1.1 christos checkreg ASTAT, (0x4070c080 | _VS | _V | _AV0S | _CC | _V_COPY); 207 1.1 christos 208 1.1 christos dmm32 ASTAT, (0x50608210 | _VS | _AV1S | _AV0S | _AV0 | _AC0 | _AQ | _CC | _AC0_COPY | _AN); 209 1.1 christos dmm32 A1.w, 0xe8c00d5a; 210 1.1 christos dmm32 A1.x, 0xffffffbe; 211 1.1 christos imm32 R1, 0x2baf99f2; 212 1.1 christos imm32 R4, 0x03e69887; 213 1.1 christos imm32 R7, 0x07f45a0f; 214 1.1 christos R1 = (A1 -= R7.L * R4.H) (M, S2RND); 215 1.1 christos checkreg R1, 0x80000000; 216 1.1 christos checkreg A1.w, 0xe760f6e0; 217 1.1 christos checkreg A1.x, 0xffffffbe; 218 1.1 christos checkreg ASTAT, (0x50608210 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN); 219 1.1 christos 220 1.1 christos pass 221