Lines Matching defs:negative

74   /// Euclidean modulo operation: negative RHS is not allowed.
75   /// Remainder of the euclidean integer division is always non-negative.
81   ///             negative = a < 0 in
82   ///         select negative, remainder + b, remainder.
106   /// Floor division operation (rounds towards negative infinity).
112   ///            let negative = a < 0 in
113   ///            let absolute = negative ? -a - 1 : a in
115   ///                negative ? -quotient - 1 : quotient
122   /// it supports negative RHS.
136     Value negative = builder.create<arith::CmpIOp>(
140         builder.create<arith::SelectOp>(loc, negative, negatedDecremented, lhs);
144     Value result = builder.create<arith::SelectOp>(loc, negative,
155   ///         let negative = a <= 0 in
156   ///         let absolute = negative ? -a : a - 1 in
158   ///             negative ? -quotient : quotient + 1
1912     // obtain a constant upper bound. Also, mapping to a negative space is