cannam@127: (* cannam@127: * Copyright (c) 1997-1999 Massachusetts Institute of Technology cannam@127: * Copyright (c) 2003, 2007-14 Matteo Frigo cannam@127: * Copyright (c) 2003, 2007-14 Massachusetts Institute of Technology cannam@127: * cannam@127: * This program is free software; you can redistribute it and/or modify cannam@127: * it under the terms of the GNU General Public License as published by cannam@127: * the Free Software Foundation; either version 2 of the License, or cannam@127: * (at your option) any later version. cannam@127: * cannam@127: * This program is distributed in the hope that it will be useful, cannam@127: * but WITHOUT ANY WARRANTY; without even the implied warranty of cannam@127: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the cannam@127: * GNU General Public License for more details. cannam@127: * cannam@127: * You should have received a copy of the GNU General Public License cannam@127: * along with this program; if not, write to the Free Software cannam@127: * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA cannam@127: * cannam@127: *) cannam@127: cannam@127: (* magic parameters *) cannam@127: let verbose = ref false cannam@127: let vneg = ref false cannam@127: let karatsuba_min = ref 15 cannam@127: let karatsuba_variant = ref 2 cannam@127: let circular_min = ref 64 cannam@127: let rader_min = ref 13 cannam@127: let rader_list = ref [5] cannam@127: let alternate_convolution = ref 17 cannam@127: let threemult = ref false cannam@127: let inline_single = ref true cannam@127: let inline_loads = ref false cannam@127: let inline_loads_constants = ref false cannam@127: let inline_constants = ref true cannam@127: let trivial_stores = ref false cannam@127: let locations_are_special = ref false cannam@127: let strength_reduce_mul = ref false cannam@127: let number_of_variables = ref 4 cannam@127: let codelet_name = ref "unnamed" cannam@127: let randomized_cse = ref true cannam@127: let dif_split_radix = ref false cannam@127: let enable_fma = ref false cannam@127: let deep_collect_depth = ref 1 cannam@127: let schedule_type = ref 0 cannam@127: let compact = ref false cannam@127: let dag_dump_file = ref "" cannam@127: let alist_dump_file = ref "" cannam@127: let asched_dump_file = ref "" cannam@127: let lisp_syntax = ref false cannam@127: let network_transposition = ref true cannam@127: let inklude = ref "" cannam@127: let generic_arith = ref false cannam@127: let reorder_insns = ref false cannam@127: let reorder_loads = ref false cannam@127: let reorder_stores = ref false cannam@127: let precompute_twiddles = ref false cannam@127: let newsplit = ref false cannam@127: let standalone = ref false cannam@127: let pipeline_latency = ref 0 cannam@127: let schedule_for_pipeline = ref false cannam@127: let generate_bytw = ref true cannam@127: cannam@127: (* command-line parser for magic parameters *) cannam@127: let undocumented = " Undocumented voodoo parameter" cannam@127: cannam@127: let set_bool var = Arg.Unit (fun () -> var := true) cannam@127: let unset_bool var = Arg.Unit (fun () -> var := false) cannam@127: let set_int var = Arg.Int(fun i -> var := i) cannam@127: let set_string var = Arg.String(fun s -> var := s) cannam@127: cannam@127: let speclist = [ cannam@127: "-name", set_string codelet_name, " set codelet name"; cannam@127: "-standalone", set_bool standalone, " standalone codelet (no desc)"; cannam@127: "-include", set_string inklude, undocumented; cannam@127: cannam@127: "-verbose", set_bool verbose, " Enable verbose logging messages to stderr"; cannam@127: cannam@127: "-rader-min", set_int rader_min, cannam@127: " : Use Rader's algorithm for prime sizes >= "; cannam@127: cannam@127: "-threemult", set_bool threemult, cannam@127: " Use 3-multiply complex multiplications"; cannam@127: cannam@127: "-karatsuba-min", set_int karatsuba_min, undocumented; cannam@127: "-karatsuba-variant", set_int karatsuba_variant, undocumented; cannam@127: "-circular-min", set_int circular_min, undocumented; cannam@127: cannam@127: "-compact", set_bool compact, cannam@127: " Mangle variable names to reduce size of source code"; cannam@127: "-no-compact", unset_bool compact, cannam@127: " Disable -compact"; cannam@127: cannam@127: "-dump-dag", set_string dag_dump_file, undocumented; cannam@127: "-dump-alist", set_string alist_dump_file, undocumented; cannam@127: "-dump-asched", set_string asched_dump_file, undocumented; cannam@127: "-lisp-syntax", set_bool lisp_syntax, undocumented; cannam@127: cannam@127: "-alternate-convolution", set_int alternate_convolution, undocumented; cannam@127: "-deep-collect-depth", set_int deep_collect_depth, undocumented; cannam@127: "-schedule-type", set_int schedule_type, undocumented; cannam@127: "-pipeline-latency", set_int pipeline_latency, undocumented; cannam@127: "-schedule-for-pipeline", set_bool schedule_for_pipeline, undocumented; cannam@127: cannam@127: "-dif-split-radix", set_bool dif_split_radix, undocumented; cannam@127: "-dit-split-radix", unset_bool dif_split_radix, undocumented; cannam@127: cannam@127: "-generic-arith", set_bool generic_arith, undocumented; cannam@127: "-no-generic-arith", unset_bool generic_arith, undocumented; cannam@127: cannam@127: "-precompute-twiddles", set_bool precompute_twiddles, undocumented; cannam@127: "-no-precompute-twiddles", unset_bool precompute_twiddles, undocumented; cannam@127: cannam@127: "-inline-single", set_bool inline_single, undocumented; cannam@127: "-no-inline-single", unset_bool inline_single, undocumented; cannam@127: cannam@127: "-inline-loads", set_bool inline_loads, undocumented; cannam@127: "-no-inline-loads", unset_bool inline_loads, undocumented; cannam@127: cannam@127: "-inline-loads-constants", set_bool inline_loads_constants, undocumented; cannam@127: "-no-inline-loads-constants", cannam@127: unset_bool inline_loads_constants, undocumented; cannam@127: cannam@127: "-inline-constants", set_bool inline_constants, undocumented; cannam@127: "-no-inline-constants", unset_bool inline_constants, undocumented; cannam@127: cannam@127: "-trivial-stores", set_bool trivial_stores, undocumented; cannam@127: "-no-trivial-stores", unset_bool trivial_stores, undocumented; cannam@127: cannam@127: "-locations-are-special", set_bool locations_are_special, undocumented; cannam@127: "-no-locations-are-special", unset_bool locations_are_special, undocumented; cannam@127: cannam@127: "-randomized-cse", set_bool randomized_cse, undocumented; cannam@127: "-no-randomized-cse", unset_bool randomized_cse, undocumented; cannam@127: cannam@127: "-network-transposition", set_bool network_transposition, undocumented; cannam@127: "-no-network-transposition", unset_bool network_transposition, undocumented; cannam@127: cannam@127: "-reorder-insns", set_bool reorder_insns, undocumented; cannam@127: "-no-reorder-insns", unset_bool reorder_insns, undocumented; cannam@127: "-reorder-loads", set_bool reorder_loads, undocumented; cannam@127: "-no-reorder-loads", unset_bool reorder_loads, undocumented; cannam@127: "-reorder-stores", set_bool reorder_stores, undocumented; cannam@127: "-no-reorder-stores", unset_bool reorder_stores, undocumented; cannam@127: cannam@127: "-newsplit", set_bool newsplit, undocumented; cannam@127: cannam@127: "-vneg", set_bool vneg, undocumented; cannam@127: "-fma", set_bool enable_fma, undocumented; cannam@127: "-no-fma", unset_bool enable_fma, undocumented; cannam@127: cannam@127: "-variables", set_int number_of_variables, undocumented; cannam@127: cannam@127: "-strength-reduce-mul", set_bool strength_reduce_mul, undocumented; cannam@127: "-no-strength-reduce-mul", unset_bool strength_reduce_mul, undocumented; cannam@127: cannam@127: "-generate-bytw", set_bool generate_bytw, undocumented; cannam@127: "-no-generate-bytw", unset_bool generate_bytw, undocumented; cannam@127: ] cannam@127: cannam@127: