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