Lines Matching full:bounds

2 /* Converted from tools/testing/selftests/bpf/verifier/bounds.c */
16 __description("subtraction bounds (map value) variant 1")
47 __description("subtraction bounds (map value) variant 2")
50 __msg_unpriv("R1 has unknown scalar with mixed signed bounds")
111 __description("bounds check based on zero-extended MOV")
141 __description("bounds check based on sign-extended MOV. test1")
172 __description("bounds check based on sign-extended MOV. test2")
203 __description("bounds check based on reg_off + var_off + insn_off. test1")
232 __description("bounds check based on reg_off + var_off + insn_off. test2")
262 __description("bounds check after truncation of non-boundary-crossing range")
301 __description("bounds check after truncation of boundary-crossing range (1)")
304 __msg("value -4294967168 makes map_value pointer be out of bounds")
343 __description("bounds check after truncation of boundary-crossing range (2)")
344 __failure __msg("value -4294967168 makes map_value pointer be out of bounds")
385 __description("bounds check after wrapping 32-bit addition")
417 __description("bounds check after shift with oversized count operand")
450 __description("bounds check after right shift of maybe-negative number")
485 __description("bounds check after 32-bit right shift with 64-bit input")
517 __description("bounds check map access with off+size signed 32bit overflow. test1")
542 __description("bounds check map access with off+size signed 32bit overflow. test2")
569 __description("bounds check map access with off+size signed 32bit overflow. test3")
595 __description("bounds check map access with off+size signed 32bit overflow. test4")
622 __description("bounds check mixed 32bit and 64bit arithmetic. test1")
634 	/* check ALU64 op keeps 32bit bounds */		\  in _32bit_and_64bit_arithmetic_test1()
638 l0_%=:	/* invalid ldx if bounds are lost above */	\  in _32bit_and_64bit_arithmetic_test1()
645 __description("bounds check mixed 32bit and 64bit arithmetic. test2")
659 	/* check ALU32 op zero extends 64bit bounds */	\  in _32bit_and_64bit_arithmetic_test2()
662 l0_%=:	/* invalid ldx if bounds are lost above */	\  in _32bit_and_64bit_arithmetic_test2()
669 __description("assigning 32bit bounds to 64bit for wA = 0, wB = wA")
693 __description("bounds check for reg = 0, reg xor 1")
721 __description("bounds check for reg32 = 0, reg32 xor 1")
749 __description("bounds check for reg = 2, reg xor 3")
777 __description("bounds check for reg = any, reg xor 3")
804 __description("bounds check for reg32 = any, reg32 xor 3")
831 __description("bounds check for reg > 0, reg xor 3")
860 __description("bounds check for reg32 > 0, reg32 xor 3")
889 __description("bounds check for non const xor src dst")
910 __description("bounds check for non const or src dst")
931 __description("bounds check for non const mul regs")
952 __description("bounds checks after 32-bit truncation. test 1")
978 __description("bounds checks after 32-bit truncation. test 2")
1142 __description("bounds check with JMP_NE for reg edge")
1176 __description("bounds check with JMP_EQ for reg edge")
1204 __description("multiply mixed sign bounds. test 1")
1227 __description("multiply mixed sign bounds. test 2")
1250 __description("multiply negative bounds")
1274 __description("multiply bounds that don't cross signed boundary")