MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
normalizers.cpp File Reference
#include <iostream>
#include "mim/axiom.h"
#include "mim/world.h"
#include "mim/plug/matrix/matrix.h"
Include dependency graph for normalizers.cpp:

Go to the source code of this file.

Namespaces

namespace  mim
 
namespace  mim::plug
 
namespace  mim::plug::matrix
 The matrix Plugin
 

Functions

u64 mim::plug::matrix::get_max_index (u64 init, Defs inputs)
 Matrix normalizer for product on two-dimensional matrices.
 
%matrix.read
Ref mim::plug::matrix::normalize_read (Ref type, Ref callee, Ref arg)
 Normalizer for read opertions.
 
%matrix.insert
Ref mim::plug::matrix::normalize_insert (Ref type, Ref callee, Ref arg)
 Normalizer for write operations TODO: implement.
 
%matrix.shape
Ref mim::plug::matrix::normalize_shape (Ref type, Ref callee, Ref arg)
 Normalizer for transpose operations.
 
%matrix.map_reduce
Ref mim::plug::matrix::normalize_map_reduce (Ref type, Ref callee, Ref arg)
 map_reduce normalizers
 
%matrix.prod
Ref mim::plug::matrix::normalize_prod (Ref type, Ref callee, Ref arg)
 
%matrix.transpose
Ref mim::plug::matrix::normalize_transpose (Ref type, Ref callee, Ref arg)