| Copyright | (c) Levent Erkok |
|---|---|
| License | BSD3 |
| Maintainer | [email protected] |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.SBV.Plugin.Examples.BitTricks
Description
Checks the correctness of a few tricks from the large collection found in: http://graphics.stanford.edu/~seander/bithacks.html
- oneIf :: Num a => Bool -> a
- fastMinCorrect :: Int -> Int -> Bool
- fastMaxCorrect :: Int -> Int -> Bool
- oppositeSignsCorrect :: Int -> Int -> Bool
- conditionalSetClearCorrect :: Bool -> Word32 -> Word32 -> Bool
- powerOfTwoCorrect :: Word32 -> Bool