Go to the source code of this file.
|
| static std::pair< Lam *, const Def * > | mim::plug::tensor::phase::counting_for (const Def *bound, const Def *acc, const Def *exit, Sym name) |
| static std::tuple< Vector< u64 >, Vector< u64 >, absl::flat_hash_map< u64, const Def * >, Vector< u64 > > | mim::plug::tensor::phase::extract_indices (const u64 n_nat, const u64 nis_nat, const Def *S, const Def *Ris, const Def *Sis, const Def *subs) |
| static std::tuple< const Def *, const Def *, absl::flat_hash_map< u64, const Def * >, Lam * > | mim::plug::tensor::phase::create_outer_loop (Lam *fun, const Vector< u64 > &out_indices, const absl::flat_hash_map< u64, const Def * > &dims) |