diff options
author | Alexei Starovoitov <[email protected]> | 2017-11-30 21:31:38 -0800 |
---|---|---|
committer | Daniel Borkmann <[email protected]> | 2017-12-01 11:25:10 +0100 |
commit | 2f18f62ee1648b2c93e6ab4a58d548010b0a67e4 (patch) | |
tree | cf7f96af09a7601e9b82701a720b24e3e19a36c9 /drivers/gpu/drm/amd/amdgpu/amdgpu_queue_mgr.c | |
parent | 19ceb4178d31e543479d75e20c2f9df08f16632f (diff) |
bpf: improve verifier liveness marks
registers with pointers filled from stack were missing live_written marks
which caused liveness propagation to unnecessary mark more registers as
live_read and miss state pruning opportunities later on.
before after
bpf_lb-DLB_L3.o 2285 2270
bpf_lb-DLB_L4.o 3723 3682
bpf_lb-DUNKNOWN.o 1110 1110
bpf_lxc-DDROP_ALL.o 27954 27876
bpf_lxc-DUNKNOWN.o 38954 38780
bpf_netdev.o 16943 16937
bpf_overlay.o 7929 7929
Signed-off-by: Alexei Starovoitov <[email protected]>
Acked-by: John Fastabend <[email protected]>
Acked-by: Daniel Borkmann <[email protected]>
Signed-off-by: Daniel Borkmann <[email protected]>
Diffstat (limited to 'drivers/gpu/drm/amd/amdgpu/amdgpu_queue_mgr.c')
0 files changed, 0 insertions, 0 deletions