summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorAlasdair Armstrong2019-04-20 11:58:53 +0100
committerAlasdair Armstrong2019-04-20 12:06:40 +0100
commite3aa6935bfe7bb1e92a5c70f3df4bd380149d03c (patch)
tree209c3a7c6151e9d6d753f3fd079972d3891b4fda /lib
parentd2b4e990d915a121c59cf58f2ea7a89348c0d55c (diff)
Fix: Reduce constant-fold time for ARM from 20min+ to 10s
With the new interpreter changes computing the initial state for the interpreter does some significant work. The existing code was re-computing the initial state for every subexpression in the specification (not even just the ones due to be constant-folded away). Now we just compute the initial state once and use it for all constant folds. Also reduce the time taken for the simple_assignments rewrite from 20s to under 1s for ARMv8.5, by skipping l-expressions that are already in the simplest form.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions