aboutsummaryrefslogtreecommitdiff
path: root/src/Utils.hs
blob: a5b0757245399058d263388c98494b9b0bb96622 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
-- This module describes utility functions.
module Utils where

import Data.Bits
import Data.Word (Word8, Word16, Word32)


-------------------------------------------------------------------------------
-- Bitwork

toBit :: Bool -> Int
toBit True  = 1
toBit False = 0

toBits :: FiniteBits a => a -> [Int]
toBits x = reverse $ map (toBit . testBit x) [0..finiteBitSize x - 1]

fromBits :: [Int] -> Int
fromBits = foldl (\a b -> 2 * a + b) 0

extractBits :: FiniteBits a => a -> [Int] -> Int
extractBits x r = fromBits $ map (\i -> toBits x !! i) r


-------------------------------------------------------------------------------
-- Size Convertion

convertLong :: Word32 -> Int -> Word32
convertLong x 1 = x .&. 0x000000FF
convertLong x 2 = x .&. 0x0000FFFF
convertLong x 4 = x
convertLong _ s = error $ "Wrong size (" ++ show s ++ ") of convertLong"

combineLong :: Word32 -> Word32 -> Int -> Word32
combineLong update base 1 = base .&. 0xFFFFFF00 .|. (convertLong update 1)
combineLong update base 2 = base .&. 0xFFFF0000 .|. (convertLong update 2)
combineLong update _    4 = update
combineLong _      _    s = error $
    "Wrong size (" ++ show s ++ ") of combineLong"

-------------------------------------------------------------------------------
-- Size Casting

getSize :: Int -> Int
getSize 0 = 1
getSize 1 = 2
getSize 2 = 4

getShortSize :: Int -> Int
getShortSize 0 = 2
getShortSize 1 = 4

getMoveSize :: Int -> Int
getMoveSize 1 = 1
getMoveSize 3 = 2
getMoveSize 2 = 4

-------------------------------------------------------------------------------
-- Flag checker

checkNegative :: Word32 -> Int -> Bool
checkNegative x 1 = x >= 0x80
checkNegative x 2 = x >= 0x8000
checkNegative x 4 = x >= 0x80000000

checkZero :: Word32 -> Bool
checkZero 0 = True
checkZero _ = False

-- TODO: carry & overflow checkers

-------------------------------------------------------------------------------
-- Sign extender

signExtend :: Word32 -> Int -> Word32
signExtend x 1
    | x < 0x80 = x
    | otherwise = x + 0xffffff00
signExtend x 2
    | x < 0x8000 = x
    | otherwise = x + 0xffff0000
signExtend x 4 = x