Struct KernelContext 

pub struct KernelContext {
    pub global_counter: usize,
    pub local_counter: usize,
    pub buffer_map: HashMap<UOpKey, Arc<UOp>>,
    pub vars: HashMap<String, (Arc<UOp>, Option<i64>)>,
    pub range_counter: usize,
}

Context for tracking state during kernel splitting.

Simplified from original 8 fields to 6 fields, removing Morok-specific kernel_deps and buffer_id_mapping that are no longer needed after aligning with fix_assign approach.

Fields

global_counter: usize

local_counter: usize

buffer_map: HashMap<UOpKey, Arc<UOp>>

vars: HashMap<String, (Arc<UOp>, Option<i64>)>

Bound variables: maps variable name → (DEFINE_VAR UOp, optional bound value). Populated when BIND(DEFINE_VAR, CONST) is stripped during kernel splitting. The UOp is kept for kernel sources; the i64 is the concrete bound value (None for OUTER ranges).

range_counter: usize

Implementations

impl KernelContext

pub fn new() -> Self

pub fn next_global(&mut self) -> usize

pub fn next_local(&mut self) -> usize

pub fn next_range(&mut self) -> usize

pub fn has_buffer(&self, buf: &Arc<UOp>) -> bool

pub fn get_buffer(&self, buf: &Arc<UOp>) -> Option<&Arc<UOp>>

pub fn map_buffer(&mut self, original: Arc<UOp>, replacement: Arc<UOp>)

pub fn add_var(&mut self, var: Arc<UOp>, value: Option<i64>)

Track a bound variable with its DEFINE_VAR UOp and concrete value.

Trait Implementations

impl Clone for KernelContext

fn clone(&self) -> KernelContext

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for KernelContext

fn default() -> Self

Returns the “default value” for a type.