Searched refs:Induction (Results 1 – 4 of 4) sorted by relevance
1172 any_of(getInductionVars(), [&](auto &Induction) -> bool { in canVectorizeFPMath() argument1173 InductionDescriptor IndDesc = Induction.second; in canVectorizeFPMath()
3247 for (const auto &Induction : Legal->getInductionVars()) { in collectLoopScalars() local3248 auto *Ind = Induction.first; in collectLoopScalars()3260 return Induction.second.getKind() == in collectLoopScalars()3747 for (const auto &Induction : Legal->getInductionVars()) { in collectLoopUniforms() local3748 auto *Ind = Induction.first; in collectLoopUniforms()6729 for (const auto &Induction : Legal->getInductionVars()) { in collectValuesToIgnore() local6730 const InductionDescriptor &IndDes = Induction.second; in collectValuesToIgnore()
603 James H. Morris, Jr. Another Recursion Induction Principle 351--3542639 Ben Wegbreit Subgoal Induction . . . . . . . . . . . 209--222
4235 title = "Another Recursion Induction Principle",20057 title = "Subgoal Induction",