Optimize qualified- / simple- ident? / keyword? / symbol?

Description

There are some optimizations that we can make for the simple-ident?, qualified-ident?, simple-symbol?, qualified-symbol?, simple-keyword?, and qualified-keyword? functions.

Two separate optimization can be done.

In places where boolean is used (the qualified- fns), we can instead use some? for a faster implementation:

can be converted to simply

Focusing on just V8 for now, for

and subtracting out the baseline cost for

this yields a speedup of 1.74.

Since we know that we are dealing with keywords or symbols when applying namespace, we can furthermore use (.-ns x).

Alone this gives a speedup of 2.21 and when combined with the previous optimization as

we see a combined speedup approaching infinity (the operation effectively becomes free, taking the same time as the baseline).

Note that we could perhaps use predicate-induced type inference along with a new macro for namespace that emits .-ns instead, but CLJS-2866 currently hinges on looking at the test in an if, while expressions like the above cause optimized js* output with short-circuiting &&.

These optimizations would be good because these functions are often used in spec-based generative code testing where performance can be an issue.

We have test coverage for these functions in cljs.predicates-test.

For reference here is the JavaScript currently emitted for qualified-symbol?

and here is what we get with the revisions

(The compactness of this revised implementation means that it might be further inlinable via Closure for more speedups for whole-program optimization.)

Environment

None

Assignee

Unassigned

Reporter

Mike Fikes

Labels

Approval

None

Patch

Code

Priority

Major
Configure