Documentation

Miri.Input.CompilerNamedShimAbi

Name-keyed source shim requests whose argument types require compiler path lookup (currently libc::pid_t CPU affinity signatures). No libc typedef is replaced with an integer chosen by its size or diagnostic name.

source
structure Miri.Input.CompilerNamedShimAbi.Entry :
Type
Instances For
    source
    structure Miri.Input.CompilerNamedShimAbi.Prepared :
    Type
    Instances For
      source
      def Miri.Input.CompilerNamedShimAbi.prepare (runtime : RuntimeMetadata) (abiCache : Option (CallResolution.FunctionAbiCache runtime) := none) :
      Except String Prepared
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Miri.Input.CompilerNamedShimAbi.expectedAbi (prepared : Prepared) (name : String) :
        Except String (ABI.FnAbi MIR.TyId)
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Miri.Input.CompilerNamedShimAbi.query {S : Type} (prepared : Prepared) (name : String) :
          EStateM Interpreter.StepError S (ABI.FnAbi MIR.TyId)
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For