Complete pinned AArch64 and LoongArch LLVM intrinsic dispatch. Canonical SIMD projection and scalar operations retain type, provenance and memory effects.

structure Miri.Interpreter.ArchitectureHooks (P S C V : Type) : Type

• simd : IntrinsicSimdHooks P S C V
• checkSignature : C → String → Nat → RvalueM S Unit

  Compiler symbol-clash check from shims/sig.rs. Argument count is checked below.

• expectFeature : C → String → String → RvalueM S Unit
• transmuteDestU128 : C → V → RvalueM S V

def Miri.Interpreter.IntrinsicArchitecture.aarch64 {P S C V : Type} [Memory.PointerProvenance P] (h : ArchitectureHooks P S C V) (choice : C) (name : String) (args : Array (OpTy P)) (dest : V) : RvalueM S Bool

Full inspected architecture dispatch; false is source NotSupported for unrecognized names, while recognized malformed inputs retain explicit errors.

Equations

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

def Miri.Interpreter.IntrinsicArchitecture.loongarch {P S C V : Type} [Memory.PointerProvenance P] (h : ArchitectureHooks P S C V) (choice : C) (name : String) (args : Array (OpTy P)) (dest : V) : RvalueM S Bool

Equations

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

structure Miri.Interpreter.IntrinsicArchitecture.DispatchHooks (P S C V : Type) : Type

• architecture : ArchitectureHooks P S C V
• targetArch : String
• x86 : C → String → Array (OpTy P) → V → RvalueM S Bool

  Explicit remaining x86 source-port obligation; no arithmetic default.

• unsupportedForeignItem : String → String → StepError

def Miri.Interpreter.IntrinsicArchitecture.callLlvm {P S C V : Type} [Memory.PointerProvenance P] (h : DispatchHooks P S C V) (choice : C) (name : String) (args : Array (OpTy P)) (dest : V) (ret : Option MIR.BasicBlockId) : RvalueM S Unit

Complete LLVM top-level staging around this ported architecture family. Destination allocation precedes every dispatch guard, including unknown names.

Equations

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