src/classes.lisp, src/class-layout-proto.lisp: Docstring fixes.

[sod] / src / codegen-impl.lisp

diff --git a/src/codegen-impl.lisp b/src/codegen-impl.lisp
index 2b23661f82222050c77048d34815a611374c4f68..acb0da1a9a3bc2e743ddbb71d6036b7c229b96b9 100644 (file)
--- a/src/codegen-impl.lisp
+++ b/src/codegen-impl.lisp
@@ -66,48 +66,36 @@ (defmethod print-object ((var temporary-name) stream)
 
 ;; Compound statements.
 
 
 ;; Compound statements.
 

-(export '(if-inst make-if-inst
-         while-inst make-while-inst
-         do-inst make-do-inst
-         inst-condition inst-consequent inst-alternative inst-body))
-
-(definst if (stream) (condition consequent alternative)
+(definst if (stream :export t) (condition consequent alternative)

   (format-compound-statement (stream consequent alternative)
     (format stream "if (~A)" condition))
   (when alternative
     (format-compound-statement (stream alternative)
       (write-string "else" stream))))
 
   (format-compound-statement (stream consequent alternative)
     (format stream "if (~A)" condition))
   (when alternative
     (format-compound-statement (stream alternative)
       (write-string "else" stream))))
 

-(definst while (stream) (condition body)
+(definst while (stream :export t) (condition body)

   (format-compound-statement (stream body)
     (format stream "while (~A)" condition)))
 
   (format-compound-statement (stream body)
     (format stream "while (~A)" condition)))
 

-(definst do-while (stream) (body condition)
+(definst do-while (stream :export t) (body condition)

   (format-compound-statement (stream body :space)
     (write-string "do" stream))
   (format stream "while (~A);" condition))
 
 ;; Special varargs hacks.
 
   (format-compound-statement (stream body :space)
     (write-string "do" stream))
   (format stream "while (~A);" condition))
 
 ;; Special varargs hacks.
 

-(export '(va-start-inst make-va-start-inst
-         va-copy-inst make-va-copy-inst
-         va-end-inst make-va-end-inst
-         inst-ap inst-arg inst-to inst-from))
-
-(definst va-start (stream) (ap arg)
+(definst va-start (stream :export t) (ap arg)

   (format stream "va_start(~@<~A, ~_~A~:>);" ap arg))
 
   (format stream "va_start(~@<~A, ~_~A~:>);" ap arg))
 

-(definst va-copy (stream) (to from)
+(definst va-copy (stream :export t) (to from)

   (format stream "va_copy(~@<~A, ~_~A~:>);" to from))
 
   (format stream "va_copy(~@<~A, ~_~A~:>);" to from))
 

-(definst va-end (stream) (ap)
+(definst va-end (stream :export t) (ap)

   (format stream "va_end(~A);" ap))
 
 ;; Expressions.
 
   (format stream "va_end(~A);" ap))
 
 ;; Expressions.
 

-(export '(call-inst make-call-inst inst-func inst-args))
-
-(definst call (stream) (func args)
+(definst call (stream :export t) (func args)

   (format stream "~A(~@<~{~A~^, ~_~}~:>)" func args))
 
 ;;;--------------------------------------------------------------------------
   (format stream "~A(~@<~{~A~^, ~_~}~:>)" func args))
 
 ;;;--------------------------------------------------------------------------


@@ -137,9 +125,17 @@ (defmethod emit-inst ((codegen basic-codegen) inst)
 (defmethod emit-insts ((codegen basic-codegen) insts)
   (asetf (codegen-insts codegen) (revappend insts it)))
 
 (defmethod emit-insts ((codegen basic-codegen) insts)
   (asetf (codegen-insts codegen) (revappend insts it)))
 

+(defmethod emit-decl ((codegen basic-codegen) inst)
+  (push inst (codegen-vars codegen)))
+
+(defmethod emit-decls ((codegen basic-codegen) insts)
+  (asetf (codegen-vars codegen) (revappend insts it)))
+

 (defmethod ensure-var ((codegen basic-codegen) name type &optional init)
   (let* ((vars (codegen-vars codegen))
 (defmethod ensure-var ((codegen basic-codegen) name type &optional init)
   (let* ((vars (codegen-vars codegen))

-        (var (find name vars :key #'inst-name :test #'equal)))
+        (var (find name
+                   (remove-if-not (lambda (var) (typep var 'var-inst)) vars)
+                   :key #'inst-name :test #'equal)))

     (cond ((not var)
           (setf (codegen-vars codegen)
                 (cons (make-var-inst name type init) vars)))
     (cond ((not var)
           (setf (codegen-vars codegen)
                 (cons (make-var-inst name type init) vars)))


@@ -188,7 +184,7 @@ (defmethod temporary-var ((codegen basic-codegen) type)
                           (c-type-equal-p type (inst-type var)))
                      name
                      nil)))
                           (c-type-equal-p type (inst-type var)))
                      name
                      nil)))

-             vars)
+             (remove-if-not (lambda (var) (typep var 'var-inst)) vars))

        (let* ((name (make-instance 'temporary-variable
                                    :in-use-p t
                                    :tag (prog1 temp-index
        (let* ((name (make-instance 'temporary-variable
                                    :in-use-p t
                                    :tag (prog1 temp-index