Searched refs:IsAlwaysGreaterOrEqualToZero (Results 1 – 9 of 9) sorted by relevance
104 bool IsAlwaysGreaterOrEqualToZero(SENode* node, bool* is_ge_zero) const;
974 return scev_analysis_->IsAlwaysGreaterOrEqualToZero(rhs - lhs, result); in EvalOperator()977 return scev_analysis_->IsAlwaysGreaterOrEqualToZero(lhs - rhs, result); in EvalOperator()
922 bool ScalarEvolutionAnalysis::IsAlwaysGreaterOrEqualToZero( in IsAlwaysGreaterOrEqualToZero() function in spvtools::opt::ScalarEvolutionAnalysis