| Copyright | (c) Levent Erkok |
|---|---|
| License | BSD3 |
| Maintainer | erkokl@gmail.com |
| Stability | experimental |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Documentation.SBV.Examples.BitPrecise.BitTricks
Description
Checks the correctness of a few tricks from the large collection found in: http://graphics.stanford.edu/~seander/bithacks.html
Synopsis
- fastMinCorrect :: SInt32 -> SInt32 -> SBool
- fastMaxCorrect :: SInt32 -> SInt32 -> SBool
- oppositeSignsCorrect :: SInt32 -> SInt32 -> SBool
- conditionalSetClearCorrect :: SBool -> SWord32 -> SWord32 -> SBool
- powerOfTwoCorrect :: SWord32 -> SBool
- queries :: IO ()