385 lines
13 KiB
Prolog
385 lines
13 KiB
Prolog
/* $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., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 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.
|
|
*/
|
|
%% @addtogroup CHR_in_YAP_Programs CHR Programs
|
|
%% @ingroup CHR
|
|
%
|
|
% CHR controlling the compiler
|
|
%
|
|
|
|
:- 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.
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|