Home
last modified time | relevance | path

Searched refs:__imm_insn (Results 1 – 20 of 20) sorted by relevance

/linux/tools/testing/selftests/bpf/progs/
H A Dverifier_load_acquire.c27 : __imm_insn(load_acquire_insn, in load_acquire_8()
47 : __imm_insn(load_acquire_insn, in load_acquire_16()
67 : __imm_insn(load_acquire_insn, in load_acquire_32()
87 : __imm_insn(load_acquire_insn, in load_acquire_64()
101 : __imm_insn(load_acquire_insn, in load_acquire_with_uninitialized_src_reg()
116 : __imm_insn(load_acquire_insn, in load_acquire_with_non_pointer_src_reg()
133 : __imm_insn(load_acquire_insn, in __flag()
147 : __imm_insn(load_acquire_insn, in load_acquire_from_ctx_pointer()
163 : __imm_insn(load_acquire_insn, in load_acquire_ctx_same_dst_src()
185 __imm_insn(load_acquire_insn, in load_acquire_from_pkt_pointer()
[all …]
H A Dverifier_gotox.c37 …: __imm_insn(gotox_r0, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_0, (SRC_REG), (OFF) , (IMM))…
63 : __imm_insn(gotox_r0, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_0, 0, 0 , 0)) in jump_table_no_jump_table()
95 : __imm_insn(gotox_r1, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_1, 0, 0 , 0)) in jump_table_incorrect_dst_reg_type()
125 : __imm_insn(gotox_r0, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_0, 0, 0 , 0)) \
157 : __imm_insn(gotox_r0, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_0, 0, 0 , 0)) in jump_table_misaligned_access()
185 : __imm_insn(gotox_r0, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_0, 0, 0 , 0)) in jump_table_invalid_mem_acceess_pos()
213 : __imm_insn(gotox_r0, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_0, 0, 0 , 0)) in jump_table_invalid_mem_acceess_neg()
242 : __imm_insn(gotox_r0, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_0, 0, 0 , 0)) in jump_table_add_sub_ok()
271 : __imm_insn(gotox_r0, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_0, 0, 0 , 0)) in jump_table_no_writes()
300 : __imm_insn(gotox_rX, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_ ## REG, 0, 0 , 0)) \
[all …]
H A Dverifier_ld_ind.c22 : __imm_insn(ld_ind, BPF_LD_IND(BPF_W, BPF_REG_1, -0x200000)) in ind_check_calling_conv_r1()
39 : __imm_insn(ld_ind, BPF_LD_IND(BPF_W, BPF_REG_2, -0x200000)) in ind_check_calling_conv_r2()
56 : __imm_insn(ld_ind, BPF_LD_IND(BPF_W, BPF_REG_3, -0x200000)) in ind_check_calling_conv_r3()
73 : __imm_insn(ld_ind, BPF_LD_IND(BPF_W, BPF_REG_4, -0x200000)) in ind_check_calling_conv_r4()
90 : __imm_insn(ld_ind, BPF_LD_IND(BPF_W, BPF_REG_5, -0x200000)) in ind_check_calling_conv_r5()
106 : __imm_insn(ld_ind, BPF_LD_IND(BPF_W, BPF_REG_7, -0x200000)) in ind_check_calling_conv_r7()
125 : __imm_insn(ld_abs, BPF_LD_ABS(BPF_W, 0)) in ldabs_subprog()
139 : __imm_insn(ld_ind, BPF_LD_IND(BPF_W, BPF_REG_7, 0)) in ldind_subprog()
206 : __imm_insn(ld_abs, BPF_LD_ABS(BPF_W, 0)) in ld_abs_callback()
229 : __imm_insn(ld_ind, BPF_LD_IND(BPF_W, BPF_REG_7, 0)) in ld_ind_callback_subprog()
[all …]
H A Dverifier_may_goto_1.c27 : __imm_insn(may_goto, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, 0 /* offset */, 0)) in may_goto_simple()
51 : __imm_insn(may_goto1, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, 0 /* offset */, 0)) in may_goto_batch_0()
77 : __imm_insn(may_goto1, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, 2 /* offset */, 0)), in may_goto_batch_1()
78 __imm_insn(may_goto2, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, 1 /* offset */, 0)), in may_goto_batch_1()
79 __imm_insn(may_goto3, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, 0 /* offset */, 0)) in may_goto_batch_1()
112 : __imm_insn(may_goto1, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, 2 /* offset */, 0)), in may_goto_batch_2()
113 __imm_insn(may_goto3, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, 0 /* offset */, 0)) in may_goto_batch_2()
171 __imm_insn(may_goto, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, 1, 0)), in timed_may_goto_preserves_regs()
172 __imm_insn(loop, BPF_RAW_INSN(BPF_JMP | BPF_JA, 0, 0, -2, 0)) in timed_may_goto_preserves_regs()
H A Dverifier_precision.c122 : __imm_insn(load_acquire_insn, in bpf_load_acquire()
144 : __imm_insn(store_release_insn, in bpf_store_release()
332 : __imm_insn(fetch_add_insn, in bpf_atomic_fetch_add_precision()
356 : __imm_insn(xchg_insn, in bpf_atomic_xchg_precision()
380 : __imm_insn(fetch_or_insn, in bpf_atomic_fetch_or_precision()
404 : __imm_insn(fetch_and_insn, in bpf_atomic_fetch_and_precision()
428 : __imm_insn(fetch_xor_insn, in bpf_atomic_fetch_xor_precision()
454 : __imm_insn(cmpxchg_insn, in bpf_atomic_cmpxchg_precision()
488 : __imm_insn(fetch_add_insn, in bpf_atomic_fetch_add_dual_precision()
518 : __imm_insn(cmpxchg_insn, in bpf_atomic_cmpxchg_dual_precision()
[all …]
H A Dcompute_live_registers.c162 __imm_insn(add_nofetch, BPF_ATOMIC_OP(BPF_W, BPF_ADD, BPF_REG_0, BPF_REG_1, 0)) in atomic()
184 : __imm_insn(store_release_insn, in atomic_load_acq_store_rel()
186 __imm_insn(load_acquire_insn, in atomic_load_acq_store_rel()
328 __imm_insn(may_goto, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, +1 /* offset */, 0)) in may_goto()
368 : __imm_insn(ld_ind, BPF_LD_IND(BPF_B, BPF_REG_3, 0)) in ldabs()
469 : __imm_insn(gotox_r2, BPF_RAW_INSN(BPF_JMP | BPF_JA | BPF_X, BPF_REG_2, BPF_REG_0, 0, 0))
H A Dverifier_spill_fill.c497 __imm_insn(fp1_u8_st_zero, BPF_ST_MEM(BPF_B, BPF_REG_FP, -1, 0)), in spill_subregs_preserve_stack_zero()
498 __imm_insn(fp10_u16_st_zero, BPF_ST_MEM(BPF_H, BPF_REG_FP, -10, 0)), in spill_subregs_preserve_stack_zero()
499 __imm_insn(fp18_u16_st_zero, BPF_ST_MEM(BPF_H, BPF_REG_FP, -18, 0)) in spill_subregs_preserve_stack_zero()
592 __imm_insn(fp8_st_zero, BPF_ST_MEM(BPF_DW, BPF_REG_FP, -8, 0)) in partial_stack_load_preserves_zeros()
633 __imm_insn(fp4_st_zero, BPF_ST_MEM(BPF_W, BPF_REG_FP, -4, 0)) in partial_stack_load_preserves_partial_zeros()
659 __imm_insn(fp4_st_zero, BPF_ST_MEM(BPF_W, BPF_REG_FP, -4, 0)) in stack_load_preserves_mixed_zero_and_zero_spill()
738 __imm_insn(fp8_st_one, BPF_ST_MEM(BPF_DW, BPF_REG_FP, -8, 1)) in __flag()
815 __imm_insn(fp8_st_one, BPF_ST_MEM(BPF_W, BPF_REG_FP, -8, 1)) /* 32-bit spill */ in __flag()
H A Dverifier_zext.c130 : __imm_insn(fetch_add32, in zext_atomic_fetch32_hi_used()
151 : __imm_insn(cmpxchg32, in zext_cmpxchg32_hi_used()
380 __imm_insn(cmpxchg32, in zext_arena_cmpxchg32()
H A Dstream.c227 __imm_insn(load_acquire_insn, load_acquire_insn) in stream_arena_load_acquire_fault()
277 __imm_insn(xchg_insn, xchg_insn) in stream_arena_xchg_fault()
328 __imm_insn(cmpxchg_insn, cmpxchg_insn) in stream_arena_cmpxchg_fault()
H A Dverifier_subprog_precision.c84 :: __imm_insn(r0_eq_r10_cast_s8, BPF_MOVSX64_REG(BPF_REG_0, BPF_REG_10, 8)) in fp_leaking_subprog()
95 :: __imm_insn(r0_eq_r1_cast_s8, BPF_MOVSX64_REG(BPF_REG_0, BPF_REG_1, 8)) in sneaky_fp_leaking_subprog()
858 : __imm_insn(ld_abs, BPF_LD_ABS(BPF_W, 0)) in ld_abs_subprog()
H A Dverifier_cgroup_storage.c84 … __imm_insn(ld_map_fd, BPF_RAW_INSN(BPF_LD | BPF_DW | BPF_IMM, BPF_REG_1, BPF_PSEUDO_MAP_FD, 0, 1)) in invalid_cgroup_storage_access_2()
223 … __imm_insn(ld_map_fd, BPF_RAW_INSN(BPF_LD | BPF_DW | BPF_IMM, BPF_REG_1, BPF_PSEUDO_MAP_FD, 0, 1)) in cpu_cgroup_storage_access_2()
H A Dverifier_uninit.c32 : __imm_insn(mov64_reg, BPF_MOV64_REG(BPF_REG_0, -1)) in read_invalid_register()
H A Dverifier_map_ret_val.c33 … __imm_insn(ld_map_fd, BPF_RAW_INSN(BPF_LD | BPF_DW | BPF_IMM, BPF_REG_1, BPF_PSEUDO_MAP_FD, 0, 0)) in map_fd_for_function_call()
H A Dverifier_cfg.c68 : __imm_insn(ldsx_dw, BPF_RAW_INSN(BPF_LDX | BPF_MEMSX | BPF_DW, BPF_REG_0, BPF_REG_0, 0, 0)) in invalid_dw_ldsx()
H A Darena_atomics.c335 __imm_insn(load_acquire_insn, \ in load_acquire()
387 __imm_insn(store_release_insn, \ in store_release()
H A Dverifier_bpf_fastcall.c771 __imm_insn(may_goto, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, +1 /* offset */, 0)) in may_goto_interaction_x86_64()
812 __imm_insn(may_goto, BPF_RAW_INSN(BPF_JMP | BPF_JCOND, 0, 0, +1 /* offset */, 0)) in may_goto_interaction()
H A Dverifier_search_pruning.c358 : __imm_insn(jset, BPF_JMP_IMM(BPF_JSET, BPF_REG_7, 0x702000, -2)) in short_loop1()
H A Dbpf_misc.h185 #define __imm_insn(name, expr) [name]"i"(*(long *)&(expr)) macro
H A Dverifier_ref_tracking.c833 __imm_insn(ld_ind, BPF_LD_IND(BPF_W, BPF_REG_7, -0x200000)) in reference_tracking_allow_ld_ind()
857 __imm_insn(ld_ind, BPF_LD_IND(BPF_W, BPF_REG_7, -0x200000)) in ld_ind_while_holding_reference()
H A Dverifier_unpriv.c431 __imm_insn(st_mem, in fill_of_different_pointers_st()