Searched refs:nonNegativePred (Results 1 – 1 of 1) sorted by relevance
38 auto nonNegativePred = [&solver](Value v) -> bool { in staticallyNonNegative() local41 return success(llvm::all_of(op->getOperands(), nonNegativePred) && in staticallyNonNegative()42 llvm::all_of(op->getResults(), nonNegativePred)); in staticallyNonNegative()