Add some basic letsimp tests based on bug #3950
[maxima.git] / share / colnew / lisp / ddot.lisp
blob2d0be12ed5ac19838322c0d0c061250cf61d9c3c
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 ddot (n dx incx dy incy)
21 (declare (type (array double-float (*)) dy dx)
22 (type (f2cl-lib:integer4) incy incx n))
23 (f2cl-lib:with-multi-array-data
24 ((dx double-float dx-%data% dx-%offset%)
25 (dy double-float dy-%data% dy-%offset%))
26 (prog ((i 0) (ix 0) (iy 0) (m 0) (mp1 0) (dtemp 0.0) (ddot 0.0))
27 (declare (type (double-float) ddot dtemp)
28 (type (f2cl-lib:integer4) mp1 m iy ix i))
29 (setf ddot 0.0)
30 (setf dtemp 0.0)
31 (if (<= n 0) (go end_label))
32 (if (and (= incx 1) (= incy 1)) (go label20))
33 (setf ix 1)
34 (setf iy 1)
35 (if (< incx 0)
36 (setf ix
37 (f2cl-lib:int-add
38 (f2cl-lib:int-mul (f2cl-lib:int-sub 1 n) incx)
39 1)))
40 (if (< incy 0)
41 (setf iy
42 (f2cl-lib:int-add
43 (f2cl-lib:int-mul (f2cl-lib:int-sub 1 n) incy)
44 1)))
45 (f2cl-lib:fdo (i 1 (f2cl-lib:int-add i 1))
46 ((> i n) nil)
47 (tagbody
48 (setf dtemp
49 (+ dtemp
50 (* (f2cl-lib:fref dx-%data% (ix) ((1 *)) dx-%offset%)
51 (f2cl-lib:fref dy-%data% (iy) ((1 *)) dy-%offset%))))
52 (setf ix (f2cl-lib:int-add ix incx))
53 (setf iy (f2cl-lib:int-add iy incy))
54 label10))
55 (setf ddot dtemp)
56 (go end_label)
57 label20
58 (setf m (mod n 5))
59 (if (= m 0) (go label40))
60 (f2cl-lib:fdo (i 1 (f2cl-lib:int-add i 1))
61 ((> i m) nil)
62 (tagbody
63 (setf dtemp
64 (+ dtemp
65 (* (f2cl-lib:fref dx-%data% (i) ((1 *)) dx-%offset%)
66 (f2cl-lib:fref dy-%data% (i) ((1 *)) dy-%offset%))))
67 label30))
68 (if (< n 5) (go label60))
69 label40
70 (setf mp1 (f2cl-lib:int-add m 1))
71 (f2cl-lib:fdo (i mp1 (f2cl-lib:int-add i 5))
72 ((> i n) nil)
73 (tagbody
74 (setf dtemp
75 (+ dtemp
76 (* (f2cl-lib:fref dx-%data% (i) ((1 *)) dx-%offset%)
77 (f2cl-lib:fref dy-%data% (i) ((1 *)) dy-%offset%))
79 (f2cl-lib:fref dx-%data%
80 ((f2cl-lib:int-add i 1))
81 ((1 *))
82 dx-%offset%)
83 (f2cl-lib:fref dy-%data%
84 ((f2cl-lib:int-add i 1))
85 ((1 *))
86 dy-%offset%))
88 (f2cl-lib:fref dx-%data%
89 ((f2cl-lib:int-add i 2))
90 ((1 *))
91 dx-%offset%)
92 (f2cl-lib:fref dy-%data%
93 ((f2cl-lib:int-add i 2))
94 ((1 *))
95 dy-%offset%))
97 (f2cl-lib:fref dx-%data%
98 ((f2cl-lib:int-add i 3))
99 ((1 *))
100 dx-%offset%)
101 (f2cl-lib:fref dy-%data%
102 ((f2cl-lib:int-add i 3))
103 ((1 *))
104 dy-%offset%))
106 (f2cl-lib:fref dx-%data%
107 ((f2cl-lib:int-add i 4))
108 ((1 *))
109 dx-%offset%)
110 (f2cl-lib:fref dy-%data%
111 ((f2cl-lib:int-add i 4))
112 ((1 *))
113 dy-%offset%))))
114 label50))
115 label60
116 (setf ddot dtemp)
117 (go end_label)
118 end_label
119 (return (values ddot 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::ddot fortran-to-lisp::*f2cl-function-info*)
125 (fortran-to-lisp::make-f2cl-finfo
126 :arg-types '((fortran-to-lisp::integer4) (array double-float (*))
127 (fortran-to-lisp::integer4) (array double-float (*))
128 (fortran-to-lisp::integer4))
129 :return-values '(nil nil nil nil nil)
130 :calls 'nil)))