Module Sarek_ir_analysis

Sarek_ir_analysis - Analysis functions for GPU kernel IR

val elttype_uses_float64 : Sarek_ir_types.elttype -> bool

Check if an element type is or contains float64

val const_uses_float64 : Sarek_ir_types.const -> bool

Check if a constant is float64

val expr_uses_float64 : Sarek_ir_types.expr -> bool

Check if an expression uses float64

val stmt_uses_float64 : Sarek_ir_types.stmt -> bool

Check if a statement uses float64

val decl_uses_float64 : Sarek_ir_types.decl -> bool

Check if a declaration uses float64

val helper_uses_float64 : Sarek_ir_types.helper_func -> bool

Check if a helper function uses float64

val kernel_uses_float64 : Sarek_ir_types.kernel -> bool

Check if a kernel uses float64 anywhere