diff --git a/compiler/alpha/call.lisp b/compiler/alpha/call.lisp
index af2fc48bf656054c5dc32dcf96dcac6740664b48..e21050ee6095dc881e7c6c78248a8c997294f99b 100644
--- a/compiler/alpha/call.lisp
+++ b/compiler/alpha/call.lisp
@@ -5,7 +5,7 @@
 ;;; Carnegie Mellon University, and has been placed in the public domain.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/alpha/call.lisp,v 1.4 2003/08/03 11:27:49 gerd Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/alpha/call.lisp,v 1.5 2003/08/05 15:51:35 toy Rel $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -1181,7 +1181,8 @@ default-value-8
 (define-vop (listify-rest-args)
   (:args (context-arg :target context :scs (descriptor-reg))
 	 (count-arg :target count :scs (any-reg)))
-  (:arg-types * tagged-num)
+  (:arg-types * tagged-num (:constant t))
+  (:info dynamic-extent)
   (:temporary (:scs (any-reg) :from (:argument 0)) context)
   (:temporary (:scs (any-reg) :from (:argument 1)) count)
   (:temporary (:scs (descriptor-reg) :from :eval) temp dst)
diff --git a/compiler/hppa/call.lisp b/compiler/hppa/call.lisp
index 4d795d4a6b0662b09d7c0a3f02186c738200ab2e..6f794b24bd34983d9da438e8952493a8033a2850 100644
--- a/compiler/hppa/call.lisp
+++ b/compiler/hppa/call.lisp
@@ -5,7 +5,7 @@
 ;;; Carnegie Mellon University, and has been placed in the public domain.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/hppa/call.lisp,v 1.12 2003/08/03 11:27:48 gerd Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/hppa/call.lisp,v 1.13 2003/08/05 15:51:35 toy Rel $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -1122,7 +1122,8 @@ default-value-8
 (define-vop (listify-rest-args)
   (:args (context-arg :target context :scs (descriptor-reg))
 	 (count-arg :target count :scs (any-reg)))
-  (:arg-types * tagged-num)
+  (:arg-types * tagged-num (:constant t))
+  (:info dynamic-extent)
   (:temporary (:scs (any-reg) :from (:argument 0)) context)
   (:temporary (:scs (any-reg) :from (:argument 1)) count)
   (:temporary (:scs (descriptor-reg) :from :eval) temp)
diff --git a/compiler/mips/call.lisp b/compiler/mips/call.lisp
index 167774205b14bdd7bab40ccb80ba00a84d1e5dba..4842881f6fcc6dbc4b8c32fc69950a8e7af0a838 100644
--- a/compiler/mips/call.lisp
+++ b/compiler/mips/call.lisp
@@ -5,7 +5,7 @@
 ;;; Carnegie Mellon University, and has been placed in the public domain.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/mips/call.lisp,v 1.64 2003/08/03 11:27:48 gerd Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/mips/call.lisp,v 1.65 2003/08/05 15:51:35 toy Rel $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -1211,7 +1211,8 @@ default-value-8
 (define-vop (listify-rest-args)
   (:args (context-arg :target context :scs (descriptor-reg))
 	 (count-arg :target count :scs (any-reg)))
-  (:arg-types * tagged-num)
+  (:arg-types * tagged-num (:constant t))
+  (:info dynamic-extent)
   (:temporary (:scs (any-reg) :from (:argument 0)) context)
   (:temporary (:scs (any-reg) :from (:argument 1)) count)
   (:temporary (:scs (descriptor-reg) :from :eval) temp dst)
@@ -1262,7 +1263,8 @@ default-value-8
 (define-vop (listify-rest-args)
   (:args (context :scs (descriptor-reg) :target src)
 	 (count :scs (any-reg)))
-  (:arg-types * tagged-num)
+  (:arg-types * tagged-num (:constant t))
+  (:info dynamic-extent)
   (:temporary (:scs (any-reg) :from (:argument 0)) src)
   (:temporary (:scs (any-reg) :from :eval) end)
   (:temporary (:scs (descriptor-reg) :from :eval) temp dst)
diff --git a/compiler/ppc/call.lisp b/compiler/ppc/call.lisp
index cf3e36f56e018cf2ee1279b427a17c17852fda04..cdab3cd4580c7e8ce963f2fede276e8af8906c90 100644
--- a/compiler/ppc/call.lisp
+++ b/compiler/ppc/call.lisp
@@ -7,7 +7,7 @@
 ;;; Scott Fahlman or slisp-group@cs.cmu.edu.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/ppc/call.lisp,v 1.3 2003/08/03 11:27:47 gerd Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/ppc/call.lisp,v 1.4 2003/08/05 15:51:35 toy Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -1138,7 +1138,8 @@ default-value-8
 (define-vop (listify-rest-args)
   (:args (context-arg :target context :scs (descriptor-reg))
 	 (count-arg :target count :scs (any-reg)))
-  (:arg-types * tagged-num)
+  (:arg-types * tagged-num (:constant t))
+  (:info dynamic-extent)
   (:temporary (:scs (any-reg) :from (:argument 0)) context)
   (:temporary (:scs (any-reg) :from (:argument 1)) count)
   (:temporary (:scs (descriptor-reg) :from :eval) temp)
diff --git a/compiler/sparc/call.lisp b/compiler/sparc/call.lisp
index 68092edd7543fa7fbaf4646ea0baa2aac69a945f..555c2c39aff416e4347d7c0e4e54ce01153761a0 100644
--- a/compiler/sparc/call.lisp
+++ b/compiler/sparc/call.lisp
@@ -5,7 +5,7 @@
 ;;; Carnegie Mellon University, and has been placed in the public domain.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/sparc/call.lisp,v 1.31 2003/08/03 11:27:46 gerd Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/sparc/call.lisp,v 1.32 2003/08/05 15:51:35 toy Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -1169,7 +1169,8 @@ default-value-8
 (define-vop (listify-rest-args)
   (:args (context-arg :target context :scs (descriptor-reg))
 	 (count-arg :target count :scs (any-reg)))
-  (:arg-types * tagged-num)
+  (:arg-types * tagged-num (:constant t))
+  (:info dynamic-extent)
   (:temporary (:scs (any-reg) :from (:argument 0)) context)
   (:temporary (:scs (any-reg) :from (:argument 1)) count)
   (:temporary (:scs (descriptor-reg) :from :eval) temp)