Lines Matching defs:elseValue

163     Value elseValue = ifOp.elseYield().getResults()[resultNum];
170     // If thenValue <= elseValue:
171     // * result <= elseValue
176             /*rhs=*/{elseValue, dim})) {
179         cstr.bound(value)[*dim] <= cstr.getExpr(elseValue, dim);
182         cstr.bound(value) <= elseValue;
185     // If elseValue <= thenValue:
187     // * result >= elseValue
189             /*lhs=*/{elseValue, dim},
193         cstr.bound(value)[*dim] >= cstr.getExpr(elseValue, dim);
196         cstr.bound(value) >= elseValue;