16 unsigned PresburgerSpace::getNumVarKind(VarKind kind) const {  in getNumVarKind()
17   if (kind == VarKind::Domain)  in getNumVarKind()
19   if (kind == VarKind::Range)  in getNumVarKind()
21   if (kind == VarKind::Symbol)  in getNumVarKind()
23   if (kind == VarKind::Local)  in getNumVarKind()
28 unsigned PresburgerSpace::getVarKindOffset(VarKind kind) const {  in getVarKindOffset()
29   if (kind == VarKind::Domain)  in getVarKindOffset()
31   if (kind == VarKind::Range)  in getVarKindOffset()
33   if (kind == VarKind::Symbol)  in getVarKindOffset()
35   if (kind == VarKind::Local)  in getVarKindOffset()
40 unsigned PresburgerSpace::getVarKindEnd(VarKind kind) const {  in getVarKindEnd()
44 unsigned PresburgerSpace::getVarKindOverlap(VarKind kind, unsigned varStart,  in getVarKindOverlap()
59 VarKind PresburgerSpace::getVarKindAt(unsigned pos) const {  in getVarKindAt()
61   if (pos < getVarKindEnd(VarKind::Domain))  in getVarKindAt()
62     return VarKind::Domain;  in getVarKindAt()
63   if (pos < getVarKindEnd(VarKind::Range))  in getVarKindAt()
64     return VarKind::Range;  in getVarKindAt()
65   if (pos < getVarKindEnd(VarKind::Symbol))  in getVarKindAt()
66     return VarKind::Symbol;  in getVarKindAt()
67   if (pos < getVarKindEnd(VarKind::Local))  in getVarKindAt()
68     return VarKind::Local;  in getVarKindAt()
72 unsigned PresburgerSpace::insertVar(VarKind kind, unsigned pos, unsigned num) {  in insertVar()
77   if (kind == VarKind::Domain)  in insertVar()
79   else if (kind == VarKind::Range)  in insertVar()
81   else if (kind == VarKind::Symbol)  in insertVar()
88   if (usingIds && kind != VarKind::Local)  in insertVar()
94 void PresburgerSpace::removeVarRange(VarKind kind, unsigned varStart,  in removeVarRange()
102   if (kind == VarKind::Domain)  in removeVarRange()
104   else if (kind == VarKind::Range)  in removeVarRange()
106   else if (kind == VarKind::Symbol)  in removeVarRange()
113   if (usingIds && kind != VarKind::Local)  in removeVarRange()
118 void PresburgerSpace::swapVar(VarKind kindA, VarKind kindB, unsigned posA,  in swapVar()
124   if (kindA == VarKind::Local && kindB == VarKind::Local)  in swapVar()
127   if (kindA == VarKind::Local) {  in swapVar()
132   if (kindB == VarKind::Local) {  in swapVar()
158                                 VarKind kind) const {  in isAligned()