1.0.27.11: swap ocfp and return-pc slots in x86oid call frames
[sbcl.git] / src / compiler / generic / array.lisp
1 ;;;; generic array operations
2
3 ;;;; This software is part of the SBCL system. See the README file for
4 ;;;; more information.
5 ;;;;
6 ;;;; This software is derived from the CMU CL system, which was
7 ;;;; written at Carnegie Mellon University and released into the
8 ;;;; public domain. The software is in the public domain and is
9 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
10 ;;;; files for more information.
11 (in-package "SB!VM")
12 \f
13 ;;; (ARRAY NIL) stuff looks the same on all platforms
14 (define-vop (data-vector-ref/simple-array-nil)
15   (:translate data-vector-ref)
16   (:policy :fast-safe)
17   (:args (object :scs (descriptor-reg))
18          (index :scs (unsigned-reg)))
19   (:arg-types simple-array-nil positive-fixnum)
20   (:results (value :scs (descriptor-reg)))
21   (:result-types *)
22   (:ignore index value)
23   (:vop-var vop)
24   (:save-p :compute-only)
25   (:generator 1
26     (error-call vop
27                 #!+(or x86 x86-64) 'nil-array-accessed-error
28                 #!-(or x86 x86-64) nil-array-accessed-error
29                 object)))
30
31 ;;; It shouldn't be possible to fall through to here in normal user
32 ;;; code, as the system is smart enough to deduce that there must be
33 ;;; an error upstream, as there are no objects of type NIL that can be
34 ;;; stored in this data vector; however, just in case, we provide this
35 ;;; translation, so that
36 ;;;   (LOCALLY
37 ;;;     (DECLARE (TYPE (SIMPLE-ARRAY NIL (*)) X)
38 ;;;              (OPTIMIZE (SPEED 3) (SAFETY 0)))
39 ;;;     (SB-KERNEL:DATA-VECTOR-SET X 3 'FOO))
40 ;;; signals the right kind of error.
41 (define-vop (data-vector-set/simple-array-nil)
42   (:translate data-vector-set)
43   (:policy :fast-safe)
44   (:args (object :scs (descriptor-reg))
45          (index :scs (unsigned-reg))
46          (value :scs (descriptor-reg)))
47   (:arg-types simple-array-nil positive-fixnum *)
48   (:results (result :scs (descriptor-reg)))
49   (:result-types *)
50   (:ignore index value result)
51   (:vop-var vop)
52   (:save-p :compute-only)
53   (:generator 1
54     (error-call vop
55                 #!+(or x86 x86-64) 'nil-array-accessed-error
56                 #!-(or x86 x86-64) nil-array-accessed-error
57                 object)))
58
59 (define-vop (data-vector-ref-with-offset/simple-array-nil)
60   (:translate data-vector-ref-with-offset)
61   (:policy :fast-safe)
62   (:args (object :scs (descriptor-reg))
63          (index :scs (unsigned-reg)))
64   (:info offset)
65   (:arg-types simple-array-nil positive-fixnum
66               (:constant (integer 0 0)))
67   (:results (value :scs (descriptor-reg)))
68   (:result-types *)
69   (:ignore index value offset)
70   (:vop-var vop)
71   (:save-p :compute-only)
72   (:generator 1
73     (error-call vop
74                 #!+(or x86 x86-64) 'nil-array-accessed-error
75                 #!-(or x86 x86-64) nil-array-accessed-error
76                 object)))
77
78 (define-vop (data-vector-set/simple-array-nil)
79   (:translate data-vector-set)
80   (:policy :fast-safe)
81   (:args (object :scs (descriptor-reg))
82          (index :scs (unsigned-reg))
83          (value :scs (descriptor-reg)))
84   (:info offset)
85   (:arg-types simple-array-nil positive-fixnum *
86               (:constant (integer 0 0)))
87   (:results (result :scs (descriptor-reg)))
88   (:result-types *)
89   (:ignore index value result offset)
90   (:vop-var vop)
91   (:save-p :compute-only)
92   (:generator 1
93     (error-call vop
94                 #!+(or x86 x86-64) 'nil-array-accessed-error
95                 #!-(or x86 x86-64) nil-array-accessed-error
96                 object)))
97 \f
98 ;;; FIXME: There is probably plenty of other array stuff that looks
99 ;;; the same or similar enough to be genericized.  Do so, and move it
100 ;;; here so that a new port doesn't need to do as much work.