mirror of
https://github.com/tildearrow/furnace.git
synced 2024-12-18 06:20:17 +00:00
167 lines
5.4 KiB
C
167 lines
5.4 KiB
C
|
/*
|
||
|
* Copyright (c) 2003, 2007-14 Matteo Frigo
|
||
|
* Copyright (c) 2003, 2007-14 Massachusetts Institute of Technology
|
||
|
*
|
||
|
* This program is free software; you can redistribute it and/or modify
|
||
|
* it under the terms of the GNU General Public License as published by
|
||
|
* the Free Software Foundation; either version 2 of the License, or
|
||
|
* (at your option) any later version.
|
||
|
*
|
||
|
* This program is distributed in the hope that it will be useful,
|
||
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
|
* GNU General Public License for more details.
|
||
|
*
|
||
|
* You should have received a copy of the GNU General Public License
|
||
|
* along with this program; if not, write to the Free Software
|
||
|
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
||
|
*
|
||
|
*/
|
||
|
|
||
|
#include "api/api.h"
|
||
|
#include <math.h>
|
||
|
|
||
|
/* a flag operation: x is either a flag, in which case xm == 0, or
|
||
|
a mask, in which case xm == x; using this we can compactly code
|
||
|
the various bit operations via (flags & x) ^ xm or (flags | x) ^ xm. */
|
||
|
typedef struct {
|
||
|
unsigned x, xm;
|
||
|
} flagmask;
|
||
|
|
||
|
typedef struct {
|
||
|
flagmask flag;
|
||
|
flagmask op;
|
||
|
} flagop;
|
||
|
|
||
|
#define FLAGP(f, msk)(((f) & (msk).x) ^ (msk).xm)
|
||
|
#define OP(f, msk)(((f) | (msk).x) ^ (msk).xm)
|
||
|
|
||
|
#define YES(x) {x, 0}
|
||
|
#define NO(x) {x, x}
|
||
|
#define IMPLIES(predicate, consequence) { predicate, consequence }
|
||
|
#define EQV(a, b) IMPLIES(YES(a), YES(b)), IMPLIES(NO(a), NO(b))
|
||
|
#define NEQV(a, b) IMPLIES(YES(a), NO(b)), IMPLIES(NO(a), YES(b))
|
||
|
|
||
|
static void map_flags(unsigned *iflags, unsigned *oflags,
|
||
|
const flagop flagmap[], size_t nmap)
|
||
|
{
|
||
|
size_t i;
|
||
|
for (i = 0; i < nmap; ++i)
|
||
|
if (FLAGP(*iflags, flagmap[i].flag))
|
||
|
*oflags = OP(*oflags, flagmap[i].op);
|
||
|
}
|
||
|
|
||
|
/* encoding of the planner timelimit into a BITS_FOR_TIMELIMIT-bits
|
||
|
nonnegative integer, such that we can still view the integer as
|
||
|
``impatience'': higher means *lower* time limit, and 0 is the
|
||
|
highest possible value (about 1 year of calendar time) */
|
||
|
static unsigned timelimit_to_flags(double timelimit)
|
||
|
{
|
||
|
const double tmax = 365 * 24 * 3600;
|
||
|
const double tstep = 1.05;
|
||
|
const int nsteps = (1 << BITS_FOR_TIMELIMIT);
|
||
|
int x;
|
||
|
|
||
|
if (timelimit < 0 || timelimit >= tmax)
|
||
|
return 0;
|
||
|
if (timelimit <= 1.0e-10)
|
||
|
return nsteps - 1;
|
||
|
|
||
|
x = (int) (0.5 + (log(tmax / timelimit) / log(tstep)));
|
||
|
|
||
|
if (x < 0) x = 0;
|
||
|
if (x >= nsteps) x = nsteps - 1;
|
||
|
return x;
|
||
|
}
|
||
|
|
||
|
void X(mapflags)(planner *plnr, unsigned flags)
|
||
|
{
|
||
|
unsigned l, u, t;
|
||
|
|
||
|
/* map of api flags -> api flags, to implement consistency rules
|
||
|
and combination flags */
|
||
|
const flagop self_flagmap[] = {
|
||
|
/* in some cases (notably for halfcomplex->real transforms),
|
||
|
DESTROY_INPUT is the default, so we need to support
|
||
|
an inverse flag to disable it.
|
||
|
|
||
|
(PRESERVE, DESTROY) -> (PRESERVE, DESTROY)
|
||
|
(0, 0) (1, 0)
|
||
|
(0, 1) (0, 1)
|
||
|
(1, 0) (1, 0)
|
||
|
(1, 1) (1, 0)
|
||
|
*/
|
||
|
IMPLIES(YES(FFTW_PRESERVE_INPUT), NO(FFTW_DESTROY_INPUT)),
|
||
|
IMPLIES(NO(FFTW_DESTROY_INPUT), YES(FFTW_PRESERVE_INPUT)),
|
||
|
|
||
|
IMPLIES(YES(FFTW_EXHAUSTIVE), YES(FFTW_PATIENT)),
|
||
|
|
||
|
IMPLIES(YES(FFTW_ESTIMATE), NO(FFTW_PATIENT)),
|
||
|
IMPLIES(YES(FFTW_ESTIMATE),
|
||
|
YES(FFTW_ESTIMATE_PATIENT
|
||
|
| FFTW_NO_INDIRECT_OP
|
||
|
| FFTW_ALLOW_PRUNING)),
|
||
|
|
||
|
IMPLIES(NO(FFTW_EXHAUSTIVE),
|
||
|
YES(FFTW_NO_SLOW)),
|
||
|
|
||
|
/* a canonical set of fftw2-like impatience flags */
|
||
|
IMPLIES(NO(FFTW_PATIENT),
|
||
|
YES(FFTW_NO_VRECURSE
|
||
|
| FFTW_NO_RANK_SPLITS
|
||
|
| FFTW_NO_VRANK_SPLITS
|
||
|
| FFTW_NO_NONTHREADED
|
||
|
| FFTW_NO_DFT_R2HC
|
||
|
| FFTW_NO_FIXED_RADIX_LARGE_N
|
||
|
| FFTW_BELIEVE_PCOST))
|
||
|
};
|
||
|
|
||
|
/* map of (processed) api flags to internal problem/planner flags */
|
||
|
const flagop l_flagmap[] = {
|
||
|
EQV(FFTW_PRESERVE_INPUT, NO_DESTROY_INPUT),
|
||
|
EQV(FFTW_NO_SIMD, NO_SIMD),
|
||
|
EQV(FFTW_CONSERVE_MEMORY, CONSERVE_MEMORY),
|
||
|
EQV(FFTW_NO_BUFFERING, NO_BUFFERING),
|
||
|
NEQV(FFTW_ALLOW_LARGE_GENERIC, NO_LARGE_GENERIC)
|
||
|
};
|
||
|
|
||
|
const flagop u_flagmap[] = {
|
||
|
IMPLIES(YES(FFTW_EXHAUSTIVE), NO(0xFFFFFFFF)),
|
||
|
IMPLIES(NO(FFTW_EXHAUSTIVE), YES(NO_UGLY)),
|
||
|
|
||
|
/* the following are undocumented, "beyond-guru" flags that
|
||
|
require some understanding of FFTW internals */
|
||
|
EQV(FFTW_ESTIMATE_PATIENT, ESTIMATE),
|
||
|
EQV(FFTW_ALLOW_PRUNING, ALLOW_PRUNING),
|
||
|
EQV(FFTW_BELIEVE_PCOST, BELIEVE_PCOST),
|
||
|
EQV(FFTW_NO_DFT_R2HC, NO_DFT_R2HC),
|
||
|
EQV(FFTW_NO_NONTHREADED, NO_NONTHREADED),
|
||
|
EQV(FFTW_NO_INDIRECT_OP, NO_INDIRECT_OP),
|
||
|
EQV(FFTW_NO_RANK_SPLITS, NO_RANK_SPLITS),
|
||
|
EQV(FFTW_NO_VRANK_SPLITS, NO_VRANK_SPLITS),
|
||
|
EQV(FFTW_NO_VRECURSE, NO_VRECURSE),
|
||
|
EQV(FFTW_NO_SLOW, NO_SLOW),
|
||
|
EQV(FFTW_NO_FIXED_RADIX_LARGE_N, NO_FIXED_RADIX_LARGE_N)
|
||
|
};
|
||
|
|
||
|
map_flags(&flags, &flags, self_flagmap, NELEM(self_flagmap));
|
||
|
|
||
|
l = u = 0;
|
||
|
map_flags(&flags, &l, l_flagmap, NELEM(l_flagmap));
|
||
|
map_flags(&flags, &u, u_flagmap, NELEM(u_flagmap));
|
||
|
|
||
|
/* enforce l <= u */
|
||
|
PLNR_L(plnr) = l;
|
||
|
PLNR_U(plnr) = u | l;
|
||
|
|
||
|
/* assert that the conversion didn't lose bits */
|
||
|
A(PLNR_L(plnr) == l);
|
||
|
A(PLNR_U(plnr) == (u | l));
|
||
|
|
||
|
/* compute flags representation of the timelimit */
|
||
|
t = timelimit_to_flags(plnr->timelimit);
|
||
|
|
||
|
PLNR_TIMELIMIT_IMPATIENCE(plnr) = t;
|
||
|
A(PLNR_TIMELIMIT_IMPATIENCE(plnr) == t);
|
||
|
}
|