Add some basic letsimp tests based on bug #3950
[maxima.git] / share / colnew / lisp / daxpy.lisp
blob61f75c1685291ee4706c8fa02be8ed365bd394da
1 ;;; Compiled by f2cl version:
2 ;;; ("f2cl1.l,v 1.221 2010/05/26 19:25:52 rtoy Exp $"
3 ;;; "f2cl2.l,v 1.37 2008/02/22 22:19:33 rtoy Exp $"
4 ;;; "f2cl3.l,v 1.6 2008/02/22 22:19:33 rtoy Exp $"
5 ;;; "f2cl4.l,v 1.7 2008/02/22 22:19:34 rtoy Exp $"
6 ;;; "f2cl5.l,v 1.204 2010/02/23 05:21:30 rtoy Exp $"
7 ;;; "f2cl6.l,v 1.48 2008/08/24 00:56:27 rtoy Exp $"
8 ;;; "macros.l,v 1.114 2010/05/17 01:42:14 rtoy Exp $")
10 ;;; Using Lisp CMU Common Lisp CVS Head 2010-05-25 18:21:07 (20A Unicode)
11 ;;;
12 ;;; Options: ((:prune-labels nil) (:auto-save t) (:relaxed-array-decls t)
13 ;;; (:coerce-assigns :as-needed) (:array-type ':array)
14 ;;; (:array-slicing t) (:declare-common nil)
15 ;;; (:float-format double-float))
17 (in-package :colnew)
20 (defun daxpy (n da dx incx dy incy)
21 (declare (type (array double-float (*)) dy dx)
22 (type (double-float) da)
23 (type (f2cl-lib:integer4) incy incx n))
24 (f2cl-lib:with-multi-array-data
25 ((dx double-float dx-%data% dx-%offset%)
26 (dy double-float dy-%data% dy-%offset%))
27 (prog ((i 0) (ix 0) (iy 0) (m 0) (mp1 0))
28 (declare (type (f2cl-lib:integer4) mp1 m iy ix i))
29 (if (<= n 0) (go end_label))
30 (if (= da 0.0) (go end_label))
31 (if (and (= incx 1) (= incy 1)) (go label20))
32 (setf ix 1)
33 (setf iy 1)
34 (if (< incx 0)
35 (setf ix
36 (f2cl-lib:int-add
37 (f2cl-lib:int-mul (f2cl-lib:int-sub 1 n) incx)
38 1)))
39 (if (< incy 0)
40 (setf iy
41 (f2cl-lib:int-add
42 (f2cl-lib:int-mul (f2cl-lib:int-sub 1 n) incy)
43 1)))
44 (f2cl-lib:fdo (i 1 (f2cl-lib:int-add i 1))
45 ((> i n) nil)
46 (tagbody
47 (setf (f2cl-lib:fref dy-%data% (iy) ((1 *)) dy-%offset%)
48 (+ (f2cl-lib:fref dy-%data% (iy) ((1 *)) dy-%offset%)
49 (* da
50 (f2cl-lib:fref dx-%data% (ix) ((1 *)) dx-%offset%))))
51 (setf ix (f2cl-lib:int-add ix incx))
52 (setf iy (f2cl-lib:int-add iy incy))
53 label10))
54 (go end_label)
55 label20
56 (setf m (mod n 4))
57 (if (= m 0) (go label40))
58 (f2cl-lib:fdo (i 1 (f2cl-lib:int-add i 1))
59 ((> i m) nil)
60 (tagbody
61 (setf (f2cl-lib:fref dy-%data% (i) ((1 *)) dy-%offset%)
62 (+ (f2cl-lib:fref dy-%data% (i) ((1 *)) dy-%offset%)
63 (* da (f2cl-lib:fref dx-%data% (i) ((1 *)) dx-%offset%))))
64 label30))
65 (if (< n 4) (go end_label))
66 label40
67 (setf mp1 (f2cl-lib:int-add m 1))
68 (f2cl-lib:fdo (i mp1 (f2cl-lib:int-add i 4))
69 ((> i n) nil)
70 (tagbody
71 (setf (f2cl-lib:fref dy-%data% (i) ((1 *)) dy-%offset%)
72 (+ (f2cl-lib:fref dy-%data% (i) ((1 *)) dy-%offset%)
73 (* da (f2cl-lib:fref dx-%data% (i) ((1 *)) dx-%offset%))))
74 (setf (f2cl-lib:fref dy-%data%
75 ((f2cl-lib:int-add i 1))
76 ((1 *))
77 dy-%offset%)
79 (f2cl-lib:fref dy-%data%
80 ((f2cl-lib:int-add i 1))
81 ((1 *))
82 dy-%offset%)
83 (* da
84 (f2cl-lib:fref dx-%data%
85 ((f2cl-lib:int-add i 1))
86 ((1 *))
87 dx-%offset%))))
88 (setf (f2cl-lib:fref dy-%data%
89 ((f2cl-lib:int-add i 2))
90 ((1 *))
91 dy-%offset%)
93 (f2cl-lib:fref dy-%data%
94 ((f2cl-lib:int-add i 2))
95 ((1 *))
96 dy-%offset%)
97 (* da
98 (f2cl-lib:fref dx-%data%
99 ((f2cl-lib:int-add i 2))
100 ((1 *))
101 dx-%offset%))))
102 (setf (f2cl-lib:fref dy-%data%
103 ((f2cl-lib:int-add i 3))
104 ((1 *))
105 dy-%offset%)
107 (f2cl-lib:fref dy-%data%
108 ((f2cl-lib:int-add i 3))
109 ((1 *))
110 dy-%offset%)
111 (* da
112 (f2cl-lib:fref dx-%data%
113 ((f2cl-lib:int-add i 3))
114 ((1 *))
115 dx-%offset%))))
116 label50))
117 (go end_label)
118 end_label
119 (return (values nil nil nil nil nil nil)))))
121 (in-package #-gcl #:cl-user #+gcl "CL-USER")
122 #+#.(cl:if (cl:find-package '#:f2cl) '(and) '(or))
123 (eval-when (:load-toplevel :compile-toplevel :execute)
124 (setf (gethash 'fortran-to-lisp::daxpy fortran-to-lisp::*f2cl-function-info*)
125 (fortran-to-lisp::make-f2cl-finfo
126 :arg-types '((fortran-to-lisp::integer4) (double-float)
127 (array double-float (*)) (fortran-to-lisp::integer4)
128 (array double-float (*)) (fortran-to-lisp::integer4))
129 :return-values '(nil nil nil nil nil nil)
130 :calls 'nil)))