(include "simplify.inc")

(define-pmacro (dif x-name x-comment x-attrs x-word-offset x-word-length x-start x-length x-mode x-encode x-decode)
  (define-ifield
    (name x-name)
    (comment x-comment)
    (.splice attrs (.unsplice x-attrs))
    (word-offset x-word-offset)
    (word-length x-word-length)
    (start x-start)
    (length x-length)
    (mode x-mode)
    (.if (.equal? x-encode #f)
	    (encode #f)
	    (.splice encode (.unsplice x-encode)))
    (.if (.equal? x-decode #f)
	    (decode #f)
	    (.splice decode (.unsplice x-decode)))
    )
)

(define-pmacro (dnif x-name x-comment x-attrs x-word-offset x-word-length x-start x-length)
  (dif x-name x-comment x-attrs x-word-offset x-word-length x-start x-length
       UINT #f #f)
)


(define-arch
  (name m68hc08) ; name of cpu architecture
  (comment "M68HC08")
  (insn-lsb0? #f)
  (machs m68hc08 m68hcs08)
  (isas m68hc08)
)

(define-isa
  (name m68hc08)
  (base-insn-bitsize 8)
  (default-insn-word-bitsize 8)
  (liw-insns 1)
  (parallel-insns 1)
)

(define-cpu
  (name m68hc08bf)
  (endian big)
  (word-bitsize 8)
)

(define-mach
  (name m68hc08)
  (cpu m68hc08bf)
)

(define-model
  (name m68hc08)
  (comment "Generic M68HC08 model")
  (attrs)
  (mach m68hc08)
  (unit u-exec "Execution Unit" ()
	1 1 ; issue done
	() ; state
	() ; inputs
	() ; outputs
	() ; profile action (default)
	)
)

(dnif f-bitsel "bit for bit set/clear ops" () 0 8 4 3)
(dnif f-dd-1 "1-byte direct address at 1 position" (ABS-ADDR) 8 8 0 8)
(define-pmacro (opbit bit)
  (begin
  (dnif (.sym "f-opbit" bit) (.str "insn bit " bit) () 0 8 bit 1)
  (define-normal-insn-enum (.sym "insn-opbit" bit) (.str "insn opbit " bit " enums")
    () (.sym "OP" bit "_") (.sym f-opbit bit) (.map .str (.iota 2)))
  ))
(.splice begin (.unsplice (.map opbit (.iota 8))))


(dno bitsel "bit for bit set/clear ops" () h-sint f-bitsel)

(dno ddaddr "direct address" () h-addr f-dd-1)

(dni bset "bit set insn" ()
  "bset $bitsel,$ddaddr"
  (+ OP0_0 OP1_0 OP2_0 OP3_1 bitsel OP7_0 ddaddr)
  (set QI (mem QI ddaddr) (sll QI (const QI 1) bitsel))
  ())