Lines Matching full:bounds

2 	"subtraction bounds (map value) variant 1",
27 	"subtraction bounds (map value) variant 2",
48 	.errstr_unpriv = "R1 has unknown scalar with mixed signed bounds",
79 	"bounds check based on zero-extended MOV",
103 	"bounds check based on sign-extended MOV. test1",
128 	"bounds check based on sign-extended MOV. test2",
153 	"bounds check based on reg_off + var_off + insn_off. test1",
177 	"bounds check based on reg_off + var_off + insn_off. test2",
201 	"bounds check after truncation of non-boundary-crossing range",
234 	"bounds check after truncation of boundary-crossing range (1)",
264 	.errstr = "value -4294967168 makes map_value pointer be out of bounds",
268 	"bounds check after truncation of boundary-crossing range (2)",
299 	.errstr = "value -4294967168 makes map_value pointer be out of bounds",
303 	"bounds check after wrapping 32-bit addition",
329 	"bounds check after shift with oversized count operand",
356 	"bounds check after right shift of maybe-negative number",
385 	"bounds check after 32-bit right shift with 64-bit input",
412 	"bounds check map access with off+size signed 32bit overflow. test1",
431 	"bounds check map access with off+size signed 32bit overflow. test2",
453 	"bounds check map access with off+size signed 32bit overflow. test3",
474 	"bounds check map access with off+size signed 32bit overflow. test4",
495 	"bounds check mixed 32bit and 64bit arithmetic. test1",
503 	/* check ALU64 op keeps 32bit bounds */
507 	/* invalid ldx if bounds are lost above */
516 	"bounds check mixed 32bit and 64bit arithmetic. test2",
526 	/* check ALU32 op zero extends 64bit bounds */
529 	/* invalid ldx if bounds are lost above */
538 	"assigning 32bit bounds to 64bit for wA = 0, wB = wA",
560 	"bounds check for reg = 0, reg xor 1",
582 	"bounds check for reg32 = 0, reg32 xor 1",
604 	"bounds check for reg = 2, reg xor 3",
626 	"bounds check for reg = any, reg xor 3",
648 	"bounds check for reg32 = any, reg32 xor 3",
670 	"bounds check for reg > 0, reg xor 3",
693 	"bounds check for reg32 > 0, reg32 xor 3",
716 	"bounds checks after 32-bit truncation. test 1",
737 	"bounds checks after 32-bit truncation. test 2",