Eduard Zingerman 842edb5507 bpf: Remove mark_precise_scalar_ids() ... Function mark_precise_scalar_ids() is superseded by bt_sync_linked_regs() and equal scalars tracking in jump history. mark_precise_scalar_ids() propagates precision over registers sharing same ID on parent/child state boundaries, while jump history records allow bt_sync_linked_regs() to propagate same information with instruction level granularity, which is strictly more precise. This commit removes mark_precise_scalar_ids() and updates test cases in progs/verifier_scalar_ids to reflect new verifier behavior. The tests are updated in the following manner: - mark_precise_scalar_ids() propagated precision regardless of presence of conditional jumps, while new jump history based logic only kicks in when conditional jumps are present. Hence test cases are augmented with conditional jumps to still trigger precision propagation. - As equal scalars tracking no longer relies on parent/child state boundaries some test cases are no longer interesting, such test cases are removed, namely: - precision_same_state and precision_cross_state are superseded by linked_regs_bpf_k; - precision_same_state_broken_link and equal_scalars_broken_link are superseded by linked_regs_broken_link. Signed-off-by: Eduard Zingerman <eddyz87@gmail.com> Signed-off-by: Andrii Nakryiko <andrii@kernel.org> Link: https://lore.kernel.org/bpf/20240718202357.1746514-3-eddyz87@gmail.com		2024-07-29 12:53:14 -07:00
..
.gitignore
atomic_and.c
atomic_bounds.c
atomic_cmpxchg.c	bpf: Fix accesses to uninit stack slots	2023-12-08 14:19:00 -08:00
atomic_fetch_add.c
atomic_fetch.c	bpf, selftests: Add test case for atomic fetch on spilled pointer	2021-12-14 19:33:06 -08:00
atomic_invalid.c	bpf: Small BPF verifier log improvements	2022-03-03 16:54:10 +01:00
atomic_or.c
atomic_xchg.c
atomic_xor.c
basic_call.c
basic_instr.c	selftests/bpf: Fix a test_verifier failure	2023-07-27 18:54:16 -07:00
basic_stx_ldx.c
basic.c
bpf_loop_inline.c	selftests/bpf: Skip callback tests if jit is disabled in test_verifier	2024-01-23 20:27:41 -08:00
bpf_st_mem.c	selftests/bpf: Add test for immediate spilled to stack	2023-11-01 22:30:27 -07:00
calls.c	selftests/bpf: Test for null-pointer-deref bugfix in resolve_prog_type()	2024-07-12 22:14:21 +02:00
ctx_sk_lookup.c	selftests/bpf: Add tests for accessing ingress_ifindex in bpf_sk_lookup	2021-11-10 16:29:59 -08:00
ctx_skb.c	selftests/bpf: Add F_NEEDS_EFFICIENT_UNALIGNED_ACCESS to some tests	2023-07-05 14:34:23 +02:00
dead_code.c
direct_value_access.c
event_output.c
jit.c	bpf: add selftests for lsh, rsh, arsh with reg operand	2022-10-19 16:53:51 -07:00
jmp32.c	selftests/bpf: Add F_NEEDS_EFFICIENT_UNALIGNED_ACCESS to some tests	2023-07-05 14:34:23 +02:00
jset.c
jump.c	bpf, selftests: Add verifier test case for imm=0,umin=0,umax=1 scalar	2022-07-01 12:56:27 -07:00
junk_insn.c
ld_abs.c
ld_dw.c
ld_imm64.c	bpf: handle ldimm64 properly in check_cfg()	2023-11-09 20:11:20 -08:00
map_kptr.c	selftests/bpf: Add F_NEEDS_EFFICIENT_UNALIGNED_ACCESS to some tests	2023-07-05 14:34:23 +02:00
perf_event_sample_period.c
precise.c	bpf: Remove mark_precise_scalar_ids()	2024-07-29 12:53:14 -07:00
scale.c
sleepable.c	bpf: Allow BPF_PROG_TYPE_STRUCT_OPS programs to be sleepable	2023-01-25 10:25:57 -08:00
wide_access.c