Add StableHLO export contract and IREE CPU compile baseline
SKaiNET already lowers its Kotlin DSL to MLIR StableHLO and produces “valid IREE-compilable output,” while IREE documents StableHLO as an accepted input format and provides a standard CPU path through iree-compile, iree-run-module, and the llvm-cpu backend. This milestone makes that claim testable with a narrow, repeatable contract on CPU first.
Background links:
- SKaiNET README and compiler overview. ([GitHub][1])
- SKaiNET HLO getting started. ([GitHub][2])
- SKaiNET Graph DSL support. ([GitHub][3])
- IREE StableHLO input format, compiler, runtime, and CPU deployment docs. ([IREE][4])
Acceptance criteria:
Add StableHLO export contract and IREE CPU compile baseline
SKaiNET already lowers its Kotlin DSL to MLIR StableHLO and produces “valid IREE-compilable output,” while IREE documents StableHLO as an accepted input format and provides a standard CPU path through
iree-compile,iree-run-module, and thellvm-cpubackend. This milestone makes that claim testable with a narrow, repeatable contract on CPU first.Background links:
Acceptance criteria:
iree-compilefor--iree-hal-local-target-device-backends=llvm-cpu.iree-run-moduleon a local CPU device.