Searched refs:Induction (Results 1 – 4 of 4) sorted by relevance
1164 any_of(getInductionVars(), [&](auto &Induction) -> bool { in canVectorizeFPMath() argument1165 InductionDescriptor IndDesc = Induction.second; in canVectorizeFPMath()
3902 for (const auto &Induction : Legal->getInductionVars()) { in collectLoopScalars() local3903 auto *Ind = Induction.first; in collectLoopScalars()3915 return Induction.second.getKind() == in collectLoopScalars()4391 for (const auto &Induction : Legal->getInductionVars()) { in collectLoopUniforms() local4392 auto *Ind = Induction.first; in collectLoopUniforms()7222 for (const auto &Induction : Legal->getInductionVars()) { in collectValuesToIgnore() local7223 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",