File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
mlir/lib/Analysis/Presburger Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -112,14 +112,14 @@ QuasiPolynomial QuasiPolynomial::simplify() {
112112 // A term is zero if its coefficient is zero, or
113113 if (coefficients[i] == Fraction (0 , 1 ))
114114 continue ;
115- bool product_is_zero =
115+ bool productIsZero =
116116 // if any of the affine functions in the product
117- llvm::any_of (affine[i], [](const SmallVector<Fraction> &affine_ij ) {
117+ llvm::any_of (affine[i], [](const SmallVector<Fraction> &affineIj ) {
118118 // has all its coefficients as zero.
119- return llvm::all_of (affine_ij ,
119+ return llvm::all_of (affineIj ,
120120 [](const Fraction &f) { return f == 0 ; });
121121 });
122- if (product_is_zero )
122+ if (productIsZero )
123123 continue ;
124124
125125 // Now, we know the term is nonzero.
You can’t perform that action at this time.
0 commit comments