Lines Matching full:r0
17 __failure __msg("R0 max value is outside of the allowed memory range")
28 if r0 == 0 goto l0_%=; \ in bounds_map_value_variant_1()
29 r1 = *(u8*)(r0 + 0); \ in bounds_map_value_variant_1()
31 r3 = *(u8*)(r0 + 1); \ in bounds_map_value_variant_1()
35 r0 += r1; \ in bounds_map_value_variant_1()
36 r0 = *(u8*)(r0 + 0); \ in bounds_map_value_variant_1()
38 l0_%=: r0 = 0; \ in bounds_map_value_variant_1()
49 __msg("R0 min value is negative, either use unsigned index or do a if (index >=0) check.")
60 if r0 == 0 goto l0_%=; \ in bounds_map_value_variant_2()
61 r1 = *(u8*)(r0 + 0); \ in bounds_map_value_variant_2()
63 r3 = *(u8*)(r0 + 1); \ in bounds_map_value_variant_2()
66 r0 += r1; \ in bounds_map_value_variant_2()
67 r0 = *(u8*)(r0 + 0); \ in bounds_map_value_variant_2()
69 l0_%=: r0 = 0; \ in bounds_map_value_variant_2()
84 r0 = 0; \ in subtraction_on_pointers_for_unpriv()
92 r9 -= r0; \ in subtraction_on_pointers_for_unpriv()
99 if r0 != 0 goto l0_%=; \ in subtraction_on_pointers_for_unpriv()
101 l0_%=: *(u64*)(r0 + 0) = r9; \ in subtraction_on_pointers_for_unpriv()
102 r0 = 0; \ in subtraction_on_pointers_for_unpriv()
122 if r0 == 0 goto l0_%=; \ in based_on_zero_extended_mov()
128 r0 += r2; \ in based_on_zero_extended_mov()
130 r0 = *(u8*)(r0 + 0); \ in based_on_zero_extended_mov()
132 r0 = 0; \ in based_on_zero_extended_mov()
153 if r0 == 0 goto l0_%=; \ in on_sign_extended_mov_test1()
158 /* r0 = <oob pointer> */ \ in on_sign_extended_mov_test1()
159 r0 += r2; \ in on_sign_extended_mov_test1()
161 r0 = *(u8*)(r0 + 0); \ in on_sign_extended_mov_test1()
163 r0 = 0; \ in on_sign_extended_mov_test1()
173 __failure __msg("R0 min value is outside of the allowed memory range")
184 if r0 == 0 goto l0_%=; \ in on_sign_extended_mov_test2()
189 /* r0 = <oob pointer> */ \ in on_sign_extended_mov_test2()
190 r0 += r2; \ in on_sign_extended_mov_test2()
192 r0 = *(u8*)(r0 + 0); \ in on_sign_extended_mov_test2()
194 r0 = 0; \ in on_sign_extended_mov_test2()
215 if r0 == 0 goto l0_%=; \ in var_off_insn_off_test1()
218 r0 += r6; \ in var_off_insn_off_test1()
219 r0 += %[__imm_0]; \ in var_off_insn_off_test1()
220 l0_%=: r0 = *(u8*)(r0 + 3); \ in var_off_insn_off_test1()
221 r0 = 0; \ in var_off_insn_off_test1()
244 if r0 == 0 goto l0_%=; \ in var_off_insn_off_test2()
247 r0 += r6; \ in var_off_insn_off_test2()
248 r0 += %[__imm_1]; \ in var_off_insn_off_test2()
249 l0_%=: r0 = *(u8*)(r0 + 3); \ in var_off_insn_off_test2()
250 r0 = 0; \ in var_off_insn_off_test2()
273 if r0 == 0 goto l0_%=; \ in of_non_boundary_crossing_range()
275 r1 = *(u8*)(r0 + 0); \ in of_non_boundary_crossing_range()
288 r0 += r1; \ in of_non_boundary_crossing_range()
290 r0 = *(u8*)(r0 + 0); \ in of_non_boundary_crossing_range()
292 r0 = 0; \ in of_non_boundary_crossing_range()
315 if r0 == 0 goto l0_%=; \ in of_boundary_crossing_range_1()
317 r1 = *(u8*)(r0 + 0); \ in of_boundary_crossing_range_1()
331 r0 += r1; \ in of_boundary_crossing_range_1()
333 r0 = 0; \ in of_boundary_crossing_range_1()
355 if r0 == 0 goto l0_%=; \ in of_boundary_crossing_range_2()
357 r1 = *(u8*)(r0 + 0); \ in of_boundary_crossing_range_2()
373 r0 += r1; \ in of_boundary_crossing_range_2()
375 r0 = 0; \ in of_boundary_crossing_range_2()
396 if r0 == 0 goto l0_%=; \ in after_wrapping_32_bit_addition()
404 r0 += r1; \ in after_wrapping_32_bit_addition()
406 r0 = *(u8*)(r0 + 0); \ in after_wrapping_32_bit_addition()
408 r0 = 0; \ in after_wrapping_32_bit_addition()
418 __failure __msg("R0 max value is outside of the allowed memory range")
429 if r0 == 0 goto l0_%=; \ in shift_with_oversized_count_operand()
437 r0 += r1; \ in shift_with_oversized_count_operand()
439 r0 = *(u8*)(r0 + 0); \ in shift_with_oversized_count_operand()
441 r0 = 0; \ in shift_with_oversized_count_operand()
451 __failure __msg("R0 unbounded memory access")
462 if r0 == 0 goto l0_%=; \ in shift_of_maybe_negative_number()
464 r1 = *(u8*)(r0 + 0); \ in shift_of_maybe_negative_number()
472 r0 += r1; \ in shift_of_maybe_negative_number()
474 r0 = *(u8*)(r0 + 0); \ in shift_of_maybe_negative_number()
476 r0 = 0; \ in shift_of_maybe_negative_number()
497 if r0 == 0 goto l0_%=; \ in shift_with_64_bit_input()
506 r0 += r1; \ in shift_with_64_bit_input()
508 r0 = 0; \ in shift_with_64_bit_input()
529 if r0 != 0 goto l0_%=; \ in size_signed_32bit_overflow_test1()
531 l0_%=: r0 += 0x7ffffffe; \ in size_signed_32bit_overflow_test1()
532 r0 = *(u64*)(r0 + 0); \ in size_signed_32bit_overflow_test1()
544 __msg_unpriv("R0 pointer arithmetic of map value goes out of range")
554 if r0 != 0 goto l0_%=; \ in size_signed_32bit_overflow_test2()
556 l0_%=: r0 += 0x1fffffff; \ in size_signed_32bit_overflow_test2()
557 r0 += 0x1fffffff; \ in size_signed_32bit_overflow_test2()
558 r0 += 0x1fffffff; \ in size_signed_32bit_overflow_test2()
559 r0 = *(u64*)(r0 + 0); \ in size_signed_32bit_overflow_test2()
571 __msg_unpriv("R0 pointer arithmetic of map value goes out of range")
581 if r0 != 0 goto l0_%=; \ in size_signed_32bit_overflow_test3()
583 l0_%=: r0 -= 0x1fffffff; \ in size_signed_32bit_overflow_test3()
584 r0 -= 0x1fffffff; \ in size_signed_32bit_overflow_test3()
585 r0 = *(u64*)(r0 + 2); \ in size_signed_32bit_overflow_test3()
607 if r0 != 0 goto l0_%=; \ in size_signed_32bit_overflow_test4()
611 r0 += r1; \ in size_signed_32bit_overflow_test4()
612 r0 = *(u64*)(r0 + 2); \ in size_signed_32bit_overflow_test4()
623 __success __failure_unpriv __msg_unpriv("R0 invalid mem access 'scalar'")
628 r0 = 0; \ in _32bit_and_64bit_arithmetic_test1()
639 r0 = *(u64*)(r0 - 1); \ in _32bit_and_64bit_arithmetic_test1()
646 __success __failure_unpriv __msg_unpriv("R0 invalid mem access 'scalar'")
651 r0 = 0; \ in _32bit_and_64bit_arithmetic_test2()
663 r0 = *(u64*)(r0 - 1); \ in _32bit_and_64bit_arithmetic_test2()
684 l0_%=: r0 = 0; \ in __flag()
695 __msg_unpriv("R0 min value is outside of the allowed memory range")
706 if r0 != 0 goto l0_%=; \ in reg_0_reg_xor_1()
711 r0 = *(u64*)(r0 + 8); \ in reg_0_reg_xor_1()
712 l1_%=: r0 = 0; \ in reg_0_reg_xor_1()
723 __msg_unpriv("R0 min value is outside of the allowed memory range")
734 if r0 != 0 goto l0_%=; \ in reg32_0_reg32_xor_1()
739 r0 = *(u64*)(r0 + 8); \ in reg32_0_reg32_xor_1()
740 l1_%=: r0 = 0; \ in reg32_0_reg32_xor_1()
751 __msg_unpriv("R0 min value is outside of the allowed memory range")
762 if r0 != 0 goto l0_%=; \ in reg_2_reg_xor_3()
767 r0 = *(u64*)(r0 + 8); \ in reg_2_reg_xor_3()
768 l1_%=: r0 = 0; \ in reg_2_reg_xor_3()
789 if r0 != 0 goto l0_%=; \ in reg_any_reg_xor_3()
791 l0_%=: r1 = *(u64*)(r0 + 0); \ in reg_any_reg_xor_3()
794 r0 = *(u64*)(r0 + 8); \ in reg_any_reg_xor_3()
795 l1_%=: r0 = 0; \ in reg_any_reg_xor_3()
816 if r0 != 0 goto l0_%=; \ in reg32_any_reg32_xor_3()
818 l0_%=: r1 = *(u64*)(r0 + 0); \ in reg32_any_reg32_xor_3()
821 r0 = *(u64*)(r0 + 8); \ in reg32_any_reg32_xor_3()
822 l1_%=: r0 = 0; \ in reg32_any_reg32_xor_3()
833 __msg_unpriv("R0 min value is outside of the allowed memory range")
844 if r0 != 0 goto l0_%=; \ in reg_0_reg_xor_3()
846 l0_%=: r1 = *(u64*)(r0 + 0); \ in reg_0_reg_xor_3()
850 r0 = *(u64*)(r0 + 8); \ in reg_0_reg_xor_3()
851 l1_%=: r0 = 0; \ in reg_0_reg_xor_3()
862 __msg_unpriv("R0 min value is outside of the allowed memory range")
873 if r0 != 0 goto l0_%=; \ in reg32_0_reg32_xor_3()
875 l0_%=: r1 = *(u64*)(r0 + 0); \ in reg32_0_reg32_xor_3()
879 r0 = *(u64*)(r0 + 8); \ in reg32_0_reg32_xor_3()
880 l1_%=: r0 = 0; \ in reg32_0_reg32_xor_3()
891 __msg("5: (af) r0 ^= r6 ; R0_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=43…
896 r6 = r0; \ in non_const_xor_src_dst()
899 r0 &= 0x1a0; \ in non_const_xor_src_dst()
900 r0 ^= r6; \ in non_const_xor_src_dst()
912 __msg("5: (4f) r0 |= r6 ; R0_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=43…
917 r6 = r0; \ in non_const_or_src_dst()
920 r0 &= 0x1a0; \ in non_const_or_src_dst()
921 r0 |= r6; \ in non_const_or_src_dst()
933 __msg("5: (2f) r0 *= r6 ; R0_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=38…
938 r6 = r0; \ in non_const_mul_regs()
941 r0 &= 0x0f; \ in non_const_mul_regs()
942 r0 *= r6; \ in non_const_mul_regs()
953 __success __failure_unpriv __msg_unpriv("R0 leaks addr")
964 if r0 == 0 goto l0_%=; \ in _32_bit_truncation_test_1()
965 r1 = *(u32*)(r0 + 0); \ in _32_bit_truncation_test_1()
969 l1_%=: r0 = 0; \ in _32_bit_truncation_test_1()
979 __success __failure_unpriv __msg_unpriv("R0 leaks addr")
990 if r0 == 0 goto l0_%=; \ in _32_bit_truncation_test_2()
991 r1 = *(u32*)(r0 + 0); \ in _32_bit_truncation_test_2()
994 l1_%=: r0 = 0; \ in _32_bit_truncation_test_2()
1014 r0 = 0x7fffffffffffff10 ll; \ in crossing_64_bit_signed_boundary_1()
1015 r1 += r0; \ in crossing_64_bit_signed_boundary_1()
1016 r0 = 0x8000000000000000 ll; \ in crossing_64_bit_signed_boundary_1()
1017 l1_%=: r0 += 1; \ in crossing_64_bit_signed_boundary_1()
1019 if r0 < r1 goto l1_%=; \ in crossing_64_bit_signed_boundary_1()
1020 l0_%=: r0 = 0; \ in crossing_64_bit_signed_boundary_1()
1041 r0 = 0x7fffffffffffff10 ll; \ in crossing_64_bit_signed_boundary_2()
1042 r1 += r0; \ in crossing_64_bit_signed_boundary_2()
1044 r0 = 0x8000000000000000 ll; \ in crossing_64_bit_signed_boundary_2()
1045 l1_%=: r0 += 1; \ in crossing_64_bit_signed_boundary_2()
1046 if r0 s> r2 goto l0_%=; \ in crossing_64_bit_signed_boundary_2()
1048 if r0 s< r1 goto l1_%=; \ in crossing_64_bit_signed_boundary_2()
1049 r0 = 1; \ in crossing_64_bit_signed_boundary_2()
1051 l0_%=: r0 = 0; \ in crossing_64_bit_signed_boundary_2()
1071 r0 = 0x100000000 ll; \ in bound_greater_than_u32_max()
1072 r1 += r0; \ in bound_greater_than_u32_max()
1073 r0 = 0x100000000 ll; \ in bound_greater_than_u32_max()
1074 l1_%=: r0 += 1; \ in bound_greater_than_u32_max()
1075 if r0 < r1 goto l1_%=; \ in bound_greater_than_u32_max()
1076 l0_%=: r0 = 0; \ in bound_greater_than_u32_max()
1102 l0_%=: r0 = 0; \ in crossing_32_bit_signed_boundary_1()
1131 r0 = 1; \ in crossing_32_bit_signed_boundary_2()
1133 l0_%=: r0 = 0; \ in crossing_32_bit_signed_boundary_2()
1151 r4 = r0; \ in reg_not_equal_const()
1154 r0 = 0; \ in reg_not_equal_const()
1167 r0 = 0; \ in reg_not_equal_const()
1185 r4 = r0; \ in reg_equal_const()
1195 l0_%=: r0 = 0; \ in reg_equal_const()