Searched refs:kSubF (Results 1 – 4 of 4) sorted by relevance
102 case kSubF: in TensorExp()180 if (kind == kSubF) in takeDisj()372 case kSubF: in isSingleCondition()459 case kSubF: in kindToOpSymbol()544 case kSubF: in dumpExp()740 case kSubF: in buildLattices()993 return addExp(kSubF, e0, e1); in buildTensorExp()1172 case kSubF: in buildExp()
76 kSubF, enumerator
32 DO(subf, Kind::kSubF) \277 case kSubF: in compareExpression()
400 case Kind::kSubF: in getReduction()