Exact compiler constant evidence and actual machine provenance/address adjustment meet at the current source operand site, never by source-span search.

def Miri.Input.CompilerConstantMachine.evalOperandBound {K User Other : Type} {prepared : CompilerConstantQueries.Prepared} {runtime : RuntimeMetadata} (binding : CompilerConstantQueries.Binding prepared runtime) (site : CompilerConstantQueries.Site) (functions : Interpreter.FunctionPointers.Hooks K User Other) (arithmetic : Memory.PointerArithmetic) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K User (Memory.Pointer Memory.Provenance)) (base : Interpreter.ConstantMachine.Queries K User) (classifyConstantError : Interpreter.ConstantError → Interpreter.StepError) (constant : MIR.ConstOperand) : Interpreter.MachineHooks.M K User (Interpreter.OpTy Memory.Provenance)

Production variant using the compatibility result made during compiler preparation. The binding indices retain the exact prepared/runtime values.

Equations

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

def Miri.Input.CompilerConstantMachine.evalOperand {K User Other : Type} (prepared : CompilerConstantQueries.Prepared) (runtime : RuntimeMetadata) (site : CompilerConstantQueries.Site) (functions : Interpreter.FunctionPointers.Hooks K User Other) (arithmetic : Memory.PointerArithmetic) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K User (Memory.Pointer Memory.Provenance)) (base : Interpreter.ConstantMachine.Queries K User) (classifyConstantError : Interpreter.ConstantError → Interpreter.StepError) (constant : MIR.ConstOperand) : Interpreter.MachineHooks.M K User (Interpreter.OpTy Memory.Provenance)

Legacy explicit-value entry point. It retains rejection of mismatched documents while sharing the production evaluation implementation.

Equations

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

def Miri.Input.CompilerConstantMachine.evalAtBound {K User Other : Type} {prepared : CompilerConstantQueries.Prepared} {runtime : RuntimeMetadata} (binding : CompilerConstantQueries.Binding prepared runtime) (site : CompilerConstantQueries.Site) (functions : Interpreter.FunctionPointers.Hooks K User Other) (arithmetic : Memory.PointerArithmetic) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K User (Memory.Pointer Memory.Provenance)) (classifyConstantError : Interpreter.ConstantError → Interpreter.StepError) (constant : MIR.ConstOperand) (known : Option Interpreter.LocalLayout := none) (checkKnown : Option (Interpreter.LocalLayout → Interpreter.LocalLayout → Interpreter.MachineHooks.M K User Bool) := none) : Interpreter.MachineHooks.M K User (Interpreter.OpTy Memory.Provenance)

Canonical source path. Its deep compatibility computation was performed once by CompilerProviders.prepare; on a false cached result the same error still occurs at the original demand point, before frame/site checks.

Equations

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

def Miri.Input.CompilerConstantMachine.evalAt {K User Other : Type} (prepared : CompilerConstantQueries.Prepared) (runtime : RuntimeMetadata) (site : CompilerConstantQueries.Site) (functions : Interpreter.FunctionPointers.Hooks K User Other) (arithmetic : Memory.PointerArithmetic) (externStatic : MIR.DefId → Interpreter.MachineHooks.M K User (Memory.Pointer Memory.Provenance)) (classifyConstantError : Interpreter.ConstantError → Interpreter.StepError) (constant : MIR.ConstOperand) (known : Option Interpreter.LocalLayout := none) (checkKnown : Option (Interpreter.LocalLayout → Interpreter.LocalLayout → Interpreter.MachineHooks.M K User Bool) := none) : Interpreter.MachineHooks.M K User (Interpreter.OpTy Memory.Provenance)

Legacy explicit-value entry point. It preserves mismatch rejection for arbitrary callers while canonical code uses its retained prepared binding.

Equations

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