Philip Conrad 3e640489bd compile+types: Speed up typechecker when working with Refs (#5307) ...

* compile/compile_bench_test: Add basic compilation benchmark.
* types/types: Replace linear copy loops with copy() Go builtin.
* types/types: Switch linear scan -> binary search.

This commit switches out the linear scan in the `Any` type's `Contains`
method for a more efficient binary search. This results in around a 3-5x
speedup for policy compilation as a whole, according to the benchmark.

* ast/visit: Remove for loop item copies.

This commit refactors the visitor functions in the `ast/visit` package
to avoid extra copying of items on each loop iteration. This shaves off
around 10-15% memory usage during type-checking during compilation, and
provides speed benefits due to reduced GC as a result.

Signed-off-by: Philip Conrad <philipaconrad@gmail.com>

2022-10-27 09:48:39 +02:00

..

decode.go

types: Add initial support for varargs

2021-09-23 11:24:40 -07:00

types_bench_test.go

types: Use binary search for static property lookup (#3567)

2021-06-21 10:14:18 +02:00

types_test.go

types: Add initial support for varargs

2021-09-23 11:24:40 -07:00

types.go

compile+types: Speed up typechecker when working with Refs (#5307)

2022-10-27 09:48:39 +02:00