Lines Matching defs:thenValue

162     Value thenValue = ifOp.thenYield().getResults()[resultNum];
170     // If thenValue <= elseValue:
172     // * result >= thenValue
174             /*lhs=*/{thenValue, dim},
178         cstr.bound(value)[*dim] >= cstr.getExpr(thenValue, dim);
181         cstr.bound(value) >= thenValue;
185     // If elseValue <= thenValue:
186     // * result <= thenValue
191             /*rhs=*/{thenValue, dim})) {
194         cstr.bound(value)[*dim] <= cstr.getExpr(thenValue, dim);
197         cstr.bound(value) <= thenValue;