Lines Matching +full:- +full:y
1 //===- PWMAFunctionTest.cpp - Tests for PWMAFunction ----------------------===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
11 //===----------------------------------------------------------------------===//
31 parsePWMAF({{"(x, y) : (y == 0)", "(x, y) -> (x, y)"}, in TEST()
32 {"(x, y) : (y - 1 >= 0, x == 0)", "(x, y) -> (x, y)"}, in TEST()
33 {"(x, y) : (-y - 1 >= 0, x == 0)", "(x, y) -> (x, y)"}}); in TEST()
35 parsePWMAF({{"(x, y) : (y == 0)", "(x, y) -> (x, 20*y)"}, in TEST()
36 {"(x, y) : (y - 1 >= 0, x == 0)", "(x, y) -> (30*x, y)"}, in TEST()
37 {"(x, y) : (-y - 1 > =0, x == 0)", "(x, y) -> (30*x, y)"}}); in TEST()
41 {"(x, y) : (y == 0)", "(x, y) -> (x, y)"}, in TEST()
42 {"(x, y) : (y - 1 >= 0, x == 0)", "(x, y) -> (x, 2*y)"}, in TEST()
43 {"(x, y) : (-y - 1 >= 0, x == 0)", "(x, y) -> (x, 2*y)"}, in TEST()
49 parsePWMAF({{"(x, y) : (x >= 0)", "(x, y) -> (x, y)"}, in TEST()
50 {"(x, y) : (-x - 1 >= 0, y >= 0)", "(x, y) -> (x, y)"}}); in TEST()
52 {"(x, y) : (x >= 0)", "(x, y) -> (x, y)"}, in TEST()
58 {"(x, y) : (x >= 0)", "(x, y) -> (x + y + 1)"}, in TEST()
59 {"(x, y) : (-x - 1 >= 0, -y - 1 >= 0)", "(x, y) -> (x + y + 1)"}, in TEST()
60 {"(x, y) : (-x - 1 >= 0, y >= 0)", "(x, y) -> (x + y + 1)"}, in TEST()
63 {"(x, y) : ()", "(x, y) -> (x + y + 1)"}, in TEST()
69 {"() : ()", "() -> (1)"}, in TEST()
72 {"() : ()", "() -> (2)"}, in TEST()
85 {"(x) : (x - 2*(x floordiv 2) == 0, x - 3*(x floordiv 3) == 0)", in TEST()
86 "(x) -> (x + 4 * (x floordiv 2) + 4 * (x floordiv 3))"}, in TEST()
89 {"(x) : (x - 6*(x floordiv 6) == 0)", "(x) -> (26 * (x floordiv 6))"}, in TEST()
94 {"(x) : (x - 5*(x floordiv 5) == 0)", "(x) -> (52 * (x floordiv 6))"}, in TEST()
99 {"(x) : (x - 5*(x floordiv 5) == 0)", "(x) -> (26 * (x floordiv 5))"}, in TEST()
106 {{"(x, y) : (x >= 0)", "(x, y) -> (x + 2*y + 3, 3*x + 4*y + 5)"}, in TEST()
107 {"(x, y) : (y >= 0, -x - 1 >= 0)", in TEST()
108 "(x, y) -> (-x + 2*y + 3, -3*x + 4*y + 5)"}}); in TEST()
110 EXPECT_THAT(*nonNegPWMAF.valueAt({-2, 3}), ElementsAre(11, 23)); in TEST()
111 EXPECT_THAT(*nonNegPWMAF.valueAt({2, -3}), ElementsAre(-1, -1)); in TEST()
112 EXPECT_FALSE(nonNegPWMAF.valueAt({-2, -3}).has_value()); in TEST()
115 {{"(x, y) : (x >= 0, x - 2*(x floordiv 2) == 0)", in TEST()
116 "(x, y) -> (2*y + (x floordiv 2) + 3, 4*y + 3*(x floordiv 2) + 5)"}, in TEST()
117 {"(x, y) : (y >= 0, -x - 1 >= 0)", in TEST()
118 "(x, y) -> (-x + 2*y + 3, -3*x + 4*y + 5)"}}); in TEST()
120 EXPECT_THAT(*divPWMAF.valueAt({4, -3}), ElementsAre(-1, -1)); in TEST()
122 EXPECT_FALSE(divPWMAF.valueAt({3, -3}).has_value()); in TEST()
124 EXPECT_THAT(*divPWMAF.valueAt({-2, 3}), ElementsAre(11, 23)); in TEST()
125 EXPECT_FALSE(divPWMAF.valueAt({-2, -3}).has_value()); in TEST()
130 {"(x, y) : (x == 0, y == 0, x - 2*(x floordiv 2) == 0, y - 2*(y floordiv " in TEST()
132 "(x, y) -> (0, 0)"}, in TEST()
135 {"(x, y) : (x - 11*y == 0, 11*x - y == 0, x - 2*(x floordiv 2) == 0, " in TEST()
136 "y - 2*(y floordiv 2) == 0)", in TEST()
137 "(x, y) -> (0, 0)"}, in TEST()
144 {"(x, y) : (x - 2*(x floordiv 2) == 0, x - 2*y == 0)", "(x, y) -> (y)"}, in TEST()
147 {"(x, y) : (x - 2*(x floordiv 2) == 0, x - 2*y == 0)", in TEST()
148 "(x, y) -> (x - y)"}, in TEST()
157 {"(x) : ()", "(x) -> (1)"}, in TEST()
161 {"(x) : (1 == 0)", "(x) -> (2)"}, in TEST()
171 {"(x) : ()", "(x) -> (1)"}, in TEST()
175 {"(x) : (x >= 0, 10 - x >= 0)", "(x) -> (2)"}, in TEST()
179 {"(x) : (-1 - x >= 0)", "(x) -> (1)"}, in TEST()
180 {"(x) : (x >= 0, 10 - x >= 0)", "(x) -> (2)"}, in TEST()
181 {"(x) : (x - 11 >= 0)", "(x) -> (1)"}, in TEST()
191 {"(x) : ()", "(x) -> (x)"}, in TEST()
195 {"(x) : ()", "(x) -> (-x)"}, in TEST()
199 {"(x) : (x >= 0)", "(x) -> (x)"}, in TEST()
200 {"(x) : (-1 - x >= 0)", "(x) -> (-x)"}, in TEST()
210 {"(x) : (x >= 0, 10 - x >= 0)", "(x) -> (1)"}, in TEST()
211 {"(x) : (x - 71 >= 0, 80 - x >= 0)", "(x) -> (1)"}, in TEST()
215 {"(x) : (x - 20 >= 0, 41 - x >= 0)", "(x) -> (2)"}, in TEST()
216 {"(x) : (x - 101 >= 0, 120 - x >= 0)", "(x) -> (2)"}, in TEST()
220 {"(x) : (x >= 0, 10 - x >= 0)", "(x) -> (1)"}, in TEST()
221 {"(x) : (x - 71 >= 0, 80 - x >= 0)", "(x) -> (1)"}, in TEST()
222 {"(x) : (x - 20 >= 0, 41 - x >= 0)", "(x) -> (2)"}, in TEST()
223 {"(x) : (x - 101 >= 0, 120 - x >= 0)", "(x) -> (2)"}, in TEST()
235 {"(x) : ()", "(x) -> (-1)"}, in TEST()
239 {"(x) : (1 == 0)", "(x) -> (-2)"}, in TEST()
249 {"(x) : ()", "(x) -> (-1)"}, in TEST()
253 {"(x) : (x >= 0, 10 - x >= 0)", "(x) -> (-2)"}, in TEST()
257 {"(x) : (-1 - x >= 0)", "(x) -> (-1)"}, in TEST()
258 {"(x) : (x >= 0, 10 - x >= 0)", "(x) -> (-2)"}, in TEST()
259 {"(x) : (x - 11 >= 0)", "(x) -> (-1)"}, in TEST()
269 {"(x) : ()", "(x) -> (-x)"}, in TEST()
273 {"(x) : ()", "(x) -> (x)"}, in TEST()
277 {"(x) : (x >= 0)", "(x) -> (-x)"}, in TEST()
278 {"(x) : (-1 - x >= 0)", "(x) -> (x)"}, in TEST()
289 // x >= 21 --> func1 (func2 not defined) in TEST()
290 // x <= 0 --> func2 (func1 not defined) in TEST()
291 // 10 <= x <= 20, y > 0 --> func1 (x + y > x - y for y > 0) in TEST()
292 // 10 <= x <= 20, y <= 0 --> func2 (x + y <= x - y for y <= 0) in TEST()
295 {"(x, y) : (x >= 10)", "(x, y) -> (x + y)"}, in TEST()
299 {"(x, y) : (x <= 20)", "(x, y) -> (x - y)"}, in TEST()
303 {"(x, y) : (x >= 10, x <= 20, y >= 1)", "(x, y) -> (x + y)"}, in TEST()
304 {"(x, y) : (x >= 21)", "(x, y) -> (x + y)"}, in TEST()
305 {"(x, y) : (x <= 9)", "(x, y) -> (x - y)"}, in TEST()
306 {"(x, y) : (x >= 10, x <= 20, y <= 0)", "(x, y) -> (x - y)"}, in TEST()
314 // If y >= 1, func1 is better because in the first output, in TEST()
315 // x + y (func1) > x (func2), when y >= 1 in TEST()
317 // If y == 0, the first output is same for both functions, so we look at the in TEST()
318 // second output. -2x + 4 (func1) > 2x - 2 (func2) when 0 <= x <= 1, so we in TEST()
322 {"(x, y) : (x >= 0, y >= 0)", "(x, y) -> (x + y, -2*x + 4)"}, in TEST()
326 {"(x, y) : (x >= 0, y >= 0)", "(x, y) -> (x, 2*x - 2)"}, in TEST()
330 {"(x, y) : (x >= 0, y >= 1)", "(x, y) -> (x + y, -2*x + 4)"}, in TEST()
331 {"(x, y) : (x >= 0, x <= 1, y == 0)", "(x, y) -> (x + y, -2*x + 4)"}, in TEST()
332 {"(x, y) : (x >= 2, y == 0)", "(x, y) -> (x, 2*x - 2)"}, in TEST()
342 // a == 1 --> Take func2 in TEST()
343 // a == 0, b == 1 --> Take func1 in TEST()
344 // a == 0, b == 0, c == 1 --> Take func2 in TEST()
347 {"(a, b, c) : (a >= 0, 1 - a >= 0, b >= 0, 1 - b >= 0, c " in TEST()
348 ">= 0, 1 - c >= 0)", in TEST()
349 "(a, b, c) -> (0, b, 0)"}, in TEST()
353 {"(a, b, c) : (a >= 0, 1 - a >= 0, b >= 0, 1 - b >= 0, c >= 0, 1 - " in TEST()
355 "(a, b, c) -> (a, 0, c)"}, in TEST()
359 {"(a, b, c) : (a - 1 == 0, b >= 0, 1 - b >= 0, c >= 0, 1 - c >= 0)", in TEST()
360 "(a, b, c) -> (a, 0, c)"}, in TEST()
361 {"(a, b, c) : (a == 0, b - 1 == 0, c >= 0, 1 - c >= 0)", in TEST()
362 "(a, b, c) -> (0, b, 0)"}, in TEST()
363 {"(a, b, c) : (a == 0, b == 0, c >= 0, 1 - c >= 0)", in TEST()
364 "(a, b, c) -> (a, 0, c)"}, in TEST()
377 // -x (func1) is < 0 (func2) when x == 1. in TEST()
381 // y - 1 (func2) is < y (func1). in TEST()
383 {"(x, y) : (x >= 0, x <= 1, y >= 0, y <= 1)", "(x, y) -> (-x, y)"}, in TEST()
387 {"(x, y) : (x >= 0, x <= 1, y >= 0, y <= 1)", "(x, y) -> (0, y - 1)"}, in TEST()
391 {"(x, y) : (x == 1, y >= 0, y <= 1)", "(x, y) -> (-x, y)"}, in TEST()
392 {"(x, y) : (x == 0, y >= 0, y <= 1)", "(x, y) -> (0, y - 1)"}, in TEST()
402 {"(x, y) : (x mod 5 == 0)", "(x, y) -> (x, 1)"}, in TEST()
406 {"(x, y) : (x mod 7 == 0)", "(x, y) -> (x + y, 2)"}, in TEST()
410 {"(x, y) : (x mod 5 == 0, x mod 7 >= 1)", "(x, y) -> (x, 1)"}, in TEST()
411 {"(x, y) : (x mod 7 == 0, x mod 5 >= 1)", "(x, y) -> (x + y, 2)"}, in TEST()
412 {"(x, y) : (x mod 5 == 0, x mod 7 == 0, y >= 0)", "(x, y) -> (x, 1)"}, in TEST()
413 {"(x, y) : (x mod 7 == 0, x mod 5 == 0, y <= -1)", in TEST()
414 "(x, y) -> (x + y, 2)"}, in TEST()
422 {"(x) : (x >= 0, x <= 1000)", "(x) -> (x floordiv 16)"}, in TEST()
426 {"(x) : (x >= 0, x <= 1000)", "(x) -> ((x + 10) floordiv 17)"}, in TEST()
431 "(x) -> (x floordiv 16)"}, in TEST()
433 "(x) -> ((x + 10) floordiv 17)"}, in TEST()