Documentation

Miri.Interpreter.IntrinsicX86.Strings

source
def Miri.Interpreter.IntrinsicX86.stringDefaultLength (imm : UInt8) :
Nat
Equations
Instances For
    source
    def Miri.Interpreter.IntrinsicX86.stringArray {P S C V : Type} (h : Hooks P S C V) (choice : C) (imm : UInt8) :
    M S (ABI.TyAndLayout MIR.TyId)
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Miri.Interpreter.IntrinsicX86.implicitLength {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (source : OpTy P) (imm : UInt8) :
      M S (Option Nat)
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Miri.Interpreter.IntrinsicX86.deconstructStrings {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (full name : String) (args : Array (OpTy P)) :
        M S (OpTy P × OpTy P × Option (Nat × Nat) × UInt8)
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Miri.Interpreter.IntrinsicX86.compareStrings {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (a b : OpTy P) (lengths : Option (Nat × Nat)) (imm : UInt8) :
          M S Nat
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Miri.Interpreter.IntrinsicX86.stringDispatch {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) :
            M S Bool
            Equations
            • One or more equations did not get rendered due to their size.
            Instances For