blob: cc07a745ba9417252d511713fdcf8788ed7da2b4 (
plain) (
blame)
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
|
(import (scheme base)
(only (csc format)
sprintf)
(only (csc hash-map)
alist->map
hash-bytevector
make-comparer
make-map)
(only (csc list)
all)
(only (csc testing)
assert-equal
test)
(csc linker))
(define compare-globals
(make-comparer
(lambda (x)
(hash-bytevector (string->utf8 (sprintf "{}" x))))
(lambda (x y)
(cond
((equal? x y) 0)
((string<? (sprintf "{}" x) (sprintf "{}" y)) -1)
(else 1)))))
(test link-labels
(assert-equal
'((jmp (const 1))
(jmp (const 0)))
(link
'(((label 0)
(jmp (label 1))
(label 1)
(jmp (label 0))))
(make-map compare-globals))))
(test link-labels-are-unique-per-program
(assert-equal
'((jmp (const 1))
(jmp (const 0))
(jmp (const 3))
(jmp (const 2)))
(link
'(((label 0)
(jmp (label 1))
(label 1)
(jmp (label 0)))
((label 0)
(jmp (label 1))
(label 1)
(jmp (label 0))))
(make-map compare-globals))))
(test link-globals
(assert-equal
'((peek (local 0) (const 10)))
(link
'(((peek (local 0) (global cons (csc based)))))
(alist->map compare-globals '(((global cons (csc based)) . 10))))))
|
