+Cc: Eduard Zingerman <eddyz87@xxxxxxxxx> Apologies Eduard, forgot to add you to the CC list in the commits. :( Cupertino Miranda writes: > Hi everyone, > > This is the third series of these patches. > Thank you Eduard and Yonghong for your reviews. > > Regards, > Cupertino > > Changes from v1: > - Reordered patches in the series. > - Fix refactor to be acurate with original code. > - Fixed other mentioned small problems. > > Changes from v2: > - Added a patch to replace mark_reg_unknowon for __mark_reg_unknown in > the context of range computation. > - Reverted implementation of refactor to v1 which used a simpler > boolean return value in check function. > - Further relaxed MUL to allow it to still compute a range when neither > of its registers is a known value. > - Simplified tests based on Eduards example. > - Added messages in selftest commits. > > Cupertino Miranda (6): > bpf/verifier: replace calls to mark_reg_unknown. > bpf/verifier: refactor checks for range computation > bpf/verifier: improve XOR and OR range computation > selftests/bpf: XOR and OR range computation tests. > bpf/verifier: relax MUL range computation check > selftests/bpf: MUL range computation tests. > > kernel/bpf/verifier.c | 139 ++++++++++-------- > .../selftests/bpf/progs/verifier_bounds.c | 63 ++++++++ > 2 files changed, 137 insertions(+), 65 deletions(-)
