summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2013-02-06 01:47:35 -0500
committerOri Bernstein <ori@eigenstate.org>2013-02-06 01:47:35 -0500
commitec1385e4eeb73318684695de73cb61f276deb887 (patch)
tree7b0e9f061a7add233de598d43f4e87b227a4526d
parent174e930c17cade4b9cd8e5a3805c3214ab100843 (diff)
downloadmc-ec1385e4eeb73318684695de73cb61f276deb887.tar.gz
Only put stack temps on the stack.
Locals should go in registers.
-rw-r--r--6/simp.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/6/simp.c b/6/simp.c
index ae51124..a68dc5d 100644
--- a/6/simp.c
+++ b/6/simp.c
@@ -331,7 +331,8 @@ static Node *temp(Simp *simp, Node *e)
assert(e->type == Nexpr);
t = gentemp(simp, e, e->expr.type, &dcl);
- declarelocal(simp, dcl);
+ if (stacknode(e))
+ declarelocal(simp, dcl);
return t;
}