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);
							 | 
						||
| 
								 | 
							
								}
							 |