(define-library (csc linker-test)
  (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))
  (begin


    (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 3))
          (jmp (const 2))
          (jmp (const 1))
          (jmp (const 1)))
        (link
          '(((label 0)
             (jmp (label 1))
             (label 1)
             (jmp (label 0))
             (label init)
             (jmp (label 0))))
          (make-map compare-globals))))


    (test link-labels-are-unique-per-program
      (assert-equal
        '((jmp (const 2))
          (jmp (const 1))
          (jmp (const 1))
          (jmp (const 5))
          (jmp (const 4))
          (jmp (const 4)))
        (link
          '(((label 0)
             (jmp (label 0))
             (label init)
             (jmp (label 0)))
            ((label 0)
             (jmp (label 0))
             (label init)
             (jmp (label 0))))
          (make-map compare-globals))))


    (test link-globals
      (assert-equal
        '((jmp (const 1))
          (peek (local 0) (const 10)))
        (link
          '(((label init)
             (peek (local 0) (global cons (csc based)))))
          (alist->map compare-globals '(((global cons (csc based)) . 10))))))))