bytecode

const (
	AggregateCount AggregateKind = iota
	AggregateSum
	AggregateMin
	AggregateMax
	AggregateAverage
)

const (
	CallArgEncodingNone CallArgEncoding = iota
	CallArgEncodingRegisterRange
)

const (
	CallKindNone CallKind = iota
	CallKindHost
	CallKindUser
	CallKindTail
)

const (
	CollectorTypeCounter CollectorType = iota
	CollectorTypeKey
	CollectorTypeKeyCounter
	CollectorTypeKeyGroup
	CollectorTypeAggregate
	CollectorTypeAggregateGroup
)

const (
	ControlFlowNone ControlFlowRole = iota
	ControlFlowJumpUnconditional
	ControlFlowJumpConditional
	ControlFlowTerminator
)

const (
	// Control Flow
	OpReturn Opcode = iota
	OpJump
	OpJumpIfFalse
	OpJumpIfTrue
	OpJumpIfNone

	// Register Operations
	OpMove // Plain register copy — no tracking

	// Tracked Register Operations
	OpMoveTracked // Tracked register copy — ownership-aware

	// Loading Operations
	OpLoadNone   // Set None value to a register
	OpLoadBool   // Set a boolean value to a register
	OpLoadZero   // Set a zero value to a register
	OpLoadConst  // Load a constant to a register or a global variable
	OpLoadParam  // Load a parameter slot to a register A
	OpMakeCell   // Create an internal mutable cell handle from a value
	OpLoadCell   // Load the current value from an internal mutable cell
	OpStoreCell  // Replace the current value in an internal mutable cell
	OpLoadArray  // Create an array
	OpLoadObject // Create an object
	OpLoadRange  // Create a range

	// Collection Access Operations
	OpLoadIndex            // Load a value from a built-in Array to a register
	OpLoadIndexOptional    // Load a value from a built-in Array to a register, if it exists
	OpLoadKey              // Load a value from a built-in Object to a register
	OpLoadKeyOptional      // Load a value from a built-in Object to a register, if it exists
	OpLoadProperty         // Load a property from a map or list to a register
	OpLoadPropertyOptional // Load a property from a map or list to a register, if it exists
	OpLoadIndexConst       // Load a value from a built-in Array to a register using a constant index
	OpLoadIndexOptionalConst
	OpLoadKeyConst // Load a value from a built-in Object to a register using a constant key
	OpLoadKeyOptionalConst
	OpLoadPropertyConst // Load a property from a map or list to a register using a constant key
	OpLoadPropertyOptionalConst
	OpMatchLoadPropertyConst // Load an object-pattern property or jump to the arm fail target

	// Integrated Query Operations
	OpQuery // Apply a query to a value

	// Arithmetic Operations
	OpAdd
	OpAddConst
	OpConcat
	OpSub
	OpMul
	OpDiv
	OpMod
	OpIncr
	OpDecr

	// Type Operations
	OpCastBool
	OpNegate
	OpFlipPositive
	OpFlipNegative

	// Comparison Operations
	OpCmp
	OpNot
	OpEq
	OpNe
	OpGt
	OpLt
	OpGte
	OpLte

	// Membership & Pattern Matching
	OpIn
	OpLike
	OpRegexp

	// Array Operations
	OpFlatten // Flattens nested arrays

	// Array Comparison Operations (do not swap order of EQ, GT, GTE, LT, LTE, IN. it must be equal to operators)
	OpAnyEq
	OpAnyNe
	OpAnyGt
	OpAnyGte
	OpAnyLt
	OpAnyLte
	OpAnyIn
	OpNoneEq
	OpNoneNe
	OpNoneGt
	OpNoneGte
	OpNoneLt
	OpNoneLte
	OpNoneIn
	OpAllEq
	OpAllNe
	OpAllGt
	OpAllGte
	OpAllLt
	OpAllLte
	OpAllIn

	// Utility Operations
	OpLength
	OpType
	OpClose
	OpSleep

	// Host Function Operations
	OpHCall
	OpProtectedHCall

	// UDF Operations
	OpCall
	OpProtectedCall
	OpTailCall

	// Dataset Operations
	OpDataSet
	OpDataSetCollector
	OpDataSetSorter
	OpDataSetMultiSorter
	OpPush           // Adds a value to a generic List
	OpPushKV         // Adds a key-value pair to a dataset
	OpCounterInc     // Increments a counter collector
	OpArrayPush      // Adds a value to a built-in Array instance
	OpObjectSet      // Sets a property on a built-in Object instance
	OpObjectSetConst // Sets a property on a built-in Object instance using a constant key

	// Stream Operations
	OpStream     // Subscribes to a stream
	OpStreamIter // Consumes a stream

	// Iterator Operations
	OpIter            // Creates an iterator
	OpIterNext        // Moves to the next element
	OpIterNextTimeout // Moves to the next element and records timeout completion
	OpIterValue       // Returns the current value
	OpIterKey         // Returns the current key
	OpIterLimit
	OpIterSkip

	// Existence Operations
	OpExists

	// Random Operations
	OpRand

	// Dispatch Operations
	OpDispatch

	// Compare-Jump Operations
	OpJumpIfNe
	OpJumpIfNeConst
	OpJumpIfEq
	OpJumpIfEqConst
	OpJumpIfMissingProperty
	OpJumpIfMissingPropertyConst
	OpFail        // Raises a runtime failure with a constant message
	OpFailTimeout // Raises a runtime timeout failure

	// Internal Aggregate Operations
	OpLoadAggregateKey // Creates an internal grouped-aggregate selector key
	OpAggregateUpdate
	OpAggregateGroupUpdate
)

const (
	OpcodeClassUnknown OpcodeClass = iota
	OpcodeClassControl
	OpcodeClassLoad
	OpcodeClassAccess
	OpcodeClassArithmetic
	OpcodeClassType
	OpcodeClassComparison
	OpcodeClassArray
	OpcodeClassUtility
	OpcodeClassCall
	OpcodeClassDataset
	OpcodeClassStream
	OpcodeClassIterator
)