Lines Matching refs:inv
931 std::string inv = "("; in InductionToString() local
932 inv += InductionToString(info->op_a); in InductionToString()
934 case kNop: inv += " @ "; break; in InductionToString()
935 case kAdd: inv += " + "; break; in InductionToString()
937 case kNeg: inv += " - "; break; in InductionToString()
938 case kMul: inv += " * "; break; in InductionToString()
939 case kDiv: inv += " / "; break; in InductionToString()
940 case kLT: inv += " < "; break; in InductionToString()
941 case kLE: inv += " <= "; break; in InductionToString()
942 case kGT: inv += " > "; break; in InductionToString()
943 case kGE: inv += " >= "; break; in InductionToString()
947 inv += std::to_string(info->fetch->AsIntConstant()->GetValue()); in InductionToString()
949 inv += std::to_string(info->fetch->AsLongConstant()->GetValue()); in InductionToString()
951 inv += std::to_string(info->fetch->GetId()) + ":" + info->fetch->DebugName(); in InductionToString()
954 case kTripCountInLoop: inv += " (TC-loop) "; break; in InductionToString()
955 case kTripCountInBody: inv += " (TC-body) "; break; in InductionToString()
956 case kTripCountInLoopUnsafe: inv += " (TC-loop-unsafe) "; break; in InductionToString()
957 case kTripCountInBodyUnsafe: inv += " (TC-body-unsafe) "; break; in InductionToString()
959 inv += InductionToString(info->op_b); in InductionToString()
960 inv += ")"; in InductionToString()
961 return inv; in InductionToString()