((/centaur/4v-sexpr/sexpr-loop-debug.lisp::translate-loops (nil nil nil nil (if) nil nil) ((nil) nil (atom) (cons) nil nil nil) ((loops) nil nil (fal-extract-vals recursive-call) nil nil nil) ((inv-varmap inv-varmap) nil (car cdr) nil nil nil nil) ((loops loops) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/sexpr-loop-debug.lisp::find-first-relevant-loop (nil nil nil nil (cond) nil nil) (nil nil ((atom loops) (gentle-member-equal sig-num (car loops)) t) nil nil nil nil) ((nil) nil (car) (recursive-call) nil nil nil) ((loops sig-num) nil (cdr) nil nil nil nil) ((loops) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/sexpr-loop-debug.lisp::find-all-relevant-loops (nil nil nil nil (cond) nil nil) (nil nil ((atom loops) (gentle-member-equal sig-num (car loops)) t) nil nil nil nil) ((nil) nil nil (cons recursive-call) nil nil nil) ((sig-num) nil (car cdr) (recursive-call) nil nil nil) ((loops sig-num loops) nil (cdr) nil nil nil nil) ((loops) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/sexpr-loop-debug.lisp::verilog-loops-from-translated-loops-aux (nil nil nil nil (if) nil nil) ((nil) nil (atom) (cons) nil nil nil) ((x) nil (verilog-loop-from-translated-loop recursive-call) nil nil nil nil) (nil nil (car cdr) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/sexpr-loop-debug.lisp::verilog-loops-from-translated-loops (nil nil (sets::mergesort) nil nil nil nil) (nil nil nil (remove-equal) nil nil nil) ((nil) nil (verilog-loops-from-translated-loops-aux) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/sexpr-loop-debug.lisp::verilog-summarize-translated-loops-aux (nil nil nil nil (if) nil nil) ((nil) nil (atom) nil nil (progn$) nil) ((comma-strs) nil (vl::cw-unformatted cw) (cw recursive-call) nil nil nil) ((Loop ~x0:  n ~%) nil (car cdr) (+) nil nil nil) ((comma-strs n comma-strs) (1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/sexpr-loop-debug.lisp::jared-sneaky-loop-debug-mutator (nil nil nil (b*) nil nil nil) ((ret) nil nil nil nil nil nil) (nil nil ((list loops inv-varmap) (unless loops) loops ret loops loops -) nil nil nil nil) ((stored-vals nil) nil (ec-call list) (with-fast-alist cw) (if) nil nil) ((loops inv-varmap ; loop-debug: ~x0~%~% loops) nil (len-sort) (cons < prog2$ translate-loops) nil nil nil) ((loops :sexpr-loop-debug-loops loops *max-sneaky-debug-loops* loops inv-varmap) nil (len) (take) nil (cw) nil) ((loops ; jared-loop-debug: printing ~x0 of ~x1 "raw" ~
                        loops.  To increase the number of loops printed, ~
                        redefine ~s2. *max-sneaky-debug-loops* *max-sneaky-debug-loops* loops) nil (len quote) nil nil nil nil)) (/centaur/4v-sexpr/sexpr-loop-debug.lisp::jared-sneaky-loop-debugger (nil nil nil nil (sneaky-mutate) nil nil) ((nil) nil (quote) (list) nil nil nil) ((jared-sneaky-loop-debug-mutator :sexpr-loop-debug-loops :sexpr-loop-debug-inv-varmap) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/sexpr-loop-debug.lisp::jared-sneaky-loop-say-how-bad-mutator (nil nil nil (b*) nil nil nil) ((nil) nil nil nil nil nil nil) (nil nil ((unless (consp user-arg)) (list loops inv-varmap) (cons sig-number ndeps) sig-name - loops (unless loops) loops -) nil nil nil nil) ((stored-vals user-arg) nil (cdr verilog-summarize-translated-loops) (find-all-relevant-loops cw with-fast-alist) (cw) (er) nil) ((hard? Expected user-arg to have the form (sig-number . ndeps), found ~x0. user-arg ~x0 is a dependency of ~x1 previous signals.~% sig-name ndeps sig-number loops No loop info available for ~x0.~% sig-name inv-varmap loops) nil (quote) (hons-get translate-loops) nil nil nil) ((sneaky-loop-say-how-bad-mutator sig-number inv-varmap loops inv-varmap) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/4v-sexpr/sexpr-loop-debug.lisp::jared-sneaky-loop-say-how-bad (nil nil nil nil (sneaky-mutate) nil nil) (nil nil (quote) (list cons) nil nil nil) ((jared-sneaky-loop-say-how-bad-mutator :sexpr-loop-debug-loops :sexpr-loop-debug-inv-varmap sig-number ndeps) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))