annotate src/fftw-3.3.5/libbench2/problem.c @ 42:2cd0e3b3e1fd

Current fftw source
author Chris Cannam
date Tue, 18 Oct 2016 13:40:26 +0100
parents
children
rev   line source
Chris@42 1 /*
Chris@42 2 * Copyright (c) 2001 Matteo Frigo
Chris@42 3 * Copyright (c) 2001 Massachusetts Institute of Technology
Chris@42 4 *
Chris@42 5 * This program is free software; you can redistribute it and/or modify
Chris@42 6 * it under the terms of the GNU General Public License as published by
Chris@42 7 * the Free Software Foundation; either version 2 of the License, or
Chris@42 8 * (at your option) any later version.
Chris@42 9 *
Chris@42 10 * This program is distributed in the hope that it will be useful,
Chris@42 11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
Chris@42 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
Chris@42 13 * GNU General Public License for more details.
Chris@42 14 *
Chris@42 15 * You should have received a copy of the GNU General Public License
Chris@42 16 * along with this program; if not, write to the Free Software
Chris@42 17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
Chris@42 18 *
Chris@42 19 */
Chris@42 20
Chris@42 21
Chris@42 22 #include "config.h"
Chris@42 23 #include "bench.h"
Chris@42 24 #include <stdio.h>
Chris@42 25 #include <stdlib.h>
Chris@42 26 #include <string.h>
Chris@42 27 #include <ctype.h>
Chris@42 28
Chris@42 29 int always_pad_real = 0; /* by default, only pad in-place case */
Chris@42 30
Chris@42 31 typedef enum {
Chris@42 32 SAME, PADDED, HALFISH
Chris@42 33 } n_transform;
Chris@42 34
Chris@42 35 /* funny transformations for last dimension of PROBLEM_REAL */
Chris@42 36 static int transform_n(int n, n_transform nt)
Chris@42 37 {
Chris@42 38 switch (nt) {
Chris@42 39 case SAME: return n;
Chris@42 40 case PADDED: return 2*(n/2+1);
Chris@42 41 case HALFISH: return (n/2+1);
Chris@42 42 default: BENCH_ASSERT(0); return 0;
Chris@42 43 }
Chris@42 44 }
Chris@42 45
Chris@42 46 /* do what I mean */
Chris@42 47 static bench_tensor *dwim(bench_tensor *t, bench_iodim **last_iodim,
Chris@42 48 n_transform nti, n_transform nto,
Chris@42 49 bench_iodim *dt)
Chris@42 50 {
Chris@42 51 int i;
Chris@42 52 bench_iodim *d, *d1;
Chris@42 53
Chris@42 54 if (!BENCH_FINITE_RNK(t->rnk) || t->rnk < 1)
Chris@42 55 return t;
Chris@42 56
Chris@42 57 i = t->rnk;
Chris@42 58 d1 = *last_iodim;
Chris@42 59
Chris@42 60 while (--i >= 0) {
Chris@42 61 d = t->dims + i;
Chris@42 62 if (!d->is)
Chris@42 63 d->is = d1->is * transform_n(d1->n, d1==dt ? nti : SAME);
Chris@42 64 if (!d->os)
Chris@42 65 d->os = d1->os * transform_n(d1->n, d1==dt ? nto : SAME);
Chris@42 66 d1 = d;
Chris@42 67 }
Chris@42 68
Chris@42 69 *last_iodim = d1;
Chris@42 70 return t;
Chris@42 71 }
Chris@42 72
Chris@42 73 static void transpose_tensor(bench_tensor *t)
Chris@42 74 {
Chris@42 75 if (!BENCH_FINITE_RNK(t->rnk) || t->rnk < 2)
Chris@42 76 return;
Chris@42 77
Chris@42 78 t->dims[0].os = t->dims[1].os;
Chris@42 79 t->dims[1].os = t->dims[0].os * t->dims[0].n;
Chris@42 80 }
Chris@42 81
Chris@42 82 static const char *parseint(const char *s, int *n)
Chris@42 83 {
Chris@42 84 int sign = 1;
Chris@42 85
Chris@42 86 *n = 0;
Chris@42 87
Chris@42 88 if (*s == '-') {
Chris@42 89 sign = -1;
Chris@42 90 ++s;
Chris@42 91 } else if (*s == '+') {
Chris@42 92 sign = +1;
Chris@42 93 ++s;
Chris@42 94 }
Chris@42 95
Chris@42 96 BENCH_ASSERT(isdigit(*s));
Chris@42 97 while (isdigit(*s)) {
Chris@42 98 *n = *n * 10 + (*s - '0');
Chris@42 99 ++s;
Chris@42 100 }
Chris@42 101
Chris@42 102 *n *= sign;
Chris@42 103
Chris@42 104 if (*s == 'k' || *s == 'K') {
Chris@42 105 *n *= 1024;
Chris@42 106 ++s;
Chris@42 107 }
Chris@42 108
Chris@42 109 if (*s == 'm' || *s == 'M') {
Chris@42 110 *n *= 1024 * 1024;
Chris@42 111 ++s;
Chris@42 112 }
Chris@42 113
Chris@42 114 return s;
Chris@42 115 }
Chris@42 116
Chris@42 117 struct dimlist { bench_iodim car; r2r_kind_t k; struct dimlist *cdr; };
Chris@42 118
Chris@42 119 static const char *parsetensor(const char *s, bench_tensor **tp,
Chris@42 120 r2r_kind_t **k)
Chris@42 121 {
Chris@42 122 struct dimlist *l = 0, *m;
Chris@42 123 bench_tensor *t;
Chris@42 124 int rnk = 0;
Chris@42 125
Chris@42 126 L1:
Chris@42 127 m = (struct dimlist *)bench_malloc(sizeof(struct dimlist));
Chris@42 128 /* nconc onto l */
Chris@42 129 m->cdr = l; l = m;
Chris@42 130 ++rnk;
Chris@42 131
Chris@42 132 s = parseint(s, &m->car.n);
Chris@42 133
Chris@42 134 if (*s == ':') {
Chris@42 135 /* read input stride */
Chris@42 136 ++s;
Chris@42 137 s = parseint(s, &m->car.is);
Chris@42 138 if (*s == ':') {
Chris@42 139 /* read output stride */
Chris@42 140 ++s;
Chris@42 141 s = parseint(s, &m->car.os);
Chris@42 142 } else {
Chris@42 143 /* default */
Chris@42 144 m->car.os = m->car.is;
Chris@42 145 }
Chris@42 146 } else {
Chris@42 147 m->car.is = 0;
Chris@42 148 m->car.os = 0;
Chris@42 149 }
Chris@42 150
Chris@42 151 if (*s == 'f' || *s == 'F') {
Chris@42 152 m->k = R2R_R2HC;
Chris@42 153 ++s;
Chris@42 154 }
Chris@42 155 else if (*s == 'b' || *s == 'B') {
Chris@42 156 m->k = R2R_HC2R;
Chris@42 157 ++s;
Chris@42 158 }
Chris@42 159 else if (*s == 'h' || *s == 'H') {
Chris@42 160 m->k = R2R_DHT;
Chris@42 161 ++s;
Chris@42 162 }
Chris@42 163 else if (*s == 'e' || *s == 'E' || *s == 'o' || *s == 'O') {
Chris@42 164 char c = *(s++);
Chris@42 165 int ab;
Chris@42 166
Chris@42 167 s = parseint(s, &ab);
Chris@42 168
Chris@42 169 if (c == 'e' || c == 'E') {
Chris@42 170 if (ab == 0)
Chris@42 171 m->k = R2R_REDFT00;
Chris@42 172 else if (ab == 1)
Chris@42 173 m->k = R2R_REDFT01;
Chris@42 174 else if (ab == 10)
Chris@42 175 m->k = R2R_REDFT10;
Chris@42 176 else if (ab == 11)
Chris@42 177 m->k = R2R_REDFT11;
Chris@42 178 else
Chris@42 179 BENCH_ASSERT(0);
Chris@42 180 }
Chris@42 181 else {
Chris@42 182 if (ab == 0)
Chris@42 183 m->k = R2R_RODFT00;
Chris@42 184 else if (ab == 1)
Chris@42 185 m->k = R2R_RODFT01;
Chris@42 186 else if (ab == 10)
Chris@42 187 m->k = R2R_RODFT10;
Chris@42 188 else if (ab == 11)
Chris@42 189 m->k = R2R_RODFT11;
Chris@42 190 else
Chris@42 191 BENCH_ASSERT(0);
Chris@42 192 }
Chris@42 193 }
Chris@42 194 else
Chris@42 195 m->k = R2R_R2HC;
Chris@42 196
Chris@42 197 if (*s == 'x' || *s == 'X') {
Chris@42 198 ++s;
Chris@42 199 goto L1;
Chris@42 200 }
Chris@42 201
Chris@42 202 /* now we have a dimlist. Build bench_tensor, etc. */
Chris@42 203
Chris@42 204 if (k && rnk > 0) {
Chris@42 205 int i;
Chris@42 206 *k = (r2r_kind_t *) bench_malloc(sizeof(r2r_kind_t) * rnk);
Chris@42 207 for (m = l, i = rnk - 1; i >= 0; --i, m = m->cdr) {
Chris@42 208 BENCH_ASSERT(m);
Chris@42 209 (*k)[i] = m->k;
Chris@42 210 }
Chris@42 211 }
Chris@42 212
Chris@42 213 t = mktensor(rnk);
Chris@42 214 while (--rnk >= 0) {
Chris@42 215 bench_iodim *d = t->dims + rnk;
Chris@42 216 BENCH_ASSERT(l);
Chris@42 217 m = l; l = m->cdr;
Chris@42 218 d->n = m->car.n;
Chris@42 219 d->is = m->car.is;
Chris@42 220 d->os = m->car.os;
Chris@42 221 bench_free(m);
Chris@42 222 }
Chris@42 223
Chris@42 224 *tp = t;
Chris@42 225 return s;
Chris@42 226 }
Chris@42 227
Chris@42 228 /* parse a problem description, return a problem */
Chris@42 229 bench_problem *problem_parse(const char *s)
Chris@42 230 {
Chris@42 231 bench_problem *p;
Chris@42 232 bench_iodim last_iodim0 = {1,1,1}, *last_iodim = &last_iodim0;
Chris@42 233 bench_iodim *sz_last_iodim;
Chris@42 234 bench_tensor *sz;
Chris@42 235 n_transform nti = SAME, nto = SAME;
Chris@42 236 int transpose = 0;
Chris@42 237
Chris@42 238 p = (bench_problem *) bench_malloc(sizeof(bench_problem));
Chris@42 239 p->kind = PROBLEM_COMPLEX;
Chris@42 240 p->k = 0;
Chris@42 241 p->sign = -1;
Chris@42 242 p->in = p->out = 0;
Chris@42 243 p->inphys = p->outphys = 0;
Chris@42 244 p->iphyssz = p->ophyssz = 0;
Chris@42 245 p->in_place = 0;
Chris@42 246 p->destroy_input = 0;
Chris@42 247 p->split = 0;
Chris@42 248 p->userinfo = 0;
Chris@42 249 p->scrambled_in = p->scrambled_out = 0;
Chris@42 250 p->sz = p->vecsz = 0;
Chris@42 251 p->ini = p->outi = 0;
Chris@42 252 p->pstring = (char *) bench_malloc(sizeof(char) * (strlen(s) + 1));
Chris@42 253 strcpy(p->pstring, s);
Chris@42 254
Chris@42 255 L1:
Chris@42 256 switch (tolower(*s)) {
Chris@42 257 case 'i': p->in_place = 1; ++s; goto L1;
Chris@42 258 case 'o': p->in_place = 0; ++s; goto L1;
Chris@42 259 case 'd': p->destroy_input = 1; ++s; goto L1;
Chris@42 260 case '/': p->split = 1; ++s; goto L1;
Chris@42 261 case 'f':
Chris@42 262 case '-': p->sign = -1; ++s; goto L1;
Chris@42 263 case 'b':
Chris@42 264 case '+': p->sign = 1; ++s; goto L1;
Chris@42 265 case 'r': p->kind = PROBLEM_REAL; ++s; goto L1;
Chris@42 266 case 'c': p->kind = PROBLEM_COMPLEX; ++s; goto L1;
Chris@42 267 case 'k': p->kind = PROBLEM_R2R; ++s; goto L1;
Chris@42 268 case 't': transpose = 1; ++s; goto L1;
Chris@42 269
Chris@42 270 /* hack for MPI: */
Chris@42 271 case '[': p->scrambled_in = 1; ++s; goto L1;
Chris@42 272 case ']': p->scrambled_out = 1; ++s; goto L1;
Chris@42 273
Chris@42 274 default : ;
Chris@42 275 }
Chris@42 276
Chris@42 277 s = parsetensor(s, &sz, p->kind == PROBLEM_R2R ? &p->k : 0);
Chris@42 278
Chris@42 279 if (p->kind == PROBLEM_REAL) {
Chris@42 280 if (p->sign < 0) {
Chris@42 281 nti = p->in_place || always_pad_real ? PADDED : SAME;
Chris@42 282 nto = HALFISH;
Chris@42 283 }
Chris@42 284 else {
Chris@42 285 nti = HALFISH;
Chris@42 286 nto = p->in_place || always_pad_real ? PADDED : SAME;
Chris@42 287 }
Chris@42 288 }
Chris@42 289
Chris@42 290 sz_last_iodim = sz->dims + sz->rnk - 1;
Chris@42 291 if (*s == '*') { /* "external" vector */
Chris@42 292 ++s;
Chris@42 293 p->sz = dwim(sz, &last_iodim, nti, nto, sz_last_iodim);
Chris@42 294 s = parsetensor(s, &sz, 0);
Chris@42 295 p->vecsz = dwim(sz, &last_iodim, nti, nto, sz_last_iodim);
Chris@42 296 } else if (*s == 'v' || *s == 'V') { /* "internal" vector */
Chris@42 297 bench_tensor *vecsz;
Chris@42 298 ++s;
Chris@42 299 s = parsetensor(s, &vecsz, 0);
Chris@42 300 p->vecsz = dwim(vecsz, &last_iodim, nti, nto, sz_last_iodim);
Chris@42 301 p->sz = dwim(sz, &last_iodim, nti, nto, sz_last_iodim);
Chris@42 302 } else {
Chris@42 303 p->sz = dwim(sz, &last_iodim, nti, nto, sz_last_iodim);
Chris@42 304 p->vecsz = mktensor(0);
Chris@42 305 }
Chris@42 306
Chris@42 307 if (transpose) {
Chris@42 308 transpose_tensor(p->sz);
Chris@42 309 transpose_tensor(p->vecsz);
Chris@42 310 }
Chris@42 311
Chris@42 312 if (!p->in_place)
Chris@42 313 p->out = ((bench_real *) p->in) + (1 << 20); /* whatever */
Chris@42 314
Chris@42 315 BENCH_ASSERT(p->sz && p->vecsz);
Chris@42 316 BENCH_ASSERT(!*s);
Chris@42 317 return p;
Chris@42 318 }
Chris@42 319
Chris@42 320 void problem_destroy(bench_problem *p)
Chris@42 321 {
Chris@42 322 BENCH_ASSERT(p);
Chris@42 323 problem_free(p);
Chris@42 324 bench_free0(p->k);
Chris@42 325 bench_free0(p->pstring);
Chris@42 326 bench_free(p);
Chris@42 327 }
Chris@42 328