]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 833c3bd) | patch
hint to the compiler/branch-predictor that
authorSkgland <[email protected]>
Sat, 21 Mar 2026 17:58:40 +0000 (18:58 +0100)
committerSkgland <[email protected]>
Sat, 21 Mar 2026 18:01:52 +0000 (19:01 +0100)
commit5fc21241d6dac992120d0815cec6599a60879ecc
tree9c3a39343471edf49e3aad5b0376726014820a89tree | snapshot
parent833c3bd77f27af8d9cb94c885ba95fa48f8a663ccommit | diff
hint to the compiler/branch-predictor that
we expect p to be in bound

if we are suffiently certain that p can never be oob
unsafe get_unchecked could be used to
eliminate bounds checking all together
which should improve performance further.
src/machine/dispatch.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust