Connected pinned x86 architecture intrinsic dispatcher. All recognized portable arms use concrete helpers; compiler/host-sqrt queries remain explicit.
def
Miri.Interpreter.IntrinsicX86.crcDispatch
{P S C V : Type}
[Memory.PointerProvenance P]
(h : Hooks P S C V)
(choice : C)
(full name : String)
(args : Array (OpTy P))
(dest : V)
:
Equations
- One or more equations did not get rendered due to their size.
- Miri.Interpreter.IntrinsicX86.crcDispatch h choice full name args dest = pure false
Instances For
def
Miri.Interpreter.IntrinsicX86.eval
{P S C V : Type}
[Memory.PointerProvenance P]
(h : Hooks P S C V)
(choice : C)
(full : String)
(args : Array (OpTy P))
(dest : V)
:
Source namespace routing is distinct from name recognition: unconditional ISA checks of each sub-dispatcher also run for unknown names in that namespace.
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Miri.Interpreter.IntrinsicX86.architectureDispatch
{P S C V : Type}
(h : Hooks P S C V)
(base : IntrinsicArchitecture.DispatchHooks P S C V)
[Memory.PointerProvenance P]
:
Install the concrete complete x86 family in the architecture dispatcher; portable LLVM/AArch64/LoongArch behavior retains its existing implementation.
Equations
- One or more equations did not get rendered due to their size.