blob: fcb60ab86a2295d5d97bca7e592646a5e19c5419 (
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
|
-- Assembly/disassembly
module Asm (toAsm) where
import Prelude ((<>), show)
import Data.List
import Data.Int
import InstructionSet
-- | Convert Instruction to assembly mnemonic string + arguments
toAsm :: Instruction -> List String
toAsm (Instruction0 op) = show op:Nil
toAsm (InstructionI op imm) = show op:immediate imm:Nil
toAsm (InstructionC op code) = show op:codeAddress code:Nil
toAsm (InstructionM op m) = show op:modno m:Nil
toAsm (InstructionD op d) = show op:dataAddress d:Nil
toAsm (InstructionDD op d1 d2) = show op:dataAddress d1:dataAddress d2:Nil
toAsm (InstructionID op imm d) = show op:immediate imm:dataAddress d:Nil
toAsm (InstructionDI op d imm) = show op:dataAddress d:immediate imm:Nil
toAsm (InstructionDDD op d1 d2 d3) = show op:dataAddress d1:dataAddress d2:dataAddress d3:Nil
toAsm (InstructionDID op d1 imm d2) = show op:dataAddress d1:immediate imm:dataAddress d2:Nil
toAsm (InstructionIDD op imm d1 d2) = show op:immediate imm:dataAddress d1:dataAddress d2:Nil
toAsm (InstructionIIDD op i1 i2 d1 d2) = show op:immediate i1:immediate i2:dataAddress d1:dataAddress d2:Nil
toAsm (InstructionDDDD op d1 d2 d3 d4) = show op:dataAddress d1:dataAddress d2:dataAddress d3:dataAddress d4:Nil
toAsm (InstructionDDDC op d1 d2 d3 c) = show op:dataAddress d1:dataAddress d2:dataAddress d3:codeAddress c:Nil
toAsm (InstructionIIDDD op i1 i2 d1 d2 d3) = show op:immediate i1:immediate i2:dataAddress d1:dataAddress d2:dataAddress d3:Nil
toAsm (InstructionDDDDD op d1 d2 d3 d4 d5) = show op:dataAddress d1:dataAddress d2:dataAddress d3:dataAddress d4:dataAddress d5:Nil
toAsm (InstructionDDDDDDD op d1 d2 d3 d4 d5 d6 d7) = show op:dataAddress d1:dataAddress d2:dataAddress d3:dataAddress d4:dataAddress d5:dataAddress d6:dataAddress d7:Nil
dataAddress :: DataAddress -> String
dataAddress (GlobalDataAddress a) = "*" <> (hex a)
dataAddress (LocalDataAddress a) = "=" <> (hex a)
dataAddress (LocalDataAddressRef a) = "<=" <> (hex a) <> ">"
codeAddress a = "$" <> (hex a)
immediate :: Immediate -> String
immediate v = "#" <> hex v
modno :: Module -> String
modno v = "&" <> hex v
hex :: Int -> String
hex v = toStringAs hexadecimal v <> "h"
|
