sdfg::einsum::PromotionCheck Struct Reference

Result of checking whether a loop can be folded into a cluster. More...

#include <sdfg/einsum/einsum_detection.h>

Public Attributes
bool	ok = false
OperandContribution	output
std::vector< OperandContribution >	inputs

Detailed Description

Result of checking whether a loop can be folded into a cluster.

Lists the new dimension's contribution to the output and to every input operand. ok is false when the indvar violates the integer-affine index pattern in some operand, or contributes to no operand at all.

Member Data Documentation

inputs

std::vector<OperandContribution> sdfg::einsum::PromotionCheck::inputs

ok

bool sdfg::einsum::PromotionCheck::ok = false

output

OperandContribution sdfg::einsum::PromotionCheck::output

---

The documentation for this struct was generated from the following file:

• opt/include/sdfg/einsum/einsum_detection.h