diff options
| author | Cupertino Miranda <cupertino.miranda@oracle.com> | 2025-12-02 18:02:20 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2025-12-10 00:12:09 -0800 |
| commit | a5b4867fad18e72fd5fc442c16be83723776283b (patch) | |
| tree | bbfa87c0a8d8203313f775e9fed466cbd788fee4 /include | |
| parent | d18dec4b8990048ce75f0ece32bb96b3fbd3f422 (diff) | |
selftests/bpf: add verifier sign extension bound computation tests.
This commit adds 3 tests to verify a common compiler generated
pattern for sign extension (r1 <<= 32; r1 s>>= 32).
The tests make sure the register bounds are correctly computed both for
positive and negative register values.
Signed-off-by: Cupertino Miranda <cupertino.miranda@oracle.com>
Signed-off-by: Andrew Pinski <andrew.pinski@oss.qualcomm.com>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Cc: David Faust <david.faust@oracle.com>
Cc: Jose Marchesi <jose.marchesi@oracle.com>
Cc: Elena Zannoni <elena.zannoni@oracle.com>
Link: https://lore.kernel.org/r/20251202180220.11128-3-cupertino.miranda@oracle.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions