pub struct CeilToMultiple { /* private fields */ }Expand description
Smallest multiple of multiple that is ≥ value.
Signature: ceil_to_multiple(value: u64, multiple: u64) -> (u64)
Workload-author shorthand for “round this value up to the
next whole multiple of base.” Eliminates the
(v + m - 1) / m * m / div_ceil idiom from bindings.
multiple == 0 is a soft no-op: returns value unchanged
rather than trapping, so a transient zero from a wire-bound
extern doesn’t break a binding mid-evaluation.
Use cases:
- cycle counts:
ceil_to_multiple(min_cycles, base)gives the smallest whole-pass cycle count meeting a minimum - alignment: pad an offset up to a chunk boundary
- bucketing: snap a value up to the next bin edge
JIT level: P3 (JitOp::CeilToMultiple, inline).
Smallest multiple of multiple that is ≥ value. SRD-80
PR B.13. multiple == 0 is a soft no-op (returns value
unchanged) so a transient zero from a wire-bound extern
doesn’t break a binding mid-evaluation.
Implementations§
Trait Implementations§
Source§impl Default for CeilToMultiple
impl Default for CeilToMultiple
Source§impl PolydatNode for CeilToMultiple
impl PolydatNode for CeilToMultiple
Source§fn compiled_u64(&self) -> Option<CompiledU64Op>
fn compiled_u64(&self) -> Option<CompiledU64Op>
Return a compiled u64-only evaluation closure, if this node
operates entirely in u64 space. Read more
Source§fn jit_constants(&self) -> Vec<u64>
fn jit_constants(&self) -> Vec<u64>
Return assembly-time constants for JIT compilation. Read more
Source§fn scratch_layout(&self) -> Vec<ScratchElem>
fn scratch_layout(&self) -> Vec<ScratchElem>
The scratch entries a state owns for this node’s evaluation
(axiom S3), one per entry in the order the node expects them
in
Self::eval_in. Empty for a node that evaluates over
Values alone, which is every node but a native cone.Source§fn eval_in(
&self,
scratch: &mut [ScratchBuf],
inputs: &[Value],
outputs: &mut [Value],
)
fn eval_in( &self, scratch: &mut [ScratchBuf], inputs: &[Value], outputs: &mut [Value], )
Self::eval with the node’s scratch, which the evaluating
state owns and hands in: storage belongs to the state, never to
the node, which is shared by every state of the program.Source§fn commutativity(&self) -> Commutativity
fn commutativity(&self) -> Commutativity
Declare which inputs are interchangeable for this node. Read more
Source§fn accepts_none_inputs(&self) -> bool
fn accepts_none_inputs(&self) -> bool
True iff this node should receive
Value::None inputs
directly rather than have the kernel propagate None through
it. Default: false — most nodes follow SRD-74 Rule 1
(None in → None out, no eval invocation). Read moreSource§fn compiled_slot(&self, _wire_types: &[PortType]) -> Option<CompiledSlotKit>
fn compiled_slot(&self, _wire_types: &[PortType]) -> Option<CompiledSlotKit>
Return a slot-compiled closure for nodes with typed-slice
ports (§8.4 layer 3): slice inputs read
(ptr, len) slot
pairs; vector outputs write into kernel-owned scratch.
Checked by the compiled-kernel builders AFTER
Self::compiled_u64 — pure-scalar nodes never need it.
Default None: the node stays on typed eval.Source§fn purity(&self) -> Purity
fn purity(&self) -> Purity
Declare this node’s purity status per the
runtime_model.md’s D2 axiom. Default:
Purity::Pure. Override to declare an observable
side channel (Purity::SideChannel) or
eval-call-spanning state (Purity::Nondeterministic). Read moreSource§fn simd_variant(&self) -> Option<SimdVariant>
fn simd_variant(&self) -> Option<SimdVariant>
Explicit SIMD-native implementation of this scalar node, if one has
been registered with a semantic contract. Read more
Source§fn fusion_subgraph(&self) -> Option<FusionSubgraph<'_>>
fn fusion_subgraph(&self) -> Option<FusionSubgraph<'_>>
A synthetic fusion node’s view of the subgraph it stands in
for (SRD-105 cone extraction). Program-identity hashing
(
PolydatProgram::canonical_hash) walks THROUGH fusion
nodes into this subgraph, so identity is invariant to the
engine mix: jit=off and jit=auto compiles of the same
source hash identically, and resume-skip matching survives
mode changes. Default None: ordinary nodes hash as
themselves.Auto Trait Implementations§
impl Freeze for CeilToMultiple
impl RefUnwindSafe for CeilToMultiple
impl Send for CeilToMultiple
impl Sync for CeilToMultiple
impl Unpin for CeilToMultiple
impl UnsafeUnpin for CeilToMultiple
impl UnwindSafe for CeilToMultiple
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more