;;; Compiled by f2cl version 2.0 beta Date: 2006/12/21 03:42:11 ;;; Using Lisp CMU Common Lisp CVS Head 2006-12-02 00:15:46 (19D) ;;; ;;; Options: ((:prune-labels nil) (:auto-save t) (:relaxed-array-decls t) ;;; (:coerce-assigns :as-needed) (:array-type ':array) ;;; (:array-slicing t) (:declare-common nil) ;;; (:float-format double-float)) (in-package :blas) (let* ((one 1.0) (zero 0.0)) (declare (type (double-float 1.0 1.0) one) (type (double-float 0.0 0.0) zero)) (defun dsymv (uplo n alpha a lda x incx beta y incy) (declare (type (array double-float (*)) y x a) (type (double-float) beta alpha) (type (f2cl-lib:integer4) incy incx lda n) (type (simple-array character (*)) uplo)) (f2cl-lib:with-multi-array-data ((uplo character uplo-%data% uplo-%offset%) (a double-float a-%data% a-%offset%) (x double-float x-%data% x-%offset%) (y double-float y-%data% y-%offset%)) (prog ((i 0) (info 0) (ix 0) (iy 0) (j 0) (jx 0) (jy 0) (kx 0) (ky 0) (temp1 0.0) (temp2 0.0)) (declare (type (f2cl-lib:integer4) i info ix iy j jx jy kx ky) (type (double-float) temp1 temp2)) (setf info 0) (cond ((and (not (lsame uplo "U")) (not (lsame uplo "L"))) (setf info 1)) ((< n 0) (setf info 2)) ((< lda (max (the f2cl-lib:integer4 1) (the f2cl-lib:integer4 n))) (setf info 5)) ((= incx 0) (setf info 7)) ((= incy 0) (setf info 10))) (cond ((/= info 0) (xerbla "DSYMV " info) (go end_label))) (if (or (= n 0) (and (= alpha zero) (= beta one))) (go end_label)) (cond ((> incx 0) (setf kx 1)) (t (setf kx (f2cl-lib:int-sub 1 (f2cl-lib:int-mul (f2cl-lib:int-sub n 1) incx))))) (cond ((> incy 0) (setf ky 1)) (t (setf ky (f2cl-lib:int-sub 1 (f2cl-lib:int-mul (f2cl-lib:int-sub n 1) incy))))) (cond ((/= beta one) (cond ((= incy 1) (cond ((= beta zero) (f2cl-lib:fdo (i 1 (f2cl-lib:int-add i 1)) ((> i n) nil) (tagbody (setf (f2cl-lib:fref y-%data% (i) ((1 *)) y-%offset%) zero) label10))) (t (f2cl-lib:fdo (i 1 (f2cl-lib:int-add i 1)) ((> i n) nil) (tagbody (setf (f2cl-lib:fref y-%data% (i) ((1 *)) y-%offset%) (* beta (f2cl-lib:fref y-%data% (i) ((1 *)) y-%offset%))) label20))))) (t (setf iy ky) (cond ((= beta zero) (f2cl-lib:fdo (i 1 (f2cl-lib:int-add i 1)) ((> i n) nil) (tagbody (setf (f2cl-lib:fref y-%data% (iy) ((1 *)) y-%offset%) zero) (setf iy (f2cl-lib:int-add iy incy)) label30))) (t (f2cl-lib:fdo (i 1 (f2cl-lib:int-add i 1)) ((> i n) nil) (tagbody (setf (f2cl-lib:fref y-%data% (iy) ((1 *)) y-%offset%) (* beta (f2cl-lib:fref y-%data% (iy) ((1 *)) y-%offset%))) (setf iy (f2cl-lib:int-add iy incy)) label40)))))))) (if (= alpha zero) (go end_label)) (cond ((lsame uplo "U") (cond ((and (= incx 1) (= incy 1)) (f2cl-lib:fdo (j 1 (f2cl-lib:int-add j 1)) ((> j n) nil) (tagbody (setf temp1 (* alpha (f2cl-lib:fref x-%data% (j) ((1 *)) x-%offset%))) (setf temp2 zero) (f2cl-lib:fdo (i 1 (f2cl-lib:int-add i 1)) ((> i (f2cl-lib:int-add j (f2cl-lib:int-sub 1))) nil) (tagbody (setf (f2cl-lib:fref y-%data% (i) ((1 *)) y-%offset%) (+ (f2cl-lib:fref y-%data% (i) ((1 *)) y-%offset%) (* temp1 (f2cl-lib:fref a-%data% (i j) ((1 lda) (1 *)) a-%offset%)))) (setf temp2 (+ temp2 (* (f2cl-lib:fref a-%data% (i j) ((1 lda) (1 *)) a-%offset%) (f2cl-lib:fref x-%data% (i) ((1 *)) x-%offset%)))) label50)) (setf (f2cl-lib:fref y-%data% (j) ((1 *)) y-%offset%) (+ (f2cl-lib:fref y-%data% (j) ((1 *)) y-%offset%) (* temp1 (f2cl-lib:fref a-%data% (j j) ((1 lda) (1 *)) a-%offset%)) (* alpha temp2))) label60))) (t (setf jx kx) (setf jy ky) (f2cl-lib:fdo (j 1 (f2cl-lib:int-add j 1)) ((> j n) nil) (tagbody (setf temp1 (* alpha (f2cl-lib:fref x-%data% (jx) ((1 *)) x-%offset%))) (setf temp2 zero) (setf ix kx) (setf iy ky) (f2cl-lib:fdo (i 1 (f2cl-lib:int-add i 1)) ((> i (f2cl-lib:int-add j (f2cl-lib:int-sub 1))) nil) (tagbody (setf (f2cl-lib:fref y-%data% (iy) ((1 *)) y-%offset%) (+ (f2cl-lib:fref y-%data% (iy) ((1 *)) y-%offset%) (* temp1 (f2cl-lib:fref a-%data% (i j) ((1 lda) (1 *)) a-%offset%)))) (setf temp2 (+ temp2 (* (f2cl-lib:fref a-%data% (i j) ((1 lda) (1 *)) a-%offset%) (f2cl-lib:fref x-%data% (ix) ((1 *)) x-%offset%)))) (setf ix (f2cl-lib:int-add ix incx)) (setf iy (f2cl-lib:int-add iy incy)) label70)) (setf (f2cl-lib:fref y-%data% (jy) ((1 *)) y-%offset%) (+ (f2cl-lib:fref y-%data% (jy) ((1 *)) y-%offset%) (* temp1 (f2cl-lib:fref a-%data% (j j) ((1 lda) (1 *)) a-%offset%)) (* alpha temp2))) (setf jx (f2cl-lib:int-add jx incx)) (setf jy (f2cl-lib:int-add jy incy)) label80))))) (t (cond ((and (= incx 1) (= incy 1)) (f2cl-lib:fdo (j 1 (f2cl-lib:int-add j 1)) ((> j n) nil) (tagbody (setf temp1 (* alpha (f2cl-lib:fref x-%data% (j) ((1 *)) x-%offset%))) (setf temp2 zero) (setf (f2cl-lib:fref y-%data% (j) ((1 *)) y-%offset%) (+ (f2cl-lib:fref y-%data% (j) ((1 *)) y-%offset%) (* temp1 (f2cl-lib:fref a-%data% (j j) ((1 lda) (1 *)) a-%offset%)))) (f2cl-lib:fdo (i (f2cl-lib:int-add j 1) (f2cl-lib:int-add i 1)) ((> i n) nil) (tagbody (setf (f2cl-lib:fref y-%data% (i) ((1 *)) y-%offset%) (+ (f2cl-lib:fref y-%data% (i) ((1 *)) y-%offset%) (* temp1 (f2cl-lib:fref a-%data% (i j) ((1 lda) (1 *)) a-%offset%)))) (setf temp2 (+ temp2 (* (f2cl-lib:fref a-%data% (i j) ((1 lda) (1 *)) a-%offset%) (f2cl-lib:fref x-%data% (i) ((1 *)) x-%offset%)))) label90)) (setf (f2cl-lib:fref y-%data% (j) ((1 *)) y-%offset%) (+ (f2cl-lib:fref y-%data% (j) ((1 *)) y-%offset%) (* alpha temp2))) label100))) (t (setf jx kx) (setf jy ky) (f2cl-lib:fdo (j 1 (f2cl-lib:int-add j 1)) ((> j n) nil) (tagbody (setf temp1 (* alpha (f2cl-lib:fref x-%data% (jx) ((1 *)) x-%offset%))) (setf temp2 zero) (setf (f2cl-lib:fref y-%data% (jy) ((1 *)) y-%offset%) (+ (f2cl-lib:fref y-%data% (jy) ((1 *)) y-%offset%) (* temp1 (f2cl-lib:fref a-%data% (j j) ((1 lda) (1 *)) a-%offset%)))) (setf ix jx) (setf iy jy) (f2cl-lib:fdo (i (f2cl-lib:int-add j 1) (f2cl-lib:int-add i 1)) ((> i n) nil) (tagbody (setf ix (f2cl-lib:int-add ix incx)) (setf iy (f2cl-lib:int-add iy incy)) (setf (f2cl-lib:fref y-%data% (iy) ((1 *)) y-%offset%) (+ (f2cl-lib:fref y-%data% (iy) ((1 *)) y-%offset%) (* temp1 (f2cl-lib:fref a-%data% (i j) ((1 lda) (1 *)) a-%offset%)))) (setf temp2 (+ temp2 (* (f2cl-lib:fref a-%data% (i j) ((1 lda) (1 *)) a-%offset%) (f2cl-lib:fref x-%data% (ix) ((1 *)) x-%offset%)))) label110)) (setf (f2cl-lib:fref y-%data% (jy) ((1 *)) y-%offset%) (+ (f2cl-lib:fref y-%data% (jy) ((1 *)) y-%offset%) (* alpha temp2))) (setf jx (f2cl-lib:int-add jx incx)) (setf jy (f2cl-lib:int-add jy incy)) label120)))))) (go end_label) end_label (return (values nil nil nil nil nil nil nil nil nil nil)))))) (in-package #-gcl #:cl-user #+gcl "CL-USER") #+#.(cl:if (cl:find-package '#:f2cl) '(and) '(or)) (eval-when (:load-toplevel :compile-toplevel :execute) (setf (gethash 'fortran-to-lisp::dsymv fortran-to-lisp::*f2cl-function-info*) (fortran-to-lisp::make-f2cl-finfo :arg-types '((simple-array character (1)) (fortran-to-lisp::integer4) (double-float) (array double-float (*)) (fortran-to-lisp::integer4) (array double-float (*)) (fortran-to-lisp::integer4) (double-float) (array double-float (*)) (fortran-to-lisp::integer4)) :return-values '(nil nil nil nil nil nil nil nil nil nil) :calls '(fortran-to-lisp::xerbla fortran-to-lisp::lsame))))