Searched refs:nonNegPWMAF (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | PWMAFunctionTest.cpp | 132 PWMAFunction nonNegPWMAF = parsePWMAF( in TEST() local
138 EXPECT_THAT(*nonNegPWMAF.valueAt({2, 3}), ElementsAre(11, 23)); in TEST()
139 EXPECT_THAT(*nonNegPWMAF.valueAt({-2, 3}), ElementsAre(11, 23)); in TEST()
140 EXPECT_THAT(*nonNegPWMAF.valueAt({2, -3}), ElementsAre(-1, -1)); in TEST()
141 EXPECT_FALSE(nonNegPWMAF.valueAt({-2, -3}).has_value()); in TEST()
|