Documentation

Miri.Interpreter.IntrinsicX86.Chunks

source
def Miri.Interpreter.IntrinsicX86.pack {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (inputBits : Nat) (signed : Bool) (left right : OpTy P) (dest : V) :
M S Unit
Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Miri.Interpreter.IntrinsicX86.sadBytes {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (left right : OpTy P) (dest : V) :
    M S Unit
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Miri.Interpreter.IntrinsicX86.multipleSadBytes {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (left right imm : OpTy P) (dest : V) :
      M S Unit
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Miri.Interpreter.IntrinsicX86.dotProduct {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (left right imm : OpTy P) (dest : V) :
        M S Unit
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Miri.Interpreter.IntrinsicX86.carry {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (input a b : OpTy P) (op : MIR.BinOp) :
          M S (RvalueImmTy P × Memory.Scalar P)
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For