Documentation

Miri.Interpreter.IntrinsicX86.Extras

source
def Miri.Interpreter.IntrinsicX86.bmi {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
    source
    def Miri.Interpreter.IntrinsicX86.gather {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (source slice offsets mask scale : 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.ternary {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (a b c 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.dotBytes {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (source a b : 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.permuteFloat {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (double : Bool) (data control : 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.insertPs {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.minPosition {P S C V : Type} [Memory.PointerProvenance P] (h : Hooks P S C V) (choice : C) (source : OpTy P) (dest : V) :
              M S Unit
              Equations
              • One or more equations did not get rendered due to their size.
              Instances For