------------------------------------------------------------------------------
|
------------------------------------------------------------------------------
|
-- --
|
-- --
|
-- GNAT RUN-TIME COMPONENTS --
|
-- GNAT RUN-TIME COMPONENTS --
|
-- --
|
-- --
|
-- S Y S T E M . G E N E R I C _ C O M P L E X _ B L A S --
|
-- S Y S T E M . G E N E R I C _ C O M P L E X _ B L A S --
|
-- --
|
-- --
|
-- S p e c --
|
-- S p e c --
|
-- --
|
-- --
|
-- Copyright (C) 2006-2009, Free Software Foundation, Inc. --
|
-- Copyright (C) 2006-2009, Free Software Foundation, Inc. --
|
-- --
|
-- --
|
-- GNAT is free software; you can redistribute it and/or modify it under --
|
-- GNAT is free software; you can redistribute it and/or modify it under --
|
-- terms of the GNU General Public License as published by the Free Soft- --
|
-- terms of the GNU General Public License as published by the Free Soft- --
|
-- ware Foundation; either version 3, or (at your option) any later ver- --
|
-- ware Foundation; either version 3, or (at your option) any later ver- --
|
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
|
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
|
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
|
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
|
-- or FITNESS FOR A PARTICULAR PURPOSE. --
|
-- or FITNESS FOR A PARTICULAR PURPOSE. --
|
-- --
|
-- --
|
-- As a special exception under Section 7 of GPL version 3, you are granted --
|
-- As a special exception under Section 7 of GPL version 3, you are granted --
|
-- additional permissions described in the GCC Runtime Library Exception, --
|
-- additional permissions described in the GCC Runtime Library Exception, --
|
-- version 3.1, as published by the Free Software Foundation. --
|
-- version 3.1, as published by the Free Software Foundation. --
|
-- --
|
-- --
|
-- You should have received a copy of the GNU General Public License and --
|
-- You should have received a copy of the GNU General Public License and --
|
-- a copy of the GCC Runtime Library Exception along with this program; --
|
-- a copy of the GCC Runtime Library Exception along with this program; --
|
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
|
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
|
-- <http://www.gnu.org/licenses/>. --
|
-- <http://www.gnu.org/licenses/>. --
|
-- --
|
-- --
|
-- GNAT was originally developed by the GNAT team at New York University. --
|
-- GNAT was originally developed by the GNAT team at New York University. --
|
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
-- --
|
-- --
|
------------------------------------------------------------------------------
|
------------------------------------------------------------------------------
|
|
|
-- Package comment required ???
|
-- Package comment required ???
|
|
|
with Ada.Numerics.Generic_Complex_Types;
|
with Ada.Numerics.Generic_Complex_Types;
|
|
|
generic
|
generic
|
type Real is digits <>;
|
type Real is digits <>;
|
with package Complex_Types is new Ada.Numerics.Generic_Complex_Types (Real);
|
with package Complex_Types is new Ada.Numerics.Generic_Complex_Types (Real);
|
use Complex_Types;
|
use Complex_Types;
|
|
|
type Complex_Vector is array (Integer range <>) of Complex;
|
type Complex_Vector is array (Integer range <>) of Complex;
|
type Complex_Matrix is array (Integer range <>, Integer range <>)
|
type Complex_Matrix is array (Integer range <>, Integer range <>)
|
of Complex;
|
of Complex;
|
package System.Generic_Complex_BLAS is
|
package System.Generic_Complex_BLAS is
|
pragma Pure;
|
pragma Pure;
|
|
|
-- Although BLAS support is only available for IEEE single and double
|
-- Although BLAS support is only available for IEEE single and double
|
-- compatible floating-point types, this unit will accept any type
|
-- compatible floating-point types, this unit will accept any type
|
-- and apply conversions as necessary, with possible loss of
|
-- and apply conversions as necessary, with possible loss of
|
-- precision and range.
|
-- precision and range.
|
|
|
No_Trans : aliased constant Character := 'N';
|
No_Trans : aliased constant Character := 'N';
|
Trans : aliased constant Character := 'T';
|
Trans : aliased constant Character := 'T';
|
Conj_Trans : aliased constant Character := 'C';
|
Conj_Trans : aliased constant Character := 'C';
|
|
|
-- BLAS Level 1 Subprograms and Types
|
-- BLAS Level 1 Subprograms and Types
|
|
|
function dot
|
function dot
|
(N : Positive;
|
(N : Positive;
|
X : Complex_Vector;
|
X : Complex_Vector;
|
Inc_X : Integer := 1;
|
Inc_X : Integer := 1;
|
Y : Complex_Vector;
|
Y : Complex_Vector;
|
Inc_Y : Integer := 1) return Complex;
|
Inc_Y : Integer := 1) return Complex;
|
|
|
function nrm2
|
function nrm2
|
(N : Natural;
|
(N : Natural;
|
X : Complex_Vector;
|
X : Complex_Vector;
|
Inc_X : Integer := 1) return Real;
|
Inc_X : Integer := 1) return Real;
|
|
|
procedure gemv
|
procedure gemv
|
(Trans : access constant Character;
|
(Trans : access constant Character;
|
M : Natural := 0;
|
M : Natural := 0;
|
N : Natural := 0;
|
N : Natural := 0;
|
Alpha : Complex := (1.0, 0.0);
|
Alpha : Complex := (1.0, 0.0);
|
A : Complex_Matrix;
|
A : Complex_Matrix;
|
Ld_A : Positive;
|
Ld_A : Positive;
|
X : Complex_Vector;
|
X : Complex_Vector;
|
Inc_X : Integer := 1; -- must be non-zero
|
Inc_X : Integer := 1; -- must be non-zero
|
Beta : Complex := (0.0, 0.0);
|
Beta : Complex := (0.0, 0.0);
|
Y : in out Complex_Vector;
|
Y : in out Complex_Vector;
|
Inc_Y : Integer := 1); -- must be non-zero
|
Inc_Y : Integer := 1); -- must be non-zero
|
|
|
-- BLAS Level 3
|
-- BLAS Level 3
|
|
|
-- gemm s, d, c, z Matrix-matrix product of general matrices
|
-- gemm s, d, c, z Matrix-matrix product of general matrices
|
|
|
procedure gemm
|
procedure gemm
|
(Trans_A : access constant Character;
|
(Trans_A : access constant Character;
|
Trans_B : access constant Character;
|
Trans_B : access constant Character;
|
M : Positive;
|
M : Positive;
|
N : Positive;
|
N : Positive;
|
K : Positive;
|
K : Positive;
|
Alpha : Complex := (1.0, 0.0);
|
Alpha : Complex := (1.0, 0.0);
|
A : Complex_Matrix;
|
A : Complex_Matrix;
|
Ld_A : Integer;
|
Ld_A : Integer;
|
B : Complex_Matrix;
|
B : Complex_Matrix;
|
Ld_B : Integer;
|
Ld_B : Integer;
|
Beta : Complex := (0.0, 0.0);
|
Beta : Complex := (0.0, 0.0);
|
C : in out Complex_Matrix;
|
C : in out Complex_Matrix;
|
Ld_C : Integer);
|
Ld_C : Integer);
|
|
|
end System.Generic_Complex_BLAS;
|
end System.Generic_Complex_BLAS;
|
|
|