| Copyright | (c) Galois Inc 2020 |
|---|---|
| License | BSD3 |
| Maintainer | Samuel Breese <sbreese@galois.com> |
| Stability | provisional |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Lang.Crucible.LLVM.ArraySizeProfile
Description
Documentation
data FunctionProfile Source #
Constructors
| FunctionProfile | |
Fields
| |
Instances
| Show FunctionProfile Source # | |
Defined in Lang.Crucible.LLVM.ArraySizeProfile Methods showsPrec :: Int -> FunctionProfile -> ShowS # show :: FunctionProfile -> String # showList :: [FunctionProfile] -> ShowS # | |
| Eq FunctionProfile Source # | |
Defined in Lang.Crucible.LLVM.ArraySizeProfile Methods (==) :: FunctionProfile -> FunctionProfile -> Bool # (/=) :: FunctionProfile -> FunctionProfile -> Bool # | |
| Ord FunctionProfile Source # | |
Defined in Lang.Crucible.LLVM.ArraySizeProfile Methods compare :: FunctionProfile -> FunctionProfile -> Ordering # (<) :: FunctionProfile -> FunctionProfile -> Bool # (<=) :: FunctionProfile -> FunctionProfile -> Bool # (>) :: FunctionProfile -> FunctionProfile -> Bool # (>=) :: FunctionProfile -> FunctionProfile -> Bool # max :: FunctionProfile -> FunctionProfile -> FunctionProfile # min :: FunctionProfile -> FunctionProfile -> FunctionProfile # | |
data ArgProfile Source #
Constructors
| ArgProfile | |
Fields | |
Instances
| Show ArgProfile Source # | |
Defined in Lang.Crucible.LLVM.ArraySizeProfile Methods showsPrec :: Int -> ArgProfile -> ShowS # show :: ArgProfile -> String # showList :: [ArgProfile] -> ShowS # | |
| Eq ArgProfile Source # | |
Defined in Lang.Crucible.LLVM.ArraySizeProfile | |
| Ord ArgProfile Source # | |
Defined in Lang.Crucible.LLVM.ArraySizeProfile Methods compare :: ArgProfile -> ArgProfile -> Ordering # (<) :: ArgProfile -> ArgProfile -> Bool # (<=) :: ArgProfile -> ArgProfile -> Bool # (>) :: ArgProfile -> ArgProfile -> Bool # (>=) :: ArgProfile -> ArgProfile -> Bool # max :: ArgProfile -> ArgProfile -> ArgProfile # min :: ArgProfile -> ArgProfile -> ArgProfile # | |
argProfileSize :: Lens' ArgProfile (Maybe Int) Source #
arraySizeProfile :: forall sym ext arch p rtp. (IsSymInterface sym, HasLLVMAnn sym, HasPtrWidth (ArchWidth arch), ?memOpts :: MemOptions) => LLVMContext arch -> IORef (Map Text [FunctionProfile]) -> IO (ExecutionFeature p sym ext rtp) Source #