chiark
/
gitweb
/
~ian
/
moebius3.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5e43bfb
)
symbolic.py: cse tmp*
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 18 Nov 2017 00:43:02 +0000
(
00:43
+0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 18 Nov 2017 00:43:02 +0000
(
00:43
+0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
symbolic.py
patch
|
blob
|
history
diff --git
a/symbolic.py
b/symbolic.py
index 436e6ce02ff2b68d38fbf64c1168c0f600e4d6c2..c034b3746f681f95918c697d050874f17ebf9c1b 100755
(executable)
--- a/
symbolic.py
+++ b/
symbolic.py
@@
-166,7
+166,8
@@
for sm_sh in ((), (sh*sh*la,)):
dbg('diff(result_fordiff,%s)' % v)
d = diff(result_fordiff,eval(v))
print(ccode(d, assign_to='FOO'))
- (defs, v) = cse(d)
+ (defs, v) = cse(d, symbols=map((lambda i: symbols('tmp%d' % i)),
+ itertools.count()))
for vn, val in defs:
print(ccode(val, assign_to=vn))
print(ccode(v[0], assign_to='BAR'))