10 	__uint(max_entries, 1);
16 __description("subtraction bounds (map value) variant 1")
31 	r3 = *(u8*)(r0 + 1);				\  in bounds_map_value_variant_1()
63 	r3 = *(u8*)(r0 + 1);				\  in bounds_map_value_variant_2()
216 	r6 &= 1;					\  in var_off_insn_off_test1()
226 	  __imm_const(__imm_0, (1 << 29) - 1),  in var_off_insn_off_test1()
245 	r6 &= 1;					\  in var_off_insn_off_test2()
255 	  __imm_const(__imm_0, (1 << 30) - 1),  in var_off_insn_off_test2()
256 	  __imm_const(__imm_1, (1 << 29) - 1),  in var_off_insn_off_test2()
276 	r2 = 1;						\  in of_non_boundary_crossing_range()
301 __description("bounds check after truncation of boundary-crossing range (1)")
319 	/* r1 = [0xffff'ff80, 0x1'0000'007f] */		\  in of_boundary_crossing_range_1()
321 	/* r1 = [0xffff'ff80, 0xffff'ffff] or		\  in of_boundary_crossing_range_1()
338 	  __imm_const(__imm_0, 0xffffff80 >> 1)  in of_boundary_crossing_range_1()
359 	/* r1 = [0xffff'ff80, 0x1'0000'007f] */		\  in of_boundary_crossing_range_2()
361 	/* r1 = [0xffff'ff80, 0xffff'ffff] or		\  in of_boundary_crossing_range_2()
380 	  __imm_const(__imm_0, 0xffffff80 >> 1)  in of_boundary_crossing_range_2()
431 	r1 = 1;						\  in shift_with_oversized_count_operand()
432 	/* r1 = (u32)1 << (u32)32 = ? */		\  in shift_with_oversized_count_operand()
466 	r1 -= 1;					\  in shift_of_maybe_negative_number()
499 	/* r1 = 1<<32 */				\  in shift_with_64_bit_input()
629 	r1 = -1;					\  in _32bit_and_64bit_arithmetic_test1()
631 	r1 += 1;					\  in _32bit_and_64bit_arithmetic_test1()
633 	if w1 > 1 goto l0_%=;				\  in _32bit_and_64bit_arithmetic_test1()
635 	r1 += 1;					\  in _32bit_and_64bit_arithmetic_test1()
639 	r0 = *(u64*)(r0 - 1);				\  in _32bit_and_64bit_arithmetic_test1()
652 	r1 = -1;					\  in _32bit_and_64bit_arithmetic_test2()
654 	r1 += 1;					\  in _32bit_and_64bit_arithmetic_test2()
658 	w1 += 1;					\  in _32bit_and_64bit_arithmetic_test2()
663 	r0 = *(u64*)(r0 - 1);				\  in _32bit_and_64bit_arithmetic_test2()
693 __description("bounds check for reg = 0, reg xor 1")
709 	r1 ^= 1;					\  in reg_0_reg_xor_1()
721 __description("bounds check for reg32 = 0, reg32 xor 1")
737 	w1 ^= 1;					\  in reg32_0_reg32_xor_1()
889 __description("bounds checks after 32-bit truncation. test 1")
929 	if r1 s< 1 goto l1_%=;				\  in _32_bit_truncation_test_2()
948 	r1 += 1;					\  in crossing_64_bit_signed_boundary_1()
954 l1_%=:	r0 += 1;					\  in crossing_64_bit_signed_boundary_1()
975 	r1 += 1;					\  in crossing_64_bit_signed_boundary_2()
982 l1_%=:	r0 += 1;					\  in crossing_64_bit_signed_boundary_2()
986 	r0 = 1;						\  in crossing_64_bit_signed_boundary_2()
1005 	r1 += 1;					\  in bound_greater_than_u32_max()
1011 l1_%=:	r0 += 1;					\  in bound_greater_than_u32_max()
1030 	r1 += 1;					\  in crossing_32_bit_signed_boundary_1()
1036 l1_%=:	w0 += 1;					\  in crossing_32_bit_signed_boundary_1()
1057 	r1 += 1;					\  in crossing_32_bit_signed_boundary_2()
1064 l1_%=:	w0 += 1;					\  in crossing_32_bit_signed_boundary_2()
1068 	r0 = 1;						\  in crossing_32_bit_signed_boundary_2()