(/gen-sfrag-case): Ditto.
* sim-cpu.scm (/gen-sem-case): Ditto.
2009-10-24 Doug Evans <dje@sebabeach.org>
+ * sid-cpu.scm (/gen-sem-case): Tweaking debugging printf.
+ (/gen-sfrag-case): Ditto.
+ * sim-cpu.scm (/gen-sem-case): Ditto.
+
* doc/rtl.texi: Add note that different ifields, operands, insns,
and minsns may occur with the same name in different isas.
Add note on the canonical form of rtl expressions.
(define (/gen-sem-case insn parallel?)
(logit 2 "Processing "
(if parallel? "parallel " "")
- "semantic switch case for \"" (insn-syntax insn) "\" ...\n")
+ "semantic switch case for " (obj:name insn) ": \""
+ (insn-syntax insn) "\" ...\n")
(set! /with-profile? /with-profile-sw?)
(let ((cti? (insn-cti? insn))
(insn-len (insn-length-bytes insn)))
(parallel? (sfrag-parallel? frag)))
(logit 2 "Processing "
(if parallel? "parallel " "")
- "semantic switch case for \"" (obj:name frag) "\" ...\n")
+ "semantic switch case for " (obj:name frag) " ...\n")
(string-list
; FRAG_ is prepended here and not elsewhere to avoid name collisions
; with symbols like AND, etc.
(define (/gen-sem-case insn parallel?)
(logit 2 "Processing "
(if parallel? "parallel " "")
- "semantic switch case for \"" (insn-syntax insn) "\" ...\n")
+ "semantic switch case for " (obj:name insn) ": \""
+ (insn-syntax insn) "\" ...\n")
(set! /with-profile? /with-profile-sw?)
(let ((cti? (insn-cti? insn))
(insn-len (insn-length-bytes insn)))