Lines Matching full:r2
47 r2 = r10; \ in access_to_map_full_range()
48 r2 += -8; \ in access_to_map_full_range()
50 *(u64*)(r2 + 0) = r1; \ in access_to_map_full_range()
55 r2 = %[sizeof_test_val]; \ in access_to_map_full_range()
73 r2 = r10; \ in access_to_map_partial_range()
74 r2 += -8; \ in access_to_map_partial_range()
76 *(u64*)(r2 + 0) = r1; \ in access_to_map_partial_range()
81 r2 = 8; \ in access_to_map_partial_range()
99 __failure __msg("R2 invalid zero-sized read: u64=[0,0]")
103 r2 = r10; \ in access_to_map_empty_range()
104 r2 += -8; \ in access_to_map_empty_range()
106 *(u64*)(r2 + 0) = r1; \ in access_to_map_empty_range()
111 r2 = 0; \ in access_to_map_empty_range()
126 __failure __msg("R2 invalid zero-sized read: u64=[0,4]")
130 r2 = r10; \ in access_to_map_possibly_empty_range()
131 r2 += -8; \ in access_to_map_possibly_empty_range()
133 *(u64*)(r2 + 0) = r1; \ in access_to_map_possibly_empty_range()
142 r2 = 0; \ in access_to_map_possibly_empty_range()
143 r2 += r7; \ in access_to_map_possibly_empty_range()
159 r2 = r10; \ in map_out_of_bound_range()
160 r2 += -8; \ in map_out_of_bound_range()
162 *(u64*)(r2 + 0) = r1; \ in map_out_of_bound_range()
167 r2 = %[__imm_0]; \ in map_out_of_bound_range()
181 __failure __msg("R2 min value is negative")
185 r2 = r10; \ in access_to_map_negative_range()
186 r2 += -8; \ in access_to_map_negative_range()
188 *(u64*)(r2 + 0) = r1; \ in access_to_map_negative_range()
193 r2 = -8; \ in access_to_map_negative_range()
210 r2 = r10; \ in via_const_imm_full_range()
211 r2 += -8; \ in via_const_imm_full_range()
213 *(u64*)(r2 + 0) = r1; \ in via_const_imm_full_range()
219 r2 = %[__imm_0]; \ in via_const_imm_full_range()
238 r2 = r10; \ in via_const_imm_partial_range()
239 r2 += -8; \ in via_const_imm_partial_range()
241 *(u64*)(r2 + 0) = r1; \ in via_const_imm_partial_range()
247 r2 = 8; \ in via_const_imm_partial_range()
261 __failure __msg("R2 invalid zero-sized read")
265 r2 = r10; \ in via_const_imm_empty_range()
266 r2 += -8; \ in via_const_imm_empty_range()
268 *(u64*)(r2 + 0) = r1; \ in via_const_imm_empty_range()
274 r2 = 0; \ in via_const_imm_empty_range()
291 r2 = r10; \ in imm_out_of_bound_range()
292 r2 += -8; \ in imm_out_of_bound_range()
294 *(u64*)(r2 + 0) = r1; \ in imm_out_of_bound_range()
300 r2 = %[__imm_0]; \ in imm_out_of_bound_range()
315 __failure __msg("R2 min value is negative")
319 r2 = r10; \ in const_imm_negative_range_adjustment_1()
320 r2 += -8; \ in const_imm_negative_range_adjustment_1()
322 *(u64*)(r2 + 0) = r1; \ in const_imm_negative_range_adjustment_1()
328 r2 = -8; \ in const_imm_negative_range_adjustment_1()
342 __failure __msg("R2 min value is negative")
346 r2 = r10; \ in const_imm_negative_range_adjustment_2()
347 r2 += -8; \ in const_imm_negative_range_adjustment_2()
349 *(u64*)(r2 + 0) = r1; \ in const_imm_negative_range_adjustment_2()
355 r2 = -1; \ in const_imm_negative_range_adjustment_2()
373 r2 = r10; \ in via_const_reg_full_range()
374 r2 += -8; \ in via_const_reg_full_range()
376 *(u64*)(r2 + 0) = r1; \ in via_const_reg_full_range()
383 r2 = %[__imm_0]; \ in via_const_reg_full_range()
402 r2 = r10; \ in via_const_reg_partial_range()
403 r2 += -8; \ in via_const_reg_partial_range()
405 *(u64*)(r2 + 0) = r1; \ in via_const_reg_partial_range()
412 r2 = 8; \ in via_const_reg_partial_range()
426 __failure __msg("R2 invalid zero-sized read")
430 r2 = r10; \ in via_const_reg_empty_range()
431 r2 += -8; \ in via_const_reg_empty_range()
433 *(u64*)(r2 + 0) = r1; \ in via_const_reg_empty_range()
440 r2 = 0; \ in via_const_reg_empty_range()
456 r2 = r10; \ in reg_out_of_bound_range()
457 r2 += -8; \ in reg_out_of_bound_range()
459 *(u64*)(r2 + 0) = r1; \ in reg_out_of_bound_range()
466 r2 = %[__imm_0]; \ in reg_out_of_bound_range()
481 __failure __msg("R2 min value is negative")
485 r2 = r10; \ in const_reg_negative_range_adjustment_1()
486 r2 += -8; \ in const_reg_negative_range_adjustment_1()
488 *(u64*)(r2 + 0) = r1; \ in const_reg_negative_range_adjustment_1()
495 r2 = -8; \ in const_reg_negative_range_adjustment_1()
509 __failure __msg("R2 min value is negative")
513 r2 = r10; \ in const_reg_negative_range_adjustment_2()
514 r2 += -8; \ in const_reg_negative_range_adjustment_2()
516 *(u64*)(r2 + 0) = r1; \ in const_reg_negative_range_adjustment_2()
523 r2 = -1; \ in const_reg_negative_range_adjustment_2()
541 r2 = r10; \ in map_via_variable_full_range()
542 r2 += -8; \ in map_via_variable_full_range()
544 *(u64*)(r2 + 0) = r1; \ in map_via_variable_full_range()
552 r2 = %[__imm_0]; \ in map_via_variable_full_range()
571 r2 = r10; \ in map_via_variable_partial_range()
572 r2 += -8; \ in map_via_variable_partial_range()
574 *(u64*)(r2 + 0) = r1; \ in map_via_variable_partial_range()
582 r2 = 8; \ in map_via_variable_partial_range()
596 __failure __msg("R2 invalid zero-sized read")
600 r2 = r10; \ in map_via_variable_empty_range()
601 r2 += -8; \ in map_via_variable_empty_range()
603 *(u64*)(r2 + 0) = r1; \ in map_via_variable_empty_range()
611 r2 = 0; \ in map_via_variable_empty_range()
628 r2 = r10; \ in via_variable_no_max_check_1()
629 r2 += -8; \ in via_variable_no_max_check_1()
631 *(u64*)(r2 + 0) = r1; \ in via_variable_no_max_check_1()
638 r2 = 1; \ in via_variable_no_max_check_1()
655 r2 = r10; \ in via_variable_wrong_max_check_1()
656 r2 += -8; \ in via_variable_wrong_max_check_1()
658 *(u64*)(r2 + 0) = r1; \ in via_variable_wrong_max_check_1()
666 r2 = %[__imm_0]; \ in via_variable_wrong_max_check_1()
685 r2 = r10; \ in bounds_check_using_good_access_1()
686 r2 += -8; \ in bounds_check_using_good_access_1()
688 *(u64*)(r2 + 0) = r1; \ in bounds_check_using_good_access_1()
714 r2 = r10; \ in bounds_check_using_bad_access_1()
715 r2 += -8; \ in bounds_check_using_bad_access_1()
717 *(u64*)(r2 + 0) = r1; \ in bounds_check_using_bad_access_1()
743 r2 = r10; \ in bounds_check_using_good_access_2()
744 r2 += -8; \ in bounds_check_using_good_access_2()
746 *(u64*)(r2 + 0) = r1; \ in bounds_check_using_good_access_2()
772 r2 = r10; \ in bounds_check_using_bad_access_2()
773 r2 += -8; \ in bounds_check_using_bad_access_2()
775 *(u64*)(r2 + 0) = r1; \ in bounds_check_using_bad_access_2()
801 r2 = r10; \ in check_using_s_good_access_1()
802 r2 += -8; \ in check_using_s_good_access_1()
804 *(u64*)(r2 + 0) = r1; \ in check_using_s_good_access_1()
831 r2 = r10; \ in using_s_good_access_2_1()
832 r2 += -8; \ in using_s_good_access_2_1()
834 *(u64*)(r2 + 0) = r1; \ in using_s_good_access_2_1()
861 r2 = r10; \ in check_using_s_bad_access_1()
862 r2 += -8; \ in check_using_s_bad_access_1()
864 *(u64*)(r2 + 0) = r1; \ in check_using_s_bad_access_1()
891 r2 = r10; \ in check_using_s_good_access_2()
892 r2 += -8; \ in check_using_s_good_access_2()
894 *(u64*)(r2 + 0) = r1; \ in check_using_s_good_access_2()
921 r2 = r10; \ in using_s_good_access_2_2()
922 r2 += -8; \ in using_s_good_access_2_2()
924 *(u64*)(r2 + 0) = r1; \ in using_s_good_access_2_2()
951 r2 = r10; \ in check_using_s_bad_access_2()
952 r2 += -8; \ in check_using_s_bad_access_2()
954 *(u64*)(r2 + 0) = r1; \ in check_using_s_bad_access_2()
981 r2 = r10; \ in lookup_helper_access_to_map()
982 r2 += -8; \ in lookup_helper_access_to_map()
984 *(u64*)(r2 + 0) = r1; \ in lookup_helper_access_to_map()
988 r2 = r0; \ in lookup_helper_access_to_map()
1004 r2 = r10; \ in update_helper_access_to_map()
1005 r2 += -8; \ in update_helper_access_to_map()
1007 *(u64*)(r2 + 0) = r1; \ in update_helper_access_to_map()
1013 r2 = r0; \ in update_helper_access_to_map()
1030 r2 = r10; \ in access_to_map_wrong_size()
1031 r2 += -8; \ in access_to_map_wrong_size()
1033 *(u64*)(r2 + 0) = r1; \ in access_to_map_wrong_size()
1039 r2 = r0; \ in access_to_map_wrong_size()
1057 r2 = r10; \ in adjusted_map_via_const_imm()
1058 r2 += -8; \ in adjusted_map_via_const_imm()
1060 *(u64*)(r2 + 0) = r1; \ in adjusted_map_via_const_imm()
1064 r2 = r0; \ in adjusted_map_via_const_imm()
1065 r2 += %[other_val_bar]; \ in adjusted_map_via_const_imm()
1082 r2 = r10; \ in imm_out_of_bound_1()
1083 r2 += -8; \ in imm_out_of_bound_1()
1085 *(u64*)(r2 + 0) = r1; \ in imm_out_of_bound_1()
1089 r2 = r0; \ in imm_out_of_bound_1()
1090 r2 += %[__imm_0]; \ in imm_out_of_bound_1()
1107 r2 = r10; \ in imm_out_of_bound_2()
1108 r2 += -8; \ in imm_out_of_bound_2()
1110 *(u64*)(r2 + 0) = r1; \ in imm_out_of_bound_2()
1114 r2 = r0; \ in imm_out_of_bound_2()
1115 r2 += -4; \ in imm_out_of_bound_2()
1131 r2 = r10; \ in adjusted_map_via_const_reg()
1132 r2 += -8; \ in adjusted_map_via_const_reg()
1134 *(u64*)(r2 + 0) = r1; \ in adjusted_map_via_const_reg()
1138 r2 = r0; \ in adjusted_map_via_const_reg()
1140 r2 += r3; \ in adjusted_map_via_const_reg()
1157 r2 = r10; \ in reg_out_of_bound_1()
1158 r2 += -8; \ in reg_out_of_bound_1()
1160 *(u64*)(r2 + 0) = r1; \ in reg_out_of_bound_1()
1164 r2 = r0; \ in reg_out_of_bound_1()
1166 r2 += r3; \ in reg_out_of_bound_1()
1183 r2 = r10; \ in reg_out_of_bound_2()
1184 r2 += -8; \ in reg_out_of_bound_2()
1186 *(u64*)(r2 + 0) = r1; \ in reg_out_of_bound_2()
1190 r2 = r0; \ in reg_out_of_bound_2()
1192 r2 += r3; \ in reg_out_of_bound_2()
1208 r2 = r10; \ in to_adjusted_map_via_variable()
1209 r2 += -8; \ in to_adjusted_map_via_variable()
1211 *(u64*)(r2 + 0) = r1; \ in to_adjusted_map_via_variable()
1215 r2 = r0; \ in to_adjusted_map_via_variable()
1218 r2 += r3; \ in to_adjusted_map_via_variable()
1232 __msg("R2 unbounded memory access, make sure to bounds check any such access")
1236 r2 = r10; \ in via_variable_no_max_check_2()
1237 r2 += -8; \ in via_variable_no_max_check_2()
1239 *(u64*)(r2 + 0) = r1; \ in via_variable_no_max_check_2()
1243 r2 = r0; \ in via_variable_no_max_check_2()
1245 r2 += r3; \ in via_variable_no_max_check_2()
1261 r2 = r10; \ in via_variable_wrong_max_check_2()
1262 r2 += -8; \ in via_variable_wrong_max_check_2()
1264 *(u64*)(r2 + 0) = r1; \ in via_variable_wrong_max_check_2()
1268 r2 = r0; \ in via_variable_wrong_max_check_2()
1271 r2 += r3; \ in via_variable_wrong_max_check_2()