tree 5cdbeacd3b7bb7e57683b65fd2034e074a910b13
parent 9e34a41e619ab4fbbd3fde4da833b7b90ee2a896
author Marcel van Lohuizen <mpvl@golang.org> 1619020199 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1619025828 +0000

internal/core/adt: improve performance for repeated calls to Unify/Fill

This is done by skipping SpawnRef for computed vertices.

Repeatedly applying unification caused a new closedInfo to
be inserted at the node's position, resulting in a growing
list to process when calling Accept (called by Unify, which
is called by Fill). This caused processing time to become
quadratic for that node.

There are more gains to be made, but this should be a big
help already.

Issue #899

Change-Id: I96ec77bb4bd09b69b9da023e0fb2b8ed5c297080
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9462
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>