~ubuntu-branches/ubuntu/intrepid/ecl/intrepid

« back to all changes in this revision

Viewing changes to src/cmp/cmptag.lsp

Committer: Bazaar Package Importer
Author(s): Peter Van Eynde
Date: 2006-06-21 09:21:21 UTC
mfrom: (1.1.1 upstream)
Revision ID: james.westby@ubuntu.com-20060621092121-txz1f21lj0wh0f67

Tags: 0.9h-20060617-1

* New upstream version
* Updated standards version without real changes.

files added:
ecl.log

src/cmp/cmpstack.lsp

tailor.state

tailor.state.old

files removed:
src/gc/aix_irix_threads.c

files modified:
ChangeLog

contrib/sockets/sockets.lisp

debian/changelog

debian/control

msvc/ecl-threads.def

msvc/ecl.def

src/CHANGELOG

src/aclocal.m4

src/c/all_symbols.d

src/c/alloc.d

src/c/alloc_2.d

src/c/array.d

src/c/character.d

src/c/compiler.d

src/c/disassembler.d

src/c/dpp.c

src/c/error.d

src/c/eval.d

src/c/ffi.d

src/c/file.d

src/c/format.d

src/c/gbc-new.d

src/c/gbc.d

src/c/gfun.d

src/c/hash.d

src/c/instance.d

src/c/interpreter.d

src/c/load.d

src/c/macros.d

src/c/main.d

src/c/number.d

src/c/package.d

src/c/pathname.d

src/c/predicate.d

src/c/print.d

src/c/read.d

src/c/reference.d

src/c/sequence.d

src/c/string.d

src/c/structure.d

src/c/symbol.d

src/c/symbols_list.h

src/c/symbols_list2.h

src/c/tcp.d

src/c/time.d

src/c/typespec.d

src/c/unixfsys.d

src/c/unixsys.d

src/clos/builtin.lsp

src/clos/generic.lsp

src/clos/kernel.lsp

src/clos/print.lsp

src/clx/cmudep.lisp

src/cmp/cmpblock.lsp

src/cmp/cmpcall.lsp

src/cmp/cmpcatch.lsp

src/cmp/cmpct.lsp

src/cmp/cmpdefs.lsp

src/cmp/cmpenv.lsp

src/cmp/cmpeval.lsp

src/cmp/cmpexit.lsp

src/cmp/cmpffi.lsp

src/cmp/cmpflet.lsp

src/cmp/cmplam.lsp

src/cmp/cmplet.lsp

src/cmp/cmploc.lsp

src/cmp/cmpmain.lsp

src/cmp/cmpmulti.lsp

src/cmp/cmpspecial.lsp

src/cmp/cmptag.lsp

src/cmp/cmptop.lsp

src/cmp/cmptype.lsp

src/cmp/cmputil.lsp

src/cmp/cmpvar.lsp

src/cmp/cmpwt.lsp

src/cmp/load.lsp.in

src/cmp/sysfun.lsp

src/configure

src/configure.in

src/doc/Makefile.in

src/doc/devel.txi

src/doc/ecl-config.man.in

src/doc/user.txi

src/gc/Makefile

src/gc/Makefile.am

src/gc/Makefile.direct

src/gc/Makefile.in

src/gc/allchblk.c

src/gc/alloc.c

src/gc/alpha_mach_dep.S

src/gc/configure

src/gc/configure.in

src/gc/darwin_stop_world.c

src/gc/dbg_mlc.c

src/gc/doc/Makefile.in

src/gc/doc/README

src/gc/doc/README.changes

src/gc/doc/README.linux

src/gc/doc/gcinterface.html

src/gc/dyn_load.c

src/gc/headers.c

src/gc/include/Makefile.in

src/gc/include/gc.h

src/gc/include/gc_config_macros.h

src/gc/include/gc_cpp.h

src/gc/include/gc_pthread_redirects.h

src/gc/include/leak_detector.h

src/gc/include/private/gc_locks.h

src/gc/include/private/gc_pmark.h

src/gc/include/private/gc_priv.h

src/gc/include/private/gcconfig.h

src/gc/include/private/pthread_stop_world.h

src/gc/mach_dep.c

src/gc/malloc.c

src/gc/mark.c

src/gc/misc.c

src/gc/mkinstalldirs

src/gc/os_dep.c

src/gc/powerpc_darwin_mach_dep.s

src/gc/pthread_stop_world.c

src/gc/pthread_support.c

src/gc/threadlibs.c

src/gc/version.h

src/gc/win32_threads.c

src/gmp/demos/calc/calclex.c

src/h/config.h.in

src/h/ecl-inl.h

src/h/external.h

src/h/internal.h

src/h/object.h

src/lsp/autoload.lsp

src/lsp/defmacro.lsp

src/lsp/defpackage.lsp

src/lsp/defstruct.lsp

src/lsp/describe.lsp

src/lsp/evalmacros.lsp

src/lsp/ffi.lsp

src/lsp/load.lsp.in

src/lsp/loop2.lsp

src/lsp/packlib.lsp

src/lsp/pprint.lsp

src/lsp/predlib.lsp

src/lsp/seq.lsp

src/lsp/seqlib.lsp

src/util/ecl-config

Show diffs side-by-side

added added

removed removed

src/cmp/cmptag.lsp

(in-package "COMPILER")

;;; During Pass 1, *tags* holds a list of tag objects and the symbols 'CB'

;;; (Closure Boundary), 'LB' (Level Boundary) or 'UNWIND-PROTECT'.

;;; 'CB' will be pushed on *tags* when the compiler begins to process

;;; a closure.

;;; 'LB' will be pushed on *tags* when *level* is incremented.

;;; 'UNWIND-PROTECT' is pushed when entering an unwind-protect.

;;; A dummy variable is created to hold the tag identifier and one tag

;;; structure (containing reference to such variable) is created for each

;;; label in the body.

(setq end w)))))))

;; FIXME! The variable name should not be a usable one!

(defun c1tagbody (body &aux (*tags* *tags*)

(defun c1tagbody (body &aux (*cmp-env* (cmp-env-copy))

(tag-var (make-var :name 'TAGBODY :kind NIL))

(tag-index 0))

;;; Establish tags.

#'(lambda (x)

(if (not (consp x))

(let ((tag (make-tag :name x :var tag-var :index tag-index)))

(push tag *tags*)

(cmp-env-register-tag tag)

(incf tag-index)

tag)

x))

176

170

177

171

(defun c1go (args)

178

172

(check-args-number 'GO args 1 1)

179

(unless (or (symbolp (car args)) (integerp (car args)))

180

(cmperr "The tag name ~s is not a symbol nor an integer." (car args)))

181

(do ((tags *tags* (cdr tags))

182

(name (car args))

183

(ccb) (clb) (unw) (tag) (var))

184

((endp tags) (cmperr "The tag ~s is undefined." name))

185

(declare (type var var))

186

(setq tag (car tags))

187

(case tag

188

(CB (setq ccb t))

189

(LB (setq clb t))

190

(UNWIND-PROTECT (setq unw T))

191

(T (when (eql (tag-name tag) name)

192

(setq var (tag-var tag))

193

(cond (ccb (setf (tag-ref-ccb tag) t

194

(var-ref-ccb var) T

195

(var-kind var) 'CLOSURE))

196

(clb (setf (tag-ref-clb tag) t

197

(var-ref-clb var) t

198

(var-kind var) 'LEXICAL))

199

(unw (unless (var-kind var)

200

(setf (var-kind var) :OBJECT))))

201

(incf (var-ref var))

202

(incf (tag-ref tag))

203

(return (add-to-read-nodes var (make-c1form* 'GO :args tag

204

(or ccb clb unw))))

205

)))))

173

(let ((name (first args)))

174

(unless (or (symbolp name) (integerp name))

175

(cmperr "The tag name ~s is not a symbol nor an integer." name))

176

(multiple-value-bind (tag ccb clb unw)

177

(cmp-env-search-tag name)

178

(unless tag

179

(cmperr "Undefined tag ~A" name))

180