Lines Matching full:r1
22 r1 = 0; \ in bounds_map_value_variant_1()
23 *(u64*)(r10 - 8) = r1; \ in bounds_map_value_variant_1()
26 r1 = %[map_hash_8b] ll; \ in bounds_map_value_variant_1()
29 r1 = *(u8*)(r0 + 0); \ in bounds_map_value_variant_1()
30 if r1 > 0xff goto l0_%=; \ in bounds_map_value_variant_1()
33 r1 -= r3; \ in bounds_map_value_variant_1()
34 r1 >>= 56; \ in bounds_map_value_variant_1()
35 r0 += r1; \ in bounds_map_value_variant_1()
50 __msg_unpriv("R1 has unknown scalar with mixed signed bounds")
54 r1 = 0; \ in bounds_map_value_variant_2()
55 *(u64*)(r10 - 8) = r1; \ in bounds_map_value_variant_2()
58 r1 = %[map_hash_8b] ll; \ in bounds_map_value_variant_2()
61 r1 = *(u8*)(r0 + 0); \ in bounds_map_value_variant_2()
62 if r1 > 0xff goto l0_%=; \ in bounds_map_value_variant_2()
65 r1 -= r3; \ in bounds_map_value_variant_2()
66 r0 += r1; \ in bounds_map_value_variant_2()
85 r1 = %[map_hash_8b] ll; \ in subtraction_on_pointers_for_unpriv()
93 r1 = %[map_hash_8b] ll; \ in subtraction_on_pointers_for_unpriv()
116 r1 = 0; \ in based_on_zero_extended_mov()
117 *(u64*)(r10 - 8) = r1; \ in based_on_zero_extended_mov()
120 r1 = %[map_hash_8b] ll; \ in based_on_zero_extended_mov()
147 r1 = 0; \ in on_sign_extended_mov_test1()
148 *(u64*)(r10 - 8) = r1; \ in on_sign_extended_mov_test1()
151 r1 = %[map_hash_8b] ll; \ in on_sign_extended_mov_test1()
178 r1 = 0; \ in on_sign_extended_mov_test2()
179 *(u64*)(r10 - 8) = r1; \ in on_sign_extended_mov_test2()
182 r1 = %[map_hash_8b] ll; \ in on_sign_extended_mov_test2()
208 r6 = *(u32*)(r1 + %[__sk_buff_mark]); \ in var_off_insn_off_test1()
209 r1 = 0; \ in var_off_insn_off_test1()
210 *(u64*)(r10 - 8) = r1; \ in var_off_insn_off_test1()
213 r1 = %[map_hash_8b] ll; \ in var_off_insn_off_test1()
237 r6 = *(u32*)(r1 + %[__sk_buff_mark]); \ in var_off_insn_off_test2()
238 r1 = 0; \ in var_off_insn_off_test2()
239 *(u64*)(r10 - 8) = r1; \ in var_off_insn_off_test2()
242 r1 = %[map_hash_8b] ll; \ in var_off_insn_off_test2()
267 r1 = 0; \ in of_non_boundary_crossing_range()
268 *(u64*)(r10 - 8) = r1; \ in of_non_boundary_crossing_range()
271 r1 = %[map_hash_8b] ll; \ in of_non_boundary_crossing_range()
274 /* r1 = [0x00, 0xff] */ \ in of_non_boundary_crossing_range()
275 r1 = *(u8*)(r0 + 0); \ in of_non_boundary_crossing_range()
279 /* r1 = [0x10'0000'0000, 0x10'0000'00ff] */ \ in of_non_boundary_crossing_range()
280 r1 += r2; \ in of_non_boundary_crossing_range()
281 /* r1 = [0x10'7fff'ffff, 0x10'8000'00fe] */ \ in of_non_boundary_crossing_range()
282 r1 += 0x7fffffff; \ in of_non_boundary_crossing_range()
283 /* r1 = [0x00, 0xff] */ \ in of_non_boundary_crossing_range()
285 /* r1 = 0 */ \ in of_non_boundary_crossing_range()
286 r1 >>= 8; \ in of_non_boundary_crossing_range()
288 r0 += r1; \ in of_non_boundary_crossing_range()
309 r1 = 0; \ in of_boundary_crossing_range_1()
310 *(u64*)(r10 - 8) = r1; \ in of_boundary_crossing_range_1()
313 r1 = %[map_hash_8b] ll; \ in of_boundary_crossing_range_1()
316 /* r1 = [0x00, 0xff] */ \ in of_boundary_crossing_range_1()
317 r1 = *(u8*)(r0 + 0); \ in of_boundary_crossing_range_1()
318 r1 += %[__imm_0]; \ in of_boundary_crossing_range_1()
319 /* r1 = [0xffff'ff80, 0x1'0000'007f] */ \ in of_boundary_crossing_range_1()
320 r1 += %[__imm_0]; \ in of_boundary_crossing_range_1()
321 /* r1 = [0xffff'ff80, 0xffff'ffff] or \ in of_boundary_crossing_range_1()
325 r1 -= %[__imm_0]; \ in of_boundary_crossing_range_1()
326 /* r1 = [0x00, 0xff] or \ in of_boundary_crossing_range_1()
329 r1 -= %[__imm_0]; \ in of_boundary_crossing_range_1()
331 r0 += r1; \ in of_boundary_crossing_range_1()
349 r1 = 0; \ in of_boundary_crossing_range_2()
350 *(u64*)(r10 - 8) = r1; \ in of_boundary_crossing_range_2()
353 r1 = %[map_hash_8b] ll; \ in of_boundary_crossing_range_2()
356 /* r1 = [0x00, 0xff] */ \ in of_boundary_crossing_range_2()
357 r1 = *(u8*)(r0 + 0); \ in of_boundary_crossing_range_2()
358 r1 += %[__imm_0]; \ in of_boundary_crossing_range_2()
359 /* r1 = [0xffff'ff80, 0x1'0000'007f] */ \ in of_boundary_crossing_range_2()
360 r1 += %[__imm_0]; \ in of_boundary_crossing_range_2()
361 /* r1 = [0xffff'ff80, 0xffff'ffff] or \ in of_boundary_crossing_range_2()
367 r1 -= %[__imm_0]; \ in of_boundary_crossing_range_2()
368 /* r1 = [0x00, 0xff] or \ in of_boundary_crossing_range_2()
371 r1 -= %[__imm_0]; \ in of_boundary_crossing_range_2()
373 r0 += r1; \ in of_boundary_crossing_range_2()
390 r1 = 0; \ in after_wrapping_32_bit_addition()
391 *(u64*)(r10 - 8) = r1; \ in after_wrapping_32_bit_addition()
394 r1 = %[map_hash_8b] ll; \ in after_wrapping_32_bit_addition()
397 /* r1 = 0x7fff'ffff */ \ in after_wrapping_32_bit_addition()
398 r1 = 0x7fffffff; \ in after_wrapping_32_bit_addition()
399 /* r1 = 0xffff'fffe */ \ in after_wrapping_32_bit_addition()
400 r1 += 0x7fffffff; \ in after_wrapping_32_bit_addition()
401 /* r1 = 0 */ \ in after_wrapping_32_bit_addition()
404 r0 += r1; \ in after_wrapping_32_bit_addition()
423 r1 = 0; \ in shift_with_oversized_count_operand()
424 *(u64*)(r10 - 8) = r1; \ in shift_with_oversized_count_operand()
427 r1 = %[map_hash_8b] ll; \ in shift_with_oversized_count_operand()
431 r1 = 1; \ in shift_with_oversized_count_operand()
432 /* r1 = (u32)1 << (u32)32 = ? */ \ in shift_with_oversized_count_operand()
434 /* r1 = [0x0000, 0xffff] */ \ in shift_with_oversized_count_operand()
435 r1 &= 0xffff; \ in shift_with_oversized_count_operand()
437 r0 += r1; \ in shift_with_oversized_count_operand()
456 r1 = 0; \ in shift_of_maybe_negative_number()
457 *(u64*)(r10 - 8) = r1; \ in shift_of_maybe_negative_number()
460 r1 = %[map_hash_8b] ll; \ in shift_of_maybe_negative_number()
463 /* r1 = [0x00, 0xff] */ \ in shift_of_maybe_negative_number()
464 r1 = *(u8*)(r0 + 0); \ in shift_of_maybe_negative_number()
465 /* r1 = [-0x01, 0xfe] */ \ in shift_of_maybe_negative_number()
466 r1 -= 1; \ in shift_of_maybe_negative_number()
467 /* r1 = 0 or 0xff'ffff'ffff'ffff */ \ in shift_of_maybe_negative_number()
468 r1 >>= 8; \ in shift_of_maybe_negative_number()
469 /* r1 = 0 or 0xffff'ffff'ffff */ \ in shift_of_maybe_negative_number()
470 r1 >>= 8; \ in shift_of_maybe_negative_number()
472 r0 += r1; \ in shift_of_maybe_negative_number()
491 r1 = 0; \ in shift_with_64_bit_input()
492 *(u64*)(r10 - 8) = r1; \ in shift_with_64_bit_input()
495 r1 = %[map_hash_8b] ll; \ in shift_with_64_bit_input()
498 r1 = 2; \ in shift_with_64_bit_input()
499 /* r1 = 1<<32 */ \ in shift_with_64_bit_input()
500 r1 <<= 31; \ in shift_with_64_bit_input()
501 /* r1 = 0 (NOT 2!) */ \ in shift_with_64_bit_input()
503 /* r1 = 0xffff'fffe (NOT 0!) */ \ in shift_with_64_bit_input()
506 r0 += r1; \ in shift_with_64_bit_input()
523 r1 = 0; \ in size_signed_32bit_overflow_test1()
524 *(u64*)(r10 - 8) = r1; \ in size_signed_32bit_overflow_test1()
527 r1 = %[map_hash_8b] ll; \ in size_signed_32bit_overflow_test1()
548 r1 = 0; \ in size_signed_32bit_overflow_test2()
549 *(u64*)(r10 - 8) = r1; \ in size_signed_32bit_overflow_test2()
552 r1 = %[map_hash_8b] ll; \ in size_signed_32bit_overflow_test2()
575 r1 = 0; \ in size_signed_32bit_overflow_test3()
576 *(u64*)(r10 - 8) = r1; \ in size_signed_32bit_overflow_test3()
579 r1 = %[map_hash_8b] ll; \ in size_signed_32bit_overflow_test3()
601 r1 = 0; \ in size_signed_32bit_overflow_test4()
602 *(u64*)(r10 - 8) = r1; \ in size_signed_32bit_overflow_test4()
605 r1 = %[map_hash_8b] ll; \ in size_signed_32bit_overflow_test4()
609 l0_%=: r1 = 1000000; \ in size_signed_32bit_overflow_test4()
610 r1 *= 1000000; \ in size_signed_32bit_overflow_test4()
611 r0 += r1; \ in size_signed_32bit_overflow_test4()
629 r1 = -1; \ in _32bit_and_64bit_arithmetic_test1()
630 r1 <<= 32; \ in _32bit_and_64bit_arithmetic_test1()
631 r1 += 1; \ in _32bit_and_64bit_arithmetic_test1()
632 /* r1 = 0xffffFFFF00000001 */ \ in _32bit_and_64bit_arithmetic_test1()
635 r1 += 1; \ in _32bit_and_64bit_arithmetic_test1()
652 r1 = -1; \ in _32bit_and_64bit_arithmetic_test2()
653 r1 <<= 32; \ in _32bit_and_64bit_arithmetic_test2()
654 r1 += 1; \ in _32bit_and_64bit_arithmetic_test2()
655 /* r1 = 0xffffFFFF00000001 */ \ in _32bit_and_64bit_arithmetic_test2()
657 /* r1 = 0x2 */ \ in _32bit_and_64bit_arithmetic_test2()
660 if r1 > r2 goto l0_%=; \ in _32bit_and_64bit_arithmetic_test2()
674 r8 = *(u32*)(r1 + %[__sk_buff_data_end]); \ in __flag()
675 r7 = *(u32*)(r1 + %[__sk_buff_data]); \ in __flag()
700 r1 = 0; \ in reg_0_reg_xor_1()
701 *(u64*)(r10 - 8) = r1; \ in reg_0_reg_xor_1()
704 r1 = %[map_hash_8b] ll; \ in reg_0_reg_xor_1()
708 l0_%=: r1 = 0; \ in reg_0_reg_xor_1()
709 r1 ^= 1; \ in reg_0_reg_xor_1()
710 if r1 != 0 goto l1_%=; \ in reg_0_reg_xor_1()
728 r1 = 0; \ in reg32_0_reg32_xor_1()
729 *(u64*)(r10 - 8) = r1; \ in reg32_0_reg32_xor_1()
732 r1 = %[map_hash_8b] ll; \ in reg32_0_reg32_xor_1()
756 r1 = 0; \ in reg_2_reg_xor_3()
757 *(u64*)(r10 - 8) = r1; \ in reg_2_reg_xor_3()
760 r1 = %[map_hash_8b] ll; \ in reg_2_reg_xor_3()
764 l0_%=: r1 = 2; \ in reg_2_reg_xor_3()
765 r1 ^= 3; \ in reg_2_reg_xor_3()
766 if r1 > 0 goto l1_%=; \ in reg_2_reg_xor_3()
783 r1 = 0; \ in reg_any_reg_xor_3()
784 *(u64*)(r10 - 8) = r1; \ in reg_any_reg_xor_3()
787 r1 = %[map_hash_8b] ll; \ in reg_any_reg_xor_3()
791 l0_%=: r1 = *(u64*)(r0 + 0); \ in reg_any_reg_xor_3()
792 r1 ^= 3; \ in reg_any_reg_xor_3()
793 if r1 != 0 goto l1_%=; \ in reg_any_reg_xor_3()
810 r1 = 0; \ in reg32_any_reg32_xor_3()
811 *(u64*)(r10 - 8) = r1; \ in reg32_any_reg32_xor_3()
814 r1 = %[map_hash_8b] ll; \ in reg32_any_reg32_xor_3()
818 l0_%=: r1 = *(u64*)(r0 + 0); \ in reg32_any_reg32_xor_3()
838 r1 = 0; \ in reg_0_reg_xor_3()
839 *(u64*)(r10 - 8) = r1; \ in reg_0_reg_xor_3()
842 r1 = %[map_hash_8b] ll; \ in reg_0_reg_xor_3()
846 l0_%=: r1 = *(u64*)(r0 + 0); \ in reg_0_reg_xor_3()
847 if r1 <= 0 goto l1_%=; \ in reg_0_reg_xor_3()
848 r1 ^= 3; \ in reg_0_reg_xor_3()
849 if r1 >= 0 goto l1_%=; \ in reg_0_reg_xor_3()
867 r1 = 0; \ in reg32_0_reg32_xor_3()
868 *(u64*)(r10 - 8) = r1; \ in reg32_0_reg32_xor_3()
871 r1 = %[map_hash_8b] ll; \ in reg32_0_reg32_xor_3()
875 l0_%=: r1 = *(u64*)(r0 + 0); \ in reg32_0_reg32_xor_3()
958 r1 = 0; \ in _32_bit_truncation_test_1()
959 *(u64*)(r10 - 8) = r1; \ in _32_bit_truncation_test_1()
962 r1 = %[map_hash_8b] ll; \ in _32_bit_truncation_test_1()
965 r1 = *(u32*)(r0 + 0); \ in _32_bit_truncation_test_1()
967 if r1 == 0 goto l1_%=; \ in _32_bit_truncation_test_1()
968 if r1 > 0x7fffffff goto l0_%=; \ in _32_bit_truncation_test_1()
984 r1 = 0; \ in _32_bit_truncation_test_2()
985 *(u64*)(r10 - 8) = r1; \ in _32_bit_truncation_test_2()
988 r1 = %[map_hash_8b] ll; \ in _32_bit_truncation_test_2()
991 r1 = *(u32*)(r0 + 0); \ in _32_bit_truncation_test_2()
992 if r1 s< 1 goto l1_%=; \ in _32_bit_truncation_test_2()
1008 r2 = *(u32*)(r1 + %[xdp_md_data]); \ in crossing_64_bit_signed_boundary_1()
1009 r3 = *(u32*)(r1 + %[xdp_md_data_end]); \ in crossing_64_bit_signed_boundary_1()
1010 r1 = r2; \ in crossing_64_bit_signed_boundary_1()
1011 r1 += 1; \ in crossing_64_bit_signed_boundary_1()
1012 if r1 > r3 goto l0_%=; \ in crossing_64_bit_signed_boundary_1()
1013 r1 = *(u8*)(r2 + 0); \ in crossing_64_bit_signed_boundary_1()
1015 r1 += r0; \ in crossing_64_bit_signed_boundary_1()
1018 /* r1 unsigned range is [0x7fffffffffffff10, 0x800000000000000f] */\ in crossing_64_bit_signed_boundary_1()
1019 if r0 < r1 goto l1_%=; \ in crossing_64_bit_signed_boundary_1()
1035 r2 = *(u32*)(r1 + %[xdp_md_data]); \ in crossing_64_bit_signed_boundary_2()
1036 r3 = *(u32*)(r1 + %[xdp_md_data_end]); \ in crossing_64_bit_signed_boundary_2()
1037 r1 = r2; \ in crossing_64_bit_signed_boundary_2()
1038 r1 += 1; \ in crossing_64_bit_signed_boundary_2()
1039 if r1 > r3 goto l0_%=; \ in crossing_64_bit_signed_boundary_2()
1040 r1 = *(u8*)(r2 + 0); \ in crossing_64_bit_signed_boundary_2()
1042 r1 += r0; \ in crossing_64_bit_signed_boundary_2()
1047 /* r1 signed range is [S64_MIN, S64_MAX] */ \ in crossing_64_bit_signed_boundary_2()
1048 if r0 s< r1 goto l1_%=; \ in crossing_64_bit_signed_boundary_2()
1065 r2 = *(u32*)(r1 + %[xdp_md_data]); \ in bound_greater_than_u32_max()
1066 r3 = *(u32*)(r1 + %[xdp_md_data_end]); \ in bound_greater_than_u32_max()
1067 r1 = r2; \ in bound_greater_than_u32_max()
1068 r1 += 1; \ in bound_greater_than_u32_max()
1069 if r1 > r3 goto l0_%=; \ in bound_greater_than_u32_max()
1070 r1 = *(u8*)(r2 + 0); \ in bound_greater_than_u32_max()
1072 r1 += r0; \ in bound_greater_than_u32_max()
1075 if r0 < r1 goto l1_%=; \ in bound_greater_than_u32_max()
1090 r2 = *(u32*)(r1 + %[xdp_md_data]); \ in crossing_32_bit_signed_boundary_1()
1091 r3 = *(u32*)(r1 + %[xdp_md_data_end]); \ in crossing_32_bit_signed_boundary_1()
1092 r1 = r2; \ in crossing_32_bit_signed_boundary_1()
1093 r1 += 1; \ in crossing_32_bit_signed_boundary_1()
1094 if r1 > r3 goto l0_%=; \ in crossing_32_bit_signed_boundary_1()
1095 r1 = *(u8*)(r2 + 0); \ in crossing_32_bit_signed_boundary_1()
1100 /* r1 unsigned range is [0, 0x8000000f] */ \ in crossing_32_bit_signed_boundary_1()
1117 r2 = *(u32*)(r1 + %[xdp_md_data]); \ in crossing_32_bit_signed_boundary_2()
1118 r3 = *(u32*)(r1 + %[xdp_md_data_end]); \ in crossing_32_bit_signed_boundary_2()
1119 r1 = r2; \ in crossing_32_bit_signed_boundary_2()
1120 r1 += 1; \ in crossing_32_bit_signed_boundary_2()
1121 if r1 > r3 goto l0_%=; \ in crossing_32_bit_signed_boundary_2()
1122 r1 = *(u8*)(r2 + 0); \ in crossing_32_bit_signed_boundary_2()
1129 /* r1 signed range is [S32_MIN, S32_MAX] */ \ in crossing_32_bit_signed_boundary_2()
1147 r6 = r1; \ in reg_not_equal_const()
1148 r1 = 0; \ in reg_not_equal_const()
1149 *(u64*)(r10 - 8) = r1; \ in reg_not_equal_const()
1156 l0_%=: r1 = r6; \ in reg_not_equal_const()
1181 r6 = r1; \ in reg_equal_const()
1182 r1 = 0; \ in reg_equal_const()
1183 *(u64*)(r10 - 8) = r1; \ in reg_equal_const()
1188 r1 = r6; \ in reg_equal_const()