feat(hlo): DSL→StableHLO path for transformer/gemma3 export#661

Merged

michalharakal merged 10 commits into

feature/stablehlo-dtype

Jun 4, 2026

Commits on Jun 1, 2026

feat(hlo): DSL prescribes element dtype for placeholder weights

michalharakal
and
claude
committed
feat(hlo): add permute + narrow StableHLO converters

michalharakal
and
claude
committed
fix(trace): VoidTensorOps.gather output shape for multi-dim indices

michalharakal
and
claude
committed
feat(hlo): multi-output converter support + split converter

michalharakal
and
claude
committed
feat(hlo): scaledDotProductAttention converter — full gemma3 lowers

michalharakal
and
claude
committed
fix(hlo): emit iree-valid StableHLO syntax — full gemma3 compiles to vmfb

michalharakal
and
claude
committed
test: numerical validation harness for SDPA lowering

michalharakal
and
claude
committed
feat(hlo): causal mask for scaledDotProductAttention (numerically validated)

michalharakal
and
claude
committed
feat(hlo): boxing-free FloatArray weight externalization for .irpa baking

michalharakal
and
claude
committed
fix(hlo attention): consume explicit SDPA mask operand

michalharakal
and
claude
committed