Lines Matching full:r1
49 r1 = 0; \ in access_to_map_full_range()
50 *(u64*)(r2 + 0) = r1; \ in access_to_map_full_range()
51 r1 = %[map_hash_48b] ll; \ in access_to_map_full_range()
54 r1 = r0; \ in access_to_map_full_range()
75 r1 = 0; \ in access_to_map_partial_range()
76 *(u64*)(r2 + 0) = r1; \ in access_to_map_partial_range()
77 r1 = %[map_hash_48b] ll; \ in access_to_map_partial_range()
80 r1 = r0; \ in access_to_map_partial_range()
105 r1 = 0; \ in access_to_map_empty_range()
106 *(u64*)(r2 + 0) = r1; \ in access_to_map_empty_range()
107 r1 = %[map_hash_48b] ll; \ in access_to_map_empty_range()
110 r1 = r0; \ in access_to_map_empty_range()
132 r1 = 0; \ in access_to_map_possibly_empty_range()
133 *(u64*)(r2 + 0) = r1; \ in access_to_map_possibly_empty_range()
134 r1 = %[map_hash_48b] ll; \ in access_to_map_possibly_empty_range()
137 r1 = r0; \ in access_to_map_possibly_empty_range()
161 r1 = 0; \ in map_out_of_bound_range()
162 *(u64*)(r2 + 0) = r1; \ in map_out_of_bound_range()
163 r1 = %[map_hash_48b] ll; \ in map_out_of_bound_range()
166 r1 = r0; \ in map_out_of_bound_range()
187 r1 = 0; \ in access_to_map_negative_range()
188 *(u64*)(r2 + 0) = r1; \ in access_to_map_negative_range()
189 r1 = %[map_hash_48b] ll; \ in access_to_map_negative_range()
192 r1 = r0; \ in access_to_map_negative_range()
212 r1 = 0; \ in via_const_imm_full_range()
213 *(u64*)(r2 + 0) = r1; \ in via_const_imm_full_range()
214 r1 = %[map_hash_48b] ll; \ in via_const_imm_full_range()
217 r1 = r0; \ in via_const_imm_full_range()
218 r1 += %[test_val_foo]; \ in via_const_imm_full_range()
240 r1 = 0; \ in via_const_imm_partial_range()
241 *(u64*)(r2 + 0) = r1; \ in via_const_imm_partial_range()
242 r1 = %[map_hash_48b] ll; \ in via_const_imm_partial_range()
245 r1 = r0; \ in via_const_imm_partial_range()
246 r1 += %[test_val_foo]; \ in via_const_imm_partial_range()
267 r1 = 0; \ in via_const_imm_empty_range()
268 *(u64*)(r2 + 0) = r1; \ in via_const_imm_empty_range()
269 r1 = %[map_hash_48b] ll; \ in via_const_imm_empty_range()
272 r1 = r0; \ in via_const_imm_empty_range()
273 r1 += %[test_val_foo]; \ in via_const_imm_empty_range()
293 r1 = 0; \ in imm_out_of_bound_range()
294 *(u64*)(r2 + 0) = r1; \ in imm_out_of_bound_range()
295 r1 = %[map_hash_48b] ll; \ in imm_out_of_bound_range()
298 r1 = r0; \ in imm_out_of_bound_range()
299 r1 += %[test_val_foo]; \ in imm_out_of_bound_range()
321 r1 = 0; \ in const_imm_negative_range_adjustment_1()
322 *(u64*)(r2 + 0) = r1; \ in const_imm_negative_range_adjustment_1()
323 r1 = %[map_hash_48b] ll; \ in const_imm_negative_range_adjustment_1()
326 r1 = r0; \ in const_imm_negative_range_adjustment_1()
327 r1 += %[test_val_foo]; \ in const_imm_negative_range_adjustment_1()
348 r1 = 0; \ in const_imm_negative_range_adjustment_2()
349 *(u64*)(r2 + 0) = r1; \ in const_imm_negative_range_adjustment_2()
350 r1 = %[map_hash_48b] ll; \ in const_imm_negative_range_adjustment_2()
353 r1 = r0; \ in const_imm_negative_range_adjustment_2()
354 r1 += %[test_val_foo]; \ in const_imm_negative_range_adjustment_2()
375 r1 = 0; \ in via_const_reg_full_range()
376 *(u64*)(r2 + 0) = r1; \ in via_const_reg_full_range()
377 r1 = %[map_hash_48b] ll; \ in via_const_reg_full_range()
380 r1 = r0; \ in via_const_reg_full_range()
382 r1 += r3; \ in via_const_reg_full_range()
404 r1 = 0; \ in via_const_reg_partial_range()
405 *(u64*)(r2 + 0) = r1; \ in via_const_reg_partial_range()
406 r1 = %[map_hash_48b] ll; \ in via_const_reg_partial_range()
409 r1 = r0; \ in via_const_reg_partial_range()
411 r1 += r3; \ in via_const_reg_partial_range()
432 r1 = 0; \ in via_const_reg_empty_range()
433 *(u64*)(r2 + 0) = r1; \ in via_const_reg_empty_range()
434 r1 = %[map_hash_48b] ll; \ in via_const_reg_empty_range()
437 r1 = r0; \ in via_const_reg_empty_range()
439 r1 += r3; \ in via_const_reg_empty_range()
458 r1 = 0; \ in reg_out_of_bound_range()
459 *(u64*)(r2 + 0) = r1; \ in reg_out_of_bound_range()
460 r1 = %[map_hash_48b] ll; \ in reg_out_of_bound_range()
463 r1 = r0; \ in reg_out_of_bound_range()
465 r1 += r3; \ in reg_out_of_bound_range()
487 r1 = 0; \ in const_reg_negative_range_adjustment_1()
488 *(u64*)(r2 + 0) = r1; \ in const_reg_negative_range_adjustment_1()
489 r1 = %[map_hash_48b] ll; \ in const_reg_negative_range_adjustment_1()
492 r1 = r0; \ in const_reg_negative_range_adjustment_1()
494 r1 += r3; \ in const_reg_negative_range_adjustment_1()
515 r1 = 0; \ in const_reg_negative_range_adjustment_2()
516 *(u64*)(r2 + 0) = r1; \ in const_reg_negative_range_adjustment_2()
517 r1 = %[map_hash_48b] ll; \ in const_reg_negative_range_adjustment_2()
520 r1 = r0; \ in const_reg_negative_range_adjustment_2()
522 r1 += r3; \ in const_reg_negative_range_adjustment_2()
543 r1 = 0; \ in map_via_variable_full_range()
544 *(u64*)(r2 + 0) = r1; \ in map_via_variable_full_range()
545 r1 = %[map_hash_48b] ll; \ in map_via_variable_full_range()
548 r1 = r0; \ in map_via_variable_full_range()
551 r1 += r3; \ in map_via_variable_full_range()
573 r1 = 0; \ in map_via_variable_partial_range()
574 *(u64*)(r2 + 0) = r1; \ in map_via_variable_partial_range()
575 r1 = %[map_hash_48b] ll; \ in map_via_variable_partial_range()
578 r1 = r0; \ in map_via_variable_partial_range()
581 r1 += r3; \ in map_via_variable_partial_range()
602 r1 = 0; \ in map_via_variable_empty_range()
603 *(u64*)(r2 + 0) = r1; \ in map_via_variable_empty_range()
604 r1 = %[map_hash_48b] ll; \ in map_via_variable_empty_range()
607 r1 = r0; \ in map_via_variable_empty_range()
610 r1 += r3; \ in map_via_variable_empty_range()
624 __failure __msg("R1 unbounded memory access")
630 r1 = 0; \ in via_variable_no_max_check_1()
631 *(u64*)(r2 + 0) = r1; \ in via_variable_no_max_check_1()
632 r1 = %[map_hash_48b] ll; \ in via_variable_no_max_check_1()
635 r1 = r0; \ in via_variable_no_max_check_1()
637 r1 += r3; \ in via_variable_no_max_check_1()
657 r1 = 0; \ in via_variable_wrong_max_check_1()
658 *(u64*)(r2 + 0) = r1; \ in via_variable_wrong_max_check_1()
659 r1 = %[map_hash_48b] ll; \ in via_variable_wrong_max_check_1()
662 r1 = r0; \ in via_variable_wrong_max_check_1()
665 r1 += r3; \ in via_variable_wrong_max_check_1()
687 r1 = 0; \ in bounds_check_using_good_access_1()
688 *(u64*)(r2 + 0) = r1; \ in bounds_check_using_good_access_1()
689 r1 = %[map_hash_48b] ll; \ in bounds_check_using_good_access_1()
692 r1 = r0; \ in bounds_check_using_good_access_1()
697 l1_%=: r1 += r3; \ in bounds_check_using_good_access_1()
699 *(u8*)(r1 + 0) = r0; \ in bounds_check_using_good_access_1()
710 __failure __msg("R1 unbounded memory access")
716 r1 = 0; \ in bounds_check_using_bad_access_1()
717 *(u64*)(r2 + 0) = r1; \ in bounds_check_using_bad_access_1()
718 r1 = %[map_hash_48b] ll; \ in bounds_check_using_bad_access_1()
721 r1 = r0; \ in bounds_check_using_bad_access_1()
724 r1 += r3; \ in bounds_check_using_bad_access_1()
726 *(u8*)(r1 + 0) = r0; \ in bounds_check_using_bad_access_1()
745 r1 = 0; \ in bounds_check_using_good_access_2()
746 *(u64*)(r2 + 0) = r1; \ in bounds_check_using_good_access_2()
747 r1 = %[map_hash_48b] ll; \ in bounds_check_using_good_access_2()
750 r1 = r0; \ in bounds_check_using_good_access_2()
755 l1_%=: r1 += r3; \ in bounds_check_using_good_access_2()
757 *(u8*)(r1 + 0) = r0; \ in bounds_check_using_good_access_2()
768 __failure __msg("R1 unbounded memory access")
774 r1 = 0; \ in bounds_check_using_bad_access_2()
775 *(u64*)(r2 + 0) = r1; \ in bounds_check_using_bad_access_2()
776 r1 = %[map_hash_48b] ll; \ in bounds_check_using_bad_access_2()
779 r1 = r0; \ in bounds_check_using_bad_access_2()
782 r1 += r3; \ in bounds_check_using_bad_access_2()
784 *(u8*)(r1 + 0) = r0; \ in bounds_check_using_bad_access_2()
803 r1 = 0; \ in check_using_s_good_access_1()
804 *(u64*)(r2 + 0) = r1; \ in check_using_s_good_access_1()
805 r1 = %[map_hash_48b] ll; \ in check_using_s_good_access_1()
808 r1 = r0; \ in check_using_s_good_access_1()
814 r1 += r3; \ in check_using_s_good_access_1()
816 *(u8*)(r1 + 0) = r0; \ in check_using_s_good_access_1()
833 r1 = 0; \ in using_s_good_access_2_1()
834 *(u64*)(r2 + 0) = r1; \ in using_s_good_access_2_1()
835 r1 = %[map_hash_48b] ll; \ in using_s_good_access_2_1()
838 r1 = r0; \ in using_s_good_access_2_1()
844 r1 += r3; \ in using_s_good_access_2_1()
846 *(u8*)(r1 + 0) = r0; \ in using_s_good_access_2_1()
857 __failure __msg("R1 min value is negative")
863 r1 = 0; \ in check_using_s_bad_access_1()
864 *(u64*)(r2 + 0) = r1; \ in check_using_s_bad_access_1()
865 r1 = %[map_hash_48b] ll; \ in check_using_s_bad_access_1()
868 r1 = r0; \ in check_using_s_bad_access_1()
874 r1 += r3; \ in check_using_s_bad_access_1()
876 *(u8*)(r1 + 0) = r0; \ in check_using_s_bad_access_1()
893 r1 = 0; \ in check_using_s_good_access_2()
894 *(u64*)(r2 + 0) = r1; \ in check_using_s_good_access_2()
895 r1 = %[map_hash_48b] ll; \ in check_using_s_good_access_2()
898 r1 = r0; \ in check_using_s_good_access_2()
904 r1 += r3; \ in check_using_s_good_access_2()
906 *(u8*)(r1 + 0) = r0; \ in check_using_s_good_access_2()
923 r1 = 0; \ in using_s_good_access_2_2()
924 *(u64*)(r2 + 0) = r1; \ in using_s_good_access_2_2()
925 r1 = %[map_hash_48b] ll; \ in using_s_good_access_2_2()
928 r1 = r0; \ in using_s_good_access_2_2()
934 r1 += r3; \ in using_s_good_access_2_2()
936 *(u8*)(r1 + 0) = r0; \ in using_s_good_access_2_2()
947 __failure __msg("R1 min value is negative")
953 r1 = 0; \ in check_using_s_bad_access_2()
954 *(u64*)(r2 + 0) = r1; \ in check_using_s_bad_access_2()
955 r1 = %[map_hash_48b] ll; \ in check_using_s_bad_access_2()
958 r1 = r0; \ in check_using_s_bad_access_2()
964 r1 += r3; \ in check_using_s_bad_access_2()
966 *(u8*)(r1 + 0) = r0; \ in check_using_s_bad_access_2()
983 r1 = 0; \ in lookup_helper_access_to_map()
984 *(u64*)(r2 + 0) = r1; \ in lookup_helper_access_to_map()
985 r1 = %[map_hash_16b] ll; \ in lookup_helper_access_to_map()
989 r1 = %[map_hash_16b] ll; \ in lookup_helper_access_to_map()
1006 r1 = 0; \ in update_helper_access_to_map()
1007 *(u64*)(r2 + 0) = r1; \ in update_helper_access_to_map()
1008 r1 = %[map_hash_16b] ll; \ in update_helper_access_to_map()
1014 r1 = %[map_hash_16b] ll; \ in update_helper_access_to_map()
1032 r1 = 0; \ in access_to_map_wrong_size()
1033 *(u64*)(r2 + 0) = r1; \ in access_to_map_wrong_size()
1034 r1 = %[map_hash_8b] ll; \ in access_to_map_wrong_size()
1040 r1 = %[map_hash_16b] ll; \ in access_to_map_wrong_size()
1059 r1 = 0; \ in adjusted_map_via_const_imm()
1060 *(u64*)(r2 + 0) = r1; \ in adjusted_map_via_const_imm()
1061 r1 = %[map_hash_16b] ll; \ in adjusted_map_via_const_imm()
1066 r1 = %[map_hash_16b] ll; \ in adjusted_map_via_const_imm()
1084 r1 = 0; \ in imm_out_of_bound_1()
1085 *(u64*)(r2 + 0) = r1; \ in imm_out_of_bound_1()
1086 r1 = %[map_hash_16b] ll; \ in imm_out_of_bound_1()
1091 r1 = %[map_hash_16b] ll; \ in imm_out_of_bound_1()
1109 r1 = 0; \ in imm_out_of_bound_2()
1110 *(u64*)(r2 + 0) = r1; \ in imm_out_of_bound_2()
1111 r1 = %[map_hash_16b] ll; \ in imm_out_of_bound_2()
1116 r1 = %[map_hash_16b] ll; \ in imm_out_of_bound_2()
1133 r1 = 0; \ in adjusted_map_via_const_reg()
1134 *(u64*)(r2 + 0) = r1; \ in adjusted_map_via_const_reg()
1135 r1 = %[map_hash_16b] ll; \ in adjusted_map_via_const_reg()
1141 r1 = %[map_hash_16b] ll; \ in adjusted_map_via_const_reg()
1159 r1 = 0; \ in reg_out_of_bound_1()
1160 *(u64*)(r2 + 0) = r1; \ in reg_out_of_bound_1()
1161 r1 = %[map_hash_16b] ll; \ in reg_out_of_bound_1()
1167 r1 = %[map_hash_16b] ll; \ in reg_out_of_bound_1()
1185 r1 = 0; \ in reg_out_of_bound_2()
1186 *(u64*)(r2 + 0) = r1; \ in reg_out_of_bound_2()
1187 r1 = %[map_hash_16b] ll; \ in reg_out_of_bound_2()
1193 r1 = %[map_hash_16b] ll; \ in reg_out_of_bound_2()
1210 r1 = 0; \ in to_adjusted_map_via_variable()
1211 *(u64*)(r2 + 0) = r1; \ in to_adjusted_map_via_variable()
1212 r1 = %[map_hash_16b] ll; \ in to_adjusted_map_via_variable()
1219 r1 = %[map_hash_16b] ll; \ in to_adjusted_map_via_variable()
1238 r1 = 0; \ in via_variable_no_max_check_2()
1239 *(u64*)(r2 + 0) = r1; \ in via_variable_no_max_check_2()
1240 r1 = %[map_hash_16b] ll; \ in via_variable_no_max_check_2()
1246 r1 = %[map_hash_16b] ll; \ in via_variable_no_max_check_2()
1263 r1 = 0; \ in via_variable_wrong_max_check_2()
1264 *(u64*)(r2 + 0) = r1; \ in via_variable_wrong_max_check_2()
1265 r1 = %[map_hash_16b] ll; \ in via_variable_wrong_max_check_2()
1272 r1 = %[map_hash_16b] ll; \ in via_variable_wrong_max_check_2()