Public Git Hosting - valgrind.git/blob - none/tests/mips32/MIPS32r6int.c

1 #include <stdio.h>

2

3 const unsigned int mem[] = {

4 0x00000000, 0xffffffff, 0x80000000, 0x7fffffff,

5 0x12345678, 0x90abcdef, 0xfffffffe, 0x00000001,

6 0x24232221, 0x00000003, 0x34333231, 0x04030201,

7 };

12 #define TEST_3R(instruction, RSval, RTval, RD, RS, RT) \

13 { \

14 unsigned int out; \

15 __asm__ volatile ( \

16 "li $" #RD ", -1\n\t" \

17 "move $" #RS ", %1\n\t" \

18 "move $" #RT ", %2\n\t" \

19 instruction " $" #RD ", $" #RS ", $" #RT "\n\t" \

20 "move %0, $" #RD "\n\t" \

21 : "=&r" (out) \

22 : "r" (RSval), "r" (RTval) \

23 : #RD, #RS, #RT, "memory" \

24 ); \

25 printf("%s :: rd 0x%08x rs 0x%08x, rt 0x%08x\n", \

26 instruction, out, RSval, RTval); \

27 }

28

29

30 #define TEST_3R2b(instruction, RSval, RTval, RD, RS, RT, val) \

31 { \

32 unsigned int out; \

33 __asm__ volatile ( \

34 "li $" #RD ", -1\n\t" \

35 "move $" #RS ", %1\n\t" \

36 "move $" #RT ", %2\n\t" \

37 instruction " $" #RD ", $" #RS ", $" #RT ", " #val"\n\t" \

38 "move %0, $" #RD "\n\t" \

39 : "=&r" (out) \

40 : "r" (RSval), "r" (RTval) \

41 : #RD, #RS, #RT, "memory" \

42 ); \

43 printf("%s :: rd 0x%08x rs 0x%08x, rt 0x%08x\n", \

44 instruction, out, RSval, RTval); \

45 }

46

47 #define TEST_2R(instruction, RSval, RD, RS) \

48 { \

49 unsigned int out; \

50 __asm__ volatile ( \

51 "li $" #RD ", -1\n\t" \

52 "move $" #RS ", %1\n\t" \

53 instruction " $" #RD ", $" #RS "\n\t" \

54 "move %0, $" #RD "\n\t" \

55 : "=&r" (out) \

56 : "r" (RSval) \

57 : #RD, #RS, "memory" \

58 ); \

59 printf("%s :: rd 0x%08x rs 0x%08x\n", \

60 instruction, out, RSval); \

61 }

62

63 #define TEST_2Rb(instruction, RSval, RD, RS, val) \

64 { \

65 unsigned int out; \

66 __asm__ volatile( \

67 "li $" #RD ", -1\n\t" \

68 "move $" #RS ", %1\n\t" \

69 instruction " $" #RD ", $" #RS ", " #val "\n\t" \

70 "move %0, $" #RD "\n\t" \

71 : "=&r" (out) \

72 : "r" (RSval) \

73 : #RD, #RS, "memory" \

74 ); \

75 printf("%s :: rd 0x%08x rs 0x%08x\n", \

76 instruction, out, RSval); \

77 }

78

79 #define TEST_Rb(instruction, RSval, RS, val) \

80 { \

81 unsigned int out; \

82 __asm__ volatile( \

83 "move $" #RS ", %1\n\t" \

84 instruction " $" #RS ", " #val "\n\t" \

85 "move %0, $" #RS "\n\t" \

86 : "=&r" (out) \

87 : "r" (RSval) \

88 : #RS, "memory" \

89 ); \

90 printf("%s :: rd 0x%08x rs 0x%08x\n", \

91 instruction, out, RSval); \

92 }

93

94

95 int main(int argc, char **argv){

96

97 #if (__mips_isa_rev>=6)

98 printf("div\n");

99 TEST_3R("div", mem[0], mem[1], t1, t2, t0)

100 TEST_3R("div", mem[0], mem[2], t2, t0, t1)

101 TEST_3R("div", mem[0], mem[3], t0, t1, t2)

102 TEST_3R("div", mem[0], mem[4], t1, t2, t0)

103 TEST_3R("div", mem[0], mem[5], t2, t0, t1)

104 TEST_3R("div", mem[0], mem[6], t0, t1, t2)

105 TEST_3R("div", mem[0], mem[7], t1, t2, t0)

106 TEST_3R("div", mem[0], mem[8], t2, t0, t1)

107 TEST_3R("div", mem[0], mem[9], t0, t1, t2)

108 TEST_3R("div", mem[0], mem[10], t1, t2, t0)

109 TEST_3R("div", mem[0], mem[11], t2, t0, t1)

110 TEST_3R("div", mem[1], mem[1], t2, t0, t1)

111 TEST_3R("div", mem[1], mem[2], t0, t1, t2)

112 TEST_3R("div", mem[1], mem[3], t1, t2, t0)

113 TEST_3R("div", mem[1], mem[4], t2, t0, t1)

114 TEST_3R("div", mem[1], mem[5], t0, t1, t2)

115 TEST_3R("div", mem[1], mem[6], t1, t2, t0)

116 TEST_3R("div", mem[1], mem[7], t2, t0, t1)

117 TEST_3R("div", mem[1], mem[8], t0, t1, t2)

118 TEST_3R("div", mem[1], mem[9], t1, t2, t0)

119 TEST_3R("div", mem[1], mem[10], t2, t0, t1)

120 TEST_3R("div", mem[1], mem[11], t0, t1, t2)

121 TEST_3R("div", mem[2], mem[1], t0, t1, t2)

122 TEST_3R("div", mem[2], mem[2], t1, t2, t0)

123 TEST_3R("div", mem[2], mem[3], t2, t0, t1)

124 TEST_3R("div", mem[2], mem[4], t0, t1, t2)

125 TEST_3R("div", mem[2], mem[5], t1, t2, t0)

126 TEST_3R("div", mem[2], mem[6], t2, t0, t1)

127 TEST_3R("div", mem[2], mem[7], t0, t1, t2)

128 TEST_3R("div", mem[2], mem[8], t1, t2, t0)

129 TEST_3R("div", mem[2], mem[9], t2, t0, t1)

130 TEST_3R("div", mem[2], mem[10], t0, t1, t2)

131 TEST_3R("div", mem[2], mem[11], t1, t2, t0)

132 TEST_3R("div", mem[3], mem[1], t1, t2, t0)

133 TEST_3R("div", mem[3], mem[2], t2, t0, t1)

134 TEST_3R("div", mem[3], mem[3], t0, t1, t2)

135 TEST_3R("div", mem[3], mem[4], t1, t2, t0)

136 TEST_3R("div", mem[3], mem[5], t2, t0, t1)

137 TEST_3R("div", mem[3], mem[6], t0, t1, t2)

138 TEST_3R("div", mem[3], mem[7], t0, t2, t0)

139 TEST_3R("div", mem[3], mem[8], t2, t0, t1)

140 TEST_3R("div", mem[3], mem[9], t0, t1, t2)

141 TEST_3R("div", mem[3], mem[10], t1, t2, t0)

142 TEST_3R("div", mem[3], mem[11], t2, t0, t1)

143 TEST_3R("div", mem[4], mem[1], t2, t0, t1)

144 TEST_3R("div", mem[4], mem[2], t0, t1, t2)

145 TEST_3R("div", mem[4], mem[3], t1, t2, t0)

146 TEST_3R("div", mem[4], mem[4], t2, t0, t1)

147 TEST_3R("div", mem[4], mem[5], t0, t1, t2)

148 TEST_3R("div", mem[4], mem[6], t1, t2, t0)

149 TEST_3R("div", mem[4], mem[7], t2, t0, t1)

150 TEST_3R("div", mem[4], mem[8], t0, t1, t2)

151 TEST_3R("div", mem[4], mem[9], t1, t2, t0)

152 TEST_3R("div", mem[4], mem[10], t2, t0, t1)

153 TEST_3R("div", mem[4], mem[11], t0, t1, t2)

154 TEST_3R("div", mem[5], mem[1], t0, t1, t2)

155 TEST_3R("div", mem[5], mem[2], t1, t2, t0)

156 TEST_3R("div", mem[5], mem[3], t2, t0, t1)

157 TEST_3R("div", mem[5], mem[4], t0, t1, t2)

158 TEST_3R("div", mem[5], mem[5], t1, t2, t0)

159 TEST_3R("div", mem[5], mem[6], t2, t0, t1)

160 TEST_3R("div", mem[5], mem[7], t0, t1, t1)

161 TEST_3R("div", mem[5], mem[8], t1, t2, t0)

162 TEST_3R("div", mem[5], mem[9], t2, t0, t1)

163 TEST_3R("div", mem[5], mem[10], t0, t1, t2)

164 TEST_3R("div", mem[5], mem[11], t1, t2, t0)

165 TEST_3R("div", mem[6], mem[1], t2, t2, t0)

166 TEST_3R("div", mem[6], mem[2], t2, t0, t1)

167 TEST_3R("div", mem[6], mem[3], t0, t1, t2)

168 TEST_3R("div", mem[6], mem[4], t1, t2, t0)

169 TEST_3R("div", mem[6], mem[5], t2, t0, t1)

170 TEST_3R("div", mem[6], mem[6], t0, t1, t2)

171 TEST_3R("div", mem[6], mem[7], t1, t2, t0)

172 TEST_3R("div", mem[6], mem[8], t2, t0, t1)

173 TEST_3R("div", mem[6], mem[9], t0, t1, t2)

174 TEST_3R("div", mem[6], mem[10], t1, t2, t0)

175 TEST_3R("div", mem[6], mem[11], t2, t0, t1)

176 TEST_3R("div", mem[7], mem[1], t2, t0, t1)

177 TEST_3R("div", mem[7], mem[2], t0, t1, t2)

178 TEST_3R("div", mem[7], mem[3], t1, t2, t0)

179 TEST_3R("div", mem[7], mem[4], t2, t0, t1)

180 TEST_3R("div", mem[7], mem[5], t0, t1, t2)

181 TEST_3R("div", mem[7], mem[6], t1, t2, t0)

182 TEST_3R("div", mem[7], mem[7], t2, t0, t1)

183 TEST_3R("div", mem[7], mem[8], t0, t1, t2)

184 TEST_3R("div", mem[7], mem[9], t1, t2, t0)

185 TEST_3R("div", mem[7], mem[10], t2, t0, t1)

186 TEST_3R("div", mem[7], mem[11], t0, t1, t2)

187 TEST_3R("div", mem[8], mem[1], t0, t1, t2)

188 TEST_3R("div", mem[8], mem[2], t1, t2, t0)

189 TEST_3R("div", mem[8], mem[3], t2, t0, t1)

190 TEST_3R("div", mem[8], mem[4], t0, t1, t2)

191 TEST_3R("div", mem[8], mem[5], t1, t2, t0)

192 TEST_3R("div", mem[8], mem[6], t2, t0, t1)

193 TEST_3R("div", mem[8], mem[7], t0, t1, t2)

194 TEST_3R("div", mem[8], mem[8], t1, t2, t0)

195 TEST_3R("div", mem[8], mem[9], t2, t0, t1)

196 TEST_3R("div", mem[8], mem[10], t0, t1, t2)

197 TEST_3R("div", mem[8], mem[11], t1, t2, t0)

198 TEST_3R("div", mem[9], mem[1], t1, t2, t0)

199 TEST_3R("div", mem[9], mem[2], t2, t0, t1)

200 TEST_3R("div", mem[9], mem[3], t0, t1, t2)

201 TEST_3R("div", mem[9], mem[4], t1, t2, t0)

202 TEST_3R("div", mem[9], mem[5], t2, t0, t1)

203 TEST_3R("div", mem[9], mem[6], t0, t1, t2)

204 TEST_3R("div", mem[9], mem[7], t1, t2, t0)

205 TEST_3R("div", mem[9], mem[8], t2, t0, t1)

206 TEST_3R("div", mem[9], mem[9], t0, t1, t2)

207 TEST_3R("div", mem[9], mem[10], t1, t2, t0)

208 TEST_3R("div", mem[9], mem[11], t2, t0, t1)

209 TEST_3R("div", mem[10], mem[1], t2, t0, t1)

210 TEST_3R("div", mem[10], mem[2], t0, t1, t2)

211 TEST_3R("div", mem[10], mem[3], t1, t2, t0)

212 TEST_3R("div", mem[10], mem[4], t2, t0, t1)

213 TEST_3R("div", mem[10], mem[5], t0, t1, t2)

214 TEST_3R("div", mem[10], mem[6], t1, t2, t0)

215 TEST_3R("div", mem[10], mem[7], t2, t0, t1)

216 TEST_3R("div", mem[10], mem[8], t0, t1, t2)

217 TEST_3R("div", mem[10], mem[9], t1, t2, t0)

218 TEST_3R("div", mem[10], mem[10], t2, t0, t1)

219 TEST_3R("div", mem[10], mem[11], t0, t1, t2)

220 TEST_3R("div", mem[11], mem[1], t0, t1, t2)

221 TEST_3R("div", mem[11], mem[2], t1, t2, t0)

222 TEST_3R("div", mem[11], mem[3], t2, t0, t1)

223 TEST_3R("div", mem[11], mem[4], t0, t1, t2)

224 TEST_3R("div", mem[11], mem[5], t1, t2, t0)

225 TEST_3R("div", mem[11], mem[6], t2, t0, t1)

226 TEST_3R("div", mem[11], mem[7], t0, t1, t2)

227 TEST_3R("div", mem[11], mem[8], t1, t2, t0)

228 TEST_3R("div", mem[11], mem[9], t2, t0, t1)

229 TEST_3R("div", mem[11], mem[10], t0, t1, t2)

230 TEST_3R("div", mem[11], mem[11], t2, t2, t2)

231

232 printf("\nmod\n");

233 TEST_3R("mod", mem[0], mem[1], t1, t2, t0)

234 TEST_3R("mod", mem[0], mem[2], t2, t0, t1)

235 TEST_3R("mod", mem[0], mem[3], t0, t1, t2)

236 TEST_3R("mod", mem[0], mem[4], t1, t2, t0)

237 TEST_3R("mod", mem[0], mem[5], t2, t0, t1)

238 TEST_3R("mod", mem[0], mem[6], t0, t1, t2)

239 TEST_3R("mod", mem[0], mem[7], t1, t2, t0)

240 TEST_3R("mod", mem[0], mem[8], t2, t0, t1)

241 TEST_3R("mod", mem[0], mem[9], t0, t1, t2)

242 TEST_3R("mod", mem[0], mem[10], t1, t2, t0)

243 TEST_3R("mod", mem[0], mem[11], t2, t0, t1)

244 TEST_3R("mod", mem[1], mem[1], t2, t0, t1)

245 TEST_3R("mod", mem[1], mem[2], t0, t1, t2)

246 TEST_3R("mod", mem[1], mem[3], t1, t2, t0)

247 TEST_3R("mod", mem[1], mem[4], t2, t0, t1)

248 TEST_3R("mod", mem[1], mem[5], t0, t1, t2)

249 TEST_3R("mod", mem[1], mem[6], t1, t0, t0)

250 TEST_3R("mod", mem[1], mem[7], t2, t0, t1)

251 TEST_3R("mod", mem[1], mem[8], t0, t1, t2)

252 TEST_3R("mod", mem[1], mem[9], t1, t2, t0)

253 TEST_3R("mod", mem[1], mem[10], t2, t0, t1)

254 TEST_3R("mod", mem[1], mem[11], t0, t1, t2)

255 TEST_3R("mod", mem[2], mem[1], t0, t1, t2)

256 TEST_3R("mod", mem[2], mem[2], t1, t2, t0)

257 TEST_3R("mod", mem[2], mem[3], t2, t0, t1)

258 TEST_3R("mod", mem[2], mem[4], t0, t1, t2)

259 TEST_3R("mod", mem[2], mem[5], t1, t2, t0)

260 TEST_3R("mod", mem[2], mem[6], t2, t0, t1)

261 TEST_3R("mod", mem[2], mem[7], t0, t1, t0)

262 TEST_3R("mod", mem[2], mem[8], t1, t2, t0)

263 TEST_3R("mod", mem[2], mem[9], t2, t0, t1)

264 TEST_3R("mod", mem[2], mem[10], t0, t1, t2)

265 TEST_3R("mod", mem[2], mem[11], t1, t2, t0)

266 TEST_3R("mod", mem[3], mem[1], t1, t2, t0)

267 TEST_3R("mod", mem[3], mem[2], t2, t0, t1)

268 TEST_3R("mod", mem[3], mem[3], t0, t1, t2)

269 TEST_3R("mod", mem[3], mem[4], t1, t2, t0)

270 TEST_3R("mod", mem[3], mem[5], t2, t0, t1)

271 TEST_3R("mod", mem[3], mem[6], t0, t1, t2)

272 TEST_3R("mod", mem[3], mem[7], t1, t2, t0)

273 TEST_3R("mod", mem[3], mem[8], t2, t0, t1)

274 TEST_3R("mod", mem[3], mem[9], t0, t1, t2)

275 TEST_3R("mod", mem[3], mem[10], t1, t2, t1)

276 TEST_3R("mod", mem[3], mem[11], t2, t0, t1)

277 TEST_3R("mod", mem[4], mem[1], t2, t0, t1)

278 TEST_3R("mod", mem[4], mem[2], t0, t1, t2)

279 TEST_3R("mod", mem[4], mem[3], t1, t2, t0)

280 TEST_3R("mod", mem[4], mem[4], t2, t0, t1)

281 TEST_3R("mod", mem[4], mem[5], t0, t0, t0)

282 TEST_3R("mod", mem[4], mem[6], t1, t2, t0)

283 TEST_3R("mod", mem[4], mem[7], t2, t0, t1)

284 TEST_3R("mod", mem[4], mem[8], t0, t1, t2)

285 TEST_3R("mod", mem[4], mem[9], t1, t2, t0)

286 TEST_3R("mod", mem[4], mem[10], t2, t0, t1)

287 TEST_3R("mod", mem[4], mem[11], t0, t1, t2)

288 TEST_3R("mod", mem[5], mem[1], t0, t1, t2)

289 TEST_3R("mod", mem[5], mem[2], t1, t2, t0)

290 TEST_3R("mod", mem[5], mem[3], t2, t0, t1)

291 TEST_3R("mod", mem[5], mem[4], t0, t1, t2)

292 TEST_3R("mod", mem[5], mem[5], t1, t2, t0)

293 TEST_3R("mod", mem[5], mem[6], t2, t0, t1)

294 TEST_3R("mod", mem[5], mem[7], t0, t1, t2)

295 TEST_3R("mod", mem[5], mem[8], t1, t2, t0)

296 TEST_3R("mod", mem[5], mem[9], t2, t0, t1)

297 TEST_3R("mod", mem[5], mem[10], t0, t1, t2)

298 TEST_3R("mod", mem[5], mem[11], t1, t2, t0)

299 TEST_3R("mod", mem[6], mem[1], t1, t2, t0)

300 TEST_3R("mod", mem[6], mem[2], t2, t0, t1)

301 TEST_3R("mod", mem[6], mem[3], t0, t1, t2)

302 TEST_3R("mod", mem[6], mem[4], t1, t2, t0)

303 TEST_3R("mod", mem[6], mem[5], t2, t0, t1)

304 TEST_3R("mod", mem[6], mem[6], t0, t1, t2)

305 TEST_3R("mod", mem[6], mem[7], t1, t2, t0)

306 TEST_3R("mod", mem[6], mem[8], t2, t0, t1)

307 TEST_3R("mod", mem[6], mem[9], t0, t1, t2)

308 TEST_3R("mod", mem[6], mem[10], t1, t2, t0)

309 TEST_3R("mod", mem[6], mem[11], t2, t0, t1)

310 TEST_3R("mod", mem[7], mem[1], t2, t0, t1)

311 TEST_3R("mod", mem[7], mem[2], t0, t1, t2)

312 TEST_3R("mod", mem[7], mem[3], t1, t2, t0)

313 TEST_3R("mod", mem[7], mem[4], t2, t0, t1)

314 TEST_3R("mod", mem[7], mem[5], t0, t1, t2)

315 TEST_3R("mod", mem[7], mem[6], t1, t2, t0)

316 TEST_3R("mod", mem[7], mem[7], t2, t0, t1)

317 TEST_3R("mod", mem[7], mem[8], t0, t1, t2)

318 TEST_3R("mod", mem[7], mem[9], t1, t2, t0)

319 TEST_3R("mod", mem[7], mem[10], t2, t0, t1)

320 TEST_3R("mod", mem[7], mem[11], t0, t1, t2)

321 TEST_3R("mod", mem[8], mem[1], t0, t1, t2)

322 TEST_3R("mod", mem[8], mem[2], t1, t2, t0)

323 TEST_3R("mod", mem[8], mem[3], t2, t0, t1)

324 TEST_3R("mod", mem[8], mem[4], t0, t1, t2)

325 TEST_3R("mod", mem[8], mem[5], t1, t2, t0)

326 TEST_3R("mod", mem[8], mem[6], t2, t0, t1)

327 TEST_3R("mod", mem[8], mem[7], t0, t1, t2)

328 TEST_3R("mod", mem[8], mem[8], t1, t2, t0)

329 TEST_3R("mod", mem[8], mem[9], t2, t0, t1)

330 TEST_3R("mod", mem[8], mem[10], t0, t1, t2)

331 TEST_3R("mod", mem[8], mem[11], t1, t2, t0)

332 TEST_3R("mod", mem[9], mem[1], t1, t2, t0)

333 TEST_3R("mod", mem[9], mem[2], t2, t0, t1)

334 TEST_3R("mod", mem[9], mem[3], t0, t1, t2)

335 TEST_3R("mod", mem[9], mem[4], t1, t2, t0)

336 TEST_3R("mod", mem[9], mem[5], t2, t0, t1)

337 TEST_3R("mod", mem[9], mem[6], t0, t1, t2)

338 TEST_3R("mod", mem[9], mem[7], t1, t2, t0)

339 TEST_3R("mod", mem[9], mem[8], t2, t0, t1)

340 TEST_3R("mod", mem[9], mem[9], t0, t1, t2)

341 TEST_3R("mod", mem[9], mem[10], t1, t2, t0)

342 TEST_3R("mod", mem[9], mem[11], t2, t0, t1)

343 TEST_3R("mod", mem[10], mem[1], t2, t0, t1)

344 TEST_3R("mod", mem[10], mem[2], t0, t1, t2)

345 TEST_3R("mod", mem[10], mem[3], t1, t2, t0)

346 TEST_3R("mod", mem[10], mem[4], t2, t0, t1)

347 TEST_3R("mod", mem[10], mem[5], t0, t1, t2)

348 TEST_3R("mod", mem[10], mem[6], t1, t2, t0)

349 TEST_3R("mod", mem[10], mem[7], t2, t0, t1)

350 TEST_3R("mod", mem[10], mem[8], t0, t1, t2)

351 TEST_3R("mod", mem[10], mem[9], t1, t2, t0)

352 TEST_3R("mod", mem[10], mem[10], t2, t0, t1)

353 TEST_3R("mod", mem[10], mem[11], t0, t1, t2)

354 TEST_3R("mod", mem[11], mem[1], t0, t1, t2)

355 TEST_3R("mod", mem[11], mem[2], t1, t2, t0)

356 TEST_3R("mod", mem[11], mem[3], t2, t0, t1)

357 TEST_3R("mod", mem[11], mem[4], t0, t1, t2)

358 TEST_3R("mod", mem[11], mem[5], t1, t2, t0)

359 TEST_3R("mod", mem[11], mem[6], t2, t0, t1)

360 TEST_3R("mod", mem[11], mem[7], t0, t1, t2)

361 TEST_3R("mod", mem[11], mem[8], t1, t2, t0)

362 TEST_3R("mod", mem[11], mem[9], t2, t0, t1)

363 TEST_3R("mod", mem[11], mem[10], t0, t1, t2)

364 TEST_3R("mod", mem[11], mem[11], t1, t2, t0)

365

366 printf("\ndivu\n");

367 TEST_3R("divu", mem[0], mem[1], t1, t2, t0)

368 TEST_3R("divu", mem[0], mem[2], t2, t0, t1)

369 TEST_3R("divu", mem[0], mem[3], t0, t1, t2)

370 TEST_3R("divu", mem[0], mem[4], t1, t2, t0)

371 TEST_3R("divu", mem[0], mem[5], t2, t0, t1)

372 TEST_3R("divu", mem[0], mem[6], t0, t1, t2)

373 TEST_3R("divu", mem[0], mem[7], t1, t2, t0)

374 TEST_3R("divu", mem[0], mem[8], t2, t0, t1)

375 TEST_3R("divu", mem[0], mem[9], t0, t1, t2)

376 TEST_3R("divu", mem[0], mem[10], t1, t2, t0)

377 TEST_3R("divu", mem[0], mem[11], t2, t0, t1)

378 TEST_3R("divu", mem[1], mem[1], t2, t0, t1)

379 TEST_3R("divu", mem[1], mem[2], t0, t1, t2)

380 TEST_3R("divu", mem[1], mem[3], t1, t2, t0)

381 TEST_3R("divu", mem[1], mem[4], t2, t0, t1)

382 TEST_3R("divu", mem[1], mem[5], t0, t1, t2)

383 TEST_3R("divu", mem[1], mem[6], t1, t2, t0)

384 TEST_3R("divu", mem[1], mem[7], t2, t0, t1)

385 TEST_3R("divu", mem[1], mem[8], t0, t1, t2)

386 TEST_3R("divu", mem[1], mem[9], t1, t2, t0)

387 TEST_3R("divu", mem[1], mem[10], t2, t0, t1)

388 TEST_3R("divu", mem[1], mem[11], t0, t1, t2)

389 TEST_3R("divu", mem[2], mem[1], t0, t1, t2)

390 TEST_3R("divu", mem[2], mem[2], t1, t2, t0)

391 TEST_3R("divu", mem[2], mem[3], t2, t0, t1)

392 TEST_3R("divu", mem[2], mem[4], t0, t1, t2)

393 TEST_3R("divu", mem[2], mem[5], t1, t2, t0)

394 TEST_3R("divu", mem[2], mem[6], t2, t0, t1)

395 TEST_3R("divu", mem[2], mem[7], t0, t1, t2)

396 TEST_3R("divu", mem[2], mem[8], t1, t2, t0)

397 TEST_3R("divu", mem[2], mem[9], t2, t0, t1)

398 TEST_3R("divu", mem[2], mem[10], t0, t1, t2)

399 TEST_3R("divu", mem[2], mem[11], t1, t2, t0)

400 TEST_3R("divu", mem[3], mem[1], t1, t2, t0)

401 TEST_3R("divu", mem[3], mem[2], t2, t0, t1)

402 TEST_3R("divu", mem[3], mem[3], t0, t1, t2)

403 TEST_3R("divu", mem[3], mem[4], t1, t2, t0)

404 TEST_3R("divu", mem[3], mem[5], t2, t0, t1)

405 TEST_3R("divu", mem[3], mem[6], t0, t1, t2)

406 TEST_3R("divu", mem[3], mem[7], t1, t2, t0)

407 TEST_3R("divu", mem[3], mem[8], t2, t0, t1)

408 TEST_3R("divu", mem[3], mem[9], t0, t1, t2)

409 TEST_3R("divu", mem[3], mem[10], t1, t2, t0)

410 TEST_3R("divu", mem[3], mem[11], t2, t0, t1)

411 TEST_3R("divu", mem[4], mem[1], t2, t0, t1)

412 TEST_3R("divu", mem[4], mem[2], t0, t1, t2)

413 TEST_3R("divu", mem[4], mem[3], t1, t2, t0)

414 TEST_3R("divu", mem[4], mem[4], t2, t0, t1)

415 TEST_3R("divu", mem[4], mem[5], t0, t1, t2)

416 TEST_3R("divu", mem[4], mem[6], t1, t2, t0)

417 TEST_3R("divu", mem[4], mem[7], t2, t0, t1)

418 TEST_3R("divu", mem[4], mem[8], t0, t1, t2)

419 TEST_3R("divu", mem[4], mem[9], t1, t2, t0)

420 TEST_3R("divu", mem[4], mem[10], t2, t0, t1)

421 TEST_3R("divu", mem[4], mem[11], t0, t1, t2)

422 TEST_3R("divu", mem[5], mem[1], t0, t1, t2)

423 TEST_3R("divu", mem[5], mem[2], t1, t2, t0)

424 TEST_3R("divu", mem[5], mem[3], t2, t0, t1)

425 TEST_3R("divu", mem[5], mem[4], t0, t1, t2)

426 TEST_3R("divu", mem[5], mem[5], t1, t2, t0)

427 TEST_3R("divu", mem[5], mem[6], t2, t0, t1)

428 TEST_3R("divu", mem[5], mem[7], t0, t1, t2)

429 TEST_3R("divu", mem[5], mem[8], t1, t2, t0)

430 TEST_3R("divu", mem[5], mem[9], t2, t0, t1)

431 TEST_3R("divu", mem[5], mem[10], t0, t1, t2)

432 TEST_3R("divu", mem[5], mem[11], t1, t2, t0)

433 TEST_3R("divu", mem[6], mem[1], t1, t2, t0)

434 TEST_3R("divu", mem[6], mem[2], t2, t0, t1)

435 TEST_3R("divu", mem[6], mem[3], t0, t1, t2)

436 TEST_3R("divu", mem[6], mem[4], t1, t2, t0)

437 TEST_3R("divu", mem[6], mem[5], t2, t0, t1)

438 TEST_3R("divu", mem[6], mem[6], t0, t1, t2)

439 TEST_3R("divu", mem[6], mem[7], t1, t2, t0)

440 TEST_3R("divu", mem[6], mem[8], t2, t0, t1)

441 TEST_3R("divu", mem[6], mem[9], t0, t1, t2)

442 TEST_3R("divu", mem[6], mem[10], t1, t2, t0)

443 TEST_3R("divu", mem[6], mem[11], t2, t0, t1)

444 TEST_3R("divu", mem[7], mem[1], t2, t0, t1)

445 TEST_3R("divu", mem[7], mem[2], t0, t1, t2)

446 TEST_3R("divu", mem[7], mem[3], t1, t2, t0)

447 TEST_3R("divu", mem[7], mem[4], t2, t0, t1)

448 TEST_3R("divu", mem[7], mem[5], t0, t1, t2)

449 TEST_3R("divu", mem[7], mem[6], t1, t2, t0)

450 TEST_3R("divu", mem[7], mem[7], t2, t0, t1)

451 TEST_3R("divu", mem[7], mem[8], t0, t1, t2)

452 TEST_3R("divu", mem[7], mem[9], t1, t2, t0)

453 TEST_3R("divu", mem[7], mem[10], t2, t0, t1)

454 TEST_3R("divu", mem[7], mem[11], t0, t1, t2)

455 TEST_3R("divu", mem[8], mem[1], t0, t1, t2)

456 TEST_3R("divu", mem[8], mem[2], t1, t2, t0)

457 TEST_3R("divu", mem[8], mem[3], t2, t0, t1)

458 TEST_3R("divu", mem[8], mem[4], t0, t1, t2)

459 TEST_3R("divu", mem[8], mem[5], t1, t2, t0)

460 TEST_3R("divu", mem[8], mem[6], t2, t0, t1)

461 TEST_3R("divu", mem[8], mem[7], t0, t1, t2)

462 TEST_3R("divu", mem[8], mem[8], t1, t2, t0)

463 TEST_3R("divu", mem[8], mem[9], t2, t0, t1)

464 TEST_3R("divu", mem[8], mem[10], t0, t1, t2)

465 TEST_3R("divu", mem[8], mem[11], t1, t2, t0)

466 TEST_3R("divu", mem[9], mem[1], t1, t2, t0)

467 TEST_3R("divu", mem[9], mem[2], t2, t0, t1)

468 TEST_3R("divu", mem[9], mem[3], t0, t1, t2)

469 TEST_3R("divu", mem[9], mem[4], t1, t2, t0)

470 TEST_3R("divu", mem[9], mem[5], t2, t0, t1)

471 TEST_3R("divu", mem[9], mem[6], t0, t1, t2)

472 TEST_3R("divu", mem[9], mem[7], t1, t2, t0)

473 TEST_3R("divu", mem[9], mem[8], t2, t0, t1)

474 TEST_3R("divu", mem[9], mem[9], t0, t1, t2)

475 TEST_3R("divu", mem[9], mem[10], t1, t2, t0)

476 TEST_3R("divu", mem[9], mem[11], t2, t0, t1)

477 TEST_3R("divu", mem[10], mem[1], t2, t0, t1)

478 TEST_3R("divu", mem[10], mem[2], t0, t1, t2)

479 TEST_3R("divu", mem[10], mem[3], t1, t2, t0)

480 TEST_3R("divu", mem[10], mem[4], t2, t0, t1)

481 TEST_3R("divu", mem[10], mem[5], t0, t1, t2)

482 TEST_3R("divu", mem[10], mem[6], t1, t2, t0)

483 TEST_3R("divu", mem[10], mem[7], t2, t0, t1)

484 TEST_3R("divu", mem[10], mem[8], t0, t1, t2)

485 TEST_3R("divu", mem[10], mem[9], t1, t2, t0)

486 TEST_3R("divu", mem[10], mem[10], t2, t0, t1)

487 TEST_3R("divu", mem[10], mem[11], t0, t1, t2)

488 TEST_3R("divu", mem[11], mem[1], t0, t1, t2)

489 TEST_3R("divu", mem[11], mem[2], t1, t2, t0)

490 TEST_3R("divu", mem[11], mem[3], t2, t0, t1)

491 TEST_3R("divu", mem[11], mem[4], t0, t1, t2)

492 TEST_3R("divu", mem[11], mem[5], t1, t2, t0)

493 TEST_3R("divu", mem[11], mem[6], t2, t0, t1)

494 TEST_3R("divu", mem[11], mem[7], t0, t1, t2)

495 TEST_3R("divu", mem[11], mem[8], t1, t2, t0)

496 TEST_3R("divu", mem[11], mem[9], t2, t0, t1)

497 TEST_3R("divu", mem[11], mem[10], t0, t1, t2)

498 TEST_3R("divu", mem[11], mem[11], t1, t2, t0)

499

500 printf("\nmodu\n");

501 TEST_3R("modu", mem[0], mem[1], t1, t2, t0)

502 TEST_3R("modu", mem[0], mem[2], t2, t0, t1)

503 TEST_3R("modu", mem[0], mem[3], t0, t1, t2)

504 TEST_3R("modu", mem[0], mem[4], t1, t2, t0)

505 TEST_3R("modu", mem[0], mem[5], t2, t0, t1)

506 TEST_3R("modu", mem[0], mem[6], t0, t1, t2)

507 TEST_3R("modu", mem[0], mem[7], t1, t2, t0)

508 TEST_3R("modu", mem[0], mem[8], t2, t0, t1)

509 TEST_3R("modu", mem[0], mem[9], t0, t1, t2)

510 TEST_3R("modu", mem[0], mem[10], t1, t2, t0)

511 TEST_3R("modu", mem[0], mem[11], t2, t0, t1)

512 TEST_3R("modu", mem[1], mem[1], t2, t0, t1)

513 TEST_3R("modu", mem[1], mem[2], t0, t1, t2)

514 TEST_3R("modu", mem[1], mem[3], t1, t2, t0)

515 TEST_3R("modu", mem[1], mem[4], t2, t0, t1)

516 TEST_3R("modu", mem[1], mem[5], t0, t1, t2)

517 TEST_3R("modu", mem[1], mem[6], t1, t2, t0)

518 TEST_3R("modu", mem[1], mem[7], t2, t0, t1)

519 TEST_3R("modu", mem[1], mem[8], t0, t1, t2)

520 TEST_3R("modu", mem[1], mem[9], t1, t2, t0)

521 TEST_3R("modu", mem[1], mem[10], t2, t0, t1)

522 TEST_3R("modu", mem[1], mem[11], t0, t1, t2)

523 TEST_3R("modu", mem[2], mem[1], t0, t1, t2)

524 TEST_3R("modu", mem[2], mem[2], t1, t2, t0)

525 TEST_3R("modu", mem[2], mem[3], t2, t0, t1)

526 TEST_3R("modu", mem[2], mem[4], t0, t1, t2)

527 TEST_3R("modu", mem[2], mem[5], t1, t2, t0)

528 TEST_3R("modu", mem[2], mem[6], t2, t0, t1)

529 TEST_3R("modu", mem[2], mem[7], t0, t1, t2)

530 TEST_3R("modu", mem[2], mem[8], t1, t2, t0)

531 TEST_3R("modu", mem[2], mem[9], t2, t0, t1)

532 TEST_3R("modu", mem[2], mem[10], t0, t1, t2)

533 TEST_3R("modu", mem[2], mem[11], t1, t2, t0)

534 TEST_3R("modu", mem[3], mem[1], t1, t2, t0)

535 TEST_3R("modu", mem[3], mem[2], t2, t0, t1)

536 TEST_3R("modu", mem[3], mem[3], t0, t1, t2)

537 TEST_3R("modu", mem[3], mem[4], t1, t2, t0)

538 TEST_3R("modu", mem[3], mem[5], t2, t0, t1)

539 TEST_3R("modu", mem[3], mem[6], t0, t1, t2)

540 TEST_3R("modu", mem[3], mem[7], t1, t2, t0)

541 TEST_3R("modu", mem[3], mem[8], t2, t0, t1)

542 TEST_3R("modu", mem[3], mem[9], t0, t1, t2)

543 TEST_3R("modu", mem[3], mem[10], t1, t2, t0)

544 TEST_3R("modu", mem[3], mem[11], t2, t0, t1)

545 TEST_3R("modu", mem[4], mem[1], t2, t0, t1)

546 TEST_3R("modu", mem[4], mem[2], t0, t1, t2)

547 TEST_3R("modu", mem[4], mem[3], t1, t2, t0)

548 TEST_3R("modu", mem[4], mem[4], t2, t0, t1)

549 TEST_3R("modu", mem[4], mem[5], t0, t1, t2)

550 TEST_3R("modu", mem[4], mem[6], t1, t2, t0)

551 TEST_3R("modu", mem[4], mem[7], t2, t0, t1)

552 TEST_3R("modu", mem[4], mem[8], t0, t1, t2)

553 TEST_3R("modu", mem[4], mem[9], t1, t2, t0)

554 TEST_3R("modu", mem[4], mem[10], t2, t0, t1)

555 TEST_3R("modu", mem[4], mem[11], t0, t1, t2)

556 TEST_3R("modu", mem[5], mem[1], t0, t1, t2)

557 TEST_3R("modu", mem[5], mem[2], t1, t2, t0)

558 TEST_3R("modu", mem[5], mem[3], t2, t0, t1)

559 TEST_3R("modu", mem[5], mem[4], t0, t1, t2)

560 TEST_3R("modu", mem[5], mem[5], t1, t2, t0)

561 TEST_3R("modu", mem[5], mem[6], t2, t0, t1)

562 TEST_3R("modu", mem[5], mem[7], t0, t1, t2)

563 TEST_3R("modu", mem[5], mem[8], t1, t2, t0)

564 TEST_3R("modu", mem[5], mem[9], t2, t0, t1)

565 TEST_3R("modu", mem[5], mem[10], t0, t1, t2)

566 TEST_3R("modu", mem[5], mem[11], t1, t2, t0)

567 TEST_3R("modu", mem[6], mem[1], t1, t2, t0)

568 TEST_3R("modu", mem[6], mem[2], t2, t0, t1)

569 TEST_3R("modu", mem[6], mem[3], t0, t1, t2)

570 TEST_3R("modu", mem[6], mem[4], t1, t2, t0)

571 TEST_3R("modu", mem[6], mem[5], t2, t0, t1)

572 TEST_3R("modu", mem[6], mem[6], t0, t1, t2)

573 TEST_3R("modu", mem[6], mem[7], t1, t2, t0)

574 TEST_3R("modu", mem[6], mem[8], t2, t0, t1)

575 TEST_3R("modu", mem[6], mem[9], t0, t1, t2)

576 TEST_3R("modu", mem[6], mem[10], t1, t2, t0)

577 TEST_3R("modu", mem[6], mem[11], t2, t0, t1)

578 TEST_3R("modu", mem[7], mem[1], t2, t0, t1)

579 TEST_3R("modu", mem[7], mem[2], t0, t1, t2)

580 TEST_3R("modu", mem[7], mem[3], t1, t2, t0)

581 TEST_3R("modu", mem[7], mem[4], t2, t0, t1)

582 TEST_3R("modu", mem[7], mem[5], t0, t1, t2)

583 TEST_3R("modu", mem[7], mem[6], t1, t2, t0)

584 TEST_3R("modu", mem[7], mem[7], t2, t0, t1)

585 TEST_3R("modu", mem[7], mem[8], t0, t1, t2)

586 TEST_3R("modu", mem[7], mem[9], t1, t2, t0)

587 TEST_3R("modu", mem[7], mem[10], t2, t0, t1)

588 TEST_3R("modu", mem[7], mem[11], t0, t1, t2)

589 TEST_3R("modu", mem[8], mem[1], t0, t1, t2)

590 TEST_3R("modu", mem[8], mem[2], t1, t2, t0)

591 TEST_3R("modu", mem[8], mem[3], t2, t0, t1)

592 TEST_3R("modu", mem[8], mem[4], t0, t1, t2)

593 TEST_3R("modu", mem[8], mem[5], t1, t2, t0)

594 TEST_3R("modu", mem[8], mem[6], t2, t0, t1)

595 TEST_3R("modu", mem[8], mem[7], t0, t1, t2)

596 TEST_3R("modu", mem[8], mem[8], t1, t2, t0)

597 TEST_3R("modu", mem[8], mem[9], t2, t0, t1)

598 TEST_3R("modu", mem[8], mem[10], t0, t1, t2)

599 TEST_3R("modu", mem[8], mem[11], t1, t2, t0)

600 TEST_3R("modu", mem[9], mem[1], t1, t2, t0)

601 TEST_3R("modu", mem[9], mem[2], t2, t0, t1)

602 TEST_3R("modu", mem[9], mem[3], t0, t1, t2)

603 TEST_3R("modu", mem[9], mem[4], t1, t2, t0)

604 TEST_3R("modu", mem[9], mem[5], t2, t0, t1)

605 TEST_3R("modu", mem[9], mem[6], t0, t1, t2)

606 TEST_3R("modu", mem[9], mem[7], t1, t2, t0)

607 TEST_3R("modu", mem[9], mem[8], t2, t0, t1)

608 TEST_3R("modu", mem[9], mem[9], t0, t1, t2)

609 TEST_3R("modu", mem[9], mem[10], t1, t2, t0)

610 TEST_3R("modu", mem[9], mem[11], t2, t0, t1)

611 TEST_3R("modu", mem[10], mem[1], t2, t0, t1)

612 TEST_3R("modu", mem[10], mem[2], t0, t1, t2)

613 TEST_3R("modu", mem[10], mem[3], t1, t2, t0)

614 TEST_3R("modu", mem[10], mem[4], t2, t0, t1)

615 TEST_3R("modu", mem[10], mem[5], t0, t1, t2)

616 TEST_3R("modu", mem[10], mem[6], t1, t2, t0)

617 TEST_3R("modu", mem[10], mem[7], t2, t0, t1)

618 TEST_3R("modu", mem[10], mem[8], t0, t1, t2)

619 TEST_3R("modu", mem[10], mem[9], t1, t2, t0)

620 TEST_3R("modu", mem[10], mem[10], t2, t0, t1)

621 TEST_3R("modu", mem[10], mem[11], t0, t1, t2)

622 TEST_3R("modu", mem[11], mem[1], t0, t1, t2)

623 TEST_3R("modu", mem[11], mem[2], t1, t2, t0)

624 TEST_3R("modu", mem[11], mem[3], t2, t0, t1)

625 TEST_3R("modu", mem[11], mem[4], t0, t1, t2)

626 TEST_3R("modu", mem[11], mem[5], t1, t2, t0)

627 TEST_3R("modu", mem[11], mem[6], t2, t0, t1)

628 TEST_3R("modu", mem[11], mem[7], t0, t1, t2)

629 TEST_3R("modu", mem[11], mem[8], t1, t2, t0)

630 TEST_3R("modu", mem[11], mem[9], t2, t0, t1)

631 TEST_3R("modu", mem[11], mem[10], t0, t1, t2)

632 TEST_3R("modu", mem[11], mem[11], t1, t2, t0)

633

634 printf("\nmul\n");

635 TEST_3R("mul", mem[0], mem[0], t0, t1, t2)

636 TEST_3R("mul", mem[0], mem[1], t1, t2, t0)

637 TEST_3R("mul", mem[0], mem[2], t2, t0, t1)

638 TEST_3R("mul", mem[0], mem[3], t0, t1, t2)

639 TEST_3R("mul", mem[0], mem[4], t1, t2, t0)

640 TEST_3R("mul", mem[0], mem[5], t2, t0, t1)

641 TEST_3R("mul", mem[0], mem[6], t0, t1, t2)

642 TEST_3R("mul", mem[0], mem[7], t1, t2, t0)

643 TEST_3R("mul", mem[0], mem[8], t2, t0, t1)

644 TEST_3R("mul", mem[0], mem[9], t0, t1, t2)

645 TEST_3R("mul", mem[0], mem[10], t1, t2, t0)

646 TEST_3R("mul", mem[0], mem[11], t2, t0, t1)

647 TEST_3R("mul", mem[1], mem[0], t1, t2, t0)

648 TEST_3R("mul", mem[1], mem[1], t2, t0, t1)

649 TEST_3R("mul", mem[1], mem[2], t0, t1, t2)

650 TEST_3R("mul", mem[1], mem[3], t1, t2, t0)

651 TEST_3R("mul", mem[1], mem[4], t2, t0, t1)

652 TEST_3R("mul", mem[1], mem[5], t0, t1, t2)

653 TEST_3R("mul", mem[1], mem[6], t1, t2, t0)

654 TEST_3R("mul", mem[1], mem[7], t2, t0, t1)

655 TEST_3R("mul", mem[1], mem[8], t0, t1, t2)

656 TEST_3R("mul", mem[1], mem[9], t1, t2, t0)

657 TEST_3R("mul", mem[1], mem[10], t2, t0, t1)

658 TEST_3R("mul", mem[1], mem[11], t0, t1, t2)

659 TEST_3R("mul", mem[2], mem[0], t2, t0, t1)

660 TEST_3R("mul", mem[2], mem[1], t0, t1, t2)

661 TEST_3R("mul", mem[2], mem[2], t1, t2, t0)

662 TEST_3R("mul", mem[2], mem[3], t2, t0, t1)

663 TEST_3R("mul", mem[2], mem[4], t0, t1, t2)

664 TEST_3R("mul", mem[2], mem[5], t1, t2, t0)

665 TEST_3R("mul", mem[2], mem[6], t2, t0, t1)

666 TEST_3R("mul", mem[2], mem[7], t0, t1, t2)

667 TEST_3R("mul", mem[2], mem[8], t1, t2, t0)

668 TEST_3R("mul", mem[2], mem[9], t2, t0, t1)

669 TEST_3R("mul", mem[2], mem[10], t0, t1, t2)

670 TEST_3R("mul", mem[2], mem[11], t1, t2, t0)

671 TEST_3R("mul", mem[3], mem[0], t0, t1, t2)

672 TEST_3R("mul", mem[3], mem[1], t1, t2, t0)

673 TEST_3R("mul", mem[3], mem[2], t2, t0, t1)

674 TEST_3R("mul", mem[3], mem[3], t0, t1, t2)

675 TEST_3R("mul", mem[3], mem[4], t1, t2, t0)

676 TEST_3R("mul", mem[3], mem[5], t2, t0, t1)

677 TEST_3R("mul", mem[3], mem[6], t0, t1, t2)

678 TEST_3R("mul", mem[3], mem[7], t1, t2, t0)

679 TEST_3R("mul", mem[3], mem[8], t2, t0, t1)

680 TEST_3R("mul", mem[3], mem[9], t0, t1, t2)

681 TEST_3R("mul", mem[3], mem[10], t1, t2, t0)

682 TEST_3R("mul", mem[3], mem[11], t2, t0, t1)

683 TEST_3R("mul", mem[4], mem[0], t1, t2, t0)

684 TEST_3R("mul", mem[4], mem[1], t2, t0, t1)

685 TEST_3R("mul", mem[4], mem[2], t0, t1, t2)

686 TEST_3R("mul", mem[4], mem[3], t1, t2, t0)

687 TEST_3R("mul", mem[4], mem[4], t2, t0, t1)

688 TEST_3R("mul", mem[4], mem[5], t0, t1, t2)

689 TEST_3R("mul", mem[4], mem[6], t1, t2, t0)

690 TEST_3R("mul", mem[4], mem[7], t2, t0, t1)

691 TEST_3R("mul", mem[4], mem[8], t0, t1, t2)

692 TEST_3R("mul", mem[4], mem[9], t1, t2, t0)

693 TEST_3R("mul", mem[4], mem[10], t2, t0, t1)

694 TEST_3R("mul", mem[4], mem[11], t0, t1, t2)

695 TEST_3R("mul", mem[5], mem[0], t2, t0, t1)

696 TEST_3R("mul", mem[5], mem[1], t0, t1, t2)

697 TEST_3R("mul", mem[5], mem[2], t1, t2, t0)

698 TEST_3R("mul", mem[5], mem[3], t2, t0, t1)

699 TEST_3R("mul", mem[5], mem[4], t0, t1, t2)

700 TEST_3R("mul", mem[5], mem[5], t1, t2, t0)

701 TEST_3R("mul", mem[5], mem[6], t2, t0, t1)

702 TEST_3R("mul", mem[5], mem[7], t0, t1, t2)

703 TEST_3R("mul", mem[5], mem[8], t1, t2, t0)

704 TEST_3R("mul", mem[5], mem[9], t2, t0, t1)

705 TEST_3R("mul", mem[5], mem[10], t0, t1, t2)

706 TEST_3R("mul", mem[5], mem[11], t1, t2, t0)

707 TEST_3R("mul", mem[6], mem[0], t0, t1, t2)

708 TEST_3R("mul", mem[6], mem[1], t1, t2, t0)

709 TEST_3R("mul", mem[6], mem[2], t2, t0, t1)

710 TEST_3R("mul", mem[6], mem[3], t0, t1, t2)

711 TEST_3R("mul", mem[6], mem[4], t1, t2, t0)

712 TEST_3R("mul", mem[6], mem[5], t2, t0, t1)

713 TEST_3R("mul", mem[6], mem[6], t0, t1, t2)

714 TEST_3R("mul", mem[6], mem[7], t1, t2, t0)

715 TEST_3R("mul", mem[6], mem[8], t2, t0, t1)

716 TEST_3R("mul", mem[6], mem[9], t0, t1, t2)

717 TEST_3R("mul", mem[6], mem[10], t1, t2, t0)

718 TEST_3R("mul", mem[6], mem[11], t2, t0, t1)

719 TEST_3R("mul", mem[7], mem[0], t1, t2, t0)

720 TEST_3R("mul", mem[7], mem[1], t2, t0, t1)

721 TEST_3R("mul", mem[7], mem[2], t0, t1, t2)

722 TEST_3R("mul", mem[7], mem[3], t1, t2, t0)

723 TEST_3R("mul", mem[7], mem[4], t2, t0, t1)

724 TEST_3R("mul", mem[7], mem[5], t0, t1, t2)

725 TEST_3R("mul", mem[7], mem[6], t1, t2, t0)

726 TEST_3R("mul", mem[7], mem[7], t2, t0, t1)

727 TEST_3R("mul", mem[7], mem[8], t0, t1, t2)

728 TEST_3R("mul", mem[7], mem[9], t1, t2, t0)

729 TEST_3R("mul", mem[7], mem[10], t2, t0, t1)

730 TEST_3R("mul", mem[7], mem[11], t0, t1, t2)

731 TEST_3R("mul", mem[8], mem[0], t2, t0, t1)

732 TEST_3R("mul", mem[8], mem[1], t0, t1, t2)

733 TEST_3R("mul", mem[8], mem[2], t1, t2, t0)

734 TEST_3R("mul", mem[8], mem[3], t2, t0, t1)

735 TEST_3R("mul", mem[8], mem[4], t0, t1, t2)

736 TEST_3R("mul", mem[8], mem[5], t1, t2, t0)

737 TEST_3R("mul", mem[8], mem[6], t2, t0, t1)

738 TEST_3R("mul", mem[8], mem[7], t0, t1, t2)

739 TEST_3R("mul", mem[8], mem[8], t1, t2, t0)

740 TEST_3R("mul", mem[8], mem[9], t2, t0, t1)

741 TEST_3R("mul", mem[8], mem[10], t0, t1, t2)

742 TEST_3R("mul", mem[8], mem[11], t1, t2, t0)

743 TEST_3R("mul", mem[9], mem[0], t0, t1, t2)

744 TEST_3R("mul", mem[9], mem[1], t1, t2, t0)

745 TEST_3R("mul", mem[9], mem[2], t2, t0, t1)

746 TEST_3R("mul", mem[9], mem[3], t0, t1, t2)

747 TEST_3R("mul", mem[9], mem[4], t1, t2, t0)

748 TEST_3R("mul", mem[9], mem[5], t2, t0, t1)

749 TEST_3R("mul", mem[9], mem[6], t0, t1, t2)

750 TEST_3R("mul", mem[9], mem[7], t1, t2, t0)

751 TEST_3R("mul", mem[9], mem[8], t2, t0, t1)

752 TEST_3R("mul", mem[9], mem[9], t0, t1, t2)

753 TEST_3R("mul", mem[9], mem[10], t1, t2, t0)

754 TEST_3R("mul", mem[9], mem[11], t2, t0, t1)

755 TEST_3R("mul", mem[10], mem[0], t1, t2, t0)

756 TEST_3R("mul", mem[10], mem[1], t2, t0, t1)

757 TEST_3R("mul", mem[10], mem[2], t0, t1, t2)

758 TEST_3R("mul", mem[10], mem[3], t1, t2, t0)

759 TEST_3R("mul", mem[10], mem[4], t2, t0, t1)

760 TEST_3R("mul", mem[10], mem[5], t0, t1, t2)

761 TEST_3R("mul", mem[10], mem[6], t1, t2, t0)

762 TEST_3R("mul", mem[10], mem[7], t2, t0, t1)

763 TEST_3R("mul", mem[10], mem[8], t0, t1, t2)

764 TEST_3R("mul", mem[10], mem[9], t1, t2, t0)

765 TEST_3R("mul", mem[10], mem[10], t2, t0, t1)

766 TEST_3R("mul", mem[10], mem[11], t0, t1, t2)

767 TEST_3R("mul", mem[11], mem[0], t2, t0, t1)

768 TEST_3R("mul", mem[11], mem[1], t0, t1, t2)

769 TEST_3R("mul", mem[11], mem[2], t1, t2, t0)

770 TEST_3R("mul", mem[11], mem[3], t2, t0, t1)

771 TEST_3R("mul", mem[11], mem[4], t0, t1, t2)

772 TEST_3R("mul", mem[11], mem[5], t1, t2, t0)

773 TEST_3R("mul", mem[11], mem[6], t2, t0, t1)

774 TEST_3R("mul", mem[11], mem[7], t0, t1, t2)

775 TEST_3R("mul", mem[11], mem[8], t1, t2, t0)

776 TEST_3R("mul", mem[11], mem[9], t2, t0, t1)

777 TEST_3R("mul", mem[11], mem[10], t0, t1, t2)

778 TEST_3R("mul", mem[11], mem[11], t1, t2, t0)

779

780 printf("\nmuh\n");

781 TEST_3R("muh", mem[0], mem[0], t0, t1, t2)

782 TEST_3R("muh", mem[0], mem[1], t1, t2, t0)

783 TEST_3R("muh", mem[0], mem[2], t2, t0, t1)

784 TEST_3R("muh", mem[0], mem[3], t0, t1, t2)

785 TEST_3R("muh", mem[0], mem[4], t1, t2, t0)

786 TEST_3R("muh", mem[0], mem[5], t2, t0, t1)

787 TEST_3R("muh", mem[0], mem[6], t0, t1, t2)

788 TEST_3R("muh", mem[0], mem[7], t1, t2, t0)

789 TEST_3R("muh", mem[0], mem[8], t2, t0, t1)

790 TEST_3R("muh", mem[0], mem[9], t0, t1, t2)

791 TEST_3R("muh", mem[0], mem[10], t1, t2, t0)

792 TEST_3R("muh", mem[0], mem[11], t2, t0, t1)

793 TEST_3R("muh", mem[1], mem[0], t1, t2, t0)

794 TEST_3R("muh", mem[1], mem[1], t2, t0, t1)

795 TEST_3R("muh", mem[1], mem[2], t0, t1, t2)

796 TEST_3R("muh", mem[1], mem[3], t1, t2, t0)

797 TEST_3R("muh", mem[1], mem[4], t2, t0, t1)

798 TEST_3R("muh", mem[1], mem[5], t0, t1, t2)

799 TEST_3R("muh", mem[1], mem[6], t1, t2, t0)

800 TEST_3R("muh", mem[1], mem[7], t2, t0, t1)

801 TEST_3R("muh", mem[1], mem[8], t0, t1, t2)

802 TEST_3R("muh", mem[1], mem[9], t1, t2, t0)

803 TEST_3R("muh", mem[1], mem[10], t2, t0, t1)

804 TEST_3R("muh", mem[1], mem[11], t0, t1, t2)

805 TEST_3R("muh", mem[2], mem[0], t2, t0, t1)

806 TEST_3R("muh", mem[2], mem[1], t0, t1, t2)

807 TEST_3R("muh", mem[2], mem[2], t1, t2, t0)

808 TEST_3R("muh", mem[2], mem[3], t2, t0, t1)

809 TEST_3R("muh", mem[2], mem[4], t0, t1, t2)

810 TEST_3R("muh", mem[2], mem[5], t1, t2, t0)

811 TEST_3R("muh", mem[2], mem[6], t2, t0, t1)

812 TEST_3R("muh", mem[2], mem[7], t0, t1, t2)

813 TEST_3R("muh", mem[2], mem[8], t1, t2, t0)

814 TEST_3R("muh", mem[2], mem[9], t2, t0, t1)

815 TEST_3R("muh", mem[2], mem[10], t0, t1, t2)

816 TEST_3R("muh", mem[2], mem[11], t1, t2, t0)

817 TEST_3R("muh", mem[3], mem[0], t0, t1, t2)

818 TEST_3R("muh", mem[3], mem[1], t1, t2, t0)

819 TEST_3R("muh", mem[3], mem[2], t2, t0, t1)

820 TEST_3R("muh", mem[3], mem[3], t0, t1, t2)

821 TEST_3R("muh", mem[3], mem[4], t1, t2, t0)

822 TEST_3R("muh", mem[3], mem[5], t2, t0, t1)

823 TEST_3R("muh", mem[3], mem[6], t0, t1, t2)

824 TEST_3R("muh", mem[3], mem[7], t1, t2, t0)

825 TEST_3R("muh", mem[3], mem[8], t2, t0, t1)

826 TEST_3R("muh", mem[3], mem[9], t0, t1, t2)

827 TEST_3R("muh", mem[3], mem[10], t1, t2, t0)

828 TEST_3R("muh", mem[3], mem[11], t2, t0, t1)

829 TEST_3R("muh", mem[4], mem[0], t1, t2, t0)

830 TEST_3R("muh", mem[4], mem[1], t2, t0, t1)

831 TEST_3R("muh", mem[4], mem[2], t0, t1, t2)

832 TEST_3R("muh", mem[4], mem[3], t1, t2, t0)

833 TEST_3R("muh", mem[4], mem[4], t2, t0, t1)

834 TEST_3R("muh", mem[4], mem[5], t0, t1, t2)

835 TEST_3R("muh", mem[4], mem[6], t1, t2, t0)

836 TEST_3R("muh", mem[4], mem[7], t2, t0, t1)

837 TEST_3R("muh", mem[4], mem[8], t0, t1, t2)

838 TEST_3R("muh", mem[4], mem[9], t1, t2, t0)

839 TEST_3R("muh", mem[4], mem[10], t2, t0, t1)

840 TEST_3R("muh", mem[4], mem[11], t0, t1, t2)

841 TEST_3R("muh", mem[5], mem[0], t2, t0, t1)

842 TEST_3R("muh", mem[5], mem[1], t0, t1, t2)

843 TEST_3R("muh", mem[5], mem[2], t1, t2, t0)

844 TEST_3R("muh", mem[5], mem[3], t2, t0, t1)

845 TEST_3R("muh", mem[5], mem[4], t0, t1, t2)

846 TEST_3R("muh", mem[5], mem[5], t1, t2, t0)

847 TEST_3R("muh", mem[5], mem[6], t2, t0, t1)

848 TEST_3R("muh", mem[5], mem[7], t0, t1, t2)

849 TEST_3R("muh", mem[5], mem[8], t1, t2, t0)

850 TEST_3R("muh", mem[5], mem[9], t2, t0, t1)

851 TEST_3R("muh", mem[5], mem[10], t0, t1, t2)

852 TEST_3R("muh", mem[5], mem[11], t1, t2, t0)

853 TEST_3R("muh", mem[6], mem[0], t0, t1, t2)

854 TEST_3R("muh", mem[6], mem[1], t1, t2, t0)

855 TEST_3R("muh", mem[6], mem[2], t2, t0, t1)

856 TEST_3R("muh", mem[6], mem[3], t0, t1, t2)

857 TEST_3R("muh", mem[6], mem[4], t1, t2, t0)

858 TEST_3R("muh", mem[6], mem[5], t2, t0, t1)

859 TEST_3R("muh", mem[6], mem[6], t0, t1, t2)

860 TEST_3R("muh", mem[6], mem[7], t1, t2, t0)

861 TEST_3R("muh", mem[6], mem[8], t2, t0, t1)

862 TEST_3R("muh", mem[6], mem[9], t0, t1, t2)

863 TEST_3R("muh", mem[6], mem[10], t1, t2, t0)

864 TEST_3R("muh", mem[6], mem[11], t2, t0, t1)

865 TEST_3R("muh", mem[7], mem[0], t1, t2, t0)

866 TEST_3R("muh", mem[7], mem[1], t2, t0, t1)

867 TEST_3R("muh", mem[7], mem[2], t0, t1, t2)

868 TEST_3R("muh", mem[7], mem[3], t1, t2, t0)

869 TEST_3R("muh", mem[7], mem[4], t2, t0, t1)

870 TEST_3R("muh", mem[7], mem[5], t0, t1, t2)

871 TEST_3R("muh", mem[7], mem[6], t1, t2, t0)

872 TEST_3R("muh", mem[7], mem[7], t2, t0, t1)

873 TEST_3R("muh", mem[7], mem[8], t0, t1, t2)

874 TEST_3R("muh", mem[7], mem[9], t1, t2, t0)

875 TEST_3R("muh", mem[7], mem[10], t2, t0, t1)

876 TEST_3R("muh", mem[7], mem[11], t0, t1, t2)

877 TEST_3R("muh", mem[8], mem[0], t2, t0, t1)

878 TEST_3R("muh", mem[8], mem[1], t0, t1, t2)

879 TEST_3R("muh", mem[8], mem[2], t1, t2, t0)

880 TEST_3R("muh", mem[8], mem[3], t2, t0, t1)

881 TEST_3R("muh", mem[8], mem[4], t0, t1, t2)

882 TEST_3R("muh", mem[8], mem[5], t1, t2, t0)

883 TEST_3R("muh", mem[8], mem[6], t2, t0, t1)

884 TEST_3R("muh", mem[8], mem[7], t0, t1, t2)

885 TEST_3R("muh", mem[8], mem[8], t1, t2, t0)

886 TEST_3R("muh", mem[8], mem[9], t2, t0, t1)

887 TEST_3R("muh", mem[8], mem[10], t0, t1, t2)

888 TEST_3R("muh", mem[8], mem[11], t1, t2, t0)

889 TEST_3R("muh", mem[9], mem[0], t0, t1, t2)

890 TEST_3R("muh", mem[9], mem[1], t1, t2, t0)

891 TEST_3R("muh", mem[9], mem[2], t2, t0, t1)

892 TEST_3R("muh", mem[9], mem[3], t0, t1, t2)

893 TEST_3R("muh", mem[9], mem[4], t1, t2, t0)

894 TEST_3R("muh", mem[9], mem[5], t2, t0, t1)

895 TEST_3R("muh", mem[9], mem[6], t0, t1, t2)

896 TEST_3R("muh", mem[9], mem[7], t1, t2, t0)

897 TEST_3R("muh", mem[9], mem[8], t2, t0, t1)

898 TEST_3R("muh", mem[9], mem[9], t0, t1, t2)

899 TEST_3R("muh", mem[9], mem[10], t1, t2, t0)

900 TEST_3R("muh", mem[9], mem[11], t2, t0, t1)

901 TEST_3R("muh", mem[10], mem[0], t1, t2, t0)

902 TEST_3R("muh", mem[10], mem[1], t2, t0, t1)

903 TEST_3R("muh", mem[10], mem[2], t0, t1, t2)

904 TEST_3R("muh", mem[10], mem[3], t1, t2, t0)

905 TEST_3R("muh", mem[10], mem[4], t2, t0, t1)

906 TEST_3R("muh", mem[10], mem[5], t0, t1, t2)

907 TEST_3R("muh", mem[10], mem[6], t1, t2, t0)

908 TEST_3R("muh", mem[10], mem[7], t2, t0, t1)

909 TEST_3R("muh", mem[10], mem[8], t0, t1, t2)

910 TEST_3R("muh", mem[10], mem[9], t1, t2, t0)

911 TEST_3R("muh", mem[10], mem[10], t2, t0, t1)

912 TEST_3R("muh", mem[10], mem[11], t0, t1, t2)

913 TEST_3R("muh", mem[11], mem[0], t2, t0, t1)

914 TEST_3R("muh", mem[11], mem[1], t0, t1, t2)

915 TEST_3R("muh", mem[11], mem[2], t1, t2, t0)

916 TEST_3R("muh", mem[11], mem[3], t2, t0, t1)

917 TEST_3R("muh", mem[11], mem[4], t0, t1, t2)

918 TEST_3R("muh", mem[11], mem[5], t1, t2, t0)

919 TEST_3R("muh", mem[11], mem[6], t2, t0, t1)

920 TEST_3R("muh", mem[11], mem[7], t0, t1, t2)

921 TEST_3R("muh", mem[11], mem[8], t1, t2, t0)

922 TEST_3R("muh", mem[11], mem[9], t2, t0, t1)

923 TEST_3R("muh", mem[11], mem[10], t0, t1, t2)

924 TEST_3R("muh", mem[11], mem[11], t1, t2, t0)

925

926 printf("\nmulu\n");

927 TEST_3R("mulu", mem[0], mem[0], t0, t1, t2)

928 TEST_3R("mulu", mem[0], mem[1], t1, t2, t0)

929 TEST_3R("mulu", mem[0], mem[2], t2, t0, t1)

930 TEST_3R("mulu", mem[0], mem[3], t0, t1, t2)

931 TEST_3R("mulu", mem[0], mem[4], t1, t2, t0)

932 TEST_3R("mulu", mem[0], mem[5], t2, t0, t1)

933 TEST_3R("mulu", mem[0], mem[6], t0, t1, t2)

934 TEST_3R("mulu", mem[0], mem[7], t1, t2, t0)

935 TEST_3R("mulu", mem[0], mem[8], t2, t0, t1)

936 TEST_3R("mulu", mem[0], mem[9], t0, t1, t2)

937 TEST_3R("mulu", mem[0], mem[10], t1, t2, t0)

938 TEST_3R("mulu", mem[0], mem[11], t2, t0, t1)

939 TEST_3R("mulu", mem[1], mem[0], t1, t2, t0)

940 TEST_3R("mulu", mem[1], mem[1], t2, t0, t1)

941 TEST_3R("mulu", mem[1], mem[2], t0, t1, t2)

942 TEST_3R("mulu", mem[1], mem[3], t1, t2, t0)

943 TEST_3R("mulu", mem[1], mem[4], t2, t0, t1)

944 TEST_3R("mulu", mem[1], mem[5], t0, t1, t2)

945 TEST_3R("mulu", mem[1], mem[6], t1, t2, t0)

946 TEST_3R("mulu", mem[1], mem[7], t2, t0, t1)

947 TEST_3R("mulu", mem[1], mem[8], t0, t1, t2)

948 TEST_3R("mulu", mem[1], mem[9], t1, t2, t0)

949 TEST_3R("mulu", mem[1], mem[10], t2, t0, t1)

950 TEST_3R("mulu", mem[1], mem[11], t0, t1, t2)

951 TEST_3R("mulu", mem[2], mem[0], t2, t0, t1)

952 TEST_3R("mulu", mem[2], mem[1], t0, t1, t2)

953 TEST_3R("mulu", mem[2], mem[2], t1, t2, t0)

954 TEST_3R("mulu", mem[2], mem[3], t2, t0, t1)

955 TEST_3R("mulu", mem[2], mem[4], t0, t1, t2)

956 TEST_3R("mulu", mem[2], mem[5], t1, t2, t0)

957 TEST_3R("mulu", mem[2], mem[6], t2, t0, t1)

958 TEST_3R("mulu", mem[2], mem[7], t0, t1, t2)

959 TEST_3R("mulu", mem[2], mem[8], t1, t2, t0)

960 TEST_3R("mulu", mem[2], mem[9], t2, t0, t1)

961 TEST_3R("mulu", mem[2], mem[10], t0, t1, t2)

962 TEST_3R("mulu", mem[2], mem[11], t1, t2, t0)

963 TEST_3R("mulu", mem[3], mem[0], t0, t1, t2)

964 TEST_3R("mulu", mem[3], mem[1], t1, t2, t0)

965 TEST_3R("mulu", mem[3], mem[2], t2, t0, t1)

966 TEST_3R("mulu", mem[3], mem[3], t0, t1, t2)

967 TEST_3R("mulu", mem[3], mem[4], t1, t2, t0)

968 TEST_3R("mulu", mem[3], mem[5], t2, t0, t1)

969 TEST_3R("mulu", mem[3], mem[6], t0, t1, t2)

970 TEST_3R("mulu", mem[3], mem[7], t1, t2, t0)

971 TEST_3R("mulu", mem[3], mem[8], t2, t0, t1)

972 TEST_3R("mulu", mem[3], mem[9], t0, t1, t2)

973 TEST_3R("mulu", mem[3], mem[10], t1, t2, t0)

974 TEST_3R("mulu", mem[3], mem[11], t2, t0, t1)

975 TEST_3R("mulu", mem[4], mem[0], t1, t2, t0)

976 TEST_3R("mulu", mem[4], mem[1], t2, t0, t1)

977 TEST_3R("mulu", mem[4], mem[2], t0, t1, t2)

978 TEST_3R("mulu", mem[4], mem[3], t1, t2, t0)

979 TEST_3R("mulu", mem[4], mem[4], t2, t0, t1)

980 TEST_3R("mulu", mem[4], mem[5], t0, t1, t2)

981 TEST_3R("mulu", mem[4], mem[6], t1, t2, t0)

982 TEST_3R("mulu", mem[4], mem[7], t2, t0, t1)

983 TEST_3R("mulu", mem[4], mem[8], t0, t1, t2)

984 TEST_3R("mulu", mem[4], mem[9], t1, t2, t0)

985 TEST_3R("mulu", mem[4], mem[10], t2, t0, t1)

986 TEST_3R("mulu", mem[4], mem[11], t0, t1, t2)

987 TEST_3R("mulu", mem[5], mem[0], t2, t0, t1)

988 TEST_3R("mulu", mem[5], mem[1], t0, t1, t2)

989 TEST_3R("mulu", mem[5], mem[2], t1, t2, t0)

990 TEST_3R("mulu", mem[5], mem[3], t2, t0, t1)

991 TEST_3R("mulu", mem[5], mem[4], t0, t1, t2)

992 TEST_3R("mulu", mem[5], mem[5], t1, t2, t0)

993 TEST_3R("mulu", mem[5], mem[6], t2, t0, t1)

994 TEST_3R("mulu", mem[5], mem[7], t0, t1, t2)

995 TEST_3R("mulu", mem[5], mem[8], t1, t2, t0)

996 TEST_3R("mulu", mem[5], mem[9], t2, t0, t1)

997 TEST_3R("mulu", mem[5], mem[10], t0, t1, t2)

998 TEST_3R("mulu", mem[5], mem[11], t1, t2, t0)

999 TEST_3R("mulu", mem[6], mem[0], t0, t1, t2)

1000 TEST_3R("mulu", mem[6], mem[1], t1, t2, t0)

1001 TEST_3R("mulu", mem[6], mem[2], t2, t0, t1)

1002 TEST_3R("mulu", mem[6], mem[3], t0, t1, t2)

1003 TEST_3R("mulu", mem[6], mem[4], t1, t2, t0)

1004 TEST_3R("mulu", mem[6], mem[5], t2, t0, t1)

1005 TEST_3R("mulu", mem[6], mem[6], t0, t1, t2)

1006 TEST_3R("mulu", mem[6], mem[7], t1, t2, t0)

1007 TEST_3R("mulu", mem[6], mem[8], t2, t0, t1)

1008 TEST_3R("mulu", mem[6], mem[9], t0, t1, t2)

1009 TEST_3R("mulu", mem[6], mem[10], t1, t2, t0)

1010 TEST_3R("mulu", mem[6], mem[11], t2, t0, t1)

1011 TEST_3R("mulu", mem[7], mem[0], t1, t2, t0)

1012 TEST_3R("mulu", mem[7], mem[1], t2, t0, t1)

1013 TEST_3R("mulu", mem[7], mem[2], t0, t1, t2)

1014 TEST_3R("mulu", mem[7], mem[3], t1, t2, t0)

1015 TEST_3R("mulu", mem[7], mem[4], t2, t0, t1)

1016 TEST_3R("mulu", mem[7], mem[5], t0, t1, t2)

1017 TEST_3R("mulu", mem[7], mem[6], t1, t2, t0)

1018 TEST_3R("mulu", mem[7], mem[7], t2, t0, t1)

1019 TEST_3R("mulu", mem[7], mem[8], t0, t1, t2)

1020 TEST_3R("mulu", mem[7], mem[9], t1, t2, t0)

1021 TEST_3R("mulu", mem[7], mem[10], t2, t0, t1)

1022 TEST_3R("mulu", mem[7], mem[11], t0, t1, t2)

1023 TEST_3R("mulu", mem[8], mem[0], t2, t0, t1)

1024 TEST_3R("mulu", mem[8], mem[1], t0, t1, t2)

1025 TEST_3R("mulu", mem[8], mem[2], t1, t2, t0)

1026 TEST_3R("mulu", mem[8], mem[3], t2, t0, t1)

1027 TEST_3R("mulu", mem[8], mem[4], t0, t1, t2)

1028 TEST_3R("mulu", mem[8], mem[5], t1, t2, t0)

1029 TEST_3R("mulu", mem[8], mem[6], t2, t0, t1)

1030 TEST_3R("mulu", mem[8], mem[7], t0, t1, t2)

1031 TEST_3R("mulu", mem[8], mem[8], t1, t2, t0)

1032 TEST_3R("mulu", mem[8], mem[9], t2, t0, t1)

1033 TEST_3R("mulu", mem[8], mem[10], t0, t1, t2)

1034 TEST_3R("mulu", mem[8], mem[11], t1, t2, t0)

1035 TEST_3R("mulu", mem[9], mem[0], t0, t1, t2)

1036 TEST_3R("mulu", mem[9], mem[1], t1, t2, t0)

1037 TEST_3R("mulu", mem[9], mem[2], t2, t0, t1)

1038 TEST_3R("mulu", mem[9], mem[3], t0, t1, t2)

1039 TEST_3R("mulu", mem[9], mem[4], t1, t2, t0)

1040 TEST_3R("mulu", mem[9], mem[5], t2, t0, t1)

1041 TEST_3R("mulu", mem[9], mem[6], t0, t1, t2)

1042 TEST_3R("mulu", mem[9], mem[7], t1, t2, t0)

1043 TEST_3R("mulu", mem[9], mem[8], t2, t0, t1)

1044 TEST_3R("mulu", mem[9], mem[9], t0, t1, t2)

1045 TEST_3R("mulu", mem[9], mem[10], t1, t2, t0)

1046 TEST_3R("mulu", mem[9], mem[11], t2, t0, t1)

1047 TEST_3R("mulu", mem[10], mem[0], t1, t2, t0)

1048 TEST_3R("mulu", mem[10], mem[1], t2, t0, t1)

1049 TEST_3R("mulu", mem[10], mem[2], t0, t1, t2)

1050 TEST_3R("mulu", mem[10], mem[3], t1, t2, t0)

1051 TEST_3R("mulu", mem[10], mem[4], t2, t0, t1)

1052 TEST_3R("mulu", mem[10], mem[5], t0, t1, t2)

1053 TEST_3R("mulu", mem[10], mem[6], t1, t2, t0)

1054 TEST_3R("mulu", mem[10], mem[7], t2, t0, t1)

1055 TEST_3R("mulu", mem[10], mem[8], t0, t1, t2)

1056 TEST_3R("mulu", mem[10], mem[9], t1, t2, t0)

1057 TEST_3R("mulu", mem[10], mem[10], t2, t0, t1)

1058 TEST_3R("mulu", mem[10], mem[11], t0, t1, t2)

1059 TEST_3R("mulu", mem[11], mem[0], t2, t0, t1)

1060 TEST_3R("mulu", mem[11], mem[1], t0, t1, t2)

1061 TEST_3R("mulu", mem[11], mem[2], t1, t2, t0)

1062 TEST_3R("mulu", mem[11], mem[3], t2, t0, t1)

1063 TEST_3R("mulu", mem[11], mem[4], t0, t1, t2)

1064 TEST_3R("mulu", mem[11], mem[5], t1, t2, t0)

1065 TEST_3R("mulu", mem[11], mem[6], t2, t0, t1)

1066 TEST_3R("mulu", mem[11], mem[7], t0, t1, t2)

1067 TEST_3R("mulu", mem[11], mem[8], t1, t2, t0)

1068 TEST_3R("mulu", mem[11], mem[9], t2, t0, t1)

1069 TEST_3R("mulu", mem[11], mem[10], t0, t1, t2)

1070 TEST_3R("mulu", mem[11], mem[11], t1, t2, t0)

1071

1072 printf("\nmuhu\n");

1073 TEST_3R("muhu", mem[0], mem[0], t0, t1, t2)

1074 TEST_3R("muhu", mem[0], mem[1], t1, t2, t0)

1075 TEST_3R("muhu", mem[0], mem[2], t2, t0, t1)

1076 TEST_3R("muhu", mem[0], mem[3], t0, t1, t2)

1077 TEST_3R("muhu", mem[0], mem[4], t1, t2, t0)

1078 TEST_3R("muhu", mem[0], mem[5], t2, t0, t1)

1079 TEST_3R("muhu", mem[0], mem[6], t0, t1, t2)

1080 TEST_3R("muhu", mem[0], mem[7], t1, t2, t0)

1081 TEST_3R("muhu", mem[0], mem[8], t2, t0, t1)

1082 TEST_3R("muhu", mem[0], mem[9], t0, t1, t2)

1083 TEST_3R("muhu", mem[0], mem[10], t1, t2, t0)

1084 TEST_3R("muhu", mem[0], mem[11], t2, t0, t1)

1085 TEST_3R("muhu", mem[1], mem[0], t1, t2, t0)

1086 TEST_3R("muhu", mem[1], mem[1], t2, t0, t1)

1087 TEST_3R("muhu", mem[1], mem[2], t0, t1, t2)

1088 TEST_3R("muhu", mem[1], mem[3], t1, t2, t0)

1089 TEST_3R("muhu", mem[1], mem[4], t2, t0, t1)

1090 TEST_3R("muhu", mem[1], mem[5], t0, t1, t2)

1091 TEST_3R("muhu", mem[1], mem[6], t1, t2, t0)

1092 TEST_3R("muhu", mem[1], mem[7], t2, t0, t1)

1093 TEST_3R("muhu", mem[1], mem[8], t0, t1, t2)

1094 TEST_3R("muhu", mem[1], mem[9], t1, t2, t0)

1095 TEST_3R("muhu", mem[1], mem[10], t2, t0, t1)

1096 TEST_3R("muhu", mem[1], mem[11], t0, t1, t2)

1097 TEST_3R("muhu", mem[2], mem[0], t2, t0, t1)

1098 TEST_3R("muhu", mem[2], mem[1], t0, t1, t2)

1099 TEST_3R("muhu", mem[2], mem[2], t1, t2, t0)

1100 TEST_3R("muhu", mem[2], mem[3], t2, t0, t1)

1101 TEST_3R("muhu", mem[2], mem[4], t0, t1, t2)

1102 TEST_3R("muhu", mem[2], mem[5], t1, t2, t0)

1103 TEST_3R("muhu", mem[2], mem[6], t2, t0, t1)

1104 TEST_3R("muhu", mem[2], mem[7], t0, t1, t2)

1105 TEST_3R("muhu", mem[2], mem[8], t1, t2, t0)

1106 TEST_3R("muhu", mem[2], mem[9], t2, t0, t1)

1107 TEST_3R("muhu", mem[2], mem[10], t0, t1, t2)

1108 TEST_3R("muhu", mem[2], mem[11], t1, t2, t0)

1109 TEST_3R("muhu", mem[3], mem[0], t0, t1, t2)

1110 TEST_3R("muhu", mem[3], mem[1], t1, t2, t0)

1111 TEST_3R("muhu", mem[3], mem[2], t2, t0, t1)

1112 TEST_3R("muhu", mem[3], mem[3], t0, t1, t2)

1113 TEST_3R("muhu", mem[3], mem[4], t1, t2, t0)

1114 TEST_3R("muhu", mem[3], mem[5], t2, t0, t1)

1115 TEST_3R("muhu", mem[3], mem[6], t0, t1, t2)

1116 TEST_3R("muhu", mem[3], mem[7], t1, t2, t0)

1117 TEST_3R("muhu", mem[3], mem[8], t2, t0, t1)

1118 TEST_3R("muhu", mem[3], mem[9], t0, t1, t2)

1119 TEST_3R("muhu", mem[3], mem[10], t1, t2, t0)

1120 TEST_3R("muhu", mem[3], mem[11], t2, t0, t1)

1121 TEST_3R("muhu", mem[4], mem[0], t1, t2, t0)

1122 TEST_3R("muhu", mem[4], mem[1], t2, t0, t1)

1123 TEST_3R("muhu", mem[4], mem[2], t0, t1, t2)

1124 TEST_3R("muhu", mem[4], mem[3], t1, t2, t0)

1125 TEST_3R("muhu", mem[4], mem[4], t2, t0, t1)

1126 TEST_3R("muhu", mem[4], mem[5], t0, t1, t2)

1127 TEST_3R("muhu", mem[4], mem[6], t1, t2, t0)

1128 TEST_3R("muhu", mem[4], mem[7], t2, t0, t1)

1129 TEST_3R("muhu", mem[4], mem[8], t0, t1, t2)

1130 TEST_3R("muhu", mem[4], mem[9], t1, t2, t0)

1131 TEST_3R("muhu", mem[4], mem[10], t2, t0, t1)

1132 TEST_3R("muhu", mem[4], mem[11], t0, t1, t2)

1133 TEST_3R("muhu", mem[5], mem[0], t2, t0, t1)

1134 TEST_3R("muhu", mem[5], mem[1], t0, t1, t2)

1135 TEST_3R("muhu", mem[5], mem[2], t1, t2, t0)

1136 TEST_3R("muhu", mem[5], mem[3], t2, t0, t1)

1137 TEST_3R("muhu", mem[5], mem[4], t0, t1, t2)

1138 TEST_3R("muhu", mem[5], mem[5], t1, t2, t0)

1139 TEST_3R("muhu", mem[5], mem[6], t2, t0, t1)

1140 TEST_3R("muhu", mem[5], mem[7], t0, t1, t2)

1141 TEST_3R("muhu", mem[5], mem[8], t1, t2, t0)

1142 TEST_3R("muhu", mem[5], mem[9], t2, t0, t1)

1143 TEST_3R("muhu", mem[5], mem[10], t0, t1, t2)

1144 TEST_3R("muhu", mem[5], mem[11], t1, t2, t0)

1145 TEST_3R("muhu", mem[6], mem[0], t0, t1, t2)

1146 TEST_3R("muhu", mem[6], mem[1], t1, t2, t0)

1147 TEST_3R("muhu", mem[6], mem[2], t2, t0, t1)

1148 TEST_3R("muhu", mem[6], mem[3], t0, t1, t2)

1149 TEST_3R("muhu", mem[6], mem[4], t1, t2, t0)

1150 TEST_3R("muhu", mem[6], mem[5], t2, t0, t1)

1151 TEST_3R("muhu", mem[6], mem[6], t0, t1, t2)

1152 TEST_3R("muhu", mem[6], mem[7], t1, t2, t0)

1153 TEST_3R("muhu", mem[6], mem[8], t2, t0, t1)

1154 TEST_3R("muhu", mem[6], mem[9], t0, t1, t2)

1155 TEST_3R("muhu", mem[6], mem[10], t1, t2, t0)

1156 TEST_3R("muhu", mem[6], mem[11], t2, t0, t1)

1157 TEST_3R("muhu", mem[7], mem[0], t1, t2, t0)

1158 TEST_3R("muhu", mem[7], mem[1], t2, t0, t1)

1159 TEST_3R("muhu", mem[7], mem[2], t0, t1, t2)

1160 TEST_3R("muhu", mem[7], mem[3], t1, t2, t0)

1161 TEST_3R("muhu", mem[7], mem[4], t2, t0, t1)

1162 TEST_3R("muhu", mem[7], mem[5], t0, t1, t2)

1163 TEST_3R("muhu", mem[7], mem[6], t1, t2, t0)

1164 TEST_3R("muhu", mem[7], mem[7], t2, t0, t1)

1165 TEST_3R("muhu", mem[7], mem[8], t0, t1, t2)

1166 TEST_3R("muhu", mem[7], mem[9], t1, t2, t0)

1167 TEST_3R("muhu", mem[7], mem[10], t2, t0, t1)

1168 TEST_3R("muhu", mem[7], mem[11], t0, t1, t2)

1169 TEST_3R("muhu", mem[8], mem[0], t2, t0, t1)

1170 TEST_3R("muhu", mem[8], mem[1], t0, t1, t2)

1171 TEST_3R("muhu", mem[8], mem[2], t1, t2, t0)

1172 TEST_3R("muhu", mem[8], mem[3], t2, t0, t1)

1173 TEST_3R("muhu", mem[8], mem[4], t0, t1, t2)

1174 TEST_3R("muhu", mem[8], mem[5], t1, t2, t0)

1175 TEST_3R("muhu", mem[8], mem[6], t2, t0, t1)

1176 TEST_3R("muhu", mem[8], mem[7], t0, t1, t2)

1177 TEST_3R("muhu", mem[8], mem[8], t1, t2, t0)

1178 TEST_3R("muhu", mem[8], mem[9], t2, t0, t1)

1179 TEST_3R("muhu", mem[8], mem[10], t0, t1, t2)

1180 TEST_3R("muhu", mem[8], mem[11], t1, t2, t0)

1181 TEST_3R("muhu", mem[9], mem[0], t0, t1, t2)

1182 TEST_3R("muhu", mem[9], mem[1], t1, t2, t0)

1183 TEST_3R("muhu", mem[9], mem[2], t2, t0, t1)

1184 TEST_3R("muhu", mem[9], mem[3], t0, t1, t2)

1185 TEST_3R("muhu", mem[9], mem[4], t1, t2, t0)

1186 TEST_3R("muhu", mem[9], mem[5], t2, t0, t1)

1187 TEST_3R("muhu", mem[9], mem[6], t0, t1, t2)

1188 TEST_3R("muhu", mem[9], mem[7], t1, t2, t0)

1189 TEST_3R("muhu", mem[9], mem[8], t2, t0, t1)

1190 TEST_3R("muhu", mem[9], mem[9], t0, t1, t2)

1191 TEST_3R("muhu", mem[9], mem[10], t1, t2, t0)

1192 TEST_3R("muhu", mem[9], mem[11], t2, t0, t1)

1193 TEST_3R("muhu", mem[10], mem[0], t1, t2, t0)

1194 TEST_3R("muhu", mem[10], mem[1], t2, t0, t1)

1195 TEST_3R("muhu", mem[10], mem[2], t0, t1, t2)

1196 TEST_3R("muhu", mem[10], mem[3], t1, t2, t0)

1197 TEST_3R("muhu", mem[10], mem[4], t2, t0, t1)

1198 TEST_3R("muhu", mem[10], mem[5], t0, t1, t2)

1199 TEST_3R("muhu", mem[10], mem[6], t1, t2, t0)

1200 TEST_3R("muhu", mem[10], mem[7], t2, t0, t1)

1201 TEST_3R("muhu", mem[10], mem[8], t0, t1, t2)

1202 TEST_3R("muhu", mem[10], mem[9], t1, t2, t0)

1203 TEST_3R("muhu", mem[10], mem[10], t2, t0, t1)

1204 TEST_3R("muhu", mem[10], mem[11], t0, t1, t2)

1205 TEST_3R("muhu", mem[11], mem[0], t2, t0, t1)

1206 TEST_3R("muhu", mem[11], mem[1], t0, t1, t2)

1207 TEST_3R("muhu", mem[11], mem[2], t1, t2, t0)

1208 TEST_3R("muhu", mem[11], mem[3], t2, t0, t1)

1209 TEST_3R("muhu", mem[11], mem[4], t0, t1, t2)

1210 TEST_3R("muhu", mem[11], mem[5], t1, t2, t0)

1211 TEST_3R("muhu", mem[11], mem[6], t2, t0, t1)

1212 TEST_3R("muhu", mem[11], mem[7], t0, t1, t2)

1213 TEST_3R("muhu", mem[11], mem[8], t1, t2, t0)

1214 TEST_3R("muhu", mem[11], mem[9], t2, t0, t1)

1215 TEST_3R("muhu", mem[11], mem[10], t0, t1, t2)

1216 TEST_3R("muhu", mem[11], mem[11], t1, t2, t0)

1217

1218 printf("\nseleqz\n");

1219 TEST_3R("seleqz", mem[0], mem[0], t0, t1, t2)

1220 TEST_3R("seleqz", mem[0], mem[1], t1, t2, t0)

1221 TEST_3R("seleqz", mem[0], mem[2], t2, t0, t1)

1222 TEST_3R("seleqz", mem[0], mem[3], t0, t1, t2)

1223 TEST_3R("seleqz", mem[0], mem[4], t1, t2, t0)

1224 TEST_3R("seleqz", mem[0], mem[5], t2, t0, t1)

1225 TEST_3R("seleqz", mem[0], mem[6], t0, t1, t2)

1226 TEST_3R("seleqz", mem[0], mem[7], t1, t2, t0)

1227 TEST_3R("seleqz", mem[0], mem[8], t2, t0, t1)

1228 TEST_3R("seleqz", mem[0], mem[9], t0, t1, t2)

1229 TEST_3R("seleqz", mem[0], mem[10], t1, t2, t0)

1230 TEST_3R("seleqz", mem[0], mem[11], t2, t0, t1)

1231 TEST_3R("seleqz", mem[1], mem[0], t1, t2, t0)

1232 TEST_3R("seleqz", mem[1], mem[1], t2, t0, t1)

1233 TEST_3R("seleqz", mem[1], mem[2], t0, t1, t2)

1234 TEST_3R("seleqz", mem[1], mem[3], t1, t2, t0)

1235 TEST_3R("seleqz", mem[1], mem[4], t2, t0, t1)

1236 TEST_3R("seleqz", mem[1], mem[5], t0, t1, t2)

1237 TEST_3R("seleqz", mem[1], mem[6], t1, t2, t0)

1238 TEST_3R("seleqz", mem[1], mem[7], t2, t0, t1)

1239 TEST_3R("seleqz", mem[1], mem[8], t0, t1, t2)

1240 TEST_3R("seleqz", mem[1], mem[9], t1, t2, t0)

1241 TEST_3R("seleqz", mem[1], mem[10], t2, t0, t1)

1242 TEST_3R("seleqz", mem[1], mem[11], t0, t1, t2)

1243 TEST_3R("seleqz", mem[2], mem[0], t2, t0, t1)

1244 TEST_3R("seleqz", mem[2], mem[1], t0, t1, t2)

1245 TEST_3R("seleqz", mem[2], mem[2], t1, t2, t0)

1246 TEST_3R("seleqz", mem[2], mem[3], t2, t0, t1)

1247 TEST_3R("seleqz", mem[2], mem[4], t0, t1, t2)

1248 TEST_3R("seleqz", mem[2], mem[5], t1, t2, t0)

1249 TEST_3R("seleqz", mem[2], mem[6], t2, t0, t1)

1250 TEST_3R("seleqz", mem[2], mem[7], t0, t1, t2)

1251 TEST_3R("seleqz", mem[2], mem[8], t1, t2, t0)

1252 TEST_3R("seleqz", mem[2], mem[9], t2, t0, t1)

1253 TEST_3R("seleqz", mem[2], mem[10], t0, t1, t2)

1254 TEST_3R("seleqz", mem[2], mem[11], t1, t2, t0)

1255 TEST_3R("seleqz", mem[3], mem[0], t0, t1, t2)

1256 TEST_3R("seleqz", mem[3], mem[1], t1, t2, t0)

1257 TEST_3R("seleqz", mem[3], mem[2], t2, t0, t1)

1258 TEST_3R("seleqz", mem[3], mem[3], t0, t1, t2)

1259 TEST_3R("seleqz", mem[3], mem[4], t1, t2, t0)

1260 TEST_3R("seleqz", mem[3], mem[5], t2, t0, t1)

1261 TEST_3R("seleqz", mem[3], mem[6], t0, t1, t2)

1262 TEST_3R("seleqz", mem[3], mem[7], t1, t2, t0)

1263 TEST_3R("seleqz", mem[3], mem[8], t2, t0, t1)

1264 TEST_3R("seleqz", mem[3], mem[9], t0, t1, t2)

1265 TEST_3R("seleqz", mem[3], mem[10], t1, t2, t0)

1266 TEST_3R("seleqz", mem[3], mem[11], t2, t0, t1)

1267 TEST_3R("seleqz", mem[4], mem[0], t1, t2, t0)

1268 TEST_3R("seleqz", mem[4], mem[1], t2, t0, t1)

1269 TEST_3R("seleqz", mem[4], mem[2], t0, t1, t2)

1270 TEST_3R("seleqz", mem[4], mem[3], t1, t2, t0)

1271 TEST_3R("seleqz", mem[4], mem[4], t2, t0, t1)

1272 TEST_3R("seleqz", mem[4], mem[5], t0, t1, t2)

1273 TEST_3R("seleqz", mem[4], mem[6], t1, t2, t0)

1274 TEST_3R("seleqz", mem[4], mem[7], t2, t0, t1)

1275 TEST_3R("seleqz", mem[4], mem[8], t0, t1, t2)

1276 TEST_3R("seleqz", mem[4], mem[9], t1, t2, t0)

1277 TEST_3R("seleqz", mem[4], mem[10], t2, t0, t1)

1278 TEST_3R("seleqz", mem[4], mem[11], t0, t1, t2)

1279 TEST_3R("seleqz", mem[5], mem[0], t2, t0, t1)

1280 TEST_3R("seleqz", mem[5], mem[1], t0, t1, t2)

1281 TEST_3R("seleqz", mem[5], mem[2], t1, t2, t0)

1282 TEST_3R("seleqz", mem[5], mem[3], t2, t0, t1)

1283 TEST_3R("seleqz", mem[5], mem[4], t0, t1, t2)

1284 TEST_3R("seleqz", mem[5], mem[5], t1, t2, t0)

1285 TEST_3R("seleqz", mem[5], mem[6], t2, t0, t1)

1286 TEST_3R("seleqz", mem[5], mem[7], t0, t1, t2)

1287 TEST_3R("seleqz", mem[5], mem[8], t1, t2, t0)

1288 TEST_3R("seleqz", mem[5], mem[9], t2, t0, t1)

1289 TEST_3R("seleqz", mem[5], mem[10], t0, t1, t2)

1290 TEST_3R("seleqz", mem[5], mem[11], t1, t2, t0)

1291 TEST_3R("seleqz", mem[6], mem[0], t0, t1, t2)

1292 TEST_3R("seleqz", mem[6], mem[1], t1, t2, t0)

1293 TEST_3R("seleqz", mem[6], mem[2], t2, t0, t1)

1294 TEST_3R("seleqz", mem[6], mem[3], t0, t1, t2)

1295 TEST_3R("seleqz", mem[6], mem[4], t1, t2, t0)

1296 TEST_3R("seleqz", mem[6], mem[5], t2, t0, t1)

1297 TEST_3R("seleqz", mem[6], mem[6], t0, t1, t2)

1298 TEST_3R("seleqz", mem[6], mem[7], t1, t2, t0)

1299 TEST_3R("seleqz", mem[6], mem[8], t2, t0, t1)

1300 TEST_3R("seleqz", mem[6], mem[9], t0, t1, t2)

1301 TEST_3R("seleqz", mem[6], mem[10], t1, t2, t0)

1302 TEST_3R("seleqz", mem[6], mem[11], t2, t0, t1)

1303 TEST_3R("seleqz", mem[7], mem[0], t1, t2, t0)

1304 TEST_3R("seleqz", mem[7], mem[1], t2, t0, t1)

1305 TEST_3R("seleqz", mem[7], mem[2], t0, t1, t2)

1306 TEST_3R("seleqz", mem[7], mem[3], t1, t2, t0)

1307 TEST_3R("seleqz", mem[7], mem[4], t2, t0, t1)

1308 TEST_3R("seleqz", mem[7], mem[5], t0, t1, t2)

1309 TEST_3R("seleqz", mem[7], mem[6], t1, t2, t0)

1310 TEST_3R("seleqz", mem[7], mem[7], t2, t0, t1)

1311 TEST_3R("seleqz", mem[7], mem[8], t0, t1, t2)

1312 TEST_3R("seleqz", mem[7], mem[9], t1, t2, t0)

1313 TEST_3R("seleqz", mem[7], mem[10], t2, t0, t1)

1314 TEST_3R("seleqz", mem[7], mem[11], t0, t1, t2)

1315 TEST_3R("seleqz", mem[8], mem[0], t2, t0, t1)

1316 TEST_3R("seleqz", mem[8], mem[1], t0, t1, t2)

1317 TEST_3R("seleqz", mem[8], mem[2], t1, t2, t0)

1318 TEST_3R("seleqz", mem[8], mem[3], t2, t0, t1)

1319 TEST_3R("seleqz", mem[8], mem[4], t0, t1, t2)

1320 TEST_3R("seleqz", mem[8], mem[5], t1, t2, t0)

1321 TEST_3R("seleqz", mem[8], mem[6], t2, t0, t1)

1322 TEST_3R("seleqz", mem[8], mem[7], t0, t1, t2)

1323 TEST_3R("seleqz", mem[8], mem[8], t1, t2, t0)

1324 TEST_3R("seleqz", mem[8], mem[9], t2, t0, t1)

1325 TEST_3R("seleqz", mem[8], mem[10], t0, t1, t2)

1326 TEST_3R("seleqz", mem[8], mem[11], t1, t2, t0)

1327 TEST_3R("seleqz", mem[9], mem[0], t0, t1, t2)

1328 TEST_3R("seleqz", mem[9], mem[1], t1, t2, t0)

1329 TEST_3R("seleqz", mem[9], mem[2], t2, t0, t1)

1330 TEST_3R("seleqz", mem[9], mem[3], t0, t1, t2)

1331 TEST_3R("seleqz", mem[9], mem[4], t1, t2, t0)

1332 TEST_3R("seleqz", mem[9], mem[5], t2, t0, t1)

1333 TEST_3R("seleqz", mem[9], mem[6], t0, t1, t2)

1334 TEST_3R("seleqz", mem[9], mem[7], t1, t2, t0)

1335 TEST_3R("seleqz", mem[9], mem[8], t2, t0, t1)

1336 TEST_3R("seleqz", mem[9], mem[9], t0, t1, t2)

1337 TEST_3R("seleqz", mem[9], mem[10], t1, t2, t0)

1338 TEST_3R("seleqz", mem[9], mem[11], t2, t0, t1)

1339 TEST_3R("seleqz", mem[10], mem[0], t1, t2, t0)

1340 TEST_3R("seleqz", mem[10], mem[1], t2, t0, t1)

1341 TEST_3R("seleqz", mem[10], mem[2], t0, t1, t2)

1342 TEST_3R("seleqz", mem[10], mem[3], t1, t2, t0)

1343 TEST_3R("seleqz", mem[10], mem[4], t2, t0, t1)

1344 TEST_3R("seleqz", mem[10], mem[5], t0, t1, t2)

1345 TEST_3R("seleqz", mem[10], mem[6], t1, t2, t0)

1346 TEST_3R("seleqz", mem[10], mem[7], t2, t0, t1)

1347 TEST_3R("seleqz", mem[10], mem[8], t0, t1, t2)

1348 TEST_3R("seleqz", mem[10], mem[9], t1, t2, t0)

1349 TEST_3R("seleqz", mem[10], mem[10], t2, t0, t1)

1350 TEST_3R("seleqz", mem[10], mem[11], t0, t1, t2)

1351 TEST_3R("seleqz", mem[11], mem[0], t2, t0, t1)

1352 TEST_3R("seleqz", mem[11], mem[1], t0, t1, t2)

1353 TEST_3R("seleqz", mem[11], mem[2], t1, t2, t0)

1354 TEST_3R("seleqz", mem[11], mem[3], t2, t0, t1)

1355 TEST_3R("seleqz", mem[11], mem[4], t0, t1, t2)

1356 TEST_3R("seleqz", mem[11], mem[5], t1, t2, t0)

1357 TEST_3R("seleqz", mem[11], mem[6], t2, t0, t1)

1358 TEST_3R("seleqz", mem[11], mem[7], t0, t1, t2)

1359 TEST_3R("seleqz", mem[11], mem[8], t1, t2, t0)

1360 TEST_3R("seleqz", mem[11], mem[9], t2, t0, t1)

1361 TEST_3R("seleqz", mem[11], mem[10], t0, t1, t2)

1362 TEST_3R("seleqz", mem[11], mem[11], t1, t2, t0)

1363

1364 printf("\nselnez\n");

1365 TEST_3R("selnez", mem[0], mem[0], t0, t1, t2)

1366 TEST_3R("selnez", mem[0], mem[1], t1, t2, t0)

1367 TEST_3R("selnez", mem[0], mem[2], t2, t0, t1)

1368 TEST_3R("selnez", mem[0], mem[3], t0, t1, t2)

1369 TEST_3R("selnez", mem[0], mem[4], t1, t2, t0)

1370 TEST_3R("selnez", mem[0], mem[5], t2, t0, t1)

1371 TEST_3R("selnez", mem[0], mem[6], t0, t1, t2)

1372 TEST_3R("selnez", mem[0], mem[7], t1, t2, t0)

1373 TEST_3R("selnez", mem[0], mem[8], t2, t0, t1)

1374 TEST_3R("selnez", mem[0], mem[9], t0, t1, t2)

1375 TEST_3R("selnez", mem[0], mem[10], t1, t2, t0)

1376 TEST_3R("selnez", mem[0], mem[11], t2, t0, t1)

1377 TEST_3R("selnez", mem[1], mem[0], t1, t2, t0)

1378 TEST_3R("selnez", mem[1], mem[1], t2, t0, t1)

1379 TEST_3R("selnez", mem[1], mem[2], t0, t1, t2)

1380 TEST_3R("selnez", mem[1], mem[3], t1, t2, t0)

1381 TEST_3R("selnez", mem[1], mem[4], t2, t0, t1)

1382 TEST_3R("selnez", mem[1], mem[5], t0, t1, t2)

1383 TEST_3R("selnez", mem[1], mem[6], t1, t2, t0)

1384 TEST_3R("selnez", mem[1], mem[7], t2, t0, t1)

1385 TEST_3R("selnez", mem[1], mem[8], t0, t1, t2)

1386 TEST_3R("selnez", mem[1], mem[9], t1, t2, t0)

1387 TEST_3R("selnez", mem[1], mem[10], t2, t0, t1)

1388 TEST_3R("selnez", mem[1], mem[11], t0, t1, t2)

1389 TEST_3R("selnez", mem[2], mem[0], t2, t0, t1)

1390 TEST_3R("selnez", mem[2], mem[1], t0, t1, t2)

1391 TEST_3R("selnez", mem[2], mem[2], t1, t2, t0)

1392 TEST_3R("selnez", mem[2], mem[3], t2, t0, t1)

1393 TEST_3R("selnez", mem[2], mem[4], t0, t1, t2)

1394 TEST_3R("selnez", mem[2], mem[5], t1, t2, t0)

1395 TEST_3R("selnez", mem[2], mem[6], t2, t0, t1)

1396 TEST_3R("selnez", mem[2], mem[7], t0, t1, t2)

1397 TEST_3R("selnez", mem[2], mem[8], t1, t2, t0)

1398 TEST_3R("selnez", mem[2], mem[9], t2, t0, t1)

1399 TEST_3R("selnez", mem[2], mem[10], t0, t1, t2)

1400 TEST_3R("selnez", mem[2], mem[11], t1, t2, t0)

1401 TEST_3R("selnez", mem[3], mem[0], t0, t1, t2)

1402 TEST_3R("selnez", mem[3], mem[1], t1, t2, t0)

1403 TEST_3R("selnez", mem[3], mem[2], t2, t0, t1)

1404 TEST_3R("selnez", mem[3], mem[3], t0, t1, t2)

1405 TEST_3R("selnez", mem[3], mem[4], t1, t2, t0)

1406 TEST_3R("selnez", mem[3], mem[5], t2, t0, t1)

1407 TEST_3R("selnez", mem[3], mem[6], t0, t1, t2)

1408 TEST_3R("selnez", mem[3], mem[7], t1, t2, t0)

1409 TEST_3R("selnez", mem[3], mem[8], t2, t0, t1)

1410 TEST_3R("selnez", mem[3], mem[9], t0, t1, t2)

1411 TEST_3R("selnez", mem[3], mem[10], t1, t2, t0)

1412 TEST_3R("selnez", mem[3], mem[11], t2, t0, t1)

1413 TEST_3R("selnez", mem[4], mem[0], t1, t2, t0)

1414 TEST_3R("selnez", mem[4], mem[1], t2, t0, t1)

1415 TEST_3R("selnez", mem[4], mem[2], t0, t1, t2)

1416 TEST_3R("selnez", mem[4], mem[3], t1, t2, t0)

1417 TEST_3R("selnez", mem[4], mem[4], t2, t0, t1)

1418 TEST_3R("selnez", mem[4], mem[5], t0, t1, t2)

1419 TEST_3R("selnez", mem[4], mem[6], t1, t2, t0)

1420 TEST_3R("selnez", mem[4], mem[7], t2, t0, t1)

1421 TEST_3R("selnez", mem[4], mem[8], t0, t1, t2)

1422 TEST_3R("selnez", mem[4], mem[9], t1, t2, t0)

1423 TEST_3R("selnez", mem[4], mem[10], t2, t0, t1)

1424 TEST_3R("selnez", mem[4], mem[11], t0, t1, t2)

1425 TEST_3R("selnez", mem[5], mem[0], t2, t0, t1)

1426 TEST_3R("selnez", mem[5], mem[1], t0, t1, t2)

1427 TEST_3R("selnez", mem[5], mem[2], t1, t2, t0)

1428 TEST_3R("selnez", mem[5], mem[3], t2, t0, t1)

1429 TEST_3R("selnez", mem[5], mem[4], t0, t1, t2)

1430 TEST_3R("selnez", mem[5], mem[5], t1, t2, t0)

1431 TEST_3R("selnez", mem[5], mem[6], t2, t0, t1)

1432 TEST_3R("selnez", mem[5], mem[7], t0, t1, t2)

1433 TEST_3R("selnez", mem[5], mem[8], t1, t2, t0)

1434 TEST_3R("selnez", mem[5], mem[9], t2, t0, t1)

1435 TEST_3R("selnez", mem[5], mem[10], t0, t1, t2)

1436 TEST_3R("selnez", mem[5], mem[11], t1, t2, t0)

1437 TEST_3R("selnez", mem[6], mem[0], t0, t1, t2)

1438 TEST_3R("selnez", mem[6], mem[1], t1, t2, t0)

1439 TEST_3R("selnez", mem[6], mem[2], t2, t0, t1)

1440 TEST_3R("selnez", mem[6], mem[3], t0, t1, t2)

1441 TEST_3R("selnez", mem[6], mem[4], t1, t2, t0)

1442 TEST_3R("selnez", mem[6], mem[5], t2, t0, t1)

1443 TEST_3R("selnez", mem[6], mem[6], t0, t1, t2)

1444 TEST_3R("selnez", mem[6], mem[7], t1, t2, t0)

1445 TEST_3R("selnez", mem[6], mem[8], t2, t0, t1)

1446 TEST_3R("selnez", mem[6], mem[9], t0, t1, t2)

1447 TEST_3R("selnez", mem[6], mem[10], t1, t2, t0)

1448 TEST_3R("selnez", mem[6], mem[11], t2, t0, t1)

1449 TEST_3R("selnez", mem[7], mem[0], t1, t2, t0)

1450 TEST_3R("selnez", mem[7], mem[1], t2, t0, t1)

1451 TEST_3R("selnez", mem[7], mem[2], t0, t1, t2)

1452 TEST_3R("selnez", mem[7], mem[3], t1, t2, t0)

1453 TEST_3R("selnez", mem[7], mem[4], t2, t0, t1)

1454 TEST_3R("selnez", mem[7], mem[5], t0, t1, t2)

1455 TEST_3R("selnez", mem[7], mem[6], t1, t2, t0)

1456 TEST_3R("selnez", mem[7], mem[7], t2, t0, t1)

1457 TEST_3R("selnez", mem[7], mem[8], t0, t1, t2)

1458 TEST_3R("selnez", mem[7], mem[9], t1, t2, t0)

1459 TEST_3R("selnez", mem[7], mem[10], t2, t0, t1)

1460 TEST_3R("selnez", mem[7], mem[11], t0, t1, t2)

1461 TEST_3R("selnez", mem[8], mem[0], t2, t0, t1)

1462 TEST_3R("selnez", mem[8], mem[1], t0, t1, t2)

1463 TEST_3R("selnez", mem[8], mem[2], t1, t2, t0)

1464 TEST_3R("selnez", mem[8], mem[3], t2, t0, t1)

1465 TEST_3R("selnez", mem[8], mem[4], t0, t1, t2)

1466 TEST_3R("selnez", mem[8], mem[5], t1, t2, t0)

1467 TEST_3R("selnez", mem[8], mem[6], t2, t0, t1)

1468 TEST_3R("selnez", mem[8], mem[7], t0, t1, t2)

1469 TEST_3R("selnez", mem[8], mem[8], t1, t2, t0)

1470 TEST_3R("selnez", mem[8], mem[9], t2, t0, t1)

1471 TEST_3R("selnez", mem[8], mem[10], t0, t1, t2)

1472 TEST_3R("selnez", mem[8], mem[11], t1, t2, t0)

1473 TEST_3R("selnez", mem[9], mem[0], t0, t1, t2)

1474 TEST_3R("selnez", mem[9], mem[1], t1, t2, t0)

1475 TEST_3R("selnez", mem[9], mem[2], t2, t0, t1)

1476 TEST_3R("selnez", mem[9], mem[3], t0, t1, t2)

1477 TEST_3R("selnez", mem[9], mem[4], t1, t2, t0)

1478 TEST_3R("selnez", mem[9], mem[5], t2, t0, t1)

1479 TEST_3R("selnez", mem[9], mem[6], t0, t1, t2)

1480 TEST_3R("selnez", mem[9], mem[7], t1, t2, t0)

1481 TEST_3R("selnez", mem[9], mem[8], t2, t0, t1)

1482 TEST_3R("selnez", mem[9], mem[9], t0, t1, t2)

1483 TEST_3R("selnez", mem[9], mem[10], t1, t2, t0)

1484 TEST_3R("selnez", mem[9], mem[11], t2, t0, t1)

1485 TEST_3R("selnez", mem[10], mem[0], t1, t2, t0)

1486 TEST_3R("selnez", mem[10], mem[1], t2, t0, t1)

1487 TEST_3R("selnez", mem[10], mem[2], t0, t1, t2)

1488 TEST_3R("selnez", mem[10], mem[3], t1, t2, t0)

1489 TEST_3R("selnez", mem[10], mem[4], t2, t0, t1)

1490 TEST_3R("selnez", mem[10], mem[5], t0, t1, t2)

1491 TEST_3R("selnez", mem[10], mem[6], t1, t2, t0)

1492 TEST_3R("selnez", mem[10], mem[7], t2, t0, t1)

1493 TEST_3R("selnez", mem[10], mem[8], t0, t1, t2)

1494 TEST_3R("selnez", mem[10], mem[9], t1, t2, t0)

1495 TEST_3R("selnez", mem[10], mem[10], t2, t0, t1)

1496 TEST_3R("selnez", mem[10], mem[11], t0, t1, t2)

1497 TEST_3R("selnez", mem[11], mem[0], t2, t0, t1)

1498 TEST_3R("selnez", mem[11], mem[1], t0, t1, t2)

1499 TEST_3R("selnez", mem[11], mem[2], t1, t2, t0)

1500 TEST_3R("selnez", mem[11], mem[3], t2, t0, t1)

1501 TEST_3R("selnez", mem[11], mem[4], t0, t1, t2)

1502 TEST_3R("selnez", mem[11], mem[5], t1, t2, t0)

1503 TEST_3R("selnez", mem[11], mem[6], t2, t0, t1)

1504 TEST_3R("selnez", mem[11], mem[7], t0, t1, t2)

1505 TEST_3R("selnez", mem[11], mem[8], t1, t2, t0)

1506 TEST_3R("selnez", mem[11], mem[9], t2, t0, t1)

1507 TEST_3R("selnez", mem[11], mem[10], t0, t1, t2)

1508 TEST_3R("selnez", mem[11], mem[11], t1, t2, t0)

1509

1510 printf("\nalign\n");

1511 TEST_3R2b("align", mem[0], mem[0], t0, t1, t2, 0)

1512 TEST_3R2b("align", mem[0], mem[0], t0, t1, t2, 1)

1513 TEST_3R2b("align", mem[0], mem[0], t0, t1, t2, 2)

1514 TEST_3R2b("align", mem[0], mem[0], t0, t1, t2, 3)

1515 TEST_3R2b("align", mem[0], mem[1], t1, t2, t0, 0)

1516 TEST_3R2b("align", mem[0], mem[1], t1, t2, t0, 1)

1517 TEST_3R2b("align", mem[0], mem[1], t1, t2, t0, 2)

1518 TEST_3R2b("align", mem[0], mem[1], t1, t2, t0, 3)

1519 TEST_3R2b("align", mem[0], mem[2], t2, t0, t1, 0)

1520 TEST_3R2b("align", mem[0], mem[2], t2, t0, t1, 1)

1521 TEST_3R2b("align", mem[0], mem[2], t2, t0, t1, 2)

1522 TEST_3R2b("align", mem[0], mem[2], t2, t0, t1, 3)

1523 TEST_3R2b("align", mem[0], mem[3], t0, t1, t2, 0)

1524 TEST_3R2b("align", mem[0], mem[3], t0, t1, t2, 1)

1525 TEST_3R2b("align", mem[0], mem[3], t0, t1, t2, 2)

1526 TEST_3R2b("align", mem[0], mem[3], t0, t1, t2, 3)

1527 TEST_3R2b("align", mem[0], mem[4], t1, t2, t0, 0)

1528 TEST_3R2b("align", mem[0], mem[4], t1, t2, t0, 1)

1529 TEST_3R2b("align", mem[0], mem[4], t1, t2, t0, 2)

1530 TEST_3R2b("align", mem[0], mem[4], t1, t2, t0, 3)

1531 TEST_3R2b("align", mem[0], mem[5], t2, t0, t1, 0)

1532 TEST_3R2b("align", mem[0], mem[5], t2, t0, t1, 1)

1533 TEST_3R2b("align", mem[0], mem[5], t2, t0, t1, 2)

1534 TEST_3R2b("align", mem[0], mem[5], t2, t0, t1, 3)

1535 TEST_3R2b("align", mem[0], mem[6], t0, t1, t2, 0)

1536 TEST_3R2b("align", mem[0], mem[6], t0, t1, t2, 1)

1537 TEST_3R2b("align", mem[0], mem[6], t0, t1, t2, 2)

1538 TEST_3R2b("align", mem[0], mem[6], t0, t1, t2, 3)

1539 TEST_3R2b("align", mem[0], mem[7], t1, t2, t0, 0)

1540 TEST_3R2b("align", mem[0], mem[7], t1, t2, t0, 1)

1541 TEST_3R2b("align", mem[0], mem[7], t1, t2, t0, 2)

1542 TEST_3R2b("align", mem[0], mem[7], t1, t2, t0, 3)

1543 TEST_3R2b("align", mem[0], mem[8], t2, t0, t1, 0)

1544 TEST_3R2b("align", mem[0], mem[8], t2, t0, t1, 1)

1545 TEST_3R2b("align", mem[0], mem[8], t2, t0, t1, 2)

1546 TEST_3R2b("align", mem[0], mem[8], t2, t0, t1, 3)

1547 TEST_3R2b("align", mem[0], mem[9], t0, t1, t2, 0)

1548 TEST_3R2b("align", mem[0], mem[9], t0, t1, t2, 1)

1549 TEST_3R2b("align", mem[0], mem[9], t0, t1, t2, 2)

1550 TEST_3R2b("align", mem[0], mem[9], t0, t1, t2, 3)

1551 TEST_3R2b("align", mem[0], mem[10], t1, t2, t0, 0)

1552 TEST_3R2b("align", mem[0], mem[10], t1, t2, t0, 1)

1553 TEST_3R2b("align", mem[0], mem[10], t1, t2, t0, 2)

1554 TEST_3R2b("align", mem[0], mem[10], t1, t2, t0, 3)

1555 TEST_3R2b("align", mem[0], mem[11], t2, t0, t1, 0)

1556 TEST_3R2b("align", mem[0], mem[11], t2, t0, t1, 1)

1557 TEST_3R2b("align", mem[0], mem[11], t2, t0, t1, 2)

1558 TEST_3R2b("align", mem[0], mem[11], t2, t0, t1, 3)

1559 TEST_3R2b("align", mem[1], mem[0], t1, t2, t0, 0)

1560 TEST_3R2b("align", mem[1], mem[0], t1, t2, t0, 1)

1561 TEST_3R2b("align", mem[1], mem[0], t1, t2, t0, 2)

1562 TEST_3R2b("align", mem[1], mem[0], t1, t2, t0, 3)

1563 TEST_3R2b("align", mem[1], mem[1], t2, t0, t1, 0)

1564 TEST_3R2b("align", mem[1], mem[1], t2, t0, t1, 1)

1565 TEST_3R2b("align", mem[1], mem[1], t2, t0, t1, 2)

1566 TEST_3R2b("align", mem[1], mem[1], t2, t0, t1, 3)

1567 TEST_3R2b("align", mem[1], mem[2], t0, t1, t2, 0)

1568 TEST_3R2b("align", mem[1], mem[2], t0, t1, t2, 1)

1569 TEST_3R2b("align", mem[1], mem[2], t0, t1, t2, 2)

1570 TEST_3R2b("align", mem[1], mem[2], t0, t1, t2, 3)

1571 TEST_3R2b("align", mem[1], mem[3], t1, t2, t0, 0)

1572 TEST_3R2b("align", mem[1], mem[3], t1, t2, t0, 1)

1573 TEST_3R2b("align", mem[1], mem[3], t1, t2, t0, 2)

1574 TEST_3R2b("align", mem[1], mem[3], t1, t2, t0, 3)

1575 TEST_3R2b("align", mem[1], mem[4], t2, t0, t1, 0)

1576 TEST_3R2b("align", mem[1], mem[4], t2, t0, t1, 1)

1577 TEST_3R2b("align", mem[1], mem[4], t2, t0, t1, 2)

1578 TEST_3R2b("align", mem[1], mem[4], t2, t0, t1, 3)

1579 TEST_3R2b("align", mem[1], mem[5], t0, t1, t2, 0)

1580 TEST_3R2b("align", mem[1], mem[5], t0, t1, t2, 1)

1581 TEST_3R2b("align", mem[1], mem[5], t0, t1, t2, 2)

1582 TEST_3R2b("align", mem[1], mem[5], t0, t1, t2, 3)

1583 TEST_3R2b("align", mem[1], mem[6], t1, t2, t0, 0)

1584 TEST_3R2b("align", mem[1], mem[6], t1, t2, t0, 1)

1585 TEST_3R2b("align", mem[1], mem[6], t1, t2, t0, 2)

1586 TEST_3R2b("align", mem[1], mem[6], t1, t2, t0, 3)

1587 TEST_3R2b("align", mem[1], mem[7], t2, t0, t1, 0)

1588 TEST_3R2b("align", mem[1], mem[7], t2, t0, t1, 1)

1589 TEST_3R2b("align", mem[1], mem[7], t2, t0, t1, 2)

1590 TEST_3R2b("align", mem[1], mem[7], t2, t0, t1, 3)

1591 TEST_3R2b("align", mem[1], mem[8], t0, t1, t2, 0)

1592 TEST_3R2b("align", mem[1], mem[8], t0, t1, t2, 1)

1593 TEST_3R2b("align", mem[1], mem[8], t0, t1, t2, 2)

1594 TEST_3R2b("align", mem[1], mem[8], t0, t1, t2, 3)

1595 TEST_3R2b("align", mem[1], mem[9], t1, t2, t0, 0)

1596 TEST_3R2b("align", mem[1], mem[9], t1, t2, t0, 1)

1597 TEST_3R2b("align", mem[1], mem[9], t1, t2, t0, 2)

1598 TEST_3R2b("align", mem[1], mem[9], t1, t2, t0, 3)

1599 TEST_3R2b("align", mem[1], mem[10], t2, t0, t1, 0)

1600 TEST_3R2b("align", mem[1], mem[10], t2, t0, t1, 1)

1601 TEST_3R2b("align", mem[1], mem[10], t2, t0, t1, 2)

1602 TEST_3R2b("align", mem[1], mem[10], t2, t0, t1, 3)

1603 TEST_3R2b("align", mem[1], mem[11], t0, t1, t2, 0)

1604 TEST_3R2b("align", mem[1], mem[11], t0, t1, t2, 1)

1605 TEST_3R2b("align", mem[1], mem[11], t0, t1, t2, 2)

1606 TEST_3R2b("align", mem[1], mem[11], t0, t1, t2, 3)

1607 TEST_3R2b("align", mem[2], mem[0], t2, t0, t1, 0)

1608 TEST_3R2b("align", mem[2], mem[0], t2, t0, t1, 1)

1609 TEST_3R2b("align", mem[2], mem[0], t2, t0, t1, 2)

1610 TEST_3R2b("align", mem[2], mem[0], t2, t0, t1, 3)

1611 TEST_3R2b("align", mem[2], mem[1], t0, t1, t2, 0)

1612 TEST_3R2b("align", mem[2], mem[1], t0, t1, t2, 1)

1613 TEST_3R2b("align", mem[2], mem[1], t0, t1, t2, 2)

1614 TEST_3R2b("align", mem[2], mem[1], t0, t1, t2, 3)

1615 TEST_3R2b("align", mem[2], mem[2], t1, t2, t0, 0)

1616 TEST_3R2b("align", mem[2], mem[2], t1, t2, t0, 1)

1617 TEST_3R2b("align", mem[2], mem[2], t1, t2, t0, 2)

1618 TEST_3R2b("align", mem[2], mem[2], t1, t2, t0, 3)

1619 TEST_3R2b("align", mem[2], mem[3], t2, t0, t1, 0)

1620 TEST_3R2b("align", mem[2], mem[3], t2, t0, t1, 1)

1621 TEST_3R2b("align", mem[2], mem[3], t2, t0, t1, 2)

1622 TEST_3R2b("align", mem[2], mem[3], t2, t0, t1, 3)

1623 TEST_3R2b("align", mem[2], mem[4], t0, t1, t2, 0)

1624 TEST_3R2b("align", mem[2], mem[4], t0, t1, t2, 1)

1625 TEST_3R2b("align", mem[2], mem[4], t0, t1, t2, 2)

1626 TEST_3R2b("align", mem[2], mem[4], t0, t1, t2, 3)

1627 TEST_3R2b("align", mem[2], mem[5], t1, t2, t0, 0)

1628 TEST_3R2b("align", mem[2], mem[5], t1, t2, t0, 1)

1629 TEST_3R2b("align", mem[2], mem[5], t1, t2, t0, 2)

1630 TEST_3R2b("align", mem[2], mem[5], t1, t2, t0, 3)

1631 TEST_3R2b("align", mem[2], mem[6], t2, t0, t1, 0)

1632 TEST_3R2b("align", mem[2], mem[6], t2, t0, t1, 1)

1633 TEST_3R2b("align", mem[2], mem[6], t2, t0, t1, 2)

1634 TEST_3R2b("align", mem[2], mem[6], t2, t0, t1, 3)

1635 TEST_3R2b("align", mem[2], mem[7], t0, t1, t2, 0)

1636 TEST_3R2b("align", mem[2], mem[7], t0, t1, t2, 1)

1637 TEST_3R2b("align", mem[2], mem[7], t0, t1, t2, 2)

1638 TEST_3R2b("align", mem[2], mem[7], t0, t1, t2, 3)

1639 TEST_3R2b("align", mem[2], mem[8], t1, t2, t0, 0)

1640 TEST_3R2b("align", mem[2], mem[8], t1, t2, t0, 1)

1641 TEST_3R2b("align", mem[2], mem[8], t1, t2, t0, 2)

1642 TEST_3R2b("align", mem[2], mem[8], t1, t2, t0, 3)

1643 TEST_3R2b("align", mem[2], mem[9], t2, t0, t1, 0)

1644 TEST_3R2b("align", mem[2], mem[9], t2, t0, t1, 1)

1645 TEST_3R2b("align", mem[2], mem[9], t2, t0, t1, 2)

1646 TEST_3R2b("align", mem[2], mem[9], t2, t0, t1, 3)

1647 TEST_3R2b("align", mem[2], mem[10], t0, t1, t2, 0)

1648 TEST_3R2b("align", mem[2], mem[10], t0, t1, t2, 1)

1649 TEST_3R2b("align", mem[2], mem[10], t0, t1, t2, 2)

1650 TEST_3R2b("align", mem[2], mem[10], t0, t1, t2, 3)

1651 TEST_3R2b("align", mem[2], mem[11], t1, t2, t0, 0)

1652 TEST_3R2b("align", mem[2], mem[11], t1, t2, t0, 1)

1653 TEST_3R2b("align", mem[2], mem[11], t1, t2, t0, 2)

1654 TEST_3R2b("align", mem[2], mem[11], t1, t2, t0, 3)

1655 TEST_3R2b("align", mem[3], mem[0], t0, t1, t2, 0)

1656 TEST_3R2b("align", mem[3], mem[0], t0, t1, t2, 1)

1657 TEST_3R2b("align", mem[3], mem[0], t0, t1, t2, 2)

1658 TEST_3R2b("align", mem[3], mem[0], t0, t1, t2, 3)

1659 TEST_3R2b("align", mem[3], mem[1], t1, t2, t0, 0)

1660 TEST_3R2b("align", mem[3], mem[1], t1, t2, t0, 1)

1661 TEST_3R2b("align", mem[3], mem[1], t1, t2, t0, 2)

1662 TEST_3R2b("align", mem[3], mem[1], t1, t2, t0, 3)

1663 TEST_3R2b("align", mem[3], mem[2], t2, t0, t1, 0)

1664 TEST_3R2b("align", mem[3], mem[2], t2, t0, t1, 1)

1665 TEST_3R2b("align", mem[3], mem[2], t2, t0, t1, 2)

1666 TEST_3R2b("align", mem[3], mem[2], t2, t0, t1, 3)

1667 TEST_3R2b("align", mem[3], mem[3], t0, t1, t2, 0)

1668 TEST_3R2b("align", mem[3], mem[3], t0, t1, t2, 1)

1669 TEST_3R2b("align", mem[3], mem[3], t0, t1, t2, 2)

1670 TEST_3R2b("align", mem[3], mem[3], t0, t1, t2, 3)

1671 TEST_3R2b("align", mem[3], mem[4], t1, t2, t0, 0)

1672 TEST_3R2b("align", mem[3], mem[4], t1, t2, t0, 1)

1673 TEST_3R2b("align", mem[3], mem[4], t1, t2, t0, 2)

1674 TEST_3R2b("align", mem[3], mem[4], t1, t2, t0, 3)

1675 TEST_3R2b("align", mem[3], mem[5], t2, t0, t1, 0)

1676 TEST_3R2b("align", mem[3], mem[5], t2, t0, t1, 1)

1677 TEST_3R2b("align", mem[3], mem[5], t2, t0, t1, 2)

1678 TEST_3R2b("align", mem[3], mem[5], t2, t0, t1, 3)

1679 TEST_3R2b("align", mem[3], mem[6], t0, t1, t2, 0)

1680 TEST_3R2b("align", mem[3], mem[6], t0, t1, t2, 1)

1681 TEST_3R2b("align", mem[3], mem[6], t0, t1, t2, 2)

1682 TEST_3R2b("align", mem[3], mem[6], t0, t1, t2, 3)

1683 TEST_3R2b("align", mem[3], mem[7], t1, t2, t0, 0)

1684 TEST_3R2b("align", mem[3], mem[7], t1, t2, t0, 1)

1685 TEST_3R2b("align", mem[3], mem[7], t1, t2, t0, 2)

1686 TEST_3R2b("align", mem[3], mem[7], t1, t2, t0, 3)

1687 TEST_3R2b("align", mem[3], mem[8], t2, t0, t1, 0)

1688 TEST_3R2b("align", mem[3], mem[8], t2, t0, t1, 1)

1689 TEST_3R2b("align", mem[3], mem[8], t2, t0, t1, 2)

1690 TEST_3R2b("align", mem[3], mem[8], t2, t0, t1, 3)

1691 TEST_3R2b("align", mem[3], mem[9], t0, t1, t2, 0)

1692 TEST_3R2b("align", mem[3], mem[9], t0, t1, t2, 1)

1693 TEST_3R2b("align", mem[3], mem[9], t0, t1, t2, 2)

1694 TEST_3R2b("align", mem[3], mem[9], t0, t1, t2, 3)

1695 TEST_3R2b("align", mem[3], mem[10], t1, t2, t0, 0)

1696 TEST_3R2b("align", mem[3], mem[10], t1, t2, t0, 1)

1697 TEST_3R2b("align", mem[3], mem[10], t1, t2, t0, 2)

1698 TEST_3R2b("align", mem[3], mem[10], t1, t2, t0, 3)

1699 TEST_3R2b("align", mem[3], mem[11], t2, t0, t1, 0)

1700 TEST_3R2b("align", mem[3], mem[11], t2, t0, t1, 1)

1701 TEST_3R2b("align", mem[3], mem[11], t2, t0, t1, 2)

1702 TEST_3R2b("align", mem[3], mem[11], t2, t0, t1, 3)

1703 TEST_3R2b("align", mem[4], mem[0], t1, t2, t0, 0)

1704 TEST_3R2b("align", mem[4], mem[0], t1, t2, t0, 1)

1705 TEST_3R2b("align", mem[4], mem[0], t1, t2, t0, 2)

1706 TEST_3R2b("align", mem[4], mem[0], t1, t2, t0, 3)

1707 TEST_3R2b("align", mem[4], mem[1], t2, t0, t1, 0)

1708 TEST_3R2b("align", mem[4], mem[1], t2, t0, t1, 1)

1709 TEST_3R2b("align", mem[4], mem[1], t2, t0, t1, 2)

1710 TEST_3R2b("align", mem[4], mem[1], t2, t0, t1, 3)

1711 TEST_3R2b("align", mem[4], mem[2], t0, t1, t2, 0)

1712 TEST_3R2b("align", mem[4], mem[2], t0, t1, t2, 1)

1713 TEST_3R2b("align", mem[4], mem[2], t0, t1, t2, 2)

1714 TEST_3R2b("align", mem[4], mem[2], t0, t1, t2, 3)

1715 TEST_3R2b("align", mem[4], mem[3], t1, t2, t0, 0)

1716 TEST_3R2b("align", mem[4], mem[3], t1, t2, t0, 1)

1717 TEST_3R2b("align", mem[4], mem[3], t1, t2, t0, 2)

1718 TEST_3R2b("align", mem[4], mem[3], t1, t2, t0, 3)

1719 TEST_3R2b("align", mem[4], mem[4], t2, t0, t1, 0)

1720 TEST_3R2b("align", mem[4], mem[4], t2, t0, t1, 1)

1721 TEST_3R2b("align", mem[4], mem[4], t2, t0, t1, 2)

1722 TEST_3R2b("align", mem[4], mem[4], t2, t0, t1, 3)

1723 TEST_3R2b("align", mem[4], mem[5], t0, t1, t2, 0)

1724 TEST_3R2b("align", mem[4], mem[5], t0, t1, t2, 1)

1725 TEST_3R2b("align", mem[4], mem[5], t0, t1, t2, 2)

1726 TEST_3R2b("align", mem[4], mem[5], t0, t1, t2, 3)

1727 TEST_3R2b("align", mem[4], mem[6], t1, t2, t0, 0)

1728 TEST_3R2b("align", mem[4], mem[6], t1, t2, t0, 1)

1729 TEST_3R2b("align", mem[4], mem[6], t1, t2, t0, 2)

1730 TEST_3R2b("align", mem[4], mem[6], t1, t2, t0, 3)

1731 TEST_3R2b("align", mem[4], mem[7], t2, t0, t1, 0)

1732 TEST_3R2b("align", mem[4], mem[7], t2, t0, t1, 1)

1733 TEST_3R2b("align", mem[4], mem[7], t2, t0, t1, 2)

1734 TEST_3R2b("align", mem[4], mem[7], t2, t0, t1, 3)

1735 TEST_3R2b("align", mem[4], mem[8], t0, t1, t2, 0)

1736 TEST_3R2b("align", mem[4], mem[8], t0, t1, t2, 1)

1737 TEST_3R2b("align", mem[4], mem[8], t0, t1, t2, 2)

1738 TEST_3R2b("align", mem[4], mem[8], t0, t1, t2, 3)

1739 TEST_3R2b("align", mem[4], mem[9], t1, t2, t0, 0)

1740 TEST_3R2b("align", mem[4], mem[9], t1, t2, t0, 1)

1741 TEST_3R2b("align", mem[4], mem[9], t1, t2, t0, 2)

1742 TEST_3R2b("align", mem[4], mem[9], t1, t2, t0, 3)

1743 TEST_3R2b("align", mem[4], mem[10], t2, t0, t1, 0)

1744 TEST_3R2b("align", mem[4], mem[10], t2, t0, t1, 1)

1745 TEST_3R2b("align", mem[4], mem[10], t2, t0, t1, 2)

1746 TEST_3R2b("align", mem[4], mem[10], t2, t0, t1, 3)

1747 TEST_3R2b("align", mem[4], mem[11], t0, t1, t2, 0)

1748 TEST_3R2b("align", mem[4], mem[11], t0, t1, t2, 1)

1749 TEST_3R2b("align", mem[4], mem[11], t0, t1, t2, 2)

1750 TEST_3R2b("align", mem[4], mem[11], t0, t1, t2, 3)

1751 TEST_3R2b("align", mem[5], mem[0], t2, t0, t1, 0)

1752 TEST_3R2b("align", mem[5], mem[0], t2, t0, t1, 1)

1753 TEST_3R2b("align", mem[5], mem[0], t2, t0, t1, 2)

1754 TEST_3R2b("align", mem[5], mem[0], t2, t0, t1, 3)

1755 TEST_3R2b("align", mem[5], mem[1], t0, t1, t2, 0)

1756 TEST_3R2b("align", mem[5], mem[1], t0, t1, t2, 1)

1757 TEST_3R2b("align", mem[5], mem[1], t0, t1, t2, 2)

1758 TEST_3R2b("align", mem[5], mem[1], t0, t1, t2, 3)

1759 TEST_3R2b("align", mem[5], mem[2], t1, t2, t0, 0)

1760 TEST_3R2b("align", mem[5], mem[2], t1, t2, t0, 1)

1761 TEST_3R2b("align", mem[5], mem[2], t1, t2, t0, 2)

1762 TEST_3R2b("align", mem[5], mem[2], t1, t2, t0, 3)

1763 TEST_3R2b("align", mem[5], mem[3], t2, t0, t1, 0)

1764 TEST_3R2b("align", mem[5], mem[3], t2, t0, t1, 1)

1765 TEST_3R2b("align", mem[5], mem[3], t2, t0, t1, 2)

1766 TEST_3R2b("align", mem[5], mem[3], t2, t0, t1, 3)

1767 TEST_3R2b("align", mem[5], mem[4], t0, t1, t2, 0)

1768 TEST_3R2b("align", mem[5], mem[4], t0, t1, t2, 1)

1769 TEST_3R2b("align", mem[5], mem[4], t0, t1, t2, 2)

1770 TEST_3R2b("align", mem[5], mem[4], t0, t1, t2, 3)

1771 TEST_3R2b("align", mem[5], mem[5], t1, t2, t0, 0)

1772 TEST_3R2b("align", mem[5], mem[5], t1, t2, t0, 1)

1773 TEST_3R2b("align", mem[5], mem[5], t1, t2, t0, 2)

1774 TEST_3R2b("align", mem[5], mem[5], t1, t2, t0, 3)

1775 TEST_3R2b("align", mem[5], mem[6], t2, t0, t1, 0)

1776 TEST_3R2b("align", mem[5], mem[6], t2, t0, t1, 1)

1777 TEST_3R2b("align", mem[5], mem[6], t2, t0, t1, 2)

1778 TEST_3R2b("align", mem[5], mem[6], t2, t0, t1, 3)

1779 TEST_3R2b("align", mem[5], mem[7], t0, t1, t2, 0)

1780 TEST_3R2b("align", mem[5], mem[7], t0, t1, t2, 1)

1781 TEST_3R2b("align", mem[5], mem[7], t0, t1, t2, 2)

1782 TEST_3R2b("align", mem[5], mem[7], t0, t1, t2, 3)

1783 TEST_3R2b("align", mem[5], mem[8], t1, t2, t0, 0)

1784 TEST_3R2b("align", mem[5], mem[8], t1, t2, t0, 1)

1785 TEST_3R2b("align", mem[5], mem[8], t1, t2, t0, 2)

1786 TEST_3R2b("align", mem[5], mem[8], t1, t2, t0, 3)

1787 TEST_3R2b("align", mem[5], mem[9], t2, t0, t1, 0)

1788 TEST_3R2b("align", mem[5], mem[9], t2, t0, t1, 1)

1789 TEST_3R2b("align", mem[5], mem[9], t2, t0, t1, 2)

1790 TEST_3R2b("align", mem[5], mem[9], t2, t0, t1, 3)

1791 TEST_3R2b("align", mem[5], mem[10], t0, t1, t2, 0)

1792 TEST_3R2b("align", mem[5], mem[10], t0, t1, t2, 1)

1793 TEST_3R2b("align", mem[5], mem[10], t0, t1, t2, 2)

1794 TEST_3R2b("align", mem[5], mem[10], t0, t1, t2, 3)

1795 TEST_3R2b("align", mem[5], mem[11], t1, t2, t0, 0)

1796 TEST_3R2b("align", mem[5], mem[11], t1, t2, t0, 1)

1797 TEST_3R2b("align", mem[5], mem[11], t1, t2, t0, 2)

1798 TEST_3R2b("align", mem[5], mem[11], t1, t2, t0, 3)

1799 TEST_3R2b("align", mem[6], mem[0], t0, t1, t2, 0)

1800 TEST_3R2b("align", mem[6], mem[0], t0, t1, t2, 1)

1801 TEST_3R2b("align", mem[6], mem[0], t0, t1, t2, 2)

1802 TEST_3R2b("align", mem[6], mem[0], t0, t1, t2, 3)

1803 TEST_3R2b("align", mem[6], mem[1], t1, t2, t0, 0)

1804 TEST_3R2b("align", mem[6], mem[1], t1, t2, t0, 1)

1805 TEST_3R2b("align", mem[6], mem[1], t1, t2, t0, 2)

1806 TEST_3R2b("align", mem[6], mem[1], t1, t2, t0, 3)

1807 TEST_3R2b("align", mem[6], mem[2], t2, t0, t1, 0)

1808 TEST_3R2b("align", mem[6], mem[2], t2, t0, t1, 1)

1809 TEST_3R2b("align", mem[6], mem[2], t2, t0, t1, 2)

1810 TEST_3R2b("align", mem[6], mem[2], t2, t0, t1, 3)

1811 TEST_3R2b("align", mem[6], mem[3], t0, t1, t2, 0)

1812 TEST_3R2b("align", mem[6], mem[3], t0, t1, t2, 1)

1813 TEST_3R2b("align", mem[6], mem[3], t0, t1, t2, 2)

1814 TEST_3R2b("align", mem[6], mem[3], t0, t1, t2, 3)

1815 TEST_3R2b("align", mem[6], mem[4], t1, t2, t0, 0)

1816 TEST_3R2b("align", mem[6], mem[4], t1, t2, t0, 1)

1817 TEST_3R2b("align", mem[6], mem[4], t1, t2, t0, 2)

1818 TEST_3R2b("align", mem[6], mem[4], t1, t2, t0, 3)

1819 TEST_3R2b("align", mem[6], mem[5], t2, t0, t1, 0)

1820 TEST_3R2b("align", mem[6], mem[5], t2, t0, t1, 1)

1821 TEST_3R2b("align", mem[6], mem[5], t2, t0, t1, 2)

1822 TEST_3R2b("align", mem[6], mem[5], t2, t0, t1, 3)

1823 TEST_3R2b("align", mem[6], mem[6], t0, t1, t2, 0)

1824 TEST_3R2b("align", mem[6], mem[6], t0, t1, t2, 1)

1825 TEST_3R2b("align", mem[6], mem[6], t0, t1, t2, 2)

1826 TEST_3R2b("align", mem[6], mem[6], t0, t1, t2, 3)

1827 TEST_3R2b("align", mem[6], mem[7], t1, t2, t0, 0)

1828 TEST_3R2b("align", mem[6], mem[7], t1, t2, t0, 1)

1829 TEST_3R2b("align", mem[6], mem[7], t1, t2, t0, 2)

1830 TEST_3R2b("align", mem[6], mem[7], t1, t2, t0, 3)

1831 TEST_3R2b("align", mem[6], mem[8], t2, t0, t1, 0)

1832 TEST_3R2b("align", mem[6], mem[8], t2, t0, t1, 1)

1833 TEST_3R2b("align", mem[6], mem[8], t2, t0, t1, 2)

1834 TEST_3R2b("align", mem[6], mem[8], t2, t0, t1, 3)

1835 TEST_3R2b("align", mem[6], mem[9], t0, t1, t2, 0)

1836 TEST_3R2b("align", mem[6], mem[9], t0, t1, t2, 1)

1837 TEST_3R2b("align", mem[6], mem[9], t0, t1, t2, 2)

1838 TEST_3R2b("align", mem[6], mem[9], t0, t1, t2, 3)

1839 TEST_3R2b("align", mem[6], mem[10], t1, t2, t0, 0)

1840 TEST_3R2b("align", mem[6], mem[10], t1, t2, t0, 1)

1841 TEST_3R2b("align", mem[6], mem[10], t1, t2, t0, 2)

1842 TEST_3R2b("align", mem[6], mem[10], t1, t2, t0, 3)

1843 TEST_3R2b("align", mem[6], mem[11], t2, t0, t1, 0)

1844 TEST_3R2b("align", mem[6], mem[11], t2, t0, t1, 1)

1845 TEST_3R2b("align", mem[6], mem[11], t2, t0, t1, 2)

1846 TEST_3R2b("align", mem[6], mem[11], t2, t0, t1, 3)

1847 TEST_3R2b("align", mem[7], mem[0], t1, t2, t0, 0)

1848 TEST_3R2b("align", mem[7], mem[0], t1, t2, t0, 1)

1849 TEST_3R2b("align", mem[7], mem[0], t1, t2, t0, 2)

1850 TEST_3R2b("align", mem[7], mem[0], t1, t2, t0, 3)

1851 TEST_3R2b("align", mem[7], mem[1], t2, t0, t1, 0)

1852 TEST_3R2b("align", mem[7], mem[1], t2, t0, t1, 1)

1853 TEST_3R2b("align", mem[7], mem[1], t2, t0, t1, 2)

1854 TEST_3R2b("align", mem[7], mem[1], t2, t0, t1, 3)

1855 TEST_3R2b("align", mem[7], mem[2], t0, t1, t2, 0)

1856 TEST_3R2b("align", mem[7], mem[2], t0, t1, t2, 1)

1857 TEST_3R2b("align", mem[7], mem[2], t0, t1, t2, 2)

1858 TEST_3R2b("align", mem[7], mem[2], t0, t1, t2, 3)

1859 TEST_3R2b("align", mem[7], mem[3], t1, t2, t0, 0)

1860 TEST_3R2b("align", mem[7], mem[3], t1, t2, t0, 1)

1861 TEST_3R2b("align", mem[7], mem[3], t1, t2, t0, 2)

1862 TEST_3R2b("align", mem[7], mem[3], t1, t2, t0, 3)

1863 TEST_3R2b("align", mem[7], mem[4], t2, t0, t1, 0)

1864 TEST_3R2b("align", mem[7], mem[4], t2, t0, t1, 1)

1865 TEST_3R2b("align", mem[7], mem[4], t2, t0, t1, 2)

1866 TEST_3R2b("align", mem[7], mem[4], t2, t0, t1, 3)

1867 TEST_3R2b("align", mem[7], mem[5], t0, t1, t2, 0)

1868 TEST_3R2b("align", mem[7], mem[5], t0, t1, t2, 1)

1869 TEST_3R2b("align", mem[7], mem[5], t0, t1, t2, 2)

1870 TEST_3R2b("align", mem[7], mem[5], t0, t1, t2, 3)

1871 TEST_3R2b("align", mem[7], mem[6], t1, t2, t0, 0)

1872 TEST_3R2b("align", mem[7], mem[6], t1, t2, t0, 1)

1873 TEST_3R2b("align", mem[7], mem[6], t1, t2, t0, 2)

1874 TEST_3R2b("align", mem[7], mem[6], t1, t2, t0, 3)

1875 TEST_3R2b("align", mem[7], mem[7], t2, t0, t1, 0)

1876 TEST_3R2b("align", mem[7], mem[7], t2, t0, t1, 1)

1877 TEST_3R2b("align", mem[7], mem[7], t2, t0, t1, 2)

1878 TEST_3R2b("align", mem[7], mem[7], t2, t0, t1, 3)

1879 TEST_3R2b("align", mem[7], mem[8], t0, t1, t2, 0)

1880 TEST_3R2b("align", mem[7], mem[8], t0, t1, t2, 1)

1881 TEST_3R2b("align", mem[7], mem[8], t0, t1, t2, 2)

1882 TEST_3R2b("align", mem[7], mem[8], t0, t1, t2, 3)

1883 TEST_3R2b("align", mem[7], mem[9], t1, t2, t0, 0)

1884 TEST_3R2b("align", mem[7], mem[9], t1, t2, t0, 1)

1885 TEST_3R2b("align", mem[7], mem[9], t1, t2, t0, 2)

1886 TEST_3R2b("align", mem[7], mem[9], t1, t2, t0, 3)

1887 TEST_3R2b("align", mem[7], mem[10], t2, t0, t1, 0)

1888 TEST_3R2b("align", mem[7], mem[10], t2, t0, t1, 1)

1889 TEST_3R2b("align", mem[7], mem[10], t2, t0, t1, 2)

1890 TEST_3R2b("align", mem[7], mem[10], t2, t0, t1, 3)

1891 TEST_3R2b("align", mem[7], mem[11], t0, t1, t2, 0)

1892 TEST_3R2b("align", mem[7], mem[11], t0, t1, t2, 1)

1893 TEST_3R2b("align", mem[7], mem[11], t0, t1, t2, 2)

1894 TEST_3R2b("align", mem[7], mem[11], t0, t1, t2, 3)

1895 TEST_3R2b("align", mem[8], mem[0], t2, t0, t1, 0)

1896 TEST_3R2b("align", mem[8], mem[0], t2, t0, t1, 1)

1897 TEST_3R2b("align", mem[8], mem[0], t2, t0, t1, 2)

1898 TEST_3R2b("align", mem[8], mem[0], t2, t0, t1, 3)

1899 TEST_3R2b("align", mem[8], mem[1], t0, t1, t2, 0)

1900 TEST_3R2b("align", mem[8], mem[1], t0, t1, t2, 1)

1901 TEST_3R2b("align", mem[8], mem[1], t0, t1, t2, 2)

1902 TEST_3R2b("align", mem[8], mem[1], t0, t1, t2, 3)

1903 TEST_3R2b("align", mem[8], mem[2], t1, t2, t0, 0)

1904 TEST_3R2b("align", mem[8], mem[2], t1, t2, t0, 1)

1905 TEST_3R2b("align", mem[8], mem[2], t1, t2, t0, 2)

1906 TEST_3R2b("align", mem[8], mem[2], t1, t2, t0, 3)

1907 TEST_3R2b("align", mem[8], mem[3], t2, t0, t1, 0)

1908 TEST_3R2b("align", mem[8], mem[3], t2, t0, t1, 1)

1909 TEST_3R2b("align", mem[8], mem[3], t2, t0, t1, 2)

1910 TEST_3R2b("align", mem[8], mem[3], t2, t0, t1, 3)

1911 TEST_3R2b("align", mem[8], mem[4], t0, t1, t2, 0)

1912 TEST_3R2b("align", mem[8], mem[4], t0, t1, t2, 1)

1913 TEST_3R2b("align", mem[8], mem[4], t0, t1, t2, 2)

1914 TEST_3R2b("align", mem[8], mem[4], t0, t1, t2, 3)

1915 TEST_3R2b("align", mem[8], mem[5], t1, t2, t0, 0)

1916 TEST_3R2b("align", mem[8], mem[5], t1, t2, t0, 1)

1917 TEST_3R2b("align", mem[8], mem[5], t1, t2, t0, 2)

1918 TEST_3R2b("align", mem[8], mem[5], t1, t2, t0, 3)

1919 TEST_3R2b("align", mem[8], mem[6], t2, t0, t1, 0)

1920 TEST_3R2b("align", mem[8], mem[6], t2, t0, t1, 1)

1921 TEST_3R2b("align", mem[8], mem[6], t2, t0, t1, 2)

1922 TEST_3R2b("align", mem[8], mem[6], t2, t0, t1, 3)

1923 TEST_3R2b("align", mem[8], mem[7], t0, t1, t2, 0)

1924 TEST_3R2b("align", mem[8], mem[7], t0, t1, t2, 1)

1925 TEST_3R2b("align", mem[8], mem[7], t0, t1, t2, 2)

1926 TEST_3R2b("align", mem[8], mem[7], t0, t1, t2, 3)

1927 TEST_3R2b("align", mem[8], mem[8], t1, t2, t0, 0)

1928 TEST_3R2b("align", mem[8], mem[8], t1, t2, t0, 1)

1929 TEST_3R2b("align", mem[8], mem[8], t1, t2, t0, 2)

1930 TEST_3R2b("align", mem[8], mem[8], t1, t2, t0, 3)

1931 TEST_3R2b("align", mem[8], mem[9], t2, t0, t1, 0)

1932 TEST_3R2b("align", mem[8], mem[9], t2, t0, t1, 1)

1933 TEST_3R2b("align", mem[8], mem[9], t2, t0, t1, 2)

1934 TEST_3R2b("align", mem[8], mem[9], t2, t0, t1, 3)

1935 TEST_3R2b("align", mem[8], mem[10], t0, t1, t2, 0)

1936 TEST_3R2b("align", mem[8], mem[10], t0, t1, t2, 1)

1937 TEST_3R2b("align", mem[8], mem[10], t0, t1, t2, 2)

1938 TEST_3R2b("align", mem[8], mem[10], t0, t1, t2, 3)

1939 TEST_3R2b("align", mem[8], mem[11], t1, t2, t0, 0)

1940 TEST_3R2b("align", mem[8], mem[11], t1, t2, t0, 1)

1941 TEST_3R2b("align", mem[8], mem[11], t1, t2, t0, 2)

1942 TEST_3R2b("align", mem[8], mem[11], t1, t2, t0, 3)

1943 TEST_3R2b("align", mem[9], mem[0], t0, t1, t2, 0)

1944 TEST_3R2b("align", mem[9], mem[0], t0, t1, t2, 1)

1945 TEST_3R2b("align", mem[9], mem[0], t0, t1, t2, 2)

1946 TEST_3R2b("align", mem[9], mem[0], t0, t1, t2, 3)

1947 TEST_3R2b("align", mem[9], mem[1], t1, t2, t0, 0)

1948 TEST_3R2b("align", mem[9], mem[1], t1, t2, t0, 1)

1949 TEST_3R2b("align", mem[9], mem[1], t1, t2, t0, 2)

1950 TEST_3R2b("align", mem[9], mem[1], t1, t2, t0, 3)

1951 TEST_3R2b("align", mem[9], mem[2], t2, t0, t1, 0)

1952 TEST_3R2b("align", mem[9], mem[2], t2, t0, t1, 1)

1953 TEST_3R2b("align", mem[9], mem[2], t2, t0, t1, 2)

1954 TEST_3R2b("align", mem[9], mem[2], t2, t0, t1, 3)

1955 TEST_3R2b("align", mem[9], mem[3], t0, t1, t2, 0)

1956 TEST_3R2b("align", mem[9], mem[3], t0, t1, t2, 1)

1957 TEST_3R2b("align", mem[9], mem[3], t0, t1, t2, 2)

1958 TEST_3R2b("align", mem[9], mem[3], t0, t1, t2, 3)

1959 TEST_3R2b("align", mem[9], mem[4], t1, t2, t0, 0)

1960 TEST_3R2b("align", mem[9], mem[4], t1, t2, t0, 1)

1961 TEST_3R2b("align", mem[9], mem[4], t1, t2, t0, 2)

1962 TEST_3R2b("align", mem[9], mem[4], t1, t2, t0, 3)

1963 TEST_3R2b("align", mem[9], mem[5], t2, t0, t1, 0)

1964 TEST_3R2b("align", mem[9], mem[5], t2, t0, t1, 1)

1965 TEST_3R2b("align", mem[9], mem[5], t2, t0, t1, 2)

1966 TEST_3R2b("align", mem[9], mem[5], t2, t0, t1, 3)

1967 TEST_3R2b("align", mem[9], mem[6], t0, t1, t2, 0)

1968 TEST_3R2b("align", mem[9], mem[6], t0, t1, t2, 1)

1969 TEST_3R2b("align", mem[9], mem[6], t0, t1, t2, 2)

1970 TEST_3R2b("align", mem[9], mem[6], t0, t1, t2, 3)

1971 TEST_3R2b("align", mem[9], mem[7], t1, t2, t0, 0)

1972 TEST_3R2b("align", mem[9], mem[7], t1, t2, t0, 1)

1973 TEST_3R2b("align", mem[9], mem[7], t1, t2, t0, 2)

1974 TEST_3R2b("align", mem[9], mem[7], t1, t2, t0, 3)

1975 TEST_3R2b("align", mem[9], mem[8], t2, t0, t1, 0)

1976 TEST_3R2b("align", mem[9], mem[8], t2, t0, t1, 1)

1977 TEST_3R2b("align", mem[9], mem[8], t2, t0, t1, 2)

1978 TEST_3R2b("align", mem[9], mem[8], t2, t0, t1, 3)

1979 TEST_3R2b("align", mem[9], mem[9], t0, t1, t2, 0)

1980 TEST_3R2b("align", mem[9], mem[9], t0, t1, t2, 1)

1981 TEST_3R2b("align", mem[9], mem[9], t0, t1, t2, 2)

1982 TEST_3R2b("align", mem[9], mem[9], t0, t1, t2, 3)

1983 TEST_3R2b("align", mem[9], mem[10], t1, t2, t0, 0)

1984 TEST_3R2b("align", mem[9], mem[10], t1, t2, t0, 1)

1985 TEST_3R2b("align", mem[9], mem[10], t1, t2, t0, 2)

1986 TEST_3R2b("align", mem[9], mem[10], t1, t2, t0, 3)

1987 TEST_3R2b("align", mem[9], mem[11], t2, t0, t1, 0)

1988 TEST_3R2b("align", mem[9], mem[11], t2, t0, t1, 1)

1989 TEST_3R2b("align", mem[9], mem[11], t2, t0, t1, 2)

1990 TEST_3R2b("align", mem[9], mem[11], t2, t0, t1, 3)

1991 TEST_3R2b("align", mem[10], mem[0], t1, t2, t0, 0)

1992 TEST_3R2b("align", mem[10], mem[0], t1, t2, t0, 1)

1993 TEST_3R2b("align", mem[10], mem[0], t1, t2, t0, 2)

1994 TEST_3R2b("align", mem[10], mem[0], t1, t2, t0, 3)

1995 TEST_3R2b("align", mem[10], mem[1], t2, t0, t1, 0)

1996 TEST_3R2b("align", mem[10], mem[1], t2, t0, t1, 1)

1997 TEST_3R2b("align", mem[10], mem[1], t2, t0, t1, 2)

1998 TEST_3R2b("align", mem[10], mem[1], t2, t0, t1, 3)

1999 TEST_3R2b("align", mem[10], mem[2], t0, t1, t2, 0)

2000 TEST_3R2b("align", mem[10], mem[2], t0, t1, t2, 1)

2001 TEST_3R2b("align", mem[10], mem[2], t0, t1, t2, 2)

2002 TEST_3R2b("align", mem[10], mem[2], t0, t1, t2, 3)

2003 TEST_3R2b("align", mem[10], mem[3], t1, t2, t0, 0)

2004 TEST_3R2b("align", mem[10], mem[3], t1, t2, t0, 1)

2005 TEST_3R2b("align", mem[10], mem[3], t1, t2, t0, 2)

2006 TEST_3R2b("align", mem[10], mem[3], t1, t2, t0, 3)

2007 TEST_3R2b("align", mem[10], mem[4], t2, t0, t1, 0)

2008 TEST_3R2b("align", mem[10], mem[4], t2, t0, t1, 1)

2009 TEST_3R2b("align", mem[10], mem[4], t2, t0, t1, 2)

2010 TEST_3R2b("align", mem[10], mem[4], t2, t0, t1, 3)

2011 TEST_3R2b("align", mem[10], mem[5], t0, t1, t2, 0)

2012 TEST_3R2b("align", mem[10], mem[5], t0, t1, t2, 1)

2013 TEST_3R2b("align", mem[10], mem[5], t0, t1, t2, 2)

2014 TEST_3R2b("align", mem[10], mem[5], t0, t1, t2, 3)

2015 TEST_3R2b("align", mem[10], mem[6], t1, t2, t0, 0)

2016 TEST_3R2b("align", mem[10], mem[6], t1, t2, t0, 1)

2017 TEST_3R2b("align", mem[10], mem[6], t1, t2, t0, 2)

2018 TEST_3R2b("align", mem[10], mem[6], t1, t2, t0, 3)

2019 TEST_3R2b("align", mem[10], mem[7], t2, t0, t1, 0)

2020 TEST_3R2b("align", mem[10], mem[7], t2, t0, t1, 1)

2021 TEST_3R2b("align", mem[10], mem[7], t2, t0, t1, 2)

2022 TEST_3R2b("align", mem[10], mem[7], t2, t0, t1, 3)

2023 TEST_3R2b("align", mem[10], mem[8], t0, t1, t2, 0)

2024 TEST_3R2b("align", mem[10], mem[8], t0, t1, t2, 1)

2025 TEST_3R2b("align", mem[10], mem[8], t0, t1, t2, 2)

2026 TEST_3R2b("align", mem[10], mem[8], t0, t1, t2, 3)

2027 TEST_3R2b("align", mem[10], mem[9], t1, t2, t0, 0)

2028 TEST_3R2b("align", mem[10], mem[9], t1, t2, t0, 1)

2029 TEST_3R2b("align", mem[10], mem[9], t1, t2, t0, 2)

2030 TEST_3R2b("align", mem[10], mem[9], t1, t2, t0, 3)

2031 TEST_3R2b("align", mem[10], mem[10], t2, t0, t1, 0)

2032 TEST_3R2b("align", mem[10], mem[10], t2, t0, t1, 1)

2033 TEST_3R2b("align", mem[10], mem[10], t2, t0, t1, 2)

2034 TEST_3R2b("align", mem[10], mem[10], t2, t0, t1, 3)

2035 TEST_3R2b("align", mem[10], mem[11], t0, t1, t2, 0)

2036 TEST_3R2b("align", mem[10], mem[11], t0, t1, t2, 1)

2037 TEST_3R2b("align", mem[10], mem[11], t0, t1, t2, 2)

2038 TEST_3R2b("align", mem[10], mem[11], t0, t1, t2, 3)

2039 TEST_3R2b("align", mem[11], mem[0], t2, t0, t1, 0)

2040 TEST_3R2b("align", mem[11], mem[0], t2, t0, t1, 1)

2041 TEST_3R2b("align", mem[11], mem[0], t2, t0, t1, 2)

2042 TEST_3R2b("align", mem[11], mem[0], t2, t0, t1, 3)

2043 TEST_3R2b("align", mem[11], mem[1], t0, t1, t2, 0)

2044 TEST_3R2b("align", mem[11], mem[1], t0, t1, t2, 1)

2045 TEST_3R2b("align", mem[11], mem[1], t0, t1, t2, 2)

2046 TEST_3R2b("align", mem[11], mem[1], t0, t1, t2, 3)

2047 TEST_3R2b("align", mem[11], mem[2], t1, t2, t0, 0)

2048 TEST_3R2b("align", mem[11], mem[2], t1, t2, t0, 1)

2049 TEST_3R2b("align", mem[11], mem[2], t1, t2, t0, 2)

2050 TEST_3R2b("align", mem[11], mem[2], t1, t2, t0, 3)

2051 TEST_3R2b("align", mem[11], mem[3], t2, t0, t1, 0)

2052 TEST_3R2b("align", mem[11], mem[3], t2, t0, t1, 1)

2053 TEST_3R2b("align", mem[11], mem[3], t2, t0, t1, 2)

2054 TEST_3R2b("align", mem[11], mem[3], t2, t0, t1, 3)

2055 TEST_3R2b("align", mem[11], mem[4], t0, t1, t2, 0)

2056 TEST_3R2b("align", mem[11], mem[4], t0, t1, t2, 1)

2057 TEST_3R2b("align", mem[11], mem[4], t0, t1, t2, 2)

2058 TEST_3R2b("align", mem[11], mem[4], t0, t1, t2, 3)

2059 TEST_3R2b("align", mem[11], mem[5], t1, t2, t0, 0)

2060 TEST_3R2b("align", mem[11], mem[5], t1, t2, t0, 1)

2061 TEST_3R2b("align", mem[11], mem[5], t1, t2, t0, 2)

2062 TEST_3R2b("align", mem[11], mem[5], t1, t2, t0, 3)

2063 TEST_3R2b("align", mem[11], mem[6], t2, t0, t1, 0)

2064 TEST_3R2b("align", mem[11], mem[6], t2, t0, t1, 1)

2065 TEST_3R2b("align", mem[11], mem[6], t2, t0, t1, 2)

2066 TEST_3R2b("align", mem[11], mem[6], t2, t0, t1, 3)

2067 TEST_3R2b("align", mem[11], mem[7], t0, t1, t2, 0)

2068 TEST_3R2b("align", mem[11], mem[7], t0, t1, t2, 1)

2069 TEST_3R2b("align", mem[11], mem[7], t0, t1, t2, 2)

2070 TEST_3R2b("align", mem[11], mem[7], t0, t1, t2, 3)

2071 TEST_3R2b("align", mem[11], mem[8], t1, t2, t0, 0)

2072 TEST_3R2b("align", mem[11], mem[8], t1, t2, t0, 1)

2073 TEST_3R2b("align", mem[11], mem[8], t1, t2, t0, 2)

2074 TEST_3R2b("align", mem[11], mem[8], t1, t2, t0, 3)

2075 TEST_3R2b("align", mem[11], mem[9], t2, t0, t1, 0)

2076 TEST_3R2b("align", mem[11], mem[9], t2, t0, t1, 1)

2077 TEST_3R2b("align", mem[11], mem[9], t2, t0, t1, 2)

2078 TEST_3R2b("align", mem[11], mem[9], t2, t0, t1, 3)

2079 TEST_3R2b("align", mem[11], mem[10], t0, t1, t2, 0)

2080 TEST_3R2b("align", mem[11], mem[10], t0, t1, t2, 1)

2081 TEST_3R2b("align", mem[11], mem[10], t0, t1, t2, 2)

2082 TEST_3R2b("align", mem[11], mem[10], t0, t1, t2, 3)

2083 TEST_3R2b("align", mem[11], mem[11], t1, t2, t0, 0)

2084 TEST_3R2b("align", mem[11], mem[11], t1, t2, t0, 1)

2085 TEST_3R2b("align", mem[11], mem[11], t1, t2, t0, 2)

2086 TEST_3R2b("align", mem[11], mem[11], t1, t2, t0, 3)

2087

2088 printf("\nlsa\n");

2089 TEST_3R2b("lsa", mem[0], mem[0], t0, t1, t2, 4)

2090 TEST_3R2b("lsa", mem[0], mem[0], t0, t1, t2, 1)

2091 TEST_3R2b("lsa", mem[0], mem[0], t0, t1, t2, 2)

2092 TEST_3R2b("lsa", mem[0], mem[0], t0, t1, t2, 3)

2093 TEST_3R2b("lsa", mem[0], mem[1], t1, t2, t0, 4)

2094 TEST_3R2b("lsa", mem[0], mem[1], t1, t2, t0, 1)

2095 TEST_3R2b("lsa", mem[0], mem[1], t1, t2, t0, 2)

2096 TEST_3R2b("lsa", mem[0], mem[1], t1, t2, t0, 3)

2097 TEST_3R2b("lsa", mem[0], mem[2], t2, t0, t1, 4)

2098 TEST_3R2b("lsa", mem[0], mem[2], t2, t0, t1, 1)

2099 TEST_3R2b("lsa", mem[0], mem[2], t2, t0, t1, 2)

2100 TEST_3R2b("lsa", mem[0], mem[2], t2, t0, t1, 3)

2101 TEST_3R2b("lsa", mem[0], mem[3], t0, t1, t2, 4)

2102 TEST_3R2b("lsa", mem[0], mem[3], t0, t1, t2, 1)

2103 TEST_3R2b("lsa", mem[0], mem[3], t0, t1, t2, 2)

2104 TEST_3R2b("lsa", mem[0], mem[3], t0, t1, t2, 3)

2105 TEST_3R2b("lsa", mem[0], mem[4], t1, t2, t0, 4)

2106 TEST_3R2b("lsa", mem[0], mem[4], t1, t2, t0, 1)

2107 TEST_3R2b("lsa", mem[0], mem[4], t1, t2, t0, 2)

2108 TEST_3R2b("lsa", mem[0], mem[4], t1, t2, t0, 3)

2109 TEST_3R2b("lsa", mem[0], mem[5], t2, t0, t1, 4)

2110 TEST_3R2b("lsa", mem[0], mem[5], t2, t0, t1, 1)

2111 TEST_3R2b("lsa", mem[0], mem[5], t2, t0, t1, 2)

2112 TEST_3R2b("lsa", mem[0], mem[5], t2, t0, t1, 3)

2113 TEST_3R2b("lsa", mem[0], mem[6], t0, t1, t2, 4)

2114 TEST_3R2b("lsa", mem[0], mem[6], t0, t1, t2, 1)

2115 TEST_3R2b("lsa", mem[0], mem[6], t0, t1, t2, 2)

2116 TEST_3R2b("lsa", mem[0], mem[6], t0, t1, t2, 3)

2117 TEST_3R2b("lsa", mem[0], mem[7], t1, t2, t0, 4)

2118 TEST_3R2b("lsa", mem[0], mem[7], t1, t2, t0, 1)

2119 TEST_3R2b("lsa", mem[0], mem[7], t1, t2, t0, 2)

2120 TEST_3R2b("lsa", mem[0], mem[7], t1, t2, t0, 3)

2121 TEST_3R2b("lsa", mem[0], mem[8], t2, t0, t1, 4)

2122 TEST_3R2b("lsa", mem[0], mem[8], t2, t0, t1, 1)

2123 TEST_3R2b("lsa", mem[0], mem[8], t2, t0, t1, 2)

2124 TEST_3R2b("lsa", mem[0], mem[8], t2, t0, t1, 3)

2125 TEST_3R2b("lsa", mem[0], mem[9], t0, t1, t2, 4)

2126 TEST_3R2b("lsa", mem[0], mem[9], t0, t1, t2, 1)

2127 TEST_3R2b("lsa", mem[0], mem[9], t0, t1, t2, 2)

2128 TEST_3R2b("lsa", mem[0], mem[9], t0, t1, t2, 3)

2129 TEST_3R2b("lsa", mem[0], mem[10], t1, t2, t0, 4)

2130 TEST_3R2b("lsa", mem[0], mem[10], t1, t2, t0, 1)

2131 TEST_3R2b("lsa", mem[0], mem[10], t1, t2, t0, 2)

2132 TEST_3R2b("lsa", mem[0], mem[10], t1, t2, t0, 3)

2133 TEST_3R2b("lsa", mem[0], mem[11], t2, t0, t1, 4)

2134 TEST_3R2b("lsa", mem[0], mem[11], t2, t0, t1, 1)

2135 TEST_3R2b("lsa", mem[0], mem[11], t2, t0, t1, 2)

2136 TEST_3R2b("lsa", mem[0], mem[11], t2, t0, t1, 3)

2137 TEST_3R2b("lsa", mem[1], mem[0], t1, t2, t0, 4)

2138 TEST_3R2b("lsa", mem[1], mem[0], t1, t2, t0, 1)

2139 TEST_3R2b("lsa", mem[1], mem[0], t1, t2, t0, 2)

2140 TEST_3R2b("lsa", mem[1], mem[0], t1, t2, t0, 3)

2141 TEST_3R2b("lsa", mem[1], mem[1], t2, t0, t1, 4)

2142 TEST_3R2b("lsa", mem[1], mem[1], t2, t0, t1, 1)

2143 TEST_3R2b("lsa", mem[1], mem[1], t2, t0, t1, 2)

2144 TEST_3R2b("lsa", mem[1], mem[1], t2, t0, t1, 3)

2145 TEST_3R2b("lsa", mem[1], mem[2], t0, t1, t2, 4)

2146 TEST_3R2b("lsa", mem[1], mem[2], t0, t1, t2, 1)

2147 TEST_3R2b("lsa", mem[1], mem[2], t0, t1, t2, 2)

2148 TEST_3R2b("lsa", mem[1], mem[2], t0, t1, t2, 3)

2149 TEST_3R2b("lsa", mem[1], mem[3], t1, t2, t0, 4)

2150 TEST_3R2b("lsa", mem[1], mem[3], t1, t2, t0, 1)

2151 TEST_3R2b("lsa", mem[1], mem[3], t1, t2, t0, 2)

2152 TEST_3R2b("lsa", mem[1], mem[3], t1, t2, t0, 3)

2153 TEST_3R2b("lsa", mem[1], mem[4], t2, t0, t1, 4)

2154 TEST_3R2b("lsa", mem[1], mem[4], t2, t0, t1, 1)

2155 TEST_3R2b("lsa", mem[1], mem[4], t2, t0, t1, 2)

2156 TEST_3R2b("lsa", mem[1], mem[4], t2, t0, t1, 3)

2157 TEST_3R2b("lsa", mem[1], mem[5], t0, t1, t2, 4)

2158 TEST_3R2b("lsa", mem[1], mem[5], t0, t1, t2, 1)

2159 TEST_3R2b("lsa", mem[1], mem[5], t0, t1, t2, 2)

2160 TEST_3R2b("lsa", mem[1], mem[5], t0, t1, t2, 3)

2161 TEST_3R2b("lsa", mem[1], mem[6], t1, t2, t0, 4)

2162 TEST_3R2b("lsa", mem[1], mem[6], t1, t2, t0, 1)

2163 TEST_3R2b("lsa", mem[1], mem[6], t1, t2, t0, 2)

2164 TEST_3R2b("lsa", mem[1], mem[6], t1, t2, t0, 3)

2165 TEST_3R2b("lsa", mem[1], mem[7], t2, t0, t1, 4)

2166 TEST_3R2b("lsa", mem[1], mem[7], t2, t0, t1, 1)

2167 TEST_3R2b("lsa", mem[1], mem[7], t2, t0, t1, 2)

2168 TEST_3R2b("lsa", mem[1], mem[7], t2, t0, t1, 3)

2169 TEST_3R2b("lsa", mem[1], mem[8], t0, t1, t2, 4)

2170 TEST_3R2b("lsa", mem[1], mem[8], t0, t1, t2, 1)

2171 TEST_3R2b("lsa", mem[1], mem[8], t0, t1, t2, 2)

2172 TEST_3R2b("lsa", mem[1], mem[8], t0, t1, t2, 3)

2173 TEST_3R2b("lsa", mem[1], mem[9], t1, t2, t0, 4)

2174 TEST_3R2b("lsa", mem[1], mem[9], t1, t2, t0, 1)

2175 TEST_3R2b("lsa", mem[1], mem[9], t1, t2, t0, 2)

2176 TEST_3R2b("lsa", mem[1], mem[9], t1, t2, t0, 3)

2177 TEST_3R2b("lsa", mem[1], mem[10], t2, t0, t1, 4)

2178 TEST_3R2b("lsa", mem[1], mem[10], t2, t0, t1, 1)

2179 TEST_3R2b("lsa", mem[1], mem[10], t2, t0, t1, 2)

2180 TEST_3R2b("lsa", mem[1], mem[10], t2, t0, t1, 3)

2181 TEST_3R2b("lsa", mem[1], mem[11], t0, t1, t2, 4)

2182 TEST_3R2b("lsa", mem[1], mem[11], t0, t1, t2, 1)

2183 TEST_3R2b("lsa", mem[1], mem[11], t0, t1, t2, 2)

2184 TEST_3R2b("lsa", mem[1], mem[11], t0, t1, t2, 3)

2185 TEST_3R2b("lsa", mem[2], mem[0], t2, t0, t1, 4)

2186 TEST_3R2b("lsa", mem[2], mem[0], t2, t0, t1, 1)

2187 TEST_3R2b("lsa", mem[2], mem[0], t2, t0, t1, 2)

2188 TEST_3R2b("lsa", mem[2], mem[0], t2, t0, t1, 3)

2189 TEST_3R2b("lsa", mem[2], mem[1], t0, t1, t2, 4)

2190 TEST_3R2b("lsa", mem[2], mem[1], t0, t1, t2, 1)

2191 TEST_3R2b("lsa", mem[2], mem[1], t0, t1, t2, 2)

2192 TEST_3R2b("lsa", mem[2], mem[1], t0, t1, t2, 3)

2193 TEST_3R2b("lsa", mem[2], mem[2], t1, t2, t0, 4)

2194 TEST_3R2b("lsa", mem[2], mem[2], t1, t2, t0, 1)

2195 TEST_3R2b("lsa", mem[2], mem[2], t1, t2, t0, 2)

2196 TEST_3R2b("lsa", mem[2], mem[2], t1, t2, t0, 3)

2197 TEST_3R2b("lsa", mem[2], mem[3], t2, t0, t1, 4)

2198 TEST_3R2b("lsa", mem[2], mem[3], t2, t0, t1, 1)

2199 TEST_3R2b("lsa", mem[2], mem[3], t2, t0, t1, 2)

2200 TEST_3R2b("lsa", mem[2], mem[3], t2, t0, t1, 3)

2201 TEST_3R2b("lsa", mem[2], mem[4], t0, t1, t2, 4)

2202 TEST_3R2b("lsa", mem[2], mem[4], t0, t1, t2, 1)

2203 TEST_3R2b("lsa", mem[2], mem[4], t0, t1, t2, 2)

2204 TEST_3R2b("lsa", mem[2], mem[4], t0, t1, t2, 3)

2205 TEST_3R2b("lsa", mem[2], mem[5], t1, t2, t0, 4)

2206 TEST_3R2b("lsa", mem[2], mem[5], t1, t2, t0, 1)

2207 TEST_3R2b("lsa", mem[2], mem[5], t1, t2, t0, 2)

2208 TEST_3R2b("lsa", mem[2], mem[5], t1, t2, t0, 3)

2209 TEST_3R2b("lsa", mem[2], mem[6], t2, t0, t1, 4)

2210 TEST_3R2b("lsa", mem[2], mem[6], t2, t0, t1, 1)

2211 TEST_3R2b("lsa", mem[2], mem[6], t2, t0, t1, 2)

2212 TEST_3R2b("lsa", mem[2], mem[6], t2, t0, t1, 3)

2213 TEST_3R2b("lsa", mem[2], mem[7], t0, t1, t2, 4)

2214 TEST_3R2b("lsa", mem[2], mem[7], t0, t1, t2, 1)

2215 TEST_3R2b("lsa", mem[2], mem[7], t0, t1, t2, 2)

2216 TEST_3R2b("lsa", mem[2], mem[7], t0, t1, t2, 3)

2217 TEST_3R2b("lsa", mem[2], mem[8], t1, t2, t0, 4)

2218 TEST_3R2b("lsa", mem[2], mem[8], t1, t2, t0, 1)

2219 TEST_3R2b("lsa", mem[2], mem[8], t1, t2, t0, 2)

2220 TEST_3R2b("lsa", mem[2], mem[8], t1, t2, t0, 3)

2221 TEST_3R2b("lsa", mem[2], mem[9], t2, t0, t1, 4)

2222 TEST_3R2b("lsa", mem[2], mem[9], t2, t0, t1, 1)

2223 TEST_3R2b("lsa", mem[2], mem[9], t2, t0, t1, 2)

2224 TEST_3R2b("lsa", mem[2], mem[9], t2, t0, t1, 3)

2225 TEST_3R2b("lsa", mem[2], mem[10], t0, t1, t2, 4)

2226 TEST_3R2b("lsa", mem[2], mem[10], t0, t1, t2, 1)

2227 TEST_3R2b("lsa", mem[2], mem[10], t0, t1, t2, 2)

2228 TEST_3R2b("lsa", mem[2], mem[10], t0, t1, t2, 3)

2229 TEST_3R2b("lsa", mem[2], mem[11], t1, t2, t0, 4)

2230 TEST_3R2b("lsa", mem[2], mem[11], t1, t2, t0, 1)

2231 TEST_3R2b("lsa", mem[2], mem[11], t1, t2, t0, 2)

2232 TEST_3R2b("lsa", mem[2], mem[11], t1, t2, t0, 3)

2233 TEST_3R2b("lsa", mem[3], mem[0], t0, t1, t2, 4)

2234 TEST_3R2b("lsa", mem[3], mem[0], t0, t1, t2, 1)

2235 TEST_3R2b("lsa", mem[3], mem[0], t0, t1, t2, 2)

2236 TEST_3R2b("lsa", mem[3], mem[0], t0, t1, t2, 3)

2237 TEST_3R2b("lsa", mem[3], mem[1], t1, t2, t0, 4)

2238 TEST_3R2b("lsa", mem[3], mem[1], t1, t2, t0, 1)

2239 TEST_3R2b("lsa", mem[3], mem[1], t1, t2, t0, 2)

2240 TEST_3R2b("lsa", mem[3], mem[1], t1, t2, t0, 3)

2241 TEST_3R2b("lsa", mem[3], mem[2], t2, t0, t1, 4)

2242 TEST_3R2b("lsa", mem[3], mem[2], t2, t0, t1, 1)

2243 TEST_3R2b("lsa", mem[3], mem[2], t2, t0, t1, 2)

2244 TEST_3R2b("lsa", mem[3], mem[2], t2, t0, t1, 3)

2245 TEST_3R2b("lsa", mem[3], mem[3], t0, t1, t2, 4)

2246 TEST_3R2b("lsa", mem[3], mem[3], t0, t1, t2, 1)

2247 TEST_3R2b("lsa", mem[3], mem[3], t0, t1, t2, 2)

2248 TEST_3R2b("lsa", mem[3], mem[3], t0, t1, t2, 3)

2249 TEST_3R2b("lsa", mem[3], mem[4], t1, t2, t0, 4)

2250 TEST_3R2b("lsa", mem[3], mem[4], t1, t2, t0, 1)

2251 TEST_3R2b("lsa", mem[3], mem[4], t1, t2, t0, 2)

2252 TEST_3R2b("lsa", mem[3], mem[4], t1, t2, t0, 3)

2253 TEST_3R2b("lsa", mem[3], mem[5], t2, t0, t1, 4)

2254 TEST_3R2b("lsa", mem[3], mem[5], t2, t0, t1, 1)

2255 TEST_3R2b("lsa", mem[3], mem[5], t2, t0, t1, 2)

2256 TEST_3R2b("lsa", mem[3], mem[5], t2, t0, t1, 3)

2257 TEST_3R2b("lsa", mem[3], mem[6], t0, t1, t2, 4)

2258 TEST_3R2b("lsa", mem[3], mem[6], t0, t1, t2, 1)

2259 TEST_3R2b("lsa", mem[3], mem[6], t0, t1, t2, 2)

2260 TEST_3R2b("lsa", mem[3], mem[6], t0, t1, t2, 3)

2261 TEST_3R2b("lsa", mem[3], mem[7], t1, t2, t0, 4)

2262 TEST_3R2b("lsa", mem[3], mem[7], t1, t2, t0, 1)

2263 TEST_3R2b("lsa", mem[3], mem[7], t1, t2, t0, 2)

2264 TEST_3R2b("lsa", mem[3], mem[7], t1, t2, t0, 3)

2265 TEST_3R2b("lsa", mem[3], mem[8], t2, t0, t1, 4)

2266 TEST_3R2b("lsa", mem[3], mem[8], t2, t0, t1, 1)

2267 TEST_3R2b("lsa", mem[3], mem[8], t2, t0, t1, 2)

2268 TEST_3R2b("lsa", mem[3], mem[8], t2, t0, t1, 3)

2269 TEST_3R2b("lsa", mem[3], mem[9], t0, t1, t2, 4)

2270 TEST_3R2b("lsa", mem[3], mem[9], t0, t1, t2, 1)

2271 TEST_3R2b("lsa", mem[3], mem[9], t0, t1, t2, 2)

2272 TEST_3R2b("lsa", mem[3], mem[9], t0, t1, t2, 3)

2273 TEST_3R2b("lsa", mem[3], mem[10], t1, t2, t0, 4)

2274 TEST_3R2b("lsa", mem[3], mem[10], t1, t2, t0, 1)

2275 TEST_3R2b("lsa", mem[3], mem[10], t1, t2, t0, 2)

2276 TEST_3R2b("lsa", mem[3], mem[10], t1, t2, t0, 3)

2277 TEST_3R2b("lsa", mem[3], mem[11], t2, t0, t1, 4)

2278 TEST_3R2b("lsa", mem[3], mem[11], t2, t0, t1, 1)

2279 TEST_3R2b("lsa", mem[3], mem[11], t2, t0, t1, 2)

2280 TEST_3R2b("lsa", mem[3], mem[11], t2, t0, t1, 3)

2281 TEST_3R2b("lsa", mem[4], mem[0], t1, t2, t0, 4)

2282 TEST_3R2b("lsa", mem[4], mem[0], t1, t2, t0, 1)

2283 TEST_3R2b("lsa", mem[4], mem[0], t1, t2, t0, 2)

2284 TEST_3R2b("lsa", mem[4], mem[0], t1, t2, t0, 3)

2285 TEST_3R2b("lsa", mem[4], mem[1], t2, t0, t1, 4)

2286 TEST_3R2b("lsa", mem[4], mem[1], t2, t0, t1, 1)

2287 TEST_3R2b("lsa", mem[4], mem[1], t2, t0, t1, 2)

2288 TEST_3R2b("lsa", mem[4], mem[1], t2, t0, t1, 3)

2289 TEST_3R2b("lsa", mem[4], mem[2], t0, t1, t2, 4)

2290 TEST_3R2b("lsa", mem[4], mem[2], t0, t1, t2, 1)

2291 TEST_3R2b("lsa", mem[4], mem[2], t0, t1, t2, 2)

2292 TEST_3R2b("lsa", mem[4], mem[2], t0, t1, t2, 3)

2293 TEST_3R2b("lsa", mem[4], mem[3], t1, t2, t0, 4)

2294 TEST_3R2b("lsa", mem[4], mem[3], t1, t2, t0, 1)

2295 TEST_3R2b("lsa", mem[4], mem[3], t1, t2, t0, 2)

2296 TEST_3R2b("lsa", mem[4], mem[3], t1, t2, t0, 3)

2297 TEST_3R2b("lsa", mem[4], mem[4], t2, t0, t1, 4)

2298 TEST_3R2b("lsa", mem[4], mem[4], t2, t0, t1, 1)

2299 TEST_3R2b("lsa", mem[4], mem[4], t2, t0, t1, 2)

2300 TEST_3R2b("lsa", mem[4], mem[4], t2, t0, t1, 3)

2301 TEST_3R2b("lsa", mem[4], mem[5], t0, t1, t2, 4)

2302 TEST_3R2b("lsa", mem[4], mem[5], t0, t1, t2, 1)

2303 TEST_3R2b("lsa", mem[4], mem[5], t0, t1, t2, 2)

2304 TEST_3R2b("lsa", mem[4], mem[5], t0, t1, t2, 3)

2305 TEST_3R2b("lsa", mem[4], mem[6], t1, t2, t0, 4)

2306 TEST_3R2b("lsa", mem[4], mem[6], t1, t2, t0, 1)

2307 TEST_3R2b("lsa", mem[4], mem[6], t1, t2, t0, 2)

2308 TEST_3R2b("lsa", mem[4], mem[6], t1, t2, t0, 3)

2309 TEST_3R2b("lsa", mem[4], mem[7], t2, t0, t1, 4)

2310 TEST_3R2b("lsa", mem[4], mem[7], t2, t0, t1, 1)

2311 TEST_3R2b("lsa", mem[4], mem[7], t2, t0, t1, 2)

2312 TEST_3R2b("lsa", mem[4], mem[7], t2, t0, t1, 3)

2313 TEST_3R2b("lsa", mem[4], mem[8], t0, t1, t2, 4)

2314 TEST_3R2b("lsa", mem[4], mem[8], t0, t1, t2, 1)

2315 TEST_3R2b("lsa", mem[4], mem[8], t0, t1, t2, 2)

2316 TEST_3R2b("lsa", mem[4], mem[8], t0, t1, t2, 3)

2317 TEST_3R2b("lsa", mem[4], mem[9], t1, t2, t0, 4)

2318 TEST_3R2b("lsa", mem[4], mem[9], t1, t2, t0, 1)

2319 TEST_3R2b("lsa", mem[4], mem[9], t1, t2, t0, 2)

2320 TEST_3R2b("lsa", mem[4], mem[9], t1, t2, t0, 3)

2321 TEST_3R2b("lsa", mem[4], mem[10], t2, t0, t1, 4)

2322 TEST_3R2b("lsa", mem[4], mem[10], t2, t0, t1, 1)

2323 TEST_3R2b("lsa", mem[4], mem[10], t2, t0, t1, 2)

2324 TEST_3R2b("lsa", mem[4], mem[10], t2, t0, t1, 3)

2325 TEST_3R2b("lsa", mem[4], mem[11], t0, t1, t2, 4)

2326 TEST_3R2b("lsa", mem[4], mem[11], t0, t1, t2, 1)

2327 TEST_3R2b("lsa", mem[4], mem[11], t0, t1, t2, 2)

2328 TEST_3R2b("lsa", mem[4], mem[11], t0, t1, t2, 3)

2329 TEST_3R2b("lsa", mem[5], mem[0], t2, t0, t1, 4)

2330 TEST_3R2b("lsa", mem[5], mem[0], t2, t0, t1, 1)

2331 TEST_3R2b("lsa", mem[5], mem[0], t2, t0, t1, 2)

2332 TEST_3R2b("lsa", mem[5], mem[0], t2, t0, t1, 3)

2333 TEST_3R2b("lsa", mem[5], mem[1], t0, t1, t2, 4)

2334 TEST_3R2b("lsa", mem[5], mem[1], t0, t1, t2, 1)

2335 TEST_3R2b("lsa", mem[5], mem[1], t0, t1, t2, 2)

2336 TEST_3R2b("lsa", mem[5], mem[1], t0, t1, t2, 3)

2337 TEST_3R2b("lsa", mem[5], mem[2], t1, t2, t0, 4)

2338 TEST_3R2b("lsa", mem[5], mem[2], t1, t2, t0, 1)

2339 TEST_3R2b("lsa", mem[5], mem[2], t1, t2, t0, 2)

2340 TEST_3R2b("lsa", mem[5], mem[2], t1, t2, t0, 3)

2341 TEST_3R2b("lsa", mem[5], mem[3], t2, t0, t1, 4)

2342 TEST_3R2b("lsa", mem[5], mem[3], t2, t0, t1, 1)

2343 TEST_3R2b("lsa", mem[5], mem[3], t2, t0, t1, 2)

2344 TEST_3R2b("lsa", mem[5], mem[3], t2, t0, t1, 3)

2345 TEST_3R2b("lsa", mem[5], mem[4], t0, t1, t2, 4)

2346 TEST_3R2b("lsa", mem[5], mem[4], t0, t1, t2, 1)

2347 TEST_3R2b("lsa", mem[5], mem[4], t0, t1, t2, 2)

2348 TEST_3R2b("lsa", mem[5], mem[4], t0, t1, t2, 3)

2349 TEST_3R2b("lsa", mem[5], mem[5], t1, t2, t0, 4)

2350 TEST_3R2b("lsa", mem[5], mem[5], t1, t2, t0, 1)

2351 TEST_3R2b("lsa", mem[5], mem[5], t1, t2, t0, 2)

2352 TEST_3R2b("lsa", mem[5], mem[5], t1, t2, t0, 3)

2353 TEST_3R2b("lsa", mem[5], mem[6], t2, t0, t1, 4)

2354 TEST_3R2b("lsa", mem[5], mem[6], t2, t0, t1, 1)

2355 TEST_3R2b("lsa", mem[5], mem[6], t2, t0, t1, 2)

2356 TEST_3R2b("lsa", mem[5], mem[6], t2, t0, t1, 3)

2357 TEST_3R2b("lsa", mem[5], mem[7], t0, t1, t2, 4)

2358 TEST_3R2b("lsa", mem[5], mem[7], t0, t1, t2, 1)

2359 TEST_3R2b("lsa", mem[5], mem[7], t0, t1, t2, 2)

2360 TEST_3R2b("lsa", mem[5], mem[7], t0, t1, t2, 3)

2361 TEST_3R2b("lsa", mem[5], mem[8], t1, t2, t0, 4)

2362 TEST_3R2b("lsa", mem[5], mem[8], t1, t2, t0, 1)

2363 TEST_3R2b("lsa", mem[5], mem[8], t1, t2, t0, 2)

2364 TEST_3R2b("lsa", mem[5], mem[8], t1, t2, t0, 3)

2365 TEST_3R2b("lsa", mem[5], mem[9], t2, t0, t1, 4)

2366 TEST_3R2b("lsa", mem[5], mem[9], t2, t0, t1, 1)

2367 TEST_3R2b("lsa", mem[5], mem[9], t2, t0, t1, 2)

2368 TEST_3R2b("lsa", mem[5], mem[9], t2, t0, t1, 3)

2369 TEST_3R2b("lsa", mem[5], mem[10], t0, t1, t2, 4)

2370 TEST_3R2b("lsa", mem[5], mem[10], t0, t1, t2, 1)

2371 TEST_3R2b("lsa", mem[5], mem[10], t0, t1, t2, 2)

2372 TEST_3R2b("lsa", mem[5], mem[10], t0, t1, t2, 3)

2373 TEST_3R2b("lsa", mem[5], mem[11], t1, t2, t0, 4)

2374 TEST_3R2b("lsa", mem[5], mem[11], t1, t2, t0, 1)

2375 TEST_3R2b("lsa", mem[5], mem[11], t1, t2, t0, 2)

2376 TEST_3R2b("lsa", mem[5], mem[11], t1, t2, t0, 3)

2377 TEST_3R2b("lsa", mem[6], mem[0], t0, t1, t2, 4)

2378 TEST_3R2b("lsa", mem[6], mem[0], t0, t1, t2, 1)

2379 TEST_3R2b("lsa", mem[6], mem[0], t0, t1, t2, 2)

2380 TEST_3R2b("lsa", mem[6], mem[0], t0, t1, t2, 3)

2381 TEST_3R2b("lsa", mem[6], mem[1], t1, t2, t0, 4)

2382 TEST_3R2b("lsa", mem[6], mem[1], t1, t2, t0, 1)

2383 TEST_3R2b("lsa", mem[6], mem[1], t1, t2, t0, 2)

2384 TEST_3R2b("lsa", mem[6], mem[1], t1, t2, t0, 3)

2385 TEST_3R2b("lsa", mem[6], mem[2], t2, t0, t1, 4)

2386 TEST_3R2b("lsa", mem[6], mem[2], t2, t0, t1, 1)

2387 TEST_3R2b("lsa", mem[6], mem[2], t2, t0, t1, 2)

2388 TEST_3R2b("lsa", mem[6], mem[2], t2, t0, t1, 3)

2389 TEST_3R2b("lsa", mem[6], mem[3], t0, t1, t2, 4)

2390 TEST_3R2b("lsa", mem[6], mem[3], t0, t1, t2, 1)

2391 TEST_3R2b("lsa", mem[6], mem[3], t0, t1, t2, 2)

2392 TEST_3R2b("lsa", mem[6], mem[3], t0, t1, t2, 3)

2393 TEST_3R2b("lsa", mem[6], mem[4], t1, t2, t0, 4)

2394 TEST_3R2b("lsa", mem[6], mem[4], t1, t2, t0, 1)

2395 TEST_3R2b("lsa", mem[6], mem[4], t1, t2, t0, 2)

2396 TEST_3R2b("lsa", mem[6], mem[4], t1, t2, t0, 3)

2397 TEST_3R2b("lsa", mem[6], mem[5], t2, t0, t1, 4)

2398 TEST_3R2b("lsa", mem[6], mem[5], t2, t0, t1, 1)

2399 TEST_3R2b("lsa", mem[6], mem[5], t2, t0, t1, 2)

2400 TEST_3R2b("lsa", mem[6], mem[5], t2, t0, t1, 3)

2401 TEST_3R2b("lsa", mem[6], mem[6], t0, t1, t2, 4)

2402 TEST_3R2b("lsa", mem[6], mem[6], t0, t1, t2, 1)

2403 TEST_3R2b("lsa", mem[6], mem[6], t0, t1, t2, 2)

2404 TEST_3R2b("lsa", mem[6], mem[6], t0, t1, t2, 3)

2405 TEST_3R2b("lsa", mem[6], mem[7], t1, t2, t0, 4)

2406 TEST_3R2b("lsa", mem[6], mem[7], t1, t2, t0, 1)

2407 TEST_3R2b("lsa", mem[6], mem[7], t1, t2, t0, 2)

2408 TEST_3R2b("lsa", mem[6], mem[7], t1, t2, t0, 3)

2409 TEST_3R2b("lsa", mem[6], mem[8], t2, t0, t1, 4)

2410 TEST_3R2b("lsa", mem[6], mem[8], t2, t0, t1, 1)

2411 TEST_3R2b("lsa", mem[6], mem[8], t2, t0, t1, 2)

2412 TEST_3R2b("lsa", mem[6], mem[8], t2, t0, t1, 3)

2413 TEST_3R2b("lsa", mem[6], mem[9], t0, t1, t2, 4)

2414 TEST_3R2b("lsa", mem[6], mem[9], t0, t1, t2, 1)

2415 TEST_3R2b("lsa", mem[6], mem[9], t0, t1, t2, 2)

2416 TEST_3R2b("lsa", mem[6], mem[9], t0, t1, t2, 3)

2417 TEST_3R2b("lsa", mem[6], mem[10], t1, t2, t0, 4)

2418 TEST_3R2b("lsa", mem[6], mem[10], t1, t2, t0, 1)

2419 TEST_3R2b("lsa", mem[6], mem[10], t1, t2, t0, 2)

2420 TEST_3R2b("lsa", mem[6], mem[10], t1, t2, t0, 3)

2421 TEST_3R2b("lsa", mem[6], mem[11], t2, t0, t1, 4)

2422 TEST_3R2b("lsa", mem[6], mem[11], t2, t0, t1, 1)

2423 TEST_3R2b("lsa", mem[6], mem[11], t2, t0, t1, 2)

2424 TEST_3R2b("lsa", mem[6], mem[11], t2, t0, t1, 3)

2425 TEST_3R2b("lsa", mem[7], mem[0], t1, t2, t0, 4)

2426 TEST_3R2b("lsa", mem[7], mem[0], t1, t2, t0, 1)

2427 TEST_3R2b("lsa", mem[7], mem[0], t1, t2, t0, 2)

2428 TEST_3R2b("lsa", mem[7], mem[0], t1, t2, t0, 3)

2429 TEST_3R2b("lsa", mem[7], mem[1], t2, t0, t1, 4)

2430 TEST_3R2b("lsa", mem[7], mem[1], t2, t0, t1, 1)

2431 TEST_3R2b("lsa", mem[7], mem[1], t2, t0, t1, 2)

2432 TEST_3R2b("lsa", mem[7], mem[1], t2, t0, t1, 3)

2433 TEST_3R2b("lsa", mem[7], mem[2], t0, t1, t2, 4)

2434 TEST_3R2b("lsa", mem[7], mem[2], t0, t1, t2, 1)

2435 TEST_3R2b("lsa", mem[7], mem[2], t0, t1, t2, 2)

2436 TEST_3R2b("lsa", mem[7], mem[2], t0, t1, t2, 3)

2437 TEST_3R2b("lsa", mem[7], mem[3], t1, t2, t0, 4)

2438 TEST_3R2b("lsa", mem[7], mem[3], t1, t2, t0, 1)

2439 TEST_3R2b("lsa", mem[7], mem[3], t1, t2, t0, 2)

2440 TEST_3R2b("lsa", mem[7], mem[3], t1, t2, t0, 3)

2441 TEST_3R2b("lsa", mem[7], mem[4], t2, t0, t1, 4)

2442 TEST_3R2b("lsa", mem[7], mem[4], t2, t0, t1, 1)

2443 TEST_3R2b("lsa", mem[7], mem[4], t2, t0, t1, 2)

2444 TEST_3R2b("lsa", mem[7], mem[4], t2, t0, t1, 3)

2445 TEST_3R2b("lsa", mem[7], mem[5], t0, t1, t2, 4)

2446 TEST_3R2b("lsa", mem[7], mem[5], t0, t1, t2, 1)

2447 TEST_3R2b("lsa", mem[7], mem[5], t0, t1, t2, 2)

2448 TEST_3R2b("lsa", mem[7], mem[5], t0, t1, t2, 3)

2449 TEST_3R2b("lsa", mem[7], mem[6], t1, t2, t0, 4)

2450 TEST_3R2b("lsa", mem[7], mem[6], t1, t2, t0, 1)

2451 TEST_3R2b("lsa", mem[7], mem[6], t1, t2, t0, 2)

2452 TEST_3R2b("lsa", mem[7], mem[6], t1, t2, t0, 3)

2453 TEST_3R2b("lsa", mem[7], mem[7], t2, t0, t1, 4)

2454 TEST_3R2b("lsa", mem[7], mem[7], t2, t0, t1, 1)

2455 TEST_3R2b("lsa", mem[7], mem[7], t2, t0, t1, 2)

2456 TEST_3R2b("lsa", mem[7], mem[7], t2, t0, t1, 3)

2457 TEST_3R2b("lsa", mem[7], mem[8], t0, t1, t2, 4)

2458 TEST_3R2b("lsa", mem[7], mem[8], t0, t1, t2, 1)

2459 TEST_3R2b("lsa", mem[7], mem[8], t0, t1, t2, 2)

2460 TEST_3R2b("lsa", mem[7], mem[8], t0, t1, t2, 3)

2461 TEST_3R2b("lsa", mem[7], mem[9], t1, t2, t0, 4)

2462 TEST_3R2b("lsa", mem[7], mem[9], t1, t2, t0, 1)

2463 TEST_3R2b("lsa", mem[7], mem[9], t1, t2, t0, 2)

2464 TEST_3R2b("lsa", mem[7], mem[9], t1, t2, t0, 3)

2465 TEST_3R2b("lsa", mem[7], mem[10], t2, t0, t1, 4)

2466 TEST_3R2b("lsa", mem[7], mem[10], t2, t0, t1, 1)

2467 TEST_3R2b("lsa", mem[7], mem[10], t2, t0, t1, 2)

2468 TEST_3R2b("lsa", mem[7], mem[10], t2, t0, t1, 3)

2469 TEST_3R2b("lsa", mem[7], mem[11], t0, t1, t2, 4)

2470 TEST_3R2b("lsa", mem[7], mem[11], t0, t1, t2, 1)

2471 TEST_3R2b("lsa", mem[7], mem[11], t0, t1, t2, 2)

2472 TEST_3R2b("lsa", mem[7], mem[11], t0, t1, t2, 3)

2473 TEST_3R2b("lsa", mem[8], mem[0], t2, t0, t1, 4)

2474 TEST_3R2b("lsa", mem[8], mem[0], t2, t0, t1, 1)

2475 TEST_3R2b("lsa", mem[8], mem[0], t2, t0, t1, 2)

2476 TEST_3R2b("lsa", mem[8], mem[0], t2, t0, t1, 3)

2477 TEST_3R2b("lsa", mem[8], mem[1], t0, t1, t2, 4)

2478 TEST_3R2b("lsa", mem[8], mem[1], t0, t1, t2, 1)

2479 TEST_3R2b("lsa", mem[8], mem[1], t0, t1, t2, 2)

2480 TEST_3R2b("lsa", mem[8], mem[1], t0, t1, t2, 3)

2481 TEST_3R2b("lsa", mem[8], mem[2], t1, t2, t0, 4)

2482 TEST_3R2b("lsa", mem[8], mem[2], t1, t2, t0, 1)

2483 TEST_3R2b("lsa", mem[8], mem[2], t1, t2, t0, 2)

2484 TEST_3R2b("lsa", mem[8], mem[2], t1, t2, t0, 3)

2485 TEST_3R2b("lsa", mem[8], mem[3], t2, t0, t1, 4)

2486 TEST_3R2b("lsa", mem[8], mem[3], t2, t0, t1, 1)

2487 TEST_3R2b("lsa", mem[8], mem[3], t2, t0, t1, 2)

2488 TEST_3R2b("lsa", mem[8], mem[3], t2, t0, t1, 3)

2489 TEST_3R2b("lsa", mem[8], mem[4], t0, t1, t2, 4)

2490 TEST_3R2b("lsa", mem[8], mem[4], t0, t1, t2, 1)

2491 TEST_3R2b("lsa", mem[8], mem[4], t0, t1, t2, 2)

2492 TEST_3R2b("lsa", mem[8], mem[4], t0, t1, t2, 3)

2493 TEST_3R2b("lsa", mem[8], mem[5], t1, t2, t0, 4)

2494 TEST_3R2b("lsa", mem[8], mem[5], t1, t2, t0, 1)

2495 TEST_3R2b("lsa", mem[8], mem[5], t1, t2, t0, 2)

2496 TEST_3R2b("lsa", mem[8], mem[5], t1, t2, t0, 3)

2497 TEST_3R2b("lsa", mem[8], mem[6], t2, t0, t1, 4)

2498 TEST_3R2b("lsa", mem[8], mem[6], t2, t0, t1, 1)

2499 TEST_3R2b("lsa", mem[8], mem[6], t2, t0, t1, 2)

2500 TEST_3R2b("lsa", mem[8], mem[6], t2, t0, t1, 3)

2501 TEST_3R2b("lsa", mem[8], mem[7], t0, t1, t2, 4)

2502 TEST_3R2b("lsa", mem[8], mem[7], t0, t1, t2, 1)

2503 TEST_3R2b("lsa", mem[8], mem[7], t0, t1, t2, 2)

2504 TEST_3R2b("lsa", mem[8], mem[7], t0, t1, t2, 3)

2505 TEST_3R2b("lsa", mem[8], mem[8], t1, t2, t0, 4)

2506 TEST_3R2b("lsa", mem[8], mem[8], t1, t2, t0, 1)

2507 TEST_3R2b("lsa", mem[8], mem[8], t1, t2, t0, 2)

2508 TEST_3R2b("lsa", mem[8], mem[8], t1, t2, t0, 3)

2509 TEST_3R2b("lsa", mem[8], mem[9], t2, t0, t1, 4)

2510 TEST_3R2b("lsa", mem[8], mem[9], t2, t0, t1, 1)

2511 TEST_3R2b("lsa", mem[8], mem[9], t2, t0, t1, 2)

2512 TEST_3R2b("lsa", mem[8], mem[9], t2, t0, t1, 3)

2513 TEST_3R2b("lsa", mem[8], mem[10], t0, t1, t2, 4)

2514 TEST_3R2b("lsa", mem[8], mem[10], t0, t1, t2, 1)

2515 TEST_3R2b("lsa", mem[8], mem[10], t0, t1, t2, 2)

2516 TEST_3R2b("lsa", mem[8], mem[10], t0, t1, t2, 3)

2517 TEST_3R2b("lsa", mem[8], mem[11], t1, t2, t0, 4)

2518 TEST_3R2b("lsa", mem[8], mem[11], t1, t2, t0, 1)

2519 TEST_3R2b("lsa", mem[8], mem[11], t1, t2, t0, 2)

2520 TEST_3R2b("lsa", mem[8], mem[11], t1, t2, t0, 3)

2521 TEST_3R2b("lsa", mem[9], mem[0], t0, t1, t2, 4)

2522 TEST_3R2b("lsa", mem[9], mem[0], t0, t1, t2, 1)

2523 TEST_3R2b("lsa", mem[9], mem[0], t0, t1, t2, 2)

2524 TEST_3R2b("lsa", mem[9], mem[0], t0, t1, t2, 3)

2525 TEST_3R2b("lsa", mem[9], mem[1], t1, t2, t0, 4)

2526 TEST_3R2b("lsa", mem[9], mem[1], t1, t2, t0, 1)

2527 TEST_3R2b("lsa", mem[9], mem[1], t1, t2, t0, 2)

2528 TEST_3R2b("lsa", mem[9], mem[1], t1, t2, t0, 3)

2529 TEST_3R2b("lsa", mem[9], mem[2], t2, t0, t1, 4)

2530 TEST_3R2b("lsa", mem[9], mem[2], t2, t0, t1, 1)

2531 TEST_3R2b("lsa", mem[9], mem[2], t2, t0, t1, 2)

2532 TEST_3R2b("lsa", mem[9], mem[2], t2, t0, t1, 3)

2533 TEST_3R2b("lsa", mem[9], mem[3], t0, t1, t2, 4)

2534 TEST_3R2b("lsa", mem[9], mem[3], t0, t1, t2, 1)

2535 TEST_3R2b("lsa", mem[9], mem[3], t0, t1, t2, 2)

2536 TEST_3R2b("lsa", mem[9], mem[3], t0, t1, t2, 3)

2537 TEST_3R2b("lsa", mem[9], mem[4], t1, t2, t0, 4)

2538 TEST_3R2b("lsa", mem[9], mem[4], t1, t2, t0, 1)

2539 TEST_3R2b("lsa", mem[9], mem[4], t1, t2, t0, 2)

2540 TEST_3R2b("lsa", mem[9], mem[4], t1, t2, t0, 3)

2541 TEST_3R2b("lsa", mem[9], mem[5], t2, t0, t1, 4)

2542 TEST_3R2b("lsa", mem[9], mem[5], t2, t0, t1, 1)

2543 TEST_3R2b("lsa", mem[9], mem[5], t2, t0, t1, 2)

2544 TEST_3R2b("lsa", mem[9], mem[5], t2, t0, t1, 3)

2545 TEST_3R2b("lsa", mem[9], mem[6], t0, t1, t2, 4)

2546 TEST_3R2b("lsa", mem[9], mem[6], t0, t1, t2, 1)

2547 TEST_3R2b("lsa", mem[9], mem[6], t0, t1, t2, 2)

2548 TEST_3R2b("lsa", mem[9], mem[6], t0, t1, t2, 3)

2549 TEST_3R2b("lsa", mem[9], mem[7], t1, t2, t0, 4)

2550 TEST_3R2b("lsa", mem[9], mem[7], t1, t2, t0, 1)

2551 TEST_3R2b("lsa", mem[9], mem[7], t1, t2, t0, 2)

2552 TEST_3R2b("lsa", mem[9], mem[7], t1, t2, t0, 3)

2553 TEST_3R2b("lsa", mem[9], mem[8], t2, t0, t1, 4)

2554 TEST_3R2b("lsa", mem[9], mem[8], t2, t0, t1, 1)

2555 TEST_3R2b("lsa", mem[9], mem[8], t2, t0, t1, 2)

2556 TEST_3R2b("lsa", mem[9], mem[8], t2, t0, t1, 3)

2557 TEST_3R2b("lsa", mem[9], mem[9], t0, t1, t2, 4)

2558 TEST_3R2b("lsa", mem[9], mem[9], t0, t1, t2, 1)

2559 TEST_3R2b("lsa", mem[9], mem[9], t0, t1, t2, 2)

2560 TEST_3R2b("lsa", mem[9], mem[9], t0, t1, t2, 3)

2561 TEST_3R2b("lsa", mem[9], mem[10], t1, t2, t0, 4)

2562 TEST_3R2b("lsa", mem[9], mem[10], t1, t2, t0, 1)

2563 TEST_3R2b("lsa", mem[9], mem[10], t1, t2, t0, 2)

2564 TEST_3R2b("lsa", mem[9], mem[10], t1, t2, t0, 3)

2565 TEST_3R2b("lsa", mem[9], mem[11], t2, t0, t1, 4)

2566 TEST_3R2b("lsa", mem[9], mem[11], t2, t0, t1, 1)

2567 TEST_3R2b("lsa", mem[9], mem[11], t2, t0, t1, 2)

2568 TEST_3R2b("lsa", mem[9], mem[11], t2, t0, t1, 3)

2569 TEST_3R2b("lsa", mem[10], mem[0], t1, t2, t0, 4)

2570 TEST_3R2b("lsa", mem[10], mem[0], t1, t2, t0, 1)

2571 TEST_3R2b("lsa", mem[10], mem[0], t1, t2, t0, 2)

2572 TEST_3R2b("lsa", mem[10], mem[0], t1, t2, t0, 3)

2573 TEST_3R2b("lsa", mem[10], mem[1], t2, t0, t1, 4)

2574 TEST_3R2b("lsa", mem[10], mem[1], t2, t0, t1, 1)

2575 TEST_3R2b("lsa", mem[10], mem[1], t2, t0, t1, 2)

2576 TEST_3R2b("lsa", mem[10], mem[1], t2, t0, t1, 3)

2577 TEST_3R2b("lsa", mem[10], mem[2], t0, t1, t2, 4)

2578 TEST_3R2b("lsa", mem[10], mem[2], t0, t1, t2, 1)

2579 TEST_3R2b("lsa", mem[10], mem[2], t0, t1, t2, 2)

2580 TEST_3R2b("lsa", mem[10], mem[2], t0, t1, t2, 3)

2581 TEST_3R2b("lsa", mem[10], mem[3], t1, t2, t0, 4)

2582 TEST_3R2b("lsa", mem[10], mem[3], t1, t2, t0, 1)

2583 TEST_3R2b("lsa", mem[10], mem[3], t1, t2, t0, 2)

2584 TEST_3R2b("lsa", mem[10], mem[3], t1, t2, t0, 3)

2585 TEST_3R2b("lsa", mem[10], mem[4], t2, t0, t1, 4)

2586 TEST_3R2b("lsa", mem[10], mem[4], t2, t0, t1, 1)

2587 TEST_3R2b("lsa", mem[10], mem[4], t2, t0, t1, 2)

2588 TEST_3R2b("lsa", mem[10], mem[4], t2, t0, t1, 3)

2589 TEST_3R2b("lsa", mem[10], mem[5], t0, t1, t2, 4)

2590 TEST_3R2b("lsa", mem[10], mem[5], t0, t1, t2, 1)

2591 TEST_3R2b("lsa", mem[10], mem[5], t0, t1, t2, 2)

2592 TEST_3R2b("lsa", mem[10], mem[5], t0, t1, t2, 3)

2593 TEST_3R2b("lsa", mem[10], mem[6], t1, t2, t0, 4)

2594 TEST_3R2b("lsa", mem[10], mem[6], t1, t2, t0, 1)

2595 TEST_3R2b("lsa", mem[10], mem[6], t1, t2, t0, 2)

2596 TEST_3R2b("lsa", mem[10], mem[6], t1, t2, t0, 3)

2597 TEST_3R2b("lsa", mem[10], mem[7], t2, t0, t1, 4)

2598 TEST_3R2b("lsa", mem[10], mem[7], t2, t0, t1, 1)

2599 TEST_3R2b("lsa", mem[10], mem[7], t2, t0, t1, 2)

2600 TEST_3R2b("lsa", mem[10], mem[7], t2, t0, t1, 3)

2601 TEST_3R2b("lsa", mem[10], mem[8], t0, t1, t2, 4)

2602 TEST_3R2b("lsa", mem[10], mem[8], t0, t1, t2, 1)

2603 TEST_3R2b("lsa", mem[10], mem[8], t0, t1, t2, 2)

2604 TEST_3R2b("lsa", mem[10], mem[8], t0, t1, t2, 3)

2605 TEST_3R2b("lsa", mem[10], mem[9], t1, t2, t0, 4)

2606 TEST_3R2b("lsa", mem[10], mem[9], t1, t2, t0, 1)

2607 TEST_3R2b("lsa", mem[10], mem[9], t1, t2, t0, 2)

2608 TEST_3R2b("lsa", mem[10], mem[9], t1, t2, t0, 3)

2609 TEST_3R2b("lsa", mem[10], mem[10], t2, t0, t1, 4)

2610 TEST_3R2b("lsa", mem[10], mem[10], t2, t0, t1, 1)

2611 TEST_3R2b("lsa", mem[10], mem[10], t2, t0, t1, 2)

2612 TEST_3R2b("lsa", mem[10], mem[10], t2, t0, t1, 3)

2613 TEST_3R2b("lsa", mem[10], mem[11], t0, t1, t2, 4)

2614 TEST_3R2b("lsa", mem[10], mem[11], t0, t1, t2, 1)

2615 TEST_3R2b("lsa", mem[10], mem[11], t0, t1, t2, 2)

2616 TEST_3R2b("lsa", mem[10], mem[11], t0, t1, t2, 3)

2617 TEST_3R2b("lsa", mem[11], mem[0], t2, t0, t1, 4)

2618 TEST_3R2b("lsa", mem[11], mem[0], t2, t0, t1, 1)

2619 TEST_3R2b("lsa", mem[11], mem[0], t2, t0, t1, 2)

2620 TEST_3R2b("lsa", mem[11], mem[0], t2, t0, t1, 3)

2621 TEST_3R2b("lsa", mem[11], mem[1], t0, t1, t2, 4)

2622 TEST_3R2b("lsa", mem[11], mem[1], t0, t1, t2, 1)

2623 TEST_3R2b("lsa", mem[11], mem[1], t0, t1, t2, 2)

2624 TEST_3R2b("lsa", mem[11], mem[1], t0, t1, t2, 3)

2625 TEST_3R2b("lsa", mem[11], mem[2], t1, t2, t0, 4)

2626 TEST_3R2b("lsa", mem[11], mem[2], t1, t2, t0, 1)

2627 TEST_3R2b("lsa", mem[11], mem[2], t1, t2, t0, 2)

2628 TEST_3R2b("lsa", mem[11], mem[2], t1, t2, t0, 3)

2629 TEST_3R2b("lsa", mem[11], mem[3], t2, t0, t1, 4)

2630 TEST_3R2b("lsa", mem[11], mem[3], t2, t0, t1, 1)

2631 TEST_3R2b("lsa", mem[11], mem[3], t2, t0, t1, 2)

2632 TEST_3R2b("lsa", mem[11], mem[3], t2, t0, t1, 3)

2633 TEST_3R2b("lsa", mem[11], mem[4], t0, t1, t2, 4)

2634 TEST_3R2b("lsa", mem[11], mem[4], t0, t1, t2, 1)

2635 TEST_3R2b("lsa", mem[11], mem[4], t0, t1, t2, 2)

2636 TEST_3R2b("lsa", mem[11], mem[4], t0, t1, t2, 3)

2637 TEST_3R2b("lsa", mem[11], mem[5], t1, t2, t0, 4)

2638 TEST_3R2b("lsa", mem[11], mem[5], t1, t2, t0, 1)

2639 TEST_3R2b("lsa", mem[11], mem[5], t1, t2, t0, 2)

2640 TEST_3R2b("lsa", mem[11], mem[5], t1, t2, t0, 3)

2641 TEST_3R2b("lsa", mem[11], mem[6], t2, t0, t1, 4)

2642 TEST_3R2b("lsa", mem[11], mem[6], t2, t0, t1, 1)

2643 TEST_3R2b("lsa", mem[11], mem[6], t2, t0, t1, 2)

2644 TEST_3R2b("lsa", mem[11], mem[6], t2, t0, t1, 3)

2645 TEST_3R2b("lsa", mem[11], mem[7], t0, t1, t2, 4)

2646 TEST_3R2b("lsa", mem[11], mem[7], t0, t1, t2, 1)

2647 TEST_3R2b("lsa", mem[11], mem[7], t0, t1, t2, 2)

2648 TEST_3R2b("lsa", mem[11], mem[7], t0, t1, t2, 3)

2649 TEST_3R2b("lsa", mem[11], mem[8], t1, t2, t0, 4)

2650 TEST_3R2b("lsa", mem[11], mem[8], t1, t2, t0, 1)

2651 TEST_3R2b("lsa", mem[11], mem[8], t1, t2, t0, 2)

2652 TEST_3R2b("lsa", mem[11], mem[8], t1, t2, t0, 3)

2653 TEST_3R2b("lsa", mem[11], mem[9], t2, t0, t1, 4)

2654 TEST_3R2b("lsa", mem[11], mem[9], t2, t0, t1, 1)

2655 TEST_3R2b("lsa", mem[11], mem[9], t2, t0, t1, 2)

2656 TEST_3R2b("lsa", mem[11], mem[9], t2, t0, t1, 3)

2657 TEST_3R2b("lsa", mem[11], mem[10], t0, t1, t2, 4)

2658 TEST_3R2b("lsa", mem[11], mem[10], t0, t1, t2, 1)

2659 TEST_3R2b("lsa", mem[11], mem[10], t0, t1, t2, 2)

2660 TEST_3R2b("lsa", mem[11], mem[10], t0, t1, t2, 3)

2661 TEST_3R2b("lsa", mem[11], mem[11], t1, t2, t0, 4)

2662 TEST_3R2b("lsa", mem[11], mem[11], t1, t2, t0, 1)

2663 TEST_3R2b("lsa", mem[11], mem[11], t1, t2, t0, 2)

2664 TEST_3R2b("lsa", mem[11], mem[11], t1, t2, t0, 3)

2665

2666 printf("\naui\n");

2667 TEST_2Rb("aui", mem[0], t0, t1, 2)

2668 TEST_2Rb("aui", mem[0], t1, t0, 4)

2669 TEST_2Rb("aui", mem[0], t0, t1, 8)

2670 TEST_2Rb("aui", mem[0], t1, t0, 16)

2671 TEST_2Rb("aui", mem[0], t0, t1, 32)

2672 TEST_2Rb("aui", mem[0], t1, t0, 64)

2673 TEST_2Rb("aui", mem[0], t0, t1, 128)

2674 TEST_2Rb("aui", mem[0], t1, t0, 256)

2675 TEST_2Rb("aui", mem[0], t0, t1, 512)

2676 TEST_2Rb("aui", mem[1], t1, t0, 2)

2677 TEST_2Rb("aui", mem[1], t0, t1, 4)

2678 TEST_2Rb("aui", mem[1], t1, t0, 8)

2679 TEST_2Rb("aui", mem[1], t0, t1, 16)

2680 TEST_2Rb("aui", mem[1], t1, t0, 32)

2681 TEST_2Rb("aui", mem[1], t0, t1, 64)

2682 TEST_2Rb("aui", mem[1], t1, t0, 128)

2683 TEST_2Rb("aui", mem[1], t0, t1, 256)

2684 TEST_2Rb("aui", mem[1], t1, t0, 512)

2685 TEST_2Rb("aui", mem[2], t0, t1, 2)

2686 TEST_2Rb("aui", mem[2], t1, t0, 4)

2687 TEST_2Rb("aui", mem[2], t0, t1, 8)

2688 TEST_2Rb("aui", mem[2], t1, t0, 16)

2689 TEST_2Rb("aui", mem[2], t0, t1, 32)

2690 TEST_2Rb("aui", mem[2], t1, t0, 64)

2691 TEST_2Rb("aui", mem[2], t0, t1, 128)

2692 TEST_2Rb("aui", mem[2], t1, t0, 256)

2693 TEST_2Rb("aui", mem[2], t0, t1, 512)

2694 TEST_2Rb("aui", mem[3], t1, t0, 2)

2695 TEST_2Rb("aui", mem[3], t0, t1, 4)

2696 TEST_2Rb("aui", mem[3], t1, t0, 8)

2697 TEST_2Rb("aui", mem[3], t0, t1, 16)

2698 TEST_2Rb("aui", mem[3], t1, t0, 32)

2699 TEST_2Rb("aui", mem[3], t0, t1, 64)

2700 TEST_2Rb("aui", mem[3], t1, t0, 128)

2701 TEST_2Rb("aui", mem[3], t0, t1, 256)

2702 TEST_2Rb("aui", mem[3], t1, t0, 512)

2703 TEST_2Rb("aui", mem[4], t0, t1, 2)

2704 TEST_2Rb("aui", mem[4], t1, t0, 4)

2705 TEST_2Rb("aui", mem[4], t0, t1, 8)

2706 TEST_2Rb("aui", mem[4], t1, t0, 16)

2707 TEST_2Rb("aui", mem[4], t0, t1, 32)

2708 TEST_2Rb("aui", mem[4], t1, t0, 64)

2709 TEST_2Rb("aui", mem[4], t0, t1, 128)

2710 TEST_2Rb("aui", mem[4], t1, t0, 256)

2711 TEST_2Rb("aui", mem[4], t0, t1, 512)

2712 TEST_2Rb("aui", mem[5], t1, t0, 2)

2713 TEST_2Rb("aui", mem[5], t0, t1, 4)

2714 TEST_2Rb("aui", mem[5], t1, t0, 8)

2715 TEST_2Rb("aui", mem[5], t0, t1, 16)

2716 TEST_2Rb("aui", mem[5], t1, t0, 32)

2717 TEST_2Rb("aui", mem[5], t0, t1, 64)

2718 TEST_2Rb("aui", mem[5], t1, t0, 128)

2719 TEST_2Rb("aui", mem[5], t0, t1, 256)

2720 TEST_2Rb("aui", mem[5], t1, t0, 512)

2721 TEST_2Rb("aui", mem[6], t0, t1, 2)

2722 TEST_2Rb("aui", mem[6], t1, t0, 4)

2723 TEST_2Rb("aui", mem[6], t0, t1, 8)

2724 TEST_2Rb("aui", mem[6], t1, t0, 16)

2725 TEST_2Rb("aui", mem[6], t0, t1, 32)

2726 TEST_2Rb("aui", mem[6], t1, t0, 64)

2727 TEST_2Rb("aui", mem[6], t0, t1, 128)

2728 TEST_2Rb("aui", mem[6], t1, t0, 256)

2729 TEST_2Rb("aui", mem[6], t0, t1, 512)

2730 TEST_2Rb("aui", mem[7], t1, t0, 2)

2731 TEST_2Rb("aui", mem[7], t0, t1, 4)

2732 TEST_2Rb("aui", mem[7], t1, t0, 8)

2733 TEST_2Rb("aui", mem[7], t0, t1, 16)

2734 TEST_2Rb("aui", mem[7], t1, t0, 32)

2735 TEST_2Rb("aui", mem[7], t0, t1, 64)

2736 TEST_2Rb("aui", mem[7], t1, t0, 128)

2737 TEST_2Rb("aui", mem[7], t0, t1, 256)

2738 TEST_2Rb("aui", mem[7], t1, t0, 512)

2739 TEST_2Rb("aui", mem[8], t0, t1, 2)

2740 TEST_2Rb("aui", mem[8], t1, t0, 4)

2741 TEST_2Rb("aui", mem[8], t0, t1, 8)

2742 TEST_2Rb("aui", mem[8], t1, t0, 16)

2743 TEST_2Rb("aui", mem[8], t0, t1, 32)

2744 TEST_2Rb("aui", mem[8], t1, t0, 64)

2745 TEST_2Rb("aui", mem[8], t0, t1, 128)

2746 TEST_2Rb("aui", mem[8], t1, t0, 256)

2747 TEST_2Rb("aui", mem[8], t0, t1, 512)

2748 TEST_2Rb("aui", mem[9], t1, t0, 2)

2749 TEST_2Rb("aui", mem[9], t0, t1, 4)

2750 TEST_2Rb("aui", mem[9], t1, t0, 8)

2751 TEST_2Rb("aui", mem[9], t0, t1, 16)

2752 TEST_2Rb("aui", mem[9], t1, t0, 32)

2753 TEST_2Rb("aui", mem[9], t0, t1, 64)

2754 TEST_2Rb("aui", mem[9], t1, t0, 128)

2755 TEST_2Rb("aui", mem[9], t0, t1, 256)

2756 TEST_2Rb("aui", mem[9], t1, t0, 512)

2757 TEST_2Rb("aui", mem[10], t0, t1, 2)

2758 TEST_2Rb("aui", mem[10], t1, t0, 4)

2759 TEST_2Rb("aui", mem[10], t0, t1, 8)

2760 TEST_2Rb("aui", mem[10], t1, t0, 16)

2761 TEST_2Rb("aui", mem[10], t0, t1, 32)

2762 TEST_2Rb("aui", mem[10], t1, t0, 64)

2763 TEST_2Rb("aui", mem[10], t0, t1, 128)

2764 TEST_2Rb("aui", mem[10], t1, t0, 256)

2765 TEST_2Rb("aui", mem[10], t0, t1, 512)

2766 TEST_2Rb("aui", mem[11], t1, t0, 2)

2767 TEST_2Rb("aui", mem[11], t0, t1, 4)

2768 TEST_2Rb("aui", mem[11], t1, t0, 8)

2769 TEST_2Rb("aui", mem[11], t0, t1, 16)

2770 TEST_2Rb("aui", mem[11], t1, t0, 32)

2771 TEST_2Rb("aui", mem[11], t0, t1, 64)

2772 TEST_2Rb("aui", mem[11], t1, t0, 128)

2773 TEST_2Rb("aui", mem[11], t0, t1, 256)

2774 TEST_2Rb("aui", mem[11], t1, t0, 512)

2775

2776 printf("\nlui\n");

2777 TEST_Rb("lui", mem[0], t0, 2)

2778 TEST_Rb("lui", mem[0], t1, 4)

2779 TEST_Rb("lui", mem[0], t0, 8)

2780 TEST_Rb("lui", mem[0], t1, 16)

2781 TEST_Rb("lui", mem[0], t0, 32)

2782 TEST_Rb("lui", mem[0], t1, 64)

2783 TEST_Rb("lui", mem[0], t0, 128)

2784 TEST_Rb("lui", mem[0], t1, 256)

2785 TEST_Rb("lui", mem[0], t0, 512)

2786 TEST_Rb("lui", mem[1], t1, 2)

2787 TEST_Rb("lui", mem[1], t0, 4)

2788 TEST_Rb("lui", mem[1], t1, 8)

2789 TEST_Rb("lui", mem[1], t0, 16)

2790 TEST_Rb("lui", mem[1], t1, 32)

2791 TEST_Rb("lui", mem[1], t0, 64)

2792 TEST_Rb("lui", mem[1], t1, 128)

2793 TEST_Rb("lui", mem[1], t0, 256)

2794 TEST_Rb("lui", mem[1], t1, 512)

2795 TEST_Rb("lui", mem[2], t0, 2)

2796 TEST_Rb("lui", mem[2], t1, 4)

2797 TEST_Rb("lui", mem[2], t0, 8)

2798 TEST_Rb("lui", mem[2], t1, 16)

2799 TEST_Rb("lui", mem[2], t0, 32)

2800 TEST_Rb("lui", mem[2], t1, 64)

2801 TEST_Rb("lui", mem[2], t0, 128)

2802 TEST_Rb("lui", mem[2], t1, 256)

2803 TEST_Rb("lui", mem[2], t0, 512)

2804 TEST_Rb("lui", mem[3], t1, 2)

2805 TEST_Rb("lui", mem[3], t0, 4)

2806 TEST_Rb("lui", mem[3], t1, 8)

2807 TEST_Rb("lui", mem[3], t0, 16)

2808 TEST_Rb("lui", mem[3], t1, 32)

2809 TEST_Rb("lui", mem[3], t0, 64)

2810 TEST_Rb("lui", mem[3], t1, 128)

2811 TEST_Rb("lui", mem[3], t0, 256)

2812 TEST_Rb("lui", mem[3], t1, 512)

2813 TEST_Rb("lui", mem[4], t0, 2)

2814 TEST_Rb("lui", mem[4], t1, 4)

2815 TEST_Rb("lui", mem[4], t0, 8)

2816 TEST_Rb("lui", mem[4], t1, 16)

2817 TEST_Rb("lui", mem[4], t0, 32)

2818 TEST_Rb("lui", mem[4], t1, 64)

2819 TEST_Rb("lui", mem[4], t0, 128)

2820 TEST_Rb("lui", mem[4], t1, 256)

2821 TEST_Rb("lui", mem[4], t0, 512)

2822 TEST_Rb("lui", mem[5], t1, 2)

2823 TEST_Rb("lui", mem[5], t0, 4)

2824 TEST_Rb("lui", mem[5], t1, 8)

2825 TEST_Rb("lui", mem[5], t0, 16)

2826 TEST_Rb("lui", mem[5], t1, 32)

2827 TEST_Rb("lui", mem[5], t0, 64)

2828 TEST_Rb("lui", mem[5], t1, 128)

2829 TEST_Rb("lui", mem[5], t0, 256)

2830 TEST_Rb("lui", mem[5], t1, 512)

2831 TEST_Rb("lui", mem[6], t0, 2)

2832 TEST_Rb("lui", mem[6], t1, 4)

2833 TEST_Rb("lui", mem[6], t0, 8)

2834 TEST_Rb("lui", mem[6], t1, 16)

2835 TEST_Rb("lui", mem[6], t0, 32)

2836 TEST_Rb("lui", mem[6], t1, 64)

2837 TEST_Rb("lui", mem[6], t0, 128)

2838 TEST_Rb("lui", mem[6], t1, 256)

2839 TEST_Rb("lui", mem[6], t0, 512)

2840 TEST_Rb("lui", mem[7], t1, 2)

2841 TEST_Rb("lui", mem[7], t0, 4)

2842 TEST_Rb("lui", mem[7], t1, 8)

2843 TEST_Rb("lui", mem[7], t0, 16)

2844 TEST_Rb("lui", mem[7], t1, 32)

2845 TEST_Rb("lui", mem[7], t0, 64)

2846 TEST_Rb("lui", mem[7], t1, 128)

2847 TEST_Rb("lui", mem[7], t0, 256)

2848 TEST_Rb("lui", mem[7], t1, 512)

2849 TEST_Rb("lui", mem[8], t0, 2)

2850 TEST_Rb("lui", mem[8], t1, 4)

2851 TEST_Rb("lui", mem[8], t0, 8)

2852 TEST_Rb("lui", mem[8], t1, 16)

2853 TEST_Rb("lui", mem[8], t0, 32)

2854 TEST_Rb("lui", mem[8], t1, 64)

2855 TEST_Rb("lui", mem[8], t0, 128)

2856 TEST_Rb("lui", mem[8], t1, 256)

2857 TEST_Rb("lui", mem[8], t0, 512)

2858 TEST_Rb("lui", mem[9], t1, 2)

2859 TEST_Rb("lui", mem[9], t0, 4)

2860 TEST_Rb("lui", mem[9], t1, 8)

2861 TEST_Rb("lui", mem[9], t0, 16)

2862 TEST_Rb("lui", mem[9], t1, 32)

2863 TEST_Rb("lui", mem[9], t0, 64)

2864 TEST_Rb("lui", mem[9], t1, 128)

2865 TEST_Rb("lui", mem[9], t0, 256)

2866 TEST_Rb("lui", mem[9], t1, 512)

2867 TEST_Rb("lui", mem[10], t0, 2)

2868 TEST_Rb("lui", mem[10], t1, 4)

2869 TEST_Rb("lui", mem[10], t0, 8)

2870 TEST_Rb("lui", mem[10], t1, 16)

2871 TEST_Rb("lui", mem[10], t0, 32)

2872 TEST_Rb("lui", mem[10], t1, 64)

2873 TEST_Rb("lui", mem[10], t0, 128)

2874 TEST_Rb("lui", mem[10], t1, 256)

2875 TEST_Rb("lui", mem[10], t0, 512)

2876 TEST_Rb("lui", mem[11], t1, 2)

2877 TEST_Rb("lui", mem[11], t0, 4)

2878 TEST_Rb("lui", mem[11], t1, 8)

2879 TEST_Rb("lui", mem[11], t0, 16)

2880 TEST_Rb("lui", mem[11], t1, 32)

2881 TEST_Rb("lui", mem[11], t0, 64)

2882 TEST_Rb("lui", mem[11], t1, 128)

2883 TEST_Rb("lui", mem[11], t0, 256)

2884 TEST_Rb("lui", mem[11], t1, 512)

2885

2886 printf("\nbitswap\n");

2887 TEST_2R("bitswap", mem[0], t0, t1);

2888 TEST_2R("bitswap", mem[1], t0, t1);

2889 TEST_2R("bitswap", mem[2], t0, t1);

2890 TEST_2R("bitswap", mem[3], t0, t1);

2891 TEST_2R("bitswap", mem[4], t0, t1);

2892 TEST_2R("bitswap", mem[5], t0, t1);

2893 TEST_2R("bitswap", mem[6], t0, t1);

2894 TEST_2R("bitswap", mem[7], t0, t1);

2895 TEST_2R("bitswap", mem[8], t0, t1);

2896 TEST_2R("bitswap", mem[9], t0, t1);

2897 TEST_2R("bitswap", mem[10], t0, t1);

2898 TEST_2R("bitswap", mem[11], t0, t1);

2899 #endif

2900

2901 return 0;

2902 }

2903