Module Sarek_ir_conv

module P = Sarek_ir_ppx
module T = Sarek_ir_types
val conv_memspace : P.memspace -> T.memspace
val conv_elttype : P.elttype -> T.elttype
val conv_var : P.var -> T.var
val conv_const : P.const -> T.const
val conv_binop : P.binop -> T.binop
val conv_unop : P.unop -> T.unop
val conv_for_dir : P.for_dir -> T.for_dir
val conv_pattern : P.pattern -> T.pattern
val conv_expr : P.expr -> T.expr
val conv_lvalue : P.lvalue -> T.lvalue
val conv_stmt : P.stmt -> T.stmt
val has_native : P.stmt -> bool

Whether a statement contains an SNative node, which conv_stmt refuses.

val conv_decl : P.decl -> T.decl
val conv_helper_func : P.helper_func -> T.helper_func
val conv_kernel : P.kernel -> T.kernel

Convert a Sarek_ir_ppx.kernel to a Sarek_ir_types.kernel. The kern_native_fn field is set to None — transpiled kernels never carry a native CPU function.