Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Liveness states equal hint rfc #8333

Open
wants to merge 4 commits into
base: bpf-next_base
Choose a base branch
from
Open

Liveness states equal hint rfc #8333

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
c81d560
veristat: @files-list.txt notation for object files list
eddyz87 Jan 7, 2025
deb26d4
bpf: DFA-based liveness analysis for program registers
eddyz87 May 22, 2024
d02a40f
bpf: use register liveness information for func_states_equal
eddyz87 Dec 19, 2024
8e31ba2
selftests/bpf: test cases for compute_live_registers()
eddyz87 May 24, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions include/linux/bpf_verifier.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -589,6 +589,8 @@ struct bpf_insn_aux_data {
* accepts callback function as a parameter.
*/
bool calls_callback;
/* registers alive before this instruction. */
u16 live_regs_before;
};

#define MAX_USED_MAPS 64 /* max number of maps accessed by one eBPF program */
Expand Down Expand Up @@ -742,7 +744,11 @@ struct bpf_verifier_env {
struct {
int *insn_state;
int *insn_stack;
/* vector of instruction indexes sorted in post-order */
int *insn_postorder;
int cur_stack;
/* current position in the insn_postorder vector */
int cur_postorder;
} cfg;
struct backtrack_state bt;
struct bpf_insn_hist_entry *insn_hist;
Expand Down
Loading
Loading