Skip to content

Commit

Permalink
add some comments
Browse files Browse the repository at this point in the history
  • Loading branch information
seawinde committed Nov 15, 2023
1 parent 11912b9 commit c2a3c25
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -56,11 +56,11 @@ public void addEquivalenceClass(SlotReference slot0, SlotReference slot1) {
equivalenceSlotMap.put(newRef, slot0Sets);
}
} else if (slot0Sets != null) {
// p1 present, we need to merge into it
// slot0Sets present, we need to merge into it
slot0Sets.add(slot1);
equivalenceSlotMap.put(slot1, slot0Sets);
} else if (slot1Sets != null) {
// p2 present, we need to merge into it
// slot1Sets present, we need to merge into it
slot1Sets.add(slot0);
equivalenceSlotMap.put(slot0, slot1Sets);
} else {
Expand Down

0 comments on commit c2a3c25

Please sign in to comment.