Add some basic letsimp tests based on bug #3950
[maxima.git] / share / lapack / blas / ddot.lisp
blob98561c7b4ce9ef74c22053f54eec0ef6b00fe112
1 ;;; Compiled by f2cl version:
2 ;;; ("f2cl1.l,v 2edcbd958861 2012/05/30 03:34:52 toy $"
3 ;;; "f2cl2.l,v 96616d88fb7e 2008/02/22 22:19:34 rtoy $"
4 ;;; "f2cl3.l,v 96616d88fb7e 2008/02/22 22:19:34 rtoy $"
5 ;;; "f2cl4.l,v 96616d88fb7e 2008/02/22 22:19:34 rtoy $"
6 ;;; "f2cl5.l,v 3fe93de3be82 2012/05/06 02:17:14 toy $"
7 ;;; "f2cl6.l,v 1d5cbacbb977 2008/08/24 00:56:27 rtoy $"
8 ;;; "macros.l,v 3fe93de3be82 2012/05/06 02:17:14 toy $")
10 ;;; Using Lisp CMU Common Lisp 20d (20D 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 :blas)
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)))