Make the SelectionDAG graph printer use SDNode::PersistentId labels.