TypeMapper

Handles type system mapping between SKaiNET and MLIR types.

This class provides conversion utilities for mapping SKaiNET data types and tensor specifications to their corresponding MLIR representations.

Constructors

constructor()

Check if two types are compatible for operations

Create a dynamic tensor type (with unknown dimensions)

Create a tensor type string with explicit shape

Get the MLIR type for a scalar constant of the given dtype

Infer broadcast type for two tensor specs

Map SKaiNET data type string to MLIR element type

Map function signature with inputs and outputs

Map a TensorSpec to MLIR tensor type string