mirror of
https://github.com/quickwit-oss/tantivy.git
synced 2026-10-06 11:52:40 +00:00
Paul MasurelandPaul Masurel
047464cf92
* jitexpr * Added possible necessary conditions to jitexpr. A function makes it possible to infer a necessary query from an expression to match. We can then accelerate queries involving a calculated field by not even evaluating the expression on docs that trivially do not match. * CR comment * CR comment * Fixing unit tests --------- Co-authored-by: Paul Masurel <paul.masurel@datadoghq.com>
This is an expression compiler relying on Cranelift.
UntypedExpr ↓ injecting variable types, and type checking TypedExpr ↓ lowering Cranelift IR ↓ Cranelift code generation Machine code (or assembly)
The project does not rely on cranelifts function call abstraction. Instead it just manipulates expression, so everything is always inlined.