Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data AVXOp1
- data ExtX86 :: (CrucibleType -> Type) -> CrucibleType -> Type where
- eval :: forall sym f tp. IsSymExprBuilder sym => sym -> (forall subT. f subT -> IO (RegValue sym subT)) -> ExtX86 f tp -> IO (RegValue sym tp)
- vShiftL :: (IsSymExprBuilder sym, 1 <= w) => sym -> NatRepr w -> Word8 -> SymBV sym w -> IO (SymBV sym w)
- vShufD :: forall sym w. IsSymExprBuilder sym => sym -> NatRepr w -> Word8 -> SymBV sym w -> IO (SymBV sym w)
- n0 :: NatRepr 0
- n1 :: NatRepr 1
- n2 :: NatRepr 2
- n3 :: NatRepr 3
- n32 :: NatRepr 32
- n128 :: NatRepr 128
- n256 :: NatRepr 256
Documentation
VShiftL Word8 | Shift left by this many bytes New bytes are 0. |
VShufD Word8 | Shuffle 32-bit words of vector according to pattern in the word8 |
data ExtX86 :: (CrucibleType -> Type) -> CrucibleType -> Type where Source #
VOp1 :: 1 <= n => !(NatRepr n) -> !AVXOp1 -> !(f (BVType n)) -> ExtX86 f (BVType n) | Unary operation on a vector. Should have no side effects. |
Instances
TypeApp ExtX86 Source # | |
Defined in Lang.Crucible.LLVM.Arch.X86 appType :: forall (f :: CrucibleType -> Type) (x :: CrucibleType). ExtX86 f x -> TypeRepr x # | |
PrettyApp ExtX86 Source # | |
FoldableFC ExtX86 Source # | |
Defined in Lang.Crucible.LLVM.Arch.X86 foldMapFC :: forall f m. Monoid m => (forall (x :: k). f x -> m) -> forall (x :: l). ExtX86 f x -> m # foldrFC :: (forall (x :: k). f x -> b -> b) -> forall (x :: l). b -> ExtX86 f x -> b # foldlFC :: forall f b. (forall (x :: k). b -> f x -> b) -> forall (x :: l). b -> ExtX86 f x -> b # foldrFC' :: (forall (x :: k). f x -> b -> b) -> forall (x :: l). b -> ExtX86 f x -> b # foldlFC' :: forall f b. (forall (x :: k). b -> f x -> b) -> forall (x :: l). b -> ExtX86 f x -> b # toListFC :: (forall (x :: k). f x -> a) -> forall (x :: l). ExtX86 f x -> [a] # | |
FunctorFC ExtX86 Source # | |
Defined in Lang.Crucible.LLVM.Arch.X86 | |
HashableFC ExtX86 Source # | |
Defined in Lang.Crucible.LLVM.Arch.X86 | |
OrdFC ExtX86 Source # | |
ShowFC ExtX86 Source # | |
TestEqualityFC ExtX86 Source # | |
Defined in Lang.Crucible.LLVM.Arch.X86 | |
TraversableFC ExtX86 Source # | |
Defined in Lang.Crucible.LLVM.Arch.X86 traverseFC :: forall f g m. Applicative m => (forall (x :: k). f x -> m (g x)) -> forall (x :: l). ExtX86 f x -> m (ExtX86 g x) # |
eval :: forall sym f tp. IsSymExprBuilder sym => sym -> (forall subT. f subT -> IO (RegValue sym subT)) -> ExtX86 f tp -> IO (RegValue sym tp) Source #
vShiftL :: (IsSymExprBuilder sym, 1 <= w) => sym -> NatRepr w -> Word8 -> SymBV sym w -> IO (SymBV sym w) Source #
See vpslldq