/yap-6.2.2/packages/chr/chr_compiler_options.pl
Perl | 378 lines | 323 code | 55 blank | 0 comment | 4 complexity | 4fe360fc636fb2d96d49fc5143a01316 MD5 | raw file
Possible License(s): GPL-2.0, AGPL-3.0, LGPL-2.0
- /* $Id$
- Part of CHR (Constraint Handling Rules)
- Author: Tom Schrijvers
- E-mail: Tom.Schrijvers@cs.kuleuven.be
- WWW: http://www.swi-prolog.org
- Copyright (C): 2005-2006, K.U. Leuven
- 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 Lesser General Public
- License along with this library; if not, write to the Free Software
- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
- As a special exception, if you link this library with other files,
- compiled with a Free Software compiler, to produce an executable, this
- library does not by itself cause the resulting executable to be covered
- by the GNU General Public License. This exception does not however
- invalidate any other reasons why the executable file might be covered by
- the GNU General Public License.
- */
- :- module(chr_compiler_options,
- [ handle_option/2
- , init_chr_pp_flags/0
- , chr_pp_flag/2
- ]).
-
- %% SICStus begin
- %% :- use_module(hprolog, [nb_setval/2,nb_getval/2]).
- %% local_current_prolog_flag(_,_) :- fail.
- %% SICStus end
- %% SWI begin
- local_current_prolog_flag(X,Y) :- current_prolog_flag(X,Y).
- %% SWI end
- :- use_module(chr_compiler_errors).
- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- % Global Options
- %
- handle_option(Name,Value) :-
- var(Name), !,
- chr_error(syntax((:- chr_option(Name,Value))),'First argument should be an atom, not a variable.\n',[]).
- handle_option(Name,Value) :-
- var(Value), !,
- chr_error(syntax((:- chr_option(Name,Value))),'Second argument cannot be a variable.\n',[]).
- handle_option(Name,Value) :-
- option_definition(Name,Value,Flags),
- !,
- set_chr_pp_flags(Flags).
- handle_option(Name,Value) :-
- \+ option_definition(Name,_,_), !,
- chr_error(syntax((:- chr_option(Name,Value))),'Invalid option name ~w: consult the manual for valid options.\n',[Name]).
- handle_option(Name,Value) :-
- chr_error(syntax((:- chr_option(Name,Value))),'Invalid option value ~w: consult the manual for valid option values.\n',[Value]).
- option_definition(optimize,experimental,Flags) :-
- Flags = [ functional_dependency_analysis - on,
- check_unnecessary_active - full,
- reorder_heads - on,
- set_semantics_rule - on,
- storage_analysis - on,
- guard_via_reschedule - on,
- guard_simplification - on,
- check_impossible_rules - on,
- occurrence_subsumption - on,
- observation_analysis - on,
- ai_observation_analysis - on,
- late_allocation - on,
- reduced_indexing - on,
- term_indexing - on,
- inline_insertremove - on,
- mixed_stores - on
- ].
- option_definition(optimize,full,Flags) :-
- Flags = [ functional_dependency_analysis - on,
- check_unnecessary_active - full,
- reorder_heads - on,
- set_semantics_rule - on,
- storage_analysis - on,
- guard_via_reschedule - on,
- guard_simplification - on,
- check_impossible_rules - on,
- occurrence_subsumption - on,
- observation_analysis - on,
- ai_observation_analysis - on,
- late_allocation - on,
- reduced_indexing - on,
- inline_insertremove - on,
- mixed_stores - off,
- debugable - off
- ].
- option_definition(optimize,off,Flags) :-
- Flags = [ functional_dependency_analysis - off,
- check_unnecessary_active - off,
- reorder_heads - off,
- set_semantics_rule - off,
- storage_analysis - off,
- guard_via_reschedule - off,
- guard_simplification - off,
- check_impossible_rules - off,
- occurrence_subsumption - off,
- observation_analysis - off,
- ai_observation_analysis - off,
- late_allocation - off,
- reduced_indexing - off
- ].
- option_definition(functional_dependency_analysis,on,Flags) :-
- Flags = [ functional_dependency_analysis - on ].
- option_definition(functional_dependency_analysis,off,Flags) :-
- Flags = [ functional_dependency_analysis - off ].
- option_definition(set_semantics_rule,on,Flags) :-
- Flags = [ set_semantics_rule - on ].
- option_definition(set_semantics_rule,off,Flags) :-
- Flags = [ set_semantics_rule - off ].
- option_definition(check_unnecessary_active,full,Flags) :-
- Flags = [ check_unnecessary_active - full ].
- option_definition(check_unnecessary_active,simplification,Flags) :-
- Flags = [ check_unnecessary_active - simplification ].
- option_definition(check_unnecessary_active,off,Flags) :-
- Flags = [ check_unnecessary_active - off ].
- option_definition(check_guard_bindings,on,Flags) :-
- Flags = [ guard_locks - on ].
- option_definition(check_guard_bindings,off,Flags) :-
- Flags = [ guard_locks - off ].
- option_definition(check_guard_bindings,error,Flags) :-
- Flags = [ guard_locks - error ].
- option_definition(reduced_indexing,on,Flags) :-
- Flags = [ reduced_indexing - on ].
- option_definition(reduced_indexing,off,Flags) :-
- Flags = [ reduced_indexing - off ].
- option_definition(storage_analysis,on,Flags) :-
- Flags = [ storage_analysis - on ].
- option_definition(storage_analysis,off,Flags) :-
- Flags = [ storage_analysis - off ].
- option_definition(guard_simplification,on,Flags) :-
- Flags = [ guard_simplification - on ].
- option_definition(guard_simplification,off,Flags) :-
- Flags = [ guard_simplification - off ].
- option_definition(check_impossible_rules,on,Flags) :-
- Flags = [ check_impossible_rules - on ].
- option_definition(check_impossible_rules,off,Flags) :-
- Flags = [ check_impossible_rules - off ].
- option_definition(occurrence_subsumption,on,Flags) :-
- Flags = [ occurrence_subsumption - on ].
- option_definition(occurrence_subsumption,off,Flags) :-
- Flags = [ occurrence_subsumption - off ].
- option_definition(late_allocation,on,Flags) :-
- Flags = [ late_allocation - on ].
- option_definition(late_allocation,off,Flags) :-
- Flags = [ late_allocation - off ].
- option_definition(inline_insertremove,on,Flags) :-
- Flags = [ inline_insertremove - on ].
- option_definition(inline_insertremove,off,Flags) :-
- Flags = [ inline_insertremove - off ].
- option_definition(type_definition,TypeDef,[]) :-
- ( nonvar(TypeDef) ->
- TypeDef = type(T,D),
- chr_translate:type_definition(T,D)
- ; true).
- option_definition(type_declaration,TypeDecl,[]) :-
- ( nonvar(TypeDecl) ->
- functor(TypeDecl,F,A),
- TypeDecl =.. [_|ArgTypes],
- chr_translate:constraint_type(F/A,ArgTypes)
- ; true).
-
- option_definition(mode,ModeDecl,[]) :-
- ( nonvar(ModeDecl) ->
- functor(ModeDecl,F,A),
- ModeDecl =.. [_|ArgModes],
- chr_translate:constraint_mode(F/A,ArgModes)
- ; true).
- option_definition(store,FA-Store,[]) :-
- chr_translate:store_type(FA,Store).
- %------------------------------------------------------------------------------%
- option_definition(declare_stored_constraints,off,[declare_stored_constraints-off]).
- option_definition(declare_stored_constraints,on ,[declare_stored_constraints-on]).
- option_definition(stored,F/A,[]) :-
- chr_translate:stored_assertion(F/A).
- %------------------------------------------------------------------------------%
- option_definition(experiment,off,[experiment-off]).
- option_definition(experiment,on,[experiment-on]).
- option_definition(experimental,off,[experiment-off]).
- option_definition(experimental,on,[experiment-on]).
- option_definition(sss,off,[sss-off]).
- option_definition(sss,on,[sss-on]).
- %------------------------------------------------------------------------------%
- option_definition(debug,off,Flags) :-
- option_definition(optimize,full,Flags2),
- Flags = [ debugable - off | Flags2].
- option_definition(debug,on,Flags) :-
- ( local_current_prolog_flag(generate_debug_info,false) ->
- % TODO: should not be allowed when nodebug flag is set in SWI-Prolog
- chr_warning(any,':- chr_option(debug,on) inconsistent with current_prolog_flag(generate_debug_info,off\n\tCHR option is ignored!\n)',[]),
- Flags = []
- ;
- Flags = [ debugable - on ]
- ).
- option_definition(store_counter,off,[]).
- option_definition(store_counter,on,[store_counter-on]).
- option_definition(observation,off,Flags) :-
- Flags = [
- observation_analysis - off,
- ai_observation_analysis - off,
- late_allocation - off,
- storage_analysis - off
- ].
- option_definition(observation,on,Flags) :-
- Flags = [
- observation_analysis - on,
- ai_observation_analysis - on
- ].
- option_definition(observation,regular,Flags) :-
- Flags = [
- observation_analysis - on,
- ai_observation_analysis - off
- ].
- option_definition(observation,ai,Flags) :-
- Flags = [
- observation_analysis - off,
- ai_observation_analysis - on
- ].
- option_definition(store_in_guards, on, [store_in_guards - on]).
- option_definition(store_in_guards, off, [store_in_guards - off]).
- option_definition(solver_events,NMod,Flags) :-
- Flags = [solver_events - NMod].
- option_definition(toplevel_show_store,on,Flags) :-
- Flags = [toplevel_show_store - on].
- option_definition(toplevel_show_store,off,Flags) :-
- Flags = [toplevel_show_store - off].
- option_definition(term_indexing,on,Flags) :-
- Flags = [term_indexing - on].
- option_definition(term_indexing,off,Flags) :-
- Flags = [term_indexing - off].
- option_definition(verbosity,on,Flags) :-
- Flags = [verbosity - on].
- option_definition(verbosity,off,Flags) :-
- Flags = [verbosity - off].
- option_definition(ht_removal,on,Flags) :-
- Flags = [ht_removal - on].
- option_definition(ht_removal,off,Flags) :-
- Flags = [ht_removal - off].
- option_definition(mixed_stores,on,Flags) :-
- Flags = [mixed_stores - on].
- option_definition(mixed_stores,off,Flags) :-
- Flags = [mixed_stores - off].
- option_definition(line_numbers,on,Flags) :-
- Flags = [line_numbers - on].
- option_definition(line_numbers,off,Flags) :-
- Flags = [line_numbers - off].
- option_definition(dynattr,on,Flags) :-
- Flags = [dynattr - on].
- option_definition(dynattr,off,Flags) :-
- Flags = [dynattr - off].
- option_definition(verbose,off,[verbose-off]).
- option_definition(verbose,on,[verbose-on]).
- option_definition(dump,off,[dump-off]).
- option_definition(dump,on,[dump-on]).
- init_chr_pp_flags :-
- chr_pp_flag_definition(Name,[DefaultValue|_]),
- set_chr_pp_flag(Name,DefaultValue),
- fail.
- init_chr_pp_flags.
- set_chr_pp_flags([]).
- set_chr_pp_flags([Name-Value|Flags]) :-
- set_chr_pp_flag(Name,Value),
- set_chr_pp_flags(Flags).
- set_chr_pp_flag(Name,Value) :-
- atom_concat('$chr_pp_',Name,GlobalVar),
- nb_setval(GlobalVar,Value).
- chr_pp_flag_definition(functional_dependency_analysis,[off,on]).
- chr_pp_flag_definition(check_unnecessary_active,[off,full,simplification]).
- chr_pp_flag_definition(reorder_heads,[off,on]).
- chr_pp_flag_definition(set_semantics_rule,[off,on]).
- chr_pp_flag_definition(guard_via_reschedule,[off,on]).
- chr_pp_flag_definition(guard_locks,[on,off,error]).
- chr_pp_flag_definition(storage_analysis,[off,on]).
- chr_pp_flag_definition(debugable,[on,off]).
- chr_pp_flag_definition(reduced_indexing,[off,on]).
- chr_pp_flag_definition(observation_analysis,[off,on]).
- chr_pp_flag_definition(ai_observation_analysis,[off,on]).
- chr_pp_flag_definition(store_in_guards,[off,on]).
- chr_pp_flag_definition(late_allocation,[off,on]).
- chr_pp_flag_definition(store_counter,[off,on]).
- chr_pp_flag_definition(guard_simplification,[off,on]).
- chr_pp_flag_definition(check_impossible_rules,[off,on]).
- chr_pp_flag_definition(occurrence_subsumption,[off,on]).
- chr_pp_flag_definition(observation,[off,on]).
- chr_pp_flag_definition(show,[off,on]).
- chr_pp_flag_definition(inline_insertremove,[on,off]).
- chr_pp_flag_definition(solver_events,[none,_]).
- chr_pp_flag_definition(toplevel_show_store,[on,off]).
- chr_pp_flag_definition(term_indexing,[off,on]).
- chr_pp_flag_definition(verbosity,[on,off]).
- chr_pp_flag_definition(ht_removal,[off,on]).
- chr_pp_flag_definition(mixed_stores,[on,off]).
- chr_pp_flag_definition(line_numbers,[off,on]).
- chr_pp_flag_definition(dynattr,[off,on]).
- chr_pp_flag_definition(experiment,[off,on]).
- chr_pp_flag_definition(sss,[off,on]).
- % emit compiler inferred code
- chr_pp_flag_definition(verbose,[off,on]).
- % emit input code and output code
- chr_pp_flag_definition(dump,[off,on]).
- chr_pp_flag_definition(declare_stored_constraints,[off,on]).
- chr_pp_flag(Name,Value) :-
- atom_concat('$chr_pp_',Name,GlobalVar),
- nb_getval(GlobalVar,V),
- ( V == [] ->
- chr_pp_flag_definition(Name,[Value|_])
- ;
- V = Value
- ).
-
- % TODO: add whatever goes wrong with (debug,on), (optimize,full) combo here!
- % trivial example of what does go wrong:
- % b <=> true.
- % !!!
- sanity_check :-
- chr_pp_flag(store_in_guards, on),
- chr_pp_flag(ai_observation_analysis, on),
- chr_warning(any, 'ai_observation_analysis should be turned off when using store_in_guards\n', []),
- fail.
- sanity_check.
- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%