| /tools/testing/selftests/bpf/progs/ |
| A D | verifier_sdiv.c | 23 " ::: __clobber_all); in sdiv32_non_zero_imm_1()
35 " ::: __clobber_all); in sdiv32_non_zero_imm_2()
47 " ::: __clobber_all); in sdiv32_non_zero_imm_3()
59 " ::: __clobber_all); in sdiv32_non_zero_imm_4()
71 " ::: __clobber_all); in sdiv32_non_zero_imm_5()
83 " ::: __clobber_all); in sdiv32_non_zero_imm_6()
95 " ::: __clobber_all); in sdiv32_non_zero_imm_7()
107 " ::: __clobber_all); in sdiv32_non_zero_imm_8()
120 " ::: __clobber_all); in sdiv32_non_zero_reg_1()
806 : __clobber_all); in sdiv64_overflow_rr()
[all …]
|
| A D | verifier_bounds_deduction_non_const.c | 25 : __clobber_all); in deducing_bounds_from_non_const_1()
46 : __clobber_all); in deducing_bounds_from_non_const_2()
68 : __clobber_all); in deducing_bounds_from_non_const_3()
90 : __clobber_all); in deducing_bounds_from_non_const_4()
111 : __clobber_all); in deducing_bounds_from_non_const_5()
132 : __clobber_all); in deducing_bounds_from_non_const_6()
154 : __clobber_all); in deducing_bounds_from_non_const_7()
176 : __clobber_all); in deducing_bounds_from_non_const_8()
195 : __clobber_all); in deducing_bounds_from_non_const_9()
216 : __clobber_all); in deducing_bounds_from_non_const_10()
[all …]
|
| A D | verifier_loops1.c | 18 " ::: __clobber_all); in bounded_loop_count_to_4()
31 " ::: __clobber_all); in bounded_loop_count_to_20()
47 : __clobber_all); in from_positive_unknown_to_4()
62 : __clobber_all); in from_totally_unknown_to_4()
75 " ::: __clobber_all); in count_to_4_with_equality()
90 " ::: __clobber_all); in loop_start_in_the_middle()
104 " ::: __clobber_all); in loop_containing_a_forward_jump()
121 : __clobber_all); in jumps_out_rather_than_in()
135 " ::: __clobber_all); in loop_after_a_conditional_jump()
149 " ::: __clobber_all); in bounded_recursion()
[all …]
|
| A D | verifier_subreg.c | 35 : __clobber_all); in add32_reg_zero_extend_check()
65 : __clobber_all); in add32_imm_zero_extend_check()
82 : __clobber_all); in sub32_reg_zero_extend_check()
106 : __clobber_all); in sub32_imm_zero_extend_check()
123 : __clobber_all); in mul32_reg_zero_extend_check()
147 : __clobber_all); in mul32_imm_zero_extend_check()
164 : __clobber_all); in div32_reg_zero_extend_check()
188 : __clobber_all); in div32_imm_zero_extend_check()
205 : __clobber_all); in or32_reg_zero_extend_check()
229 : __clobber_all); in or32_imm_zero_extend_check()
[all …]
|
| A D | verifier_stack_ptr.c | 35 " ::: __clobber_all); in ptr_to_stack_store_load()
51 " ::: __clobber_all); in load_bad_alignment_on_off()
67 " ::: __clobber_all); in load_bad_alignment_on_reg()
83 " ::: __clobber_all); in load_out_of_bounds_low()
179 : __clobber_all); in to_stack_check_high_5()
198 : __clobber_all); in to_stack_check_high_6()
218 : __clobber_all); in to_stack_check_high_7()
284 : __clobber_all); in to_stack_check_low_4()
302 : __clobber_all); in to_stack_check_low_5()
321 : __clobber_all); in to_stack_check_low_6()
[all …]
|
| A D | verifier_div0.c | 19 " ::: __clobber_all); in by_0_zero_check_1_1()
33 " ::: __clobber_all); in by_0_zero_check_2_1()
47 " ::: __clobber_all); in div64_by_0_zero_check()
61 " ::: __clobber_all); in by_0_zero_check_1_2()
75 " ::: __clobber_all); in by_0_zero_check_2_2()
89 " ::: __clobber_all); in mod64_by_0_zero_check()
104 " ::: __clobber_all); in _0_zero_check_ok_cls_1()
117 " ::: __clobber_all); in _0_zero_check_1_cls_1()
130 " ::: __clobber_all); in _0_zero_check_2_cls_1()
143 " ::: __clobber_all); in by_0_zero_check_cls()
[all …]
|
| A D | verifier_unpriv.c | 77 : __clobber_all); in dummy_prog_loop1_socket()
89 " ::: __clobber_all); in __retval()
173 : __clobber_all); in check_that_printk_is_disallowed()
196 : __clobber_all); in pass_pointer_to_helper_function()
217 : __clobber_all); in on_stack_to_helper_function()
307 : __clobber_all); in spill_fill_of_ctx_2()
325 : __clobber_all); in spill_fill_of_ctx_3()
344 : __clobber_all); in spill_fill_of_ctx_4()
368 : __clobber_all); in fill_of_different_pointers_stx()
396 : __clobber_all); in fill_of_different_pointers_st()
[all …]
|
| A D | verifier_lsm.c | 15 ::: __clobber_all); in errno_zero_retval_test1()
26 ::: __clobber_all); in errno_zero_retval_test2()
37 ::: __clobber_all); in errno_zero_retval_test4()
48 ::: __clobber_all); in errno_zero_retval_test5()
59 ::: __clobber_all); in errno_zero_retval_test6()
70 ::: __clobber_all); in bool_retval_test1()
82 ::: __clobber_all); in bool_retval_test2()
93 ::: __clobber_all); in bool_retval_test3()
104 ::: __clobber_all); in bool_retval_test4()
115 ::: __clobber_all); in void_retval_test1()
[all …]
|
| A D | verifier_bounds.c | 44 : __clobber_all); in bounds_map_value_variant_1()
75 : __clobber_all); in bounds_map_value_variant_2()
108 : __clobber_all); in subtraction_on_pointers_for_unpriv()
138 : __clobber_all); in based_on_zero_extended_mov()
169 : __clobber_all); in on_sign_extended_mov_test1()
200 : __clobber_all); in on_sign_extended_mov_test2()
229 : __clobber_all); in var_off_insn_off_test1()
259 : __clobber_all); in var_off_insn_off_test2()
298 : __clobber_all); in of_non_boundary_crossing_range()
340 : __clobber_all); in of_boundary_crossing_range_1()
[all …]
|
| A D | verifier_masking.c | 25 : __clobber_all); in test_out_of_bounds_1()
45 : __clobber_all); in test_out_of_bounds_2()
65 : __clobber_all); in test_out_of_bounds_3()
85 : __clobber_all); in test_out_of_bounds_4()
105 : __clobber_all); in test_out_of_bounds_5()
125 : __clobber_all); in test_out_of_bounds_6()
145 : __clobber_all); in test_out_of_bounds_7()
165 : __clobber_all); in test_out_of_bounds_8()
185 : __clobber_all); in test_out_of_bounds_9()
205 : __clobber_all); in test_out_of_bounds_10()
[all …]
|
| A D | verifier_helper_access_var_len.c | 63 : __clobber_all); in bitwise_and_jmp_correct_bounds()
98 : __clobber_all); in stack_bitwise_and_zero_included()
121 : __clobber_all); in bitwise_and_jmp_wrong_max()
153 : __clobber_all); in memory_stack_jmp_correct_bounds()
185 : __clobber_all); in stack_jmp_signed_correct_bounds()
209 : __clobber_all); in memory_stack_jmp_bounds_offset()
232 : __clobber_all); in memory_stack_jmp_wrong_max()
256 : __clobber_all); in stack_jmp_no_max_check()
292 : __clobber_all); in stack_jmp_no_min_check()
313 : __clobber_all); in jmp_signed_no_min_check()
[all …]
|
| A D | verifier_movsx.c | 22 " ::: __clobber_all); in mov32sx_s8()
34 " ::: __clobber_all); in mov32sx_s16()
46 " ::: __clobber_all); in mov64sx_s8()
93 : __clobber_all); in mov32sx_s8_range()
115 : __clobber_all); in mov32sx_s16_range()
136 : __clobber_all); in mov32sx_s16_range_2()
158 : __clobber_all); in mov64sx_s8_range()
180 : __clobber_all); in mov64sx_s16_range()
202 : __clobber_all); in mov64sx_s32_range()
224 : __clobber_all); in mov64sx_s16_r10()
[all …]
|
| A D | verifier_helper_value_access.c | 64 : __clobber_all); in access_to_map_full_range()
89 : __clobber_all); in access_to_map_partial_range()
118 : __clobber_all); in access_to_map_empty_range()
150 : __clobber_all); in access_to_map_possibly_empty_range()
176 : __clobber_all); in map_out_of_bound_range()
201 : __clobber_all); in access_to_map_negative_range()
229 : __clobber_all); in via_const_imm_full_range()
256 : __clobber_all); in via_const_imm_partial_range()
282 : __clobber_all); in via_const_imm_empty_range()
310 : __clobber_all); in imm_out_of_bound_range()
[all …]
|
| A D | verifier_cfg.c | 17 " ::: __clobber_all); in unreachable()
30 " ::: __clobber_all); in unreachable2()
43 " ::: __clobber_all); in out_of_range_jump()
55 " ::: __clobber_all); in out_of_range_jump2()
67 " ::: __clobber_all); in loop_back_edge()
82 " ::: __clobber_all); in loop2_back_edge()
97 " ::: __clobber_all); in conditional_loop()
119 " ::: __clobber_all); in conditional_loop2()
134 " ::: __clobber_all); in uncond_loop_after_cond_jmp()
144 " ::: __clobber_all); in never_ending_subprog()
[all …]
|
| A D | verifier_value_ptr_arith.c | 77 : __clobber_all); in value_ptr_unknown_vs_const()
115 : __clobber_all); in value_ptr_const_vs_unknown()
151 : __clobber_all); in ptr_const_vs_const_ne()
185 : __clobber_all); in ptr_const_vs_const_eq()
223 : __clobber_all); in ptr_unknown_vs_unknown_eq()
268 : __clobber_all); in ptr_unknown_vs_unknown_lt()
313 : __clobber_all); in ptr_unknown_vs_unknown_gt()
343 : __clobber_all); in value_ptr_from_different_maps()
376 : __clobber_all); in known_scalar_from_different_maps()
406 : __clobber_all); in maps_but_same_value_properties()
[all …]
|
| A D | verifier_ref_tracking.c | 107 : __clobber_all); in dummy_prog_loop1_tc()
122 : __clobber_all); in reference_tracking_leak_potential_reference()
137 : __clobber_all); in potential_reference_to_sock_common_1()
155 : __clobber_all); in leak_potential_reference_on_stack()
175 : __clobber_all); in potential_reference_on_stack_2()
190 : __clobber_all); in reference_tracking_zero_potential_reference()
205 : __clobber_all); in potential_reference_to_sock_common_2()
222 : __clobber_all); in copy_and_zero_potential_references()
242 : __clobber_all); in acquire_release_user_key_reference()
261 : __clobber_all); in acquire_release_system_key_reference()
[all …]
|
| A D | verifier_raw_stack.c | 23 " ::: __clobber_all); in stack_no_skb_load_bytes()
42 : __clobber_all); in skb_load_bytes_negative_len()
62 : __clobber_all); in load_bytes_negative_len_2()
81 : __clobber_all); in skb_load_bytes_zero_len()
100 : __clobber_all); in skb_load_bytes_no_init()
121 : __clobber_all); in stack_skb_load_bytes_init()
148 : __clobber_all); in bytes_spilled_regs_around_bounds()
171 : __clobber_all); in __flag()
204 : __clobber_all); in __flag()
234 : __clobber_all); in load_bytes_spilled_regs_data()
[all …]
|
| A D | verifier_scalar_ids.c | 47 : __clobber_all); in __flag()
80 : __clobber_all); in __flag()
113 : __clobber_all); in __flag()
150 : __clobber_all); in __flag()
210 : __clobber_all); in __flag()
275 : __clobber_all); in __flag()
346 : __clobber_all); in __flag()
386 : __clobber_all); in __flag()
419 : __clobber_all); in __flag()
445 : __clobber_all); in cjmp_no_linked_regs_trigger()
[all …]
|
| A D | verifier_bpf_fastcall.c | 42 : __clobber_all); in simple()
78 : __clobber_all); in canary_arm64_riscv64()
94 : __clobber_all); in canary_zero_spills()
116 : __clobber_all); in wrong_reg_in_pattern1()
137 : __clobber_all); in wrong_reg_in_pattern2()
158 : __clobber_all); in wrong_reg_in_pattern3()
180 : __clobber_all); in wrong_base_in_pattern()
202 : __clobber_all); in wrong_insn_in_pattern()
224 : __clobber_all); in wrong_off_in_pattern1()
245 : __clobber_all); in wrong_off_in_pattern2()
[all …]
|
| A D | compute_live_registers.c | 51 ::: __clobber_all); in assign_chain()
73 ::: __clobber_all); in arithmetics()
96 ::: __clobber_all); in store()
114 ::: __clobber_all); in load()
163 : __clobber_all); in atomic()
188 : __clobber_all); in atomic_load_acq_store_rel()
209 : __clobber_all); in regular_call()
284 : __clobber_all); in loop()
307 : __clobber_all); in gotol()
329 : __clobber_all); in may_goto()
[all …]
|
| A D | verifier_xdp_direct_packet_access.c | 26 : __clobber_all); in end_mangling_bad_access_1()
47 : __clobber_all); in end_mangling_bad_access_2()
67 : __clobber_all); in __flag()
88 : __clobber_all); in __flag()
109 : __clobber_all); in __flag()
129 : __clobber_all); in __flag()
150 : __clobber_all); in __flag()
171 : __clobber_all); in __flag()
193 : __clobber_all); in __flag()
214 : __clobber_all); in __flag()
[all …]
|
| A D | verifier_var_off.c | 32 " ::: __clobber_all); in variable_offset_ctx_access()
59 " ::: __clobber_all); in stack_read_priv_vs_unpriv()
82 " ::: __clobber_all); in variable_offset_stack_read_uninitialized()
201 : __clobber_all); in stack_write_clobbers_spilled_regs()
234 : __clobber_all); in variable_offset_stack_access_unbounded()
263 : __clobber_all); in access_max_out_of_bound()
292 : __clobber_all); in zero_sized_access_max_out_of_bound()
321 : __clobber_all); in access_min_out_of_bound()
351 : __clobber_all); in access_min_off_min_initialized()
384 : __clobber_all); in stack_access_priv_vs_unpriv()
[all …]
|
| A D | verifier_spill_fill.c | 29 " ::: __clobber_all); in __retval()
45 : __clobber_all); in valid_spill_fill_skb_mark()
82 : __clobber_all); in spill_fill_ptr_to_mem()
118 : __clobber_all); in with_invalid_reg_offset_0()
197 : __clobber_all); in scalar_offset_to_skb_data_1()
247 : __clobber_all); in u16_offset_to_skb_data()
273 : __clobber_all); in u64_offset_to_skb_data()
305 : __clobber_all); in _6_offset_to_skb_data()
332 : __clobber_all); in addr_offset_to_skb_data()
367 : __clobber_all); in scalar_offset_to_skb_data_2()
[all …]
|
| A D | verifier_ldsx.c | 27 ::: __clobber_all); in ldsx_s8()
44 ::: __clobber_all); in ldsx_s16()
62 ::: __clobber_all); in ldsx_s32()
90 : __clobber_all); in ldsx_s8_range_priv()
117 : __clobber_all); in ldsx_s16_range()
144 : __clobber_all); in ldsx_s32_range()
158 : __clobber_all); in ldsx_ctx_1()
172 : __clobber_all); in ldsx_ctx_2()
186 : __clobber_all); in ldsx_ctx_3()
200 : __clobber_all); in ldsx_ctx_4()
[all …]
|
| A D | verifier_precision.c | 25 ::: __clobber_all); in bpf_neg()
45 ::: __clobber_all); in bpf_end_to_le()
66 ::: __clobber_all); in bpf_end_to_be()
91 ::: __clobber_all); in bpf_end_bswap()
115 : __clobber_all); in bpf_load_acquire()
137 : __clobber_all); in bpf_store_release()
191 ::: __clobber_all); in __bpf_cond_op_r10()
210 ::: __clobber_all); in bpf_cond_op_r10()
231 ::: __clobber_all); in bpf_cond_op_not_r10()
251 ::: __clobber_all); in bpf_neg_2()
[all …]
|