diff options
| author | Luis Gerhorst <[email protected]> | 2025-07-05 19:09:08 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2025-07-07 15:32:34 +0000 |
| commit | 92974cef83b560175fc52acb53aa833cb1e93306 (patch) | |
| tree | 240c4d8e51c21feca6c2118c8e964e62fac3f1be /tools/testing/selftests/bpf/progs/bpf_misc.h | |
| parent | bpf: Fix aux usage after do_check_insn() (diff) | |
| download | kernel-92974cef83b560175fc52acb53aa833cb1e93306.tar.gz kernel-92974cef83b560175fc52acb53aa833cb1e93306.zip | |
selftests/bpf: Add Spectre v4 tests
Add the following tests:
1. A test with an (unimportant) ldimm64 (16 byte insn) and a
Spectre-v4--induced nospec that clarifies and serves as a basic
Spectre v4 test.
2. Make sure a Spectre v4 nospec_result does not prevent a Spectre v1
nospec from being added before the dangerous instruction (tests that
[1] is fixed).
3. Combine the two, which is the combination that triggers the warning
in [2]. This is because the unanalyzed stack write has nospec_result
set, but the ldimm64 (which was just analyzed) had incremented
insn_idx by 2. That violates the assertion that nospec_result is only
used after insns that increment insn_idx by 1 (i.e., stack writes).
[1] https://lore.kernel.org/bpf/[email protected]/
[2] https://lore.kernel.org/bpf/[email protected]/
Signed-off-by: Luis Gerhorst <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'tools/testing/selftests/bpf/progs/bpf_misc.h')
| -rw-r--r-- | tools/testing/selftests/bpf/progs/bpf_misc.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/testing/selftests/bpf/progs/bpf_misc.h b/tools/testing/selftests/bpf/progs/bpf_misc.h index 20dce508d8e0..530752ddde8e 100644 --- a/tools/testing/selftests/bpf/progs/bpf_misc.h +++ b/tools/testing/selftests/bpf/progs/bpf_misc.h @@ -237,4 +237,8 @@ #define SPEC_V1 #endif +#if defined(__TARGET_ARCH_x86) +#define SPEC_V4 +#endif + #endif |