blob: a9de6dbc9547b9f05f9064df898466037e71c3a9 (
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
|
(in-package #:rva-tests)
(def-suite parse-tests
:description "Test functions exported from the parser."
:in all-tests)
;;; these tests are not exhaustive, and are meant to test basic functionality
;;; under correct circumstances.
(in-suite parse-tests)
(test esrap-register-decimal-ten
(is (equal (list 'parse::rr 10)
(esrap:parse 'parse::register "$10"))))
(test esrap-register-binary-ten
(is (equal (list 'parse::rr 10)
(esrap:parse 'parse::register "$0b1010"))))
(test esrap-register-octal-ten
(is (equal (list 'parse::rr 10)
(esrap:parse 'parse::register "$0o12"))))
(test esrap-register-hex-ten
(is (equal (list 'parse::rr 10)
(esrap:parse 'parse::register "$0xa"))))
(test esrap-r-type-1
(is (equal '(parse::r "ADD" (parse::rr 5) (parse::rr 8) (parse::rr 1))
(esrap:parse 'parse:instr "ADD $1 $5 $8"))))
(test esrap-r-type-2
(is (equal '(parse::r "NOT" (parse::rr 5) (parse::rr 0) (parse::rr 1))
(esrap:parse 'parse:instr "NOT $1 $5"))))
(test esrap-r-type-3
(is (equal '(parse::r "CMP" (parse::rr 1) (parse::rr 5) (parse::rr 0))
(esrap:parse 'parse:instr "CMP $1 $5"))))
(test esrap-i-type-1
(is (equal '(parse::i "LOAD" (parse::rr 8) (parse::rr 9) (parse::imm 1))
(esrap:parse 'parse:instr "LOAD $8 1($9)"))))
(test esrap-i-type-2
(is (equal '(parse::i "STORE" (parse::rr 3) (parse::rr 5) (parse::imm 3))
(esrap:parse 'parse:instr "STORE $5 3($3)"))))
(test esrap-i-type-3
(is (equal '(parse::i "ORI" (parse::rr 5) (parse::rr 4) (parse::imm 2))
(esrap:parse 'parse:instr "ORI $5 $4 2"))))
(test esrap-j-type-1
(is (equal '(parse::j "JMP" (parse::rr 3) (parse::imm 3))
(esrap:parse 'parse:instr "JMP 3($3)"))))
(test esrap-j-type-2
(is (equal '(parse::j "JRL" (parse::rr 0) (parse::l "FOO"))
(esrap:parse 'parse:instr "JRL FOO"))))
(test esrap-j-type-3
(is (equal '(parse::j "PUSH" (parse::rr 1) (parse::imm 0))
(esrap:parse 'parse:instr "PUSH $1"))))
|
