IntegersSubsetMappin: cosmetic changes in diff operation.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159661 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Stepan Dyatkovskiy 2012-07-03 14:29:26 +00:00
parent 2e2a15e26b
commit 9ccc83e7f7

View File

@ -195,7 +195,7 @@ protected:
} }
} }
void onRLOpen(const IntTy &Pt, void onLROpen(const IntTy &Pt,
SuccessorClass *LS, SuccessorClass *LS,
SuccessorClass *RS) { SuccessorClass *RS) {
switch (State) { switch (State) {
@ -211,7 +211,7 @@ protected:
OpenPt = Pt; OpenPt = Pt;
} }
void onRLClose(const IntTy &Pt) { void onLRClose(const IntTy &Pt) {
switch (State) { switch (State) {
case INTERSECT_OPENED: case INTERSECT_OPENED:
if (IntersectionMapping) if (IntersectionMapping)
@ -472,8 +472,8 @@ public:
} }
if (LRange.isSingleNumber() && RRange.isSingleNumber()) { if (LRange.isSingleNumber() && RRange.isSingleNumber()) {
Machine.onRLOpen(LRange.getLow(), LCluster.second, RCluster.second); Machine.onLROpen(LRange.getLow(), LCluster.second, RCluster.second);
Machine.onRLClose(LRange.getLow()); Machine.onLRClose(LRange.getLow());
++L; ++L;
++R; ++R;
continue; continue;
@ -512,7 +512,7 @@ public:
Machine.onLOpen(LRange.getLow(), LCluster.second); Machine.onLOpen(LRange.getLow(), LCluster.second);
} }
else else
Machine.onRLOpen(LRange.getLow(), LCluster.second, RCluster.second); Machine.onLROpen(LRange.getLow(), LCluster.second, RCluster.second);
if (LRange.getHigh() < RRange.getHigh()) { if (LRange.getHigh() < RRange.getHigh()) {
Machine.onLClose(LRange.getHigh()); Machine.onLClose(LRange.getHigh());
@ -533,7 +533,7 @@ public:
} }
} }
else { else {
Machine.onRLClose(LRange.getHigh()); Machine.onLRClose(LRange.getHigh());
++L; ++L;
++R; ++R;
} }