jit

package

v0.27.2 Latest Latest Go to latest Published: Mar 8, 2026 License: Apache-2.0, BSD-3-Clause Imports: 21 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/taichimaeda/cel-go

Links

Open Source Insights

Documentation ¶

Rendered for

Overview ¶

Package jit provides a best-effort native compilation path for CEL programs.

Constants ¶

This section is empty.

Variables ¶

View Source

var ErrCodegenUnsupported = errors.New("native code generation unsupported")

ErrCodegenUnsupported indicates machine-code generation is not available for translated IR.

View Source

var ErrTranslateUnsupported = errors.New("expression translation unsupported")

ErrTranslateUnsupported indicates the expression cannot be translated into JIT IR.

Functions ¶

func Allocate ¶

func Allocate(p *Program) map[VReg]Location

Allocate runs linear-scan allocation for the current runtime architecture.

func TryEvaluate ¶

func TryEvaluate(eval NativeEvalFunc, activationType reflect.Type, input any) (bool, bool)

TryEvaluate checks the dynamic type against the configured activation type, extracts the underlying struct pointer, and calls the native eval function. Returns (result, true) on success, or (false, false) if the input type does not match.

Types ¶

type BuiltinID ¶

type BuiltinID uint16

BuiltinID identifies a pre-registered builtin helper.

const (
	BuiltinStrEq BuiltinID = iota
	BuiltinStrNe
	BuiltinStrContains
	BuiltinStrStarts
	BuiltinStrEnds
	BuiltinStrConcat
	BuiltinStrSize
	BuiltinListContainsStringSlice
	BuiltinListContainsStringArray
	BuiltinListContainsIntSlice
	BuiltinListContainsIntArray
	BuiltinListContainsUintSlice
	BuiltinListContainsUintArray
	BuiltinListContainsFloatSlice
	BuiltinListContainsFloatArray
	BuiltinListContainsBoolSlice
	BuiltinListContainsBoolArray
)

func (BuiltinID) String ¶

func (b BuiltinID) String() string

type Instr ¶

type Instr struct {
	Op        Opcode
	Dst       VReg
	Src1      VReg
	Src2      VReg
	Imm       int64
	Lbl       Label
	Type      Type
	BuiltinID BuiltinID
}

Instr is a TAC instruction.

type Interval ¶

type Interval struct {
	VReg  VReg
	Type  Type
	Start int
	End   int
}

Interval models the live range for a virtual register.

type Label ¶

type Label int

Label references an instruction index after label resolution.

type Location ¶

type Location struct {
	Reg       int16
	Reg2      int16
	SpillSlot int
}

Location is the final assigned location for a VReg (register or spill slot).

type NativeEvalFunc ¶

type NativeEvalFunc func(input unsafe.Pointer) bool

type NativeProgram ¶

type NativeProgram struct {
	ActivationType reflect.Type
	EvalFunc       NativeEvalFunc
}

func Compile ¶

func Compile(ast *celast.AST, activationType reflect.Type) (*NativeProgram, error)

Compile translates, allocates, and prepares a native evaluator.

type Opcode ¶

type Opcode uint16

Opcode is the operation identifier for a TAC instruction.

const (
	OP_UNSPECIFIED Opcode = iota

	// Constants.
	CONST_INT
	CONST_UINT
	CONST_FLOAT
	CONST_BOOL
	CONST_STRING

	// Slot / type conversion.
	LOAD_FIELD
	LOAD_FIELD_SLICE
	LOAD_FIELD_ARRAY

	// Arithmetic.
	ADD_INT
	SUB_INT
	MUL_INT
	DIV_INT
	MOD_INT
	NEG_INT
	ADD_UINT
	SUB_UINT
	MUL_UINT
	DIV_UINT
	MOD_UINT
	ADD_FLOAT
	SUB_FLOAT
	MUL_FLOAT
	DIV_FLOAT
	NEG_FLOAT

	// Comparisons.
	EQ_INT
	NE_INT
	LT_INT
	LE_INT
	GT_INT
	GE_INT
	EQ_UINT
	NE_UINT
	LT_UINT
	LE_UINT
	GT_UINT
	GE_UINT
	EQ_FLOAT
	NE_FLOAT
	LT_FLOAT
	LE_FLOAT
	GT_FLOAT
	GE_FLOAT

	// Logical and misc.
	NOT
	MOVE

	// Control flow.
	LABEL
	BR
	BR_TRUE
	BR_FALSE

	// Calls and returns.
	CALL_BUILTIN
	RETURN
)

func (Opcode) String ¶

func (op Opcode) String() string

type Program ¶

type Program struct {
	Instrs     []Instr
	NumVRegs   int
	StringPool []string
}

Program is the output of the translate pass.

func Translate ¶

func Translate(ast *celast.AST, activationType reflect.Type) (*Program, error)

Translate turns a checked AST into an IR program that loads variables directly from a concrete pointer-to-struct input.

Constraints:

expression result type must be bool
struct field types must exactly match CEL variable types
supported scalar field kinds: int64/int, uint64/uint, float64, bool, string
supported list membership field kinds for in_list: []string, [N]string

type Type ¶

type Type uint8

Type is the static type associated with a virtual register value.

const (
	T_UNSPECIFIED Type = iota
	T_INT64
	T_UINT64
	T_FLOAT64
	T_BOOL
	T_STRING
)

func (Type) String ¶

func (t Type) String() string

type VReg ¶

type VReg uint32

VReg identifies a virtual register.

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL