Ordinary operand constants use their exact structural position in the current instruction. Repeated equal constants retain distinct query sites. No span, value, or evaluation-counter search participates in site selection.

def Miri.Input.CompilerOperandSites.current {K User : Type} (path : Interpreter.OperandPath) : Interpreter.MachineHooks.M K User CompilerConstantQueries.Site

Equations

• One or more equations did not get rendered due to their size.

def Miri.Input.CompilerOperandSites.hooks {K User Other C : Type} (prepared : CompilerConstantQueries.Prepared) (runtime : RuntimeMetadata) (functions : Interpreter.FunctionPointers.Hooks K User Other) (arithmetic : Memory.PointerArithmetic) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K User (Memory.Pointer Memory.Provenance)) (classify : Interpreter.ConstantError → Interpreter.StepError) (debugAssertions : Bool) (operands : Interpreter.OperandMachine.Hooks K User C) : Interpreter.OperandMachine.Hooks K User C

Install production constant evaluation. The erased legacy callback is explicitly rejected so accidentally dropping a structural path cannot succeed.

Equations

• One or more equations did not get rendered due to their size.

def Miri.Input.CompilerOperandSites.hooksBound {K User Other C : Type} {prepared : CompilerConstantQueries.Prepared} {runtime : RuntimeMetadata} (binding : CompilerConstantQueries.Binding prepared runtime) (functions : Interpreter.FunctionPointers.Hooks K User Other) (arithmetic : Memory.PointerArithmetic) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K User (Memory.Pointer Memory.Provenance)) (classify : Interpreter.ConstantError → Interpreter.StepError) (debugAssertions : Bool) (operands : Interpreter.OperandMachine.Hooks K User C) : Interpreter.OperandMachine.Hooks K User C

Source-bound variant for providers that retain their exact compatibility binding across Core reconstruction.

Equations

• One or more equations did not get rendered due to their size.

def Miri.Input.CompilerOperandSites.executionHooks {K User C Other Extern Host : Type} (prepared : CompilerConstantQueries.Prepared) (runtime : RuntimeMetadata) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K User (Memory.Pointer Memory.Provenance)) (classify : Interpreter.ConstantError → Interpreter.StepError) (config : Interpreter.ExecutionMachine.Config K User C Other Extern Host) : Interpreter.ExecutionMachine.Config K User C Other Extern Host

Attach after the compiler/function-provider dictionary so imported pointer constants use exactly its canonical allocation/provenance registry.

Equations

• One or more equations did not get rendered due to their size.

def Miri.Input.CompilerOperandSites.executionHooksBound {K User C Other Extern Host : Type} {prepared : CompilerConstantQueries.Prepared} {runtime : RuntimeMetadata} (binding : CompilerConstantQueries.Binding prepared runtime) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K User (Memory.Pointer Memory.Provenance)) (classify : Interpreter.ConstantError → Interpreter.StepError) (config : Interpreter.ExecutionMachine.Config K User C Other Extern Host) : Interpreter.ExecutionMachine.Config K User C Other Extern Host

Attach the retained source binding after compiler/function provider construction, without rechecking the prepared/runtime JSON documents.

Equations

• One or more equations did not get rendered due to their size.