|
|
|
|
@ -2,7 +2,7 @@ import ast
|
|
|
|
|
from llvmlite import ir
|
|
|
|
|
from pythonbpf.expr_pass import eval_expr
|
|
|
|
|
from enum import Enum
|
|
|
|
|
from .helper_utils import HelperHandlerRegistry
|
|
|
|
|
from .helper_utils import HelperHandlerRegistry, get_or_create_ptr_from_arg, get_flags_val
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class BPFHelperID(Enum):
|
|
|
|
|
@ -38,31 +38,10 @@ def bpf_map_lookup_elem_emitter(call, map_ptr, module, builder, func,
|
|
|
|
|
"""
|
|
|
|
|
Emit LLVM IR for bpf_map_lookup_elem helper function call.
|
|
|
|
|
"""
|
|
|
|
|
if call.args and len(call.args) != 1:
|
|
|
|
|
raise ValueError("Map lookup expects exactly one argument, got "
|
|
|
|
|
if not call.args or len(call.args) != 1:
|
|
|
|
|
raise ValueError("Map lookup expects exactly one argument (key), got "
|
|
|
|
|
f"{len(call.args)}")
|
|
|
|
|
key_arg = call.args[0]
|
|
|
|
|
if isinstance(key_arg, ast.Name):
|
|
|
|
|
key_name = key_arg.id
|
|
|
|
|
if local_sym_tab and key_name in local_sym_tab:
|
|
|
|
|
key_ptr = local_sym_tab[key_name][0]
|
|
|
|
|
else:
|
|
|
|
|
raise ValueError(
|
|
|
|
|
f"Key variable {key_name} not found in local symbol table.")
|
|
|
|
|
elif isinstance(key_arg, ast.Constant) and isinstance(key_arg.value, int):
|
|
|
|
|
# handle constant integer keys
|
|
|
|
|
key_val = key_arg.value
|
|
|
|
|
key_type = ir.IntType(64)
|
|
|
|
|
key_ptr = builder.alloca(key_type)
|
|
|
|
|
key_ptr.align = key_type // 8
|
|
|
|
|
builder.store(ir.Constant(key_type, key_val), key_ptr)
|
|
|
|
|
else:
|
|
|
|
|
raise NotImplementedError(
|
|
|
|
|
"Only simple variable names are supported as keys in map lookup.")
|
|
|
|
|
|
|
|
|
|
if key_ptr is None:
|
|
|
|
|
raise ValueError("Key pointer is None.")
|
|
|
|
|
|
|
|
|
|
key_ptr = get_or_create_ptr_from_arg(call.args[0], builder, local_sym_tab)
|
|
|
|
|
map_void_ptr = builder.bitcast(map_ptr, ir.PointerType())
|
|
|
|
|
|
|
|
|
|
fn_type = ir.FunctionType(
|
|
|
|
|
@ -72,7 +51,6 @@ def bpf_map_lookup_elem_emitter(call, map_ptr, module, builder, func,
|
|
|
|
|
)
|
|
|
|
|
fn_ptr_type = ir.PointerType(fn_type)
|
|
|
|
|
|
|
|
|
|
# Helper ID 1 is bpf_map_lookup_elem
|
|
|
|
|
fn_addr = ir.Constant(ir.IntType(
|
|
|
|
|
64), BPFHelperID.BPF_MAP_LOOKUP_ELEM.value)
|
|
|
|
|
fn_ptr = builder.inttoptr(fn_addr, fn_ptr_type)
|
|
|
|
|
@ -264,65 +242,9 @@ def bpf_map_update_elem_emitter(call, map_ptr, module, builder, func,
|
|
|
|
|
value_arg = call.args[1]
|
|
|
|
|
flags_arg = call.args[2] if len(call.args) > 2 else None
|
|
|
|
|
|
|
|
|
|
# Handle key
|
|
|
|
|
if isinstance(key_arg, ast.Name):
|
|
|
|
|
key_name = key_arg.id
|
|
|
|
|
if local_sym_tab and key_name in local_sym_tab:
|
|
|
|
|
key_ptr = local_sym_tab[key_name][0]
|
|
|
|
|
else:
|
|
|
|
|
raise ValueError(
|
|
|
|
|
f"Key variable {key_name} not found in local symbol table.")
|
|
|
|
|
elif isinstance(key_arg, ast.Constant) and isinstance(key_arg.value, int):
|
|
|
|
|
# Handle constant integer keys
|
|
|
|
|
key_val = key_arg.value
|
|
|
|
|
key_type = ir.IntType(64)
|
|
|
|
|
key_ptr = builder.alloca(key_type)
|
|
|
|
|
key_ptr.align = key_type.width // 8
|
|
|
|
|
builder.store(ir.Constant(key_type, key_val), key_ptr)
|
|
|
|
|
else:
|
|
|
|
|
raise NotImplementedError(
|
|
|
|
|
"Only simple variable names and integer constants are supported as keys in map update.")
|
|
|
|
|
|
|
|
|
|
# Handle value
|
|
|
|
|
if isinstance(value_arg, ast.Name):
|
|
|
|
|
value_name = value_arg.id
|
|
|
|
|
if local_sym_tab and value_name in local_sym_tab:
|
|
|
|
|
value_ptr = local_sym_tab[value_name][0]
|
|
|
|
|
else:
|
|
|
|
|
raise ValueError(
|
|
|
|
|
f"Value variable {value_name} not found in local symbol table.")
|
|
|
|
|
elif isinstance(value_arg, ast.Constant) and isinstance(value_arg.value, int):
|
|
|
|
|
# Handle constant integers
|
|
|
|
|
value_val = value_arg.value
|
|
|
|
|
value_type = ir.IntType(64)
|
|
|
|
|
value_ptr = builder.alloca(value_type)
|
|
|
|
|
value_ptr.align = value_type.width // 8
|
|
|
|
|
builder.store(ir.Constant(value_type, value_val), value_ptr)
|
|
|
|
|
else:
|
|
|
|
|
raise NotImplementedError(
|
|
|
|
|
"Only simple variable names and integer constants are supported as values in map update.")
|
|
|
|
|
|
|
|
|
|
# Handle flags argument (defaults to 0)
|
|
|
|
|
if flags_arg is not None:
|
|
|
|
|
if isinstance(flags_arg, ast.Constant) and isinstance(flags_arg.value, int):
|
|
|
|
|
flags_val = flags_arg.value
|
|
|
|
|
elif isinstance(flags_arg, ast.Name):
|
|
|
|
|
flags_name = flags_arg.id
|
|
|
|
|
if local_sym_tab and flags_name in local_sym_tab:
|
|
|
|
|
# Assume it's a stored integer value, load it
|
|
|
|
|
flags_ptr = local_sym_tab[flags_name][0]
|
|
|
|
|
flags_val = builder.load(flags_ptr)
|
|
|
|
|
else:
|
|
|
|
|
raise ValueError(
|
|
|
|
|
f"Flags variable {flags_name} not found in local symbol table.")
|
|
|
|
|
else:
|
|
|
|
|
raise NotImplementedError(
|
|
|
|
|
"Only integer constants and simple variable names are supported as flags in map update.")
|
|
|
|
|
else:
|
|
|
|
|
flags_val = 0
|
|
|
|
|
|
|
|
|
|
if key_ptr is None or value_ptr is None:
|
|
|
|
|
raise ValueError("Key pointer or value pointer is None.")
|
|
|
|
|
key_ptr = get_or_create_ptr_from_arg(key_arg, builder, local_sym_tab)
|
|
|
|
|
value_ptr = get_or_create_ptr_from_arg(value_arg, builder, local_sym_tab)
|
|
|
|
|
flags_val = get_flags_val(flags_arg, builder, local_sym_tab)
|
|
|
|
|
|
|
|
|
|
map_void_ptr = builder.bitcast(map_ptr, ir.PointerType())
|
|
|
|
|
fn_type = ir.FunctionType(
|
|
|
|
|
@ -332,7 +254,6 @@ def bpf_map_update_elem_emitter(call, map_ptr, module, builder, func,
|
|
|
|
|
)
|
|
|
|
|
fn_ptr_type = ir.PointerType(fn_type)
|
|
|
|
|
|
|
|
|
|
# helper id
|
|
|
|
|
fn_addr = ir.Constant(ir.IntType(
|
|
|
|
|
64), BPFHelperID.BPF_MAP_UPDATE_ELEM.value)
|
|
|
|
|
fn_ptr = builder.inttoptr(fn_addr, fn_ptr_type)
|
|
|
|
|
@ -356,36 +277,10 @@ def bpf_map_delete_elem_emitter(call, map_ptr, module, builder, func,
|
|
|
|
|
Emit LLVM IR for bpf_map_delete_elem helper function call.
|
|
|
|
|
Expected call signature: map.delete(key)
|
|
|
|
|
"""
|
|
|
|
|
# Check for correct number of arguments
|
|
|
|
|
if not call.args or len(call.args) != 1:
|
|
|
|
|
raise ValueError("Map delete expects exactly 1 argument (key), got "
|
|
|
|
|
raise ValueError("Map delete expects exactly one argument (key), got "
|
|
|
|
|
f"{len(call.args)}")
|
|
|
|
|
|
|
|
|
|
key_arg = call.args[0]
|
|
|
|
|
|
|
|
|
|
# Handle key argument
|
|
|
|
|
if isinstance(key_arg, ast.Name):
|
|
|
|
|
key_name = key_arg.id
|
|
|
|
|
if local_sym_tab and key_name in local_sym_tab:
|
|
|
|
|
key_ptr = local_sym_tab[key_name][0]
|
|
|
|
|
else:
|
|
|
|
|
raise ValueError(
|
|
|
|
|
f"Key variable {key_name} not found in local symbol table.")
|
|
|
|
|
elif isinstance(key_arg, ast.Constant) and isinstance(key_arg.value, int):
|
|
|
|
|
# Handle constant integer keys
|
|
|
|
|
key_val = key_arg.value
|
|
|
|
|
key_type = ir.IntType(64)
|
|
|
|
|
key_ptr = builder.alloca(key_type)
|
|
|
|
|
key_ptr.align = key_type.width // 8
|
|
|
|
|
builder.store(ir.Constant(key_type, key_val), key_ptr)
|
|
|
|
|
else:
|
|
|
|
|
raise NotImplementedError(
|
|
|
|
|
"Only simple variable names and integer constants are supported as keys in map delete.")
|
|
|
|
|
|
|
|
|
|
if key_ptr is None:
|
|
|
|
|
raise ValueError("Key pointer is None.")
|
|
|
|
|
|
|
|
|
|
# Cast map pointer to void*
|
|
|
|
|
key_ptr = get_or_create_ptr_from_arg(call.args[0], builder, local_sym_tab)
|
|
|
|
|
map_void_ptr = builder.bitcast(map_ptr, ir.PointerType())
|
|
|
|
|
|
|
|
|
|
# Define function type for bpf_map_delete_elem
|
|
|
|
|
@ -396,12 +291,10 @@ def bpf_map_delete_elem_emitter(call, map_ptr, module, builder, func,
|
|
|
|
|
)
|
|
|
|
|
fn_ptr_type = ir.PointerType(fn_type)
|
|
|
|
|
|
|
|
|
|
# Helper ID 3 is bpf_map_delete_elem
|
|
|
|
|
fn_addr = ir.Constant(ir.IntType(
|
|
|
|
|
64), BPFHelperID.BPF_MAP_DELETE_ELEM.value)
|
|
|
|
|
fn_ptr = builder.inttoptr(fn_addr, fn_ptr_type)
|
|
|
|
|
|
|
|
|
|
# Call the helper function
|
|
|
|
|
result = builder.call(fn_ptr, [map_void_ptr, key_ptr], tail=False)
|
|
|
|
|
|
|
|
|
|
return result, None
|
|
|
|
|
|