Changeset 9707


Ignore:
Timestamp:
Jun 9, 2008, 1:19:23 AM (11 years ago)
Author:
gb
Message:

Decl, other changes from working-0711.

Location:
branches/working-0711-perf/ccl/compiler
Files:
6 edited

Legend:

Unmodified
Added
Removed
  • branches/working-0711-perf/ccl/compiler/X86/x86-backend.lisp

    r7859 r9707  
    5656    (let* ((name (string (car form)))
    5757           (templates (gethash name x86::*x86-opcode-template-lists*)))
    58       (declare (fixnum node-size))
    5958      (when templates
    6059        (flet ((optype (thing)
     
    149148               (error "Duplicate name ~s in vinsn ~s" vname vinsn-name)
    150149               (push vname name-list))))
    151       (declare (dynamic-extent valid-spec-name add-spec-name))
     150      (declare (dynamic-extent #'valid-spec-name #'add-spec-name))
    152151      (when (consp vinsn-name)
    153152        (setq attrs (encode-vinsn-attributes (cdr vinsn-name))
  • branches/working-0711-perf/ccl/compiler/X86/x86-lap.lisp

    r8867 r9707  
    13741374         (code-words (ash code-bytes (- target::word-shift)))
    13751375         (function-vector (allocate-typed-vector :function code-words)))
    1376     (declare (fixnum num-constants code-bytes code-words))
     1376    (declare (fixnum code-bytes code-words))
    13771377    (let* ((target-offset 0))
    13781378      (declare (fixnum target-offset))
  • branches/working-0711-perf/ccl/compiler/nx-basic.lisp

    r9496 r9707  
    498498    (:unknown-declaration . "Unknown declaration ~S")
    499499    (:unknown-type-declaration . "Unknown type ~S")
     500    (:unknown-declaration-variable . "~s declaration for unknown variable ~s")
    500501    (:macro-used-before-definition . "Macro function ~S was used before it was defined.")
    501502    (:unsettable . "Shouldn't assign to variable ~S")
  • branches/working-0711-perf/ccl/compiler/nx0.lisp

    r9497 r9707  
    681681           (%cadr acode-expression)))))
    682682
     683(defun nx-check-vdecl-var-ref (decl)
     684  (unless (eq (cadr decl) 'special)
     685    (let* ((sym (car decl))
     686           (info (nx-lex-info sym)))
     687      (when (or (eq info :symbol-macro)
     688                (and (null info) (not (nx-proclaimed-special-p sym))))
     689        (nx1-whine :unknown-declaration-variable (cadr decl) sym)))))
     690
     691
    683692(defun nx-effect-other-decls (pending env)
    684693  (flet ((merge-decls (new old)
     
    691700          (dolist (decl vdecls (setf (lexenv.vdecls env) env-vdecls))
    692701            (unless (memq decl env-vdecls)
     702              (nx-check-vdecl-var-ref decl)
    693703              (when (eq (cadr decl) 'type)
    694704                (let* ((var (car decl))
  • branches/working-0711-perf/ccl/compiler/nxenv.lisp

    r9499 r9707  
    188188     (lap-inline . 0)
    189189     (%function . #.operator-single-valued-mask)
    190      (%valid-code-char . #.(logior operator-single-valued-mask operator-acode-subforms-mask operator-side-effect-free-mask operator-cc-invertable-mask))
     190     (%valid-code-char . #.(logior operator-single-valued-mask operator-acode-subforms-mask operator-side-effect-free-mask))
    191191     (%ttag . #.operator-single-valued-mask) 
    192192     (uvsize . #.operator-single-valued-mask)
  • branches/working-0711-perf/ccl/compiler/vinsn.lisp

    r7941 r9707  
    370370         (*available-backend-crf-temps* *available-backend-crf-temps*))
    371371    (declare (fixnum nvp ntemps nsupp)
    372              (list result-specs temp-specs arg-specs))
     372             (list temp-specs))
    373373    (unless (= nsupp nra)
    374374      (error "Vinsn ~A expects ~D result/argument specs, received ~D ."
     
    611611(defun create-flow-graph (vinsns)
    612612  (let* ((nodes ()))
    613     (declare (fixnum id))
    614613    (flet ((label->fgn (label) (dll-node-pred label)))
    615614      (loop
     
    622621                             (make-condnode id)
    623622                             (make-jumpnode id)))))
     623              (declare (fixnum id))
    624624              (insert-dll-node-after label node last)
    625625              (push node nodes))))
Note: See TracChangeset for help on using the changeset viewer.