Lines Matching full:bounds

2 /* Converted from tools/testing/selftests/bpf/verifier/bounds.c */
17 __description("subtraction bounds (map value) variant 1")
48 __description("subtraction bounds (map value) variant 2")
51 __msg_unpriv("R1 has unknown scalar with mixed signed bounds")
112 __description("bounds check based on zero-extended MOV")
142 __description("bounds check based on sign-extended MOV. test1")
173 __description("bounds check based on sign-extended MOV. test2")
204 __description("bounds check based on reg_off + var_off + insn_off. test1")
233 __description("bounds check based on reg_off + var_off + insn_off. test2")
263 __description("bounds check after truncation of non-boundary-crossing range")
302 __description("bounds check after truncation of boundary-crossing range (1)")
305 __msg("value -4294967168 makes map_value pointer be out of bounds")
344 __description("bounds check after truncation of boundary-crossing range (2)")
345 __failure __msg("value -4294967168 makes map_value pointer be out of bounds")
386 __description("bounds check after wrapping 32-bit addition")
418 __description("bounds check after shift with oversized count operand")
451 __description("bounds check after right shift of maybe-negative number")
486 __description("bounds check after 32-bit right shift with 64-bit input")
518 __description("bounds check map access with off+size signed 32bit overflow. test1")
543 __description("bounds check map access with off+size signed 32bit overflow. test2")
570 __description("bounds check map access with off+size signed 32bit overflow. test3")
596 __description("bounds check map access with off+size signed 32bit overflow. test4")
623 __description("bounds check mixed 32bit and 64bit arithmetic. test1")
641 	/* check ALU64 op keeps 32bit bounds */		\
645 l0_%=:	/* invalid ldx if bounds are lost above */	\
652 __description("bounds check mixed 32bit and 64bit arithmetic. test2")
672 	/* check ALU32 op zero extends 64bit bounds */	\
675 l0_%=:	/* invalid ldx if bounds are lost above */	\
682 __description("assigning 32bit bounds to 64bit for wA = 0, wB = wA")
706 __description("bounds check for reg = 0, reg xor 1")
739 __description("bounds check for reg32 = 0, reg32 xor 1")
772 __description("bounds check for reg = 2, reg xor 3")
805 __description("bounds check for reg = any, reg xor 3")
832 __description("bounds check for reg32 = any, reg32 xor 3")
859 __description("bounds check for reg > 0, reg xor 3")
893 __description("bounds check for reg32 > 0, reg32 xor 3")
927 __description("bounds check for non const xor src dst")
948 __description("bounds check for non const or src dst")
969 __description("bounds check for non const mul regs")
990 __description("bounds checks after 32-bit truncation. test 1")
1016 __description("bounds checks after 32-bit truncation. test 2")
1180 __description("bounds check with JMP_NE for reg edge")
1214 __description("bounds check with JMP_EQ for reg edge")
1242 __description("multiply mixed sign bounds. test 1")
1265 __description("multiply mixed sign bounds. test 2")
1288 __description("multiply negative bounds")
1312 __description("multiply bounds that don't cross signed boundary")
1437 __description("32-bit addition, partial overflow, result in unbounded u32 bounds")
1518 __description("32-bit subtraction, partial overflow, result in unbounded u32 bounds")
1553 /* This test covers the bounds deduction on 64bits when the s64 and u64 ranges
1562  * We should therefore deduce the following new bounds:
1574 __description("bounds deduction cross sign boundary, negative overlap")
1597 /* This test covers the bounds deduction on 64bits when the s64 and u64 ranges
1606  * We should therefore deduce the following new bounds:
1618 __description("bounds deduction cross sign boundary, positive overlap")
1651 __description("bounds deduction cross sign boundary, two overlaps")