79   isl_ctx *IslCtx = isl_ctx_alloc();  in TEST()  local
83     auto IslZero = valFromAPInt(IslCtx, APZero, true);  in TEST()
89     auto IslNOne = valFromAPInt(IslCtx, APNOne, true);  in TEST()
95     auto IslZero = valFromAPInt(IslCtx, APZero, false);  in TEST()
101     auto IslOne = valFromAPInt(IslCtx, APOne, false);  in TEST()
107     auto IslNTwo = valFromAPInt(IslCtx, APNTwo, true);  in TEST()
108     auto IslNTwoCmp = isl::val(IslCtx, -2);  in TEST()
114     auto IslNOne = valFromAPInt(IslCtx, APNOne, true);  in TEST()
120     auto IslZero = valFromAPInt(IslCtx, APZero, false);  in TEST()
126     auto IslOne = valFromAPInt(IslCtx, APOne, false);  in TEST()
132     auto IslTwo = valFromAPInt(IslCtx, APTwo, false);  in TEST()
138     auto IslNOne = valFromAPInt(IslCtx, APNOne, false);  in TEST()
139     auto IslRef = isl::val(IslCtx, 32).pow2().sub(1);  in TEST()
146     auto IslLarge = valFromAPInt(IslCtx, APLarge, false);  in TEST()
147     auto IslRef = isl::val(IslCtx, 71);  in TEST()
152   isl_ctx_free(IslCtx);  in TEST()
156   isl_ctx *IslCtx = isl_ctx_alloc();  in TEST()  local
159     auto IslNOne = isl::val(IslCtx, -1);  in TEST()
167     auto IslNTwo = isl::val(IslCtx, -2);  in TEST()
175     auto IslNThree = isl::val(IslCtx, -3);  in TEST()
183     auto IslNFour = isl::val(IslCtx, -4);  in TEST()
191     auto IslZero = isl::val(IslCtx, 0);  in TEST()
198     auto IslOne = isl::val(IslCtx, 1);  in TEST()
205     auto IslTwo = isl::val(IslCtx, 2);  in TEST()
212     auto IslThree = isl::val(IslCtx, 3);  in TEST()
219     auto IslFour = isl::val(IslCtx, 4);  in TEST()
226     auto IslNOne = isl::val(IslCtx, 32).pow2().sub(1);  in TEST()
233     auto IslLargeNum = isl::val(IslCtx, 60);  in TEST()
242     auto IslExp = isl::val(IslCtx, 500);  in TEST()
251     auto IslExp = isl::val(IslCtx, 500);  in TEST()
260     auto IslExp = isl::val(IslCtx, 512);  in TEST()
269     auto IslExp = isl::val(IslCtx, 512);  in TEST()
277   isl_ctx_free(IslCtx);  in TEST()
281   std::unique_ptr<isl_ctx, decltype(&isl_ctx_free)> IslCtx(isl_ctx_alloc(),  in TEST()  local
284   isl::val ValOne = isl::val(IslCtx.get(), 1);  in TEST()
285   isl::val ValTwo = isl::val(IslCtx.get(), 2);  in TEST()
286   isl::val ValThree = isl::val(IslCtx.get(), 3);  in TEST()
287   isl::val ValFour = isl::val(IslCtx.get(), 4);  in TEST()
288   isl::val ValNegOne = isl::val(IslCtx.get(), -1);  in TEST()
289   isl::val ValNegTwo = isl::val(IslCtx.get(), -2);  in TEST()
290   isl::val ValNegThree = isl::val(IslCtx.get(), -3);  in TEST()
291   isl::val ValNegFour = isl::val(IslCtx.get(), -4);  in TEST()
293   isl::space Space = isl::space(IslCtx.get(), 0, 0);  in TEST()