Subversion Repositories scarts

;; CPU to use for the testsuite. -*- Scheme -*-

(define-arch
  (name testsuite) ; name of cpu
  (comment ".cpu file for the testsuite")
  (insn-lsb0? #t)
  (machs testb)
  (isas test)
)

(define-isa
  (name test)
  (base-insn-bitsize 16)
  (decode-assist (0 1 2 3))
)
  
(define-cpu
  (name testf)
  (comment "experimental cpu family")
  (endian little)
  (word-bitsize 32)
)

(define-mach
  (name testb)
  (comment "mach for testsuite")
  (cpu testf)
)

(define-model
  (name test) (comment "test") (attrs)
  (mach testb)
  ;(pipeline all "" () ((fetch) (decode) (execute) (writeback)))
  (unit u-exec "Execution Unit" () 1 1 () () () ())
)

;; Some useful pmacros for testcases.

(define-pmacro (newline) (.print "\n"))

;; Record name of test for debugging purposes.

(define-pmacro (test-name name)
  (.print "TEST: " name "\n")
)

;; Print TEXT as the expected output.

(define-pmacro (print-match text)
  (.begin
   (.print "MATCH: ")
   (.print text)
   (newline))
)

;; Print EXPR as the text to be verified.

(define-pmacro (print-expr expr)
  (.begin
   (.print "EXPR: ")
   (.dump expr)
   (newline))
)

;; THUNK is invoked to exercise whatever is being tested.

(define-pmacro (print-thunk thunk)
  (.begin
   (.print "EXPR: ")
   (thunk)
   (newline))
)

;; Wrapper around .internal-test to include pass/fail messages.
(define-pmacro (internal-verify test-name expr)
  (.if (.internal-test expr)
       (.print "PASS: " test-name "\n")
       (.print "FAIL: " test-name "\n"))
)