linux-mainline/tools/testing/selftests/bpf/verifier
Daniel Borkmann 4bbbf164f1 bpf: Add loop test case with 32 bit reg comparison against 0
Add a loop test with 32 bit register against 0 immediate:

  # ./test_verifier 631
  #631/p taken loop with back jump to 1st insn, 2 OK

Disassembly:

  [...]
  1b:	test   %edi,%edi
  1d:	jne    0x0000000000000014
  [...]

Pretty much similar to prior "taken loop with back jump to 1st
insn" test case just as jmp32 variant.

Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Song Liu <songliubraving@fb.com>
2019-10-04 12:27:36 -07:00
..
.gitignore
and.c
array_access.c selftests/bpf: fix "valid read map access into a read-only array 1" on s390 2019-07-18 13:49:21 -07:00
basic_call.c
basic_instr.c selftests: bpf: add tests for shifts by zero 2019-07-03 11:14:28 +02:00
basic_stack.c
basic_stx_ldx.c
basic.c
bounds_deduction.c
bounds_mix_sign_unsign.c
bounds.c
bpf_get_stack.c
calls.c selftests/bpf: fix tests 2019-06-19 02:22:52 +02:00
cfg.c selftests/bpf: fix tests 2019-06-19 02:22:52 +02:00
cgroup_inv_retcode.c
cgroup_skb.c
cgroup_storage.c
const_or.c
ctx_sk_msg.c
ctx_skb.c selftests/bpf: add another gso_segs access 2019-07-23 14:12:37 -07:00
ctx.c
dead_code.c
direct_packet_access.c selftests/bpf: fix tests due to const spill/fill 2019-06-19 02:22:51 +02:00
direct_stack_access_wraparound.c
direct_value_access.c
div0.c
div_overflow.c bpf: fix div64 overflow tests to properly detect errors 2019-06-13 23:07:00 +02:00
event_output.c selftests/bpf: Add selftests for bpf_perf_event_output 2019-07-25 17:56:00 -07:00
helper_access_var_len.c selftests/bpf: fix tests due to const spill/fill 2019-06-19 02:22:51 +02:00
helper_packet_access.c
helper_value_access.c
int_ptr.c selftests/bpf: Test ARG_PTR_TO_LONG arg type 2019-04-12 13:54:59 -07:00
jit.c bpf, x32: Fix bug for BPF_JMP | {BPF_JSGT, BPF_JSLE, BPF_JSLT, BPF_JSGE} 2019-05-01 23:32:16 +02:00
jmp32.c
jset.c
jump.c bpf: add various test cases for backward jumps 2019-05-13 01:08:55 +02:00
junk_insn.c
ld_abs.c
ld_dw.c
ld_imm64.c
ld_ind.c
leak_ptr.c
loops1.c bpf: Add loop test case with 32 bit reg comparison against 0 2019-10-04 12:27:36 -07:00
lwt.c
map_in_map.c
map_ptr_mixing.c
map_ret_val.c
masking.c
meta_access.c
perf_event_sample_period.c
precise.c selftests/bpf: precision tracking tests 2019-09-05 13:55:50 +02:00
prevent_map_lookup.c bpf: Allow bpf_map_lookup_elem() on an xskmap 2019-06-10 23:31:26 -07:00
raw_stack.c
raw_tp_writable.c selftests: bpf: test writable buffers in raw tps 2019-04-26 19:04:19 -07:00
ref_tracking.c
runtime_jit.c
scale.c selftests/bpf: two scale tests 2019-04-16 10:18:15 +02:00
search_pruning.c
sock.c tools/bpf: Add bpf_map_lookup_elem selftest for xskmap 2019-06-10 23:31:26 -07:00
spill_fill.c
spin_lock.c
stack_ptr.c
subreg.c selftests: bpf: complete sub-register zero extension checks 2019-05-29 13:31:05 +02:00
uninit.c
unpriv.c
value_adj_spill.c
value_illegal_alu.c
value_or_null.c
value_ptr_arith.c selftests/bpf: fix "alu with different scalars 1" on s390 2019-07-16 09:20:08 -07:00
value.c
var_off.c
wide_access.c selftests/bpf: add selftests for wide loads 2019-07-15 23:15:53 +02:00
xadd.c
xdp_direct_packet_access.c
xdp.c