mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-13 20:32:21 +00:00
Substantially improve the DSA code by removing 'forwarding' nodes from
DSGraphs while they are forwarding. When the last reference to the forwarding node is dropped, the forwarding node is autodeleted. This should simplify removeTriviallyDead nodes, and is only (efficiently) possible because we are using an ilist of dsnodes now. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@11175 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
9857c1a6ae
commit
4ff0b9636d
@ -182,6 +182,7 @@ public:
|
||||
/// addNode - Add a new node to the graph.
|
||||
///
|
||||
void addNode(DSNode *N) { Nodes.push_back(N); }
|
||||
void unlinkNode(DSNode *N) { Nodes.remove(N); }
|
||||
|
||||
/// getScalarMap - Get a map that describes what the nodes the scalars in this
|
||||
/// function point to...
|
||||
|
@ -159,12 +159,18 @@ public:
|
||||
DSNode *getForwardNode() const { return ForwardNH.getNode(); }
|
||||
|
||||
/// isForwarding - Return true if this node is forwarding to another.
|
||||
///
|
||||
bool isForwarding() const { return !ForwardNH.isNull(); }
|
||||
|
||||
/// stopForwarding - When the last reference to this forwarding node has been
|
||||
/// dropped, delete the node.
|
||||
void stopForwarding() {
|
||||
assert(isForwarding() &&
|
||||
"Node isn't forwarding, cannot stopForwarding!");
|
||||
ForwardNH.setNode(0);
|
||||
assert(ParentGraph == 0 &&
|
||||
"Forwarding nodes must have been removed from graph!");
|
||||
delete this;
|
||||
}
|
||||
|
||||
/// hasLink - Return true if this memory object has a link in slot #LinkNo
|
||||
@ -377,8 +383,8 @@ inline DSNode *DSNodeHandle::getNode() const {
|
||||
}
|
||||
|
||||
inline void DSNodeHandle::setNode(DSNode *n) const {
|
||||
assert(!n || !n->getForwardNode() && "Cannot set node to a forwarded node!");
|
||||
if (N) N->NumReferrers--;
|
||||
assert(!n || !n->isForwarding() && "Cannot set node to a forwarded node!");
|
||||
if (N) getNode()->NumReferrers--;
|
||||
N = n;
|
||||
if (N) {
|
||||
N->NumReferrers++;
|
||||
|
@ -182,6 +182,7 @@ public:
|
||||
/// addNode - Add a new node to the graph.
|
||||
///
|
||||
void addNode(DSNode *N) { Nodes.push_back(N); }
|
||||
void unlinkNode(DSNode *N) { Nodes.remove(N); }
|
||||
|
||||
/// getScalarMap - Get a map that describes what the nodes the scalars in this
|
||||
/// function point to...
|
||||
|
@ -159,12 +159,18 @@ public:
|
||||
DSNode *getForwardNode() const { return ForwardNH.getNode(); }
|
||||
|
||||
/// isForwarding - Return true if this node is forwarding to another.
|
||||
///
|
||||
bool isForwarding() const { return !ForwardNH.isNull(); }
|
||||
|
||||
/// stopForwarding - When the last reference to this forwarding node has been
|
||||
/// dropped, delete the node.
|
||||
void stopForwarding() {
|
||||
assert(isForwarding() &&
|
||||
"Node isn't forwarding, cannot stopForwarding!");
|
||||
ForwardNH.setNode(0);
|
||||
assert(ParentGraph == 0 &&
|
||||
"Forwarding nodes must have been removed from graph!");
|
||||
delete this;
|
||||
}
|
||||
|
||||
/// hasLink - Return true if this memory object has a link in slot #LinkNo
|
||||
@ -377,8 +383,8 @@ inline DSNode *DSNodeHandle::getNode() const {
|
||||
}
|
||||
|
||||
inline void DSNodeHandle::setNode(DSNode *n) const {
|
||||
assert(!n || !n->getForwardNode() && "Cannot set node to a forwarded node!");
|
||||
if (N) N->NumReferrers--;
|
||||
assert(!n || !n->isForwarding() && "Cannot set node to a forwarded node!");
|
||||
if (N) getNode()->NumReferrers--;
|
||||
N = n;
|
||||
if (N) {
|
||||
N->NumReferrers++;
|
||||
|
@ -46,7 +46,7 @@ namespace {
|
||||
using namespace DS;
|
||||
|
||||
DSNode *DSNodeHandle::HandleForwarding() const {
|
||||
assert(!N->ForwardNH.isNull() && "Can only be invoked if forwarding!");
|
||||
assert(N->isForwarding() && "Can only be invoked if forwarding!");
|
||||
|
||||
// Handle node forwarding here!
|
||||
DSNode *Next = N->ForwardNH.getNode(); // Cause recursive shrinkage
|
||||
@ -124,6 +124,10 @@ void DSNode::forwardNode(DSNode *To, unsigned Offset) {
|
||||
NodeType = DEAD;
|
||||
Size = 0;
|
||||
Ty = Type::VoidTy;
|
||||
|
||||
// Remove this node from the parent graph's Nodes list.
|
||||
ParentGraph->unlinkNode(this);
|
||||
ParentGraph = 0;
|
||||
}
|
||||
|
||||
// addGlobal - Add an entry for a global value to the Globals list. This also
|
||||
|
Loading…
Reference in New Issue
Block a user