Searched refs:Induction (Results 1 – 4 of 4) sorted by relevance
1315 any_of(getInductionVars(), [&](auto &Induction) -> bool { in canVectorizeFPMath() argument1316 InductionDescriptor IndDesc = Induction.second; in canVectorizeFPMath()
2851 for (const auto &Induction : Legal->getInductionVars()) { in collectLoopScalars() local2852 auto *Ind = Induction.first; in collectLoopScalars()2864 return Induction.second.getKind() == in collectLoopScalars()3370 for (const auto &Induction : Legal->getInductionVars()) { in collectLoopUniforms() local3371 auto *Ind = Induction.first; in collectLoopUniforms()6519 for (const auto &Induction : Legal->getInductionVars()) { in collectValuesToIgnore() local6520 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",