Searched defs:induction (Results 1 – 2 of 2) sorted by relevance
560 InductionInfo* induction = SolvePhi(phi, /*input_index=*/ 1, /*adjust_input_size=*/ 0, cycle); in ClassifyNonTrivial() local594 InductionInfo* induction, in RotatePeriodicInduction()
54 HInductionVarAnalysis induction(graph_); in RunBCE() local