- CycleNode * rmwnode=fromnode->getRMW();
-
- //If the fromnode has a rmwnode that is not the tonode, we
- //should add an edge between its rmwnode and the tonode
-
- //If tonode is also a rmw, don't do this check as the execution is
- //doomed and we'll catch the problem elsewhere, but we want to allow
- //for the possibility of sending to's write value to rmwnode