Searched defs:induction_var (Results 1 – 2 of 2) sorted by relevance
274 InductionVariable* induction_var = TryGetInductionVariable(phi); in DetectInductionVariables() local288 InductionVariable* induction_var = entry.second; in ChangeToInductionVariablePhis() local316 InductionVariable* induction_var = entry.second; in ChangeToPhisAndInsertGuards() local
336 InductionVariable* induction_var = entry.second; in Run() local800 InductionVariable* induction_var = res->second; in TypeInductionVariablePhi() local881 InductionVariable* induction_var) { in InductionVariablePhiTypeIsPrefixedPoint()