Commits · ffb515c933a9e8000e50b03f76569ffb6ef4d39d · Kirill Smelkov / linux

26 Mar, 2023 40 commits

selftests/bpf: verifier/xdp.c converted to inline assembly · ffb515c9

Eduard Zingerman authored Mar 25, 2023

Test verifier/xdp.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-43-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

ffb515c9

selftests/bpf: verifier/xadd.c converted to inline assembly · a8036aea

Eduard Zingerman authored Mar 25, 2023

Test verifier/xadd.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-42-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

a8036aea

selftests/bpf: verifier/var_off.c converted to inline assembly · d15f5b68

Eduard Zingerman authored Mar 25, 2023

Test verifier/var_off.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-41-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

d15f5b68

selftests/bpf: verifier/value_or_null.c converted to inline assembly · d3305286

Eduard Zingerman authored Mar 25, 2023

Test verifier/value_or_null.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-40-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

d3305286

selftests/bpf: verifier/value.c converted to inline assembly · 8f59e87a

Eduard Zingerman authored Mar 25, 2023

Test verifier/value.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-39-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

8f59e87a

selftests/bpf: verifier/value_adj_spill.c converted to inline assembly · 03391494

Eduard Zingerman authored Mar 25, 2023

Test verifier/value_adj_spill.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-38-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

03391494

selftests/bpf: verifier/uninit.c converted to inline assembly · ab839a58

Eduard Zingerman authored Mar 25, 2023

Test verifier/uninit.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-37-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

ab839a58

selftests/bpf: verifier/stack_ptr.c converted to inline assembly · edff37b2

Eduard Zingerman authored Mar 25, 2023

Test verifier/stack_ptr.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-36-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

edff37b2

selftests/bpf: verifier/spill_fill.c converted to inline assembly · f4fe3cfe

Eduard Zingerman authored Mar 25, 2023

Test verifier/spill_fill.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-35-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

f4fe3cfe

selftests/bpf: verifier/ringbuf.c converted to inline assembly · b7e42030

Eduard Zingerman authored Mar 25, 2023

Test verifier/ringbuf.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-34-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

b7e42030

selftests/bpf: verifier/raw_tp_writable.c converted to inline assembly · 18cdc2b5

Eduard Zingerman authored Mar 25, 2023

Test verifier/raw_tp_writable.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-33-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

18cdc2b5

selftests/bpf: verifier/raw_stack.c converted to inline assembly · 5a77a01f

Eduard Zingerman authored Mar 25, 2023

Test verifier/raw_stack.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-32-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

5a77a01f

selftests/bpf: verifier/meta_access.c converted to inline assembly · 65428312

Eduard Zingerman authored Mar 25, 2023

Test verifier/meta_access.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-31-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

65428312

selftests/bpf: verifier/masking.c converted to inline assembly · ade3f08f

Eduard Zingerman authored Mar 25, 2023

Test verifier/masking.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-30-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

ade3f08f

selftests/bpf: verifier/map_ret_val.c converted to inline assembly · 05e474ec

Eduard Zingerman authored Mar 25, 2023

Test verifier/map_ret_val.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-29-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

05e474ec

selftests/bpf: verifier/map_ptr.c converted to inline assembly · caf345cf

Eduard Zingerman authored Mar 25, 2023

Test verifier/map_ptr.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-28-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

caf345cf

selftests/bpf: verifier/leak_ptr.c converted to inline assembly · 583c7ce5

Eduard Zingerman authored Mar 25, 2023

Test verifier/leak_ptr.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-27-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

583c7ce5

selftests/bpf: verifier/ld_ind.c converted to inline assembly · e2978755

Eduard Zingerman authored Mar 25, 2023

Test verifier/ld_ind.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-26-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

e2978755

selftests/bpf: verifier/int_ptr.c converted to inline assembly · 01481e67

Eduard Zingerman authored Mar 25, 2023

Test verifier/int_ptr.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-25-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

01481e67

selftests/bpf: verifier/helper_value_access.c converted to inline assembly · ecc42482

Eduard Zingerman authored Mar 25, 2023

Test verifier/helper_value_access.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-24-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

ecc42482

selftests/bpf: verifier/helper_restricted.c converted to inline assembly · 77aa2563

Eduard Zingerman authored Mar 25, 2023

Test verifier/helper_restricted.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-23-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

77aa2563

selftests/bpf: verifier/helper_packet_access.c converted to inline assembly · fb179fe6

Eduard Zingerman authored Mar 25, 2023

Test verifier/helper_packet_access.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-22-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

fb179fe6

selftests/bpf: verifier/helper_access_var_len.c converted to inline assembly · b37d776b

Eduard Zingerman authored Mar 25, 2023

Test verifier/helper_access_var_len.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-21-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

b37d776b

selftests/bpf: verifier/div_overflow.c converted to inline assembly · 9553de70

Eduard Zingerman authored Mar 25, 2023

Test verifier/div_overflow.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-20-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

9553de70

selftests/bpf: verifier/div0.c converted to inline assembly · 01a09255

Eduard Zingerman authored Mar 25, 2023

Test verifier/div0.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-19-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

01a09255

selftests/bpf: verifier/direct_stack_access_wraparound.c converted to inline assembly · 84988478

Eduard Zingerman authored Mar 25, 2023

Test verifier/direct_stack_access_wraparound.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-18-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

84988478

selftests/bpf: verifier/ctx_sk_msg.c converted to inline assembly · a58475a9

Eduard Zingerman authored Mar 25, 2023

Test verifier/ctx_sk_msg.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-17-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

a58475a9

selftests/bpf: verifier/const_or.c converted to inline assembly · a2777eaa

Eduard Zingerman authored Mar 25, 2023

Test verifier/const_or.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-16-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

a2777eaa

selftests/bpf: verifier/cgroup_storage.c converted to inline assembly · 8f16f3c0

Eduard Zingerman authored Mar 25, 2023

Test verifier/cgroup_storage.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-15-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

8f16f3c0

selftests/bpf: verifier/cgroup_skb.c converted to inline assembly · b1b63725

Eduard Zingerman authored Mar 25, 2023

Test verifier/cgroup_skb.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-14-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

b1b63725

selftests/bpf: verifier/cgroup_inv_retcode.c converted to inline assembly · 047687a7

Eduard Zingerman authored Mar 25, 2023

Test verifier/cgroup_inv_retcode.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-13-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

047687a7

selftests/bpf: verifier/cfg.c converted to inline assembly · 2f2047c2

Eduard Zingerman authored Mar 25, 2023

Test verifier/cfg.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-12-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

2f2047c2

selftests/bpf: verifier/bounds_mix_sign_unsign.c converted to inline assembly · b14a702a

Eduard Zingerman authored Mar 25, 2023

Test verifier/bounds_mix_sign_unsign.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-11-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

b14a702a

selftests/bpf: verifier/bounds_deduction.c converted to inline assembly · 7605f94b

Eduard Zingerman authored Mar 25, 2023

Test verifier/bounds_deduction.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-10-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

7605f94b

selftests/bpf: verifier/basic_stack.c converted to inline assembly · 0ccbe495

Eduard Zingerman authored Mar 25, 2023

Test verifier/basic_stack.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-9-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

0ccbe495

selftests/bpf: verifier/array_access.c converted to inline assembly · a3c830ae

Eduard Zingerman authored Mar 25, 2023

Test verifier/array_access.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-8-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

a3c830ae

selftests/bpf: verifier/and.c converted to inline assembly · 9d0f1568

Eduard Zingerman authored Mar 25, 2023

Test verifier/and.c automatically converted to use inline assembly.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-7-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

9d0f1568

selftests/bpf: prog_tests entry point for migrated test_verifier tests · 55108621

Eduard Zingerman authored Mar 25, 2023

prog_tests/verifier.c would be used as a host for verifier/*.c tests
migrated to use inline assembly and run from test_progs.

The run_test_aux() function mimics the test_verifier behavior
dropping CAP_SYS_ADMIN upon entry.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-6-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

55108621

selftests/bpf: Tests execution support for test_loader.c · 19a8e06f

Eduard Zingerman authored Mar 25, 2023

Extends test_loader.c:test_loader__run_subtests() by allowing to
execute BPF_PROG_TEST_RUN bpf command for selected programs.
This is similar to functionality provided by test_verifier.

Adds the following new attributes controlling test_loader behavior:

  __retval(...)
  __retval_unpriv(...)

* If any of these attributes is present, the annotated program would
  be executed using libbpf's bpf_prog_test_run_opts() function.
* If __retval is present, the test run would be done for program
  loaded in privileged mode.
* If __retval_unpriv is present, the test run would be done for
  program loaded in unprivileged mode.
* To mimic test_verifier behavior, the actual run is initiated in
  privileged mode.
* The value returned by a test run is compared against retval
  parameter.

The retval attribute takes one of the following parameters:
- a decimal number
- a hexadecimal number (must start from '0x')
- any of a three special literals (provided for compatibility with
  test_verifier):
  - INT_MIN
  - POINTER_VALUE
  - TEST_DATA_LEN

An example of the attribute usage:

  SEC("socket")
  __description("return 42")
  __success __success_unpriv __retval(42)
  __naked void the_42_test(void)
  {
          asm volatile ("                                 \
          r0 = 42;                                        \
          exit;                                           \
  "       ::: __clobber_all);
  }
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-5-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

19a8e06f

selftests/bpf: Unprivileged tests for test_loader.c · 1d56ade0

Eduard Zingerman authored Mar 25, 2023

Extends test_loader.c:test_loader__run_subtests() by allowing to
execute tests in unprivileged mode, similar to test_verifier.c.

Adds the following new attributes controlling test_loader behavior:

  __msg_unpriv
  __success_unpriv
  __failure_unpriv

* If any of these attributes is present the test would be loaded in
  unprivileged mode.
* If only "privileged" attributes are present the test would be loaded
  only in privileged mode.
* If both "privileged" and "unprivileged" attributes are present the
  test would be loaded in both modes.
* If test has to be executed in both modes, __msg(text) is specified
  and __msg_unpriv is not specified the behavior is the same as if
  __msg_unpriv(text) is specified.
* For test filtering purposes the name of the program loaded in
  unprivileged mode is derived from the usual program name by adding
  `@unpriv' suffix.

Also adds attribute '__description'. This attribute specifies text to
be used instead of a program name for display and filtering purposes.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230325025524.144043-4-eddyz87@gmail.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

1d56ade0