Skip to content

check.file.write.npy

← check dialect

Writes a typed value to an NPY file according to a static output policy.

Operation contract

Property Value
Semantic phase —
Traits UnknownEffects, HasAnyAncestor(check.case, check.scenario)

Signature

Kind Name Type Cardinality Description
Operand value any required —
Attribute path string required —
Attribute mode enum FileWriteMode optional —

Examples

check.file.write.npy value(%actual) path("outputs/layer_norm.actual.npy") mode(on_failure) : tensor<1024xf32>