16 	r2 -= r1;					\  in test_out_of_bounds_1()
17 	r2 |= r1;					\  in test_out_of_bounds_1()
18 	r2 = -r2;					\  in test_out_of_bounds_1()
19 	r2 s>>= 63;					\  in test_out_of_bounds_1()
20 	r1 &= r2;					\  in test_out_of_bounds_1()
36 	r2 -= r1;					\  in test_out_of_bounds_2()
37 	r2 |= r1;					\  in test_out_of_bounds_2()
38 	r2 = -r2;					\  in test_out_of_bounds_2()
39 	r2 s>>= 63;					\  in test_out_of_bounds_2()
40 	r1 &= r2;					\  in test_out_of_bounds_2()
56 	r2 -= r1;					\  in test_out_of_bounds_3()
57 	r2 |= r1;					\  in test_out_of_bounds_3()
58 	r2 = -r2;					\  in test_out_of_bounds_3()
59 	r2 s>>= 63;					\  in test_out_of_bounds_3()
60 	r1 &= r2;					\  in test_out_of_bounds_3()
76 	r2 -= r1;					\  in test_out_of_bounds_4()
77 	r2 |= r1;					\  in test_out_of_bounds_4()
78 	r2 = -r2;					\  in test_out_of_bounds_4()
79 	r2 s>>= 63;					\  in test_out_of_bounds_4()
80 	r1 &= r2;					\  in test_out_of_bounds_4()
96 	r2 -= r1;					\  in test_out_of_bounds_5()
97 	r2 |= r1;					\  in test_out_of_bounds_5()
98 	r2 = -r2;					\  in test_out_of_bounds_5()
99 	r2 s>>= 63;					\  in test_out_of_bounds_5()
100 	r1 &= r2;					\  in test_out_of_bounds_5()
116 	r2 -= r1;					\  in test_out_of_bounds_6()
117 	r2 |= r1;					\  in test_out_of_bounds_6()
118 	r2 = -r2;					\  in test_out_of_bounds_6()
119 	r2 s>>= 63;					\  in test_out_of_bounds_6()
120 	r1 &= r2;					\  in test_out_of_bounds_6()
136 	r2 -= r1;					\  in test_out_of_bounds_7()
137 	r2 |= r1;					\  in test_out_of_bounds_7()
138 	r2 = -r2;					\  in test_out_of_bounds_7()
139 	r2 s>>= 63;					\  in test_out_of_bounds_7()
140 	r1 &= r2;					\  in test_out_of_bounds_7()
156 	r2 -= r1;					\  in test_out_of_bounds_8()
157 	r2 |= r1;					\  in test_out_of_bounds_8()
158 	r2 = -r2;					\  in test_out_of_bounds_8()
159 	r2 s>>= 63;					\  in test_out_of_bounds_8()
160 	r1 &= r2;					\  in test_out_of_bounds_8()
176 	r2 -= r1;					\  in test_out_of_bounds_9()
177 	r2 |= r1;					\  in test_out_of_bounds_9()
178 	r2 = -r2;					\  in test_out_of_bounds_9()
179 	r2 s>>= 63;					\  in test_out_of_bounds_9()
180 	r1 &= r2;					\  in test_out_of_bounds_9()
196 	r2 -= r1;					\  in test_out_of_bounds_10()
197 	r2 |= r1;					\  in test_out_of_bounds_10()
198 	r2 = -r2;					\  in test_out_of_bounds_10()
199 	r2 s>>= 63;					\  in test_out_of_bounds_10()
200 	r1 &= r2;					\  in test_out_of_bounds_10()
216 	r2 -= r1;					\  in test_out_of_bounds_11()
217 	r2 |= r1;					\  in test_out_of_bounds_11()
218 	r2 = -r2;					\  in test_out_of_bounds_11()
219 	r2 s>>= 63;					\  in test_out_of_bounds_11()
220 	r1 &= r2;					\  in test_out_of_bounds_11()
236 	r2 -= r1;					\  in test_out_of_bounds_12()
237 	r2 |= r1;					\  in test_out_of_bounds_12()
238 	r2 = -r2;					\  in test_out_of_bounds_12()
239 	r2 s>>= 63;					\  in test_out_of_bounds_12()
240 	r1 &= r2;					\  in test_out_of_bounds_12()
256 	r2 -= r1;					\  in masking_test_in_bounds_1()
257 	r2 |= r1;					\  in masking_test_in_bounds_1()
258 	r2 = -r2;					\  in masking_test_in_bounds_1()
259 	r2 s>>= 63;					\  in masking_test_in_bounds_1()
260 	r1 &= r2;					\  in masking_test_in_bounds_1()
276 	r2 -= r1;					\  in masking_test_in_bounds_2()
277 	r2 |= r1;					\  in masking_test_in_bounds_2()
278 	r2 = -r2;					\  in masking_test_in_bounds_2()
279 	r2 s>>= 63;					\  in masking_test_in_bounds_2()
280 	r1 &= r2;					\  in masking_test_in_bounds_2()
296 	r2 -= r1;					\  in masking_test_in_bounds_3()
297 	r2 |= r1;					\  in masking_test_in_bounds_3()
298 	r2 = -r2;					\  in masking_test_in_bounds_3()
299 	r2 s>>= 63;					\  in masking_test_in_bounds_3()
300 	r1 &= r2;					\  in masking_test_in_bounds_3()
316 	r2 -= r1;					\  in masking_test_in_bounds_4()
317 	r2 |= r1;					\  in masking_test_in_bounds_4()
318 	r2 = -r2;					\  in masking_test_in_bounds_4()
319 	r2 s>>= 63;					\  in masking_test_in_bounds_4()
320 	r1 &= r2;					\  in masking_test_in_bounds_4()
336 	r2 -= r1;					\  in masking_test_in_bounds_5()
337 	r2 |= r1;					\  in masking_test_in_bounds_5()
338 	r2 = -r2;					\  in masking_test_in_bounds_5()
339 	r2 s>>= 63;					\  in masking_test_in_bounds_5()
340 	r1 &= r2;					\  in masking_test_in_bounds_5()
356 	r2 -= r1;					\  in masking_test_in_bounds_6()
357 	r2 |= r1;					\  in masking_test_in_bounds_6()
358 	r2 = -r2;					\  in masking_test_in_bounds_6()
359 	r2 s>>= 63;					\  in masking_test_in_bounds_6()
360 	r1 &= r2;					\  in masking_test_in_bounds_6()
377 	r2 -= r3;					\  in masking_test_in_bounds_7()
378 	r2 |= r3;					\  in masking_test_in_bounds_7()
379 	r2 = -r2;					\  in masking_test_in_bounds_7()
380 	r2 s>>= 63;					\  in masking_test_in_bounds_7()
381 	r3 &= r2;					\  in masking_test_in_bounds_7()
398 	r2 -= r3;					\  in masking_test_in_bounds_8()
399 	r2 |= r3;					\  in masking_test_in_bounds_8()
400 	r2 = -r2;					\  in masking_test_in_bounds_8()
401 	r2 s>>= 63;					\  in masking_test_in_bounds_8()
402 	r3 &= r2;					\  in masking_test_in_bounds_8()