warriors/trisha/baselines/triton/vm/core/convert.tasm

ฯ€ 0.0% 63 words ยท 1 min 
// Hand-optimized TASM baseline: vm.core.convert

// Type conversion intrinsics โ€” single Triton VM instructions.

// as_u32(a: Field) -> U32: reject values outside the U32 range
vm_core_convert__as_u32:
    split
    swap 1
    push 0
    eq
    assert
    return

// as_field(a: U32) -> Field: identity (U32 is already a field element)
vm_core_convert__as_field:
    return

// split(a: Field) -> (U32, U32): split into (hi, lo)
vm_core_convert__split:
    split
    return

Graph