libgfortran/m4/matmull.m4

   1 `/* Implementation of the MATMUL intrinsic
   2    Copyright 2002, 2005, 2006 Free Software Foundation, Inc.
   3    Contributed by Paul Brook <paul@nowt.org>
   4
   5 This file is part of the GNU Fortran 95 runtime library (libgfortran).
   6
   7 Libgfortran is free software; you can redistribute it and/or
   8 modify it under the terms of the GNU General Public
   9 License as published by the Free Software Foundation; either
  10 version 2 of the License, or (at your option) any later version.
  11
  12 In addition to the permissions in the GNU General Public License, the
  13 Free Software Foundation gives you unlimited permission to link the
  14 compiled version of this file into combinations with other programs,
  15 and to distribute those combinations without any restriction coming
  16 from the use of this file.  (The General Public License restrictions
  17 do apply in other respects; for example, they cover modification of
  18 the file, and distribution when not linked into a combine
  19 executable.)
  20
  21 Libgfortran is distributed in the hope that it will be useful,
  22 but WITHOUT ANY WARRANTY; without even the implied warranty of
  23 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  24 GNU General Public License for more details.
  25
  26 You should have received a copy of the GNU General Public
  27 License along with libgfortran; see the file COPYING.  If not,
  28 write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
  29 Boston, MA 02110-1301, USA.  */
  30
  31 #include "config.h"
  32 #include <stdlib.h>
  33 #include <assert.h>
  34 #include "libgfortran.h"'
  35 include(iparm.m4)dnl
  36
  37 `#if defined (HAVE_'rtype_name`)
  38
  39 /* Dimensions: retarray(x,y) a(x, count) b(count,y).
  40    Either a or b can be rank 1.  In this case x or y is 1.  */
  41
  42 extern void matmul_'rtype_code` ('rtype` * const restrict,
  43         gfc_array_l1 * const restrict, gfc_array_l1 * const restrict);
  44 export_proto(matmul_'rtype_code`);
  45
  46 void
  47 matmul_'rtype_code` ('rtype` * const restrict retarray,
  48         gfc_array_l1 * const restrict a, gfc_array_l1 * const restrict b)
  49 {
  50   const GFC_LOGICAL_1 * restrict abase;
  51   const GFC_LOGICAL_1 * restrict bbase;
  52   'rtype_name` * restrict dest;
  53   index_type rxstride;
  54   index_type rystride;
  55   index_type xcount;
  56   index_type ycount;
  57   index_type xstride;
  58   index_type ystride;
  59   index_type x;
  60   index_type y;
  61   int a_kind;
  62   int b_kind;
  63
  64   const GFC_LOGICAL_1 * restrict pa;
  65   const GFC_LOGICAL_1 * restrict pb;
  66   index_type astride;
  67   index_type bstride;
  68   index_type count;
  69   index_type n;
  70
  71   assert (GFC_DESCRIPTOR_RANK (a) == 2
  72           || GFC_DESCRIPTOR_RANK (b) == 2);
  73
  74   if (retarray->data == NULL)
  75     {
  76       if (GFC_DESCRIPTOR_RANK (a) == 1)
  77         {
  78           retarray->dim[0].lbound = 0;
  79           retarray->dim[0].ubound = b->dim[1].ubound - b->dim[1].lbound;
  80           retarray->dim[0].stride = 1;
  81         }
  82       else if (GFC_DESCRIPTOR_RANK (b) == 1)
  83         {
  84           retarray->dim[0].lbound = 0;
  85           retarray->dim[0].ubound = a->dim[0].ubound - a->dim[0].lbound;
  86           retarray->dim[0].stride = 1;
  87         }
  88       else
  89         {
  90           retarray->dim[0].lbound = 0;
  91           retarray->dim[0].ubound = a->dim[0].ubound - a->dim[0].lbound;
  92           retarray->dim[0].stride = 1;
  93
  94           retarray->dim[1].lbound = 0;
  95           retarray->dim[1].ubound = b->dim[1].ubound - b->dim[1].lbound;
  96           retarray->dim[1].stride = retarray->dim[0].ubound+1;
  97         }
  98
  99       retarray->data
 100         = internal_malloc_size (sizeof ('rtype_name`) * size0 ((array_t *) retarray));
 101       retarray->offset = 0;
 102     }
 103
 104   abase = a->data;
 105   a_kind = GFC_DESCRIPTOR_SIZE (a);
 106
 107   if (a_kind == 1 || a_kind == 2 || a_kind == 4 || a_kind == 8
 108 #ifdef HAVE_GFC_LOGICAL_16
 109      || a_kind == 16
 110 #endif
 111      )
 112     abase = GFOR_POINTER_TO_L1 (abase, a_kind);
 113   else
 114     internal_error (NULL, "Funny sized logical array");
 115
 116   bbase = b->data;
 117   b_kind = GFC_DESCRIPTOR_SIZE (b);
 118
 119   if (b_kind == 1 || b_kind == 2 || b_kind == 4 || b_kind == 8
 120 #ifdef HAVE_GFC_LOGICAL_16
 121      || b_kind == 16
 122 #endif
 123      )
 124     bbase = GFOR_POINTER_TO_L1 (bbase, b_kind);
 125   else
 126     internal_error (NULL, "Funny sized logical array");
 127
 128   dest = retarray->data;
 129 '
 130 sinclude(`matmul_asm_'rtype_code`.m4')dnl
 131 `
 132   if (GFC_DESCRIPTOR_RANK (retarray) == 1)
 133     {
 134       rxstride = retarray->dim[0].stride;
 135       rystride = rxstride;
 136     }
 137   else
 138     {
 139       rxstride = retarray->dim[0].stride;
 140       rystride = retarray->dim[1].stride;
 141     }
 142
 143   /* If we have rank 1 parameters, zero the absent stride, and set the size to
 144      one.  */
 145   if (GFC_DESCRIPTOR_RANK (a) == 1)
 146     {
 147       astride = a->dim[0].stride * a_kind;
 148       count = a->dim[0].ubound + 1 - a->dim[0].lbound;
 149       xstride = 0;
 150       rxstride = 0;
 151       xcount = 1;
 152     }
 153   else
 154     {
 155       astride = a->dim[1].stride * a_kind;
 156       count = a->dim[1].ubound + 1 - a->dim[1].lbound;
 157       xstride = a->dim[0].stride;
 158       xcount = a->dim[0].ubound + 1 - a->dim[0].lbound;
 159     }
 160   if (GFC_DESCRIPTOR_RANK (b) == 1)
 161     {
 162       bstride = b->dim[0].stride * b_kind;
 163       assert(count == b->dim[0].ubound + 1 - b->dim[0].lbound);
 164       ystride = 0;
 165       rystride = 0;
 166       ycount = 1;
 167     }
 168   else
 169     {
 170       bstride = b->dim[0].stride * b_kind;
 171       assert(count == b->dim[0].ubound + 1 - b->dim[0].lbound);
 172       ystride = b->dim[1].stride;
 173       ycount = b->dim[1].ubound + 1 - b->dim[1].lbound;
 174     }
 175
 176   for (y = 0; y < ycount; y++)
 177     {
 178       for (x = 0; x < xcount; x++)
 179         {
 180           /* Do the summation for this element.  For real and integer types
 181              this is the same as DOT_PRODUCT.  For complex types we use do
 182              a*b, not conjg(a)*b.  */
 183           pa = abase;
 184           pb = bbase;
 185           *dest = 0;
 186
 187           for (n = 0; n < count; n++)
 188             {
 189               if (*pa && *pb)
 190                 {
 191                   *dest = 1;
 192                   break;
 193                 }
 194               pa += astride;
 195               pb += bstride;
 196             }
 197
 198           dest += rxstride;
 199           abase += xstride;
 200         }
 201       abase -= xstride * xcount;
 202       bbase += ystride;
 203       dest += rystride - (rxstride * xcount);
 204     }
 205 }
 206
 207 #endif
 208 '