bpf: unify 32-bit and 64-bit is_branch_taken logic
authorAndrii Nakryiko <andrii@kernel.org>
Thu, 2 Nov 2023 03:37:57 +0000 (20:37 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 10 Nov 2023 02:58:40 +0000 (18:58 -0800)
commit4d345887d2e5a1915600cb5d37b16c4088c6ee1c
tree1a5b19342db6db72b1f6b5d2054ce9ad0a6ad193
parentb74c2a842bba941945279027083fcee1e9aaa73f
bpf: unify 32-bit and 64-bit is_branch_taken logic

Combine 32-bit and 64-bit is_branch_taken logic for SCALAR_VALUE
registers. It makes it easier to see parallels between two domains
(32-bit and 64-bit), and makes subsequent refactoring more
straightforward.

No functional changes.

Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20231102033759.2541186-16-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c