X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/4b8e5c0347115ff30841f1d1e71afe59ecb6c82c..bb80145308ea388d7c6ed5336c061340e78f66e8:/src/codegen-impl.lisp diff --git a/src/codegen-impl.lisp b/src/codegen-impl.lisp index 170f4a8..d988b12 100644 --- a/src/codegen-impl.lisp +++ b/src/codegen-impl.lisp @@ -37,6 +37,16 @@ ((in-use-p :initarg :in-use-p :initform nil :type boolean :accessor var-in-use-p))) +(define-module-var *temporary-index* 0 + "Index for temporary name generation. + + This is automatically reset to zero before the output functions are + invoked to write a file. This way, we can ensure that the same output + file is always produced from the same input.") + +(define-clear-the-decks reset-codegen-index + (setf *temporary-index* 0)) + (defmethod commentify-argument-name ((name temporary-name)) nil) @@ -70,18 +80,18 @@ ;; package. The `definst' machinery will symbolicate the various associated ;; methods correctly despite this subterfuge. -(definst if (stream :export t) (#1=#:condition consequent alternative) - (format-compound-statement (stream consequent alternative) +(definst if (stream :export t) (#1=#:cond conseq alt) + (format-compound-statement (stream conseq alt) (format stream "if (~A)" #1#)) - (when alternative - (format-compound-statement (stream alternative) + (when alt + (format-compound-statement (stream alt) (write-string "else" stream)))) -(definst while (stream :export t) (#1=#:condition body) +(definst while (stream :export t) (#1=#:cond body) (format-compound-statement (stream body) (format stream "while (~A)" #1#))) -(definst do-while (stream :export t) (body #1=#:condition) +(definst do-while (stream :export t) (body #1=#:cond) (format-compound-statement (stream body :space) (write-string "do" stream)) (format stream "while (~A);" #1#))