17   PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 2, 1);  in TEST()  local
20   space.insertVar(VarKind::Domain, 0, 2);  in TEST()
21   EXPECT_EQ(space.getNumDomainVars(), 4u);  in TEST()
24   space.insertVar(VarKind::Range, 0, 1);  in TEST()
25   EXPECT_EQ(space.getNumRangeVars(), 3u);  in TEST()
29   PresburgerSpace space = PresburgerSpace::getSetSpace(2, 1);  in TEST()  local
31   // Try inserting 2 dimension ids. The space should have 4 range ids since  in TEST()
34   space.insertVar(VarKind::SetDim, 0, 2);  in TEST()
35   EXPECT_EQ(space.getNumRangeVars(), 4u);  in TEST()
39   PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 3);  in TEST()  local
42   space.removeVarRange(VarKind::Domain, 0, 1);  in TEST()
43   EXPECT_EQ(space.getNumDomainVars(), 1u);  in TEST()
46   space.removeVarRange(VarKind::Symbol, 0, 1);  in TEST()
47   space.removeVarRange(VarKind::Range, 0, 1);  in TEST()
48   EXPECT_EQ(space.getNumDomainVars(), 1u);  in TEST()
49   EXPECT_EQ(space.getNumRangeVars(), 0u);  in TEST()
50   EXPECT_EQ(space.getNumSymbolVars(), 2u);  in TEST()
54   PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 2, 1, 0);  in TEST()  local
59   space.setId(VarKind::Domain, 0, Identifier(&identifiers[0]));  in TEST()
60   space.setId(VarKind::Domain, 1, Identifier(&identifiers[1]));  in TEST()
63   space.insertVar(VarKind::Domain, 0, 2);  in TEST()
64   EXPECT_EQ(space.getNumDomainVars(), 4u);  in TEST()
67   space.insertVar(VarKind::Range, 0, 1);  in TEST()
68   EXPECT_EQ(space.getNumRangeVars(), 3u);  in TEST()
71   EXPECT_EQ(space.getId(VarKind::Domain, 2), Identifier(&identifiers[0]));  in TEST()
72   EXPECT_EQ(space.getId(VarKind::Domain, 3), Identifier(&identifiers[1]));  in TEST()
76   PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 3, 0);  in TEST()  local
81   space.setId(VarKind::Domain, 0, Identifier(&identifiers[0]));  in TEST()
82   space.setId(VarKind::Domain, 1, Identifier(&identifiers[1]));  in TEST()
85   space.setId(VarKind::Range, 0, Identifier(&identifiers[2]));  in TEST()
88   space.setId(VarKind::Symbol, 0, Identifier(&identifiers[3]));  in TEST()
89   space.setId(VarKind::Symbol, 1, Identifier(&identifiers[4]));  in TEST()
90   space.setId(VarKind::Symbol, 2, Identifier(&identifiers[5]));  in TEST()
93   space.removeVarRange(VarKind::Domain, 0, 1);  in TEST()
94   EXPECT_EQ(space.getNumDomainVars(), 1u);  in TEST()
97   space.removeVarRange(VarKind::Symbol, 0, 1);  in TEST()
98   space.removeVarRange(VarKind::Range, 0, 1);  in TEST()
99   EXPECT_EQ(space.getNumDomainVars(), 1u);  in TEST()
100   EXPECT_EQ(space.getNumRangeVars(), 0u);  in TEST()
101   EXPECT_EQ(space.getNumSymbolVars(), 2u);  in TEST()
104   EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[1]));  in TEST()
107   EXPECT_EQ(space.getId(VarKind::Range, 0), Identifier(&identifiers[4]));  in TEST()
108   EXPECT_EQ(space.getId(VarKind::Range, 1), Identifier(&identifiers[5]));  in TEST()
112   PresburgerSpace space = PresburgerSpace::getRelationSpace(1, 2, 0, 0);  in TEST()  local
115   space.setId(VarKind::Domain, 0, Identifier(&identifiers[0]));  in TEST()
116   space.setId(VarKind::Range, 0, Identifier(&identifiers[0]));  in TEST()
117   space.setId(VarKind::Range, 1, Identifier(&identifiers[1]));  in TEST()
119   EXPECT_EQ(space.getId(VarKind::Domain, 0), space.getId(VarKind::Range, 0));  in TEST()
121       space.getId(VarKind::Range, 0).isEqual(space.getId(VarKind::Range, 1)));  in TEST()
125   PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 2, 0, 0);  in TEST()  local
129   space.setId(VarKind::Domain, 0, Identifier(&identifiers[0]));  in TEST()
130   space.setId(VarKind::Domain, 1, Identifier(&identifiers[1]));  in TEST()
131   space.setId(VarKind::Range, 0, Identifier(&identifiers[2]));  in TEST()
132   space.setId(VarKind::Range, 1, Identifier(&identifiers[3]));  in TEST()
135   space.convertVarKind(VarKind::Range, 0, 2, VarKind::Symbol, 0);  in TEST()
138   EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[2]));  in TEST()
139   EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[3]));  in TEST()
142   space.convertVarKind(VarKind::Symbol, 1, 1, VarKind::Range, 0);  in TEST()
145   EXPECT_EQ(space.getId(VarKind::Range, 0), Identifier(&identifiers[3]));  in TEST()
149   PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 2, 0, 0);  in TEST()  local
153   space.setId(VarKind::Range, 0, Identifier(&identifiers[0]));  in TEST()
154   space.setId(VarKind::Range, 1, Identifier(&identifiers[1]));  in TEST()
157   space.convertVarKind(VarKind::Range, 0, 2, VarKind::Local, 0);  in TEST()
160   EXPECT_EQ(space.getNumVarKind(VarKind::Range), 0u);  in TEST()
161   EXPECT_EQ(space.getNumVarKind(VarKind::Local), 2u);  in TEST()
164   space.convertVarKind(VarKind::Local, 0, 2, VarKind::Range, 0);  in TEST()
167   EXPECT_FALSE(space.getId(VarKind::Range, 0).hasValue());  in TEST()
168   EXPECT_FALSE(space.getId(VarKind::Range, 1).hasValue());  in TEST()
172   PresburgerSpace space = PresburgerSpace::getRelationSpace(0, 2, 2, 0);  in TEST()  local
176   space.setId(VarKind::Range, 0, Identifier(&identifiers[0]));  in TEST()
177   space.setId(VarKind::Range, 1, Identifier(&identifiers[1]));  in TEST()
178   space.setId(VarKind::Symbol, 0, Identifier(&identifiers[2]));  in TEST()
179   space.setId(VarKind::Symbol, 1, Identifier(&identifiers[3]));  in TEST()
182   space.convertVarKind(VarKind::Range, 0, 2, VarKind::Symbol, 1);  in TEST()
185   EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[2]));  in TEST()
186   EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[0]));  in TEST()
187   EXPECT_EQ(space.getId(VarKind::Symbol, 2), Identifier(&identifiers[1]));  in TEST()
188   EXPECT_EQ(space.getId(VarKind::Symbol, 3), Identifier(&identifiers[3]));  in TEST()
192   PresburgerSpace space = PresburgerSpace::getRelationSpace(3, 3, 2, 0);  in TEST()  local
200   space.setId(VarKind::Domain, 0, Identifier(&identifiers[0]));  in TEST()
201   space.setId(VarKind::Domain, 1, Identifier(&identifiers[1]));  in TEST()
203   space.setId(VarKind::Domain, 2, Identifier(&otherIdentifiers[2]));  in TEST()
204   space.setId(VarKind::Range, 0, Identifier(&identifiers[2]));  in TEST()
205   space.setId(VarKind::Range, 1, Identifier(&identifiers[3]));  in TEST()
206   space.setId(VarKind::Range, 2, Identifier(&identifiers[4]));  in TEST()
207   space.setId(VarKind::Symbol, 0, Identifier(&identifiers[5]));  in TEST()
208   space.setId(VarKind::Symbol, 1, Identifier(&identifiers[6]));  in TEST()
220   space.mergeAndAlignSymbols(otherSpace);  in TEST()
224   EXPECT_EQ(4u, space.getNumSymbolVars());  in TEST()
226   EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[5]));  in TEST()
227   EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[6]));  in TEST()
228   EXPECT_EQ(space.getId(VarKind::Symbol, 2), Identifier(&otherIdentifiers[5]));  in TEST()
229   EXPECT_EQ(space.getId(VarKind::Symbol, 3), Identifier(&otherIdentifiers[7]));  in TEST()
237   EXPECT_EQ(3u, space.getNumDomainVars());  in TEST()
238   EXPECT_EQ(3u, space.getNumRangeVars());  in TEST()
239   EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[0]));  in TEST()
240   EXPECT_EQ(space.getId(VarKind::Domain, 1), Identifier(&identifiers[1]));  in TEST()
241   EXPECT_EQ(space.getId(VarKind::Domain, 2), Identifier(&otherIdentifiers[2]));  in TEST()
242   EXPECT_EQ(space.getId(VarKind::Range, 0), Identifier(&identifiers[2]));  in TEST()
243   EXPECT_EQ(space.getId(VarKind::Range, 1), Identifier(&identifiers[3]));  in TEST()
244   EXPECT_EQ(space.getId(VarKind::Range, 2), Identifier(&identifiers[4]));  in TEST()