blob: c7ec0916f1d1f8f9027be681ab3c40e6ac053c79 [file] [log] [blame]
//===- IntrinsicsBPF.td - Defines BPF intrinsics -----------*- tablegen -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file defines all of the BPF-specific intrinsics.
//
//===----------------------------------------------------------------------===//
// Specialized loads from packet
let TargetPrefix = "bpf" in { // All intrinsics start with "llvm.bpf."
def int_bpf_load_byte : ClangBuiltin<"__builtin_bpf_load_byte">,
Intrinsic<[llvm_i64_ty], [llvm_ptr_ty, llvm_i64_ty], [IntrReadMem]>;
def int_bpf_load_half : ClangBuiltin<"__builtin_bpf_load_half">,
Intrinsic<[llvm_i64_ty], [llvm_ptr_ty, llvm_i64_ty], [IntrReadMem]>;
def int_bpf_load_word : ClangBuiltin<"__builtin_bpf_load_word">,
Intrinsic<[llvm_i64_ty], [llvm_ptr_ty, llvm_i64_ty], [IntrReadMem]>;
def int_bpf_pseudo : ClangBuiltin<"__builtin_bpf_pseudo">,
Intrinsic<[llvm_i64_ty], [llvm_i64_ty, llvm_i64_ty]>;
def int_bpf_preserve_field_info : ClangBuiltin<"__builtin_bpf_preserve_field_info">,
Intrinsic<[llvm_i32_ty], [llvm_anyptr_ty, llvm_i64_ty],
[IntrNoMem, ImmArg<ArgIndex<1>>]>;
def int_bpf_btf_type_id : ClangBuiltin<"__builtin_bpf_btf_type_id">,
Intrinsic<[llvm_i64_ty], [llvm_i32_ty, llvm_i64_ty],
[IntrNoMem]>;
def int_bpf_preserve_type_info : ClangBuiltin<"__builtin_bpf_preserve_type_info">,
Intrinsic<[llvm_i32_ty], [llvm_i32_ty, llvm_i64_ty],
[IntrNoMem]>;
def int_bpf_preserve_enum_value : ClangBuiltin<"__builtin_bpf_preserve_enum_value">,
Intrinsic<[llvm_i64_ty], [llvm_i32_ty, llvm_ptr_ty, llvm_i64_ty],
[IntrNoMem]>;
def int_bpf_passthrough : ClangBuiltin<"__builtin_bpf_passthrough">,
Intrinsic<[llvm_any_ty], [llvm_i32_ty, llvm_any_ty], [IntrNoMem]>;
def int_bpf_compare : ClangBuiltin<"__builtin_bpf_compare">,
Intrinsic<[llvm_i1_ty], [llvm_i32_ty, llvm_anyint_ty, llvm_anyint_ty],
[IntrNoMem]>;
def int_bpf_getelementptr_and_load : ClangBuiltin<"__builtin_bpf_getelementptr_and_load">,
Intrinsic<[llvm_any_ty],
[llvm_ptr_ty, // base ptr for getelementptr
llvm_i1_ty, // volatile
llvm_i8_ty, // atomic order
llvm_i8_ty, // synscope id
llvm_i8_ty, // alignment
llvm_i1_ty, // inbounds
llvm_vararg_ty], // indices for getelementptr insn
[IntrNoCallback,
IntrNoFree,
IntrWillReturn,
NoCapture <ArgIndex<0>>,
ImmArg <ArgIndex<1>>, // volatile
ImmArg <ArgIndex<2>>, // atomic order
ImmArg <ArgIndex<3>>, // synscope id
ImmArg <ArgIndex<4>>, // alignment
ImmArg <ArgIndex<5>>, // inbounds
]>;
def int_bpf_getelementptr_and_store : ClangBuiltin<"__builtin_bpf_getelementptr_and_store">,
Intrinsic<[],
[llvm_any_ty, // value to store
llvm_ptr_ty, // base ptr for getelementptr
llvm_i1_ty, // volatile
llvm_i8_ty, // atomic order
llvm_i8_ty, // syncscope id
llvm_i8_ty, // alignment
llvm_i1_ty, // inbounds
llvm_vararg_ty], // indexes for getelementptr insn
[IntrNoCallback,
IntrNoFree,
IntrWillReturn,
NoCapture <ArgIndex<1>>,
ImmArg <ArgIndex<2>>, // volatile
ImmArg <ArgIndex<3>>, // atomic order
ImmArg <ArgIndex<4>>, // syncscope id
ImmArg <ArgIndex<5>>, // alignment
ImmArg <ArgIndex<6>>, // inbounds
]>;
}