mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-20 08:19:28 +00:00
Code Issues Projects Releases Wiki Activity
Files
3e7367b29cb79ff0e4c043ada8ee987f201e9c69
mercury/compiler
History
Tyson Dowd 3e7367b29c Add options to turn off various RTTI features. 
Estimated hours taken: 5

Add options to turn off various RTTI features.  Also switch off the
generation of variable names for accurate GC (this should be the default
unless we are tracing).

These new options are for space measurement only.  There is little
chance the code will link or work if the options are used.

compiler/base_type_layout.m:
	Let --type-ctor-layout and --type-ctor-functors control the
	generation of layout and functors.

compiler/mercury_compile.m:
	Let --type-ctor-info control the generation of type_ctor_info
	structures.

compiler/stack_layout.m:
	Turn off the generation of variable names structures unless
	tracing.

compiler/unify_proc.m:
	Use --special-preds to control the generation of unify and
	compare predicates.

compiler/options.m:
	Add the new options (as internal use only options).
1999-05-27 05:14:44 +00:00
..
notes
Document how to build binary packages for Linux.
1999-04-16 06:20:47 +00:00
.cvsignore
Update the .cvsignore files.
1999-05-27 04:31:08 +00:00
arg_info.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
atsort.m
…
base_type_info.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
base_type_layout.m
Add options to turn off various RTTI features.
1999-05-27 05:14:44 +00:00
base_typeclass_info.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
basic_block.m
…
bytecode_data.m
Fix a bug in checking whether a negative integer
1999-05-27 01:19:56 +00:00
bytecode_gen.m
This change does some renaming to match the new nomenclature introduced
1999-04-22 01:04:32 +00:00
bytecode.m
This change does some renaming to match the new nomenclature introduced
1999-04-22 01:04:32 +00:00
call_gen.m
Switch to a closure representation that includes runtime type and procedure id
1999-04-16 06:05:49 +00:00
call_graph.m
…
check_typeclass.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
clause_to_proc.m
…
code_aux.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
code_exprn.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
code_gen.m
Add an option that causes the compiler to pass information to the
1999-04-30 08:24:24 +00:00
code_info.m
Add an option that causes the compiler to pass information to the
1999-04-30 08:24:24 +00:00
code_util.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
commit_gen.m
…
common.m
…
const_prop.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
constraint.m
Fix some old problems with HLDS dumps, including blank lines between goals
1999-03-12 06:14:17 +00:00
context.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
continuation_info.m
Switch to a closure representation that includes runtime type and procedure id
1999-04-16 06:05:49 +00:00
cse_detection.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
dead_proc_elim.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
deforest.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
delay_info.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
delay_slot.m
…
dense_switch.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
dependency_graph.m
During the writing of the RTTI paper, we decided that type_ctor_info
1999-03-22 08:09:08 +00:00
det_analysis.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
det_report.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
det_util.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
disj_gen.m
Allow the native collector to work for nondet code, by generating layout
1999-03-12 05:53:29 +00:00
dnf.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
dupelim.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
equiv_type.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
error_util.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
excess.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
export.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
exprn_aux.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
fact_table.m
Use floating point functions instead of the obsolete predicates.
1999-03-18 01:31:33 +00:00
follow_code.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
follow_vars.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
frameopt.m
…
globals.m
…
goal_path.m
…
goal_util.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
graph_colour.m
…
handle_options.m
Remove the obsolete option --heap-space, which was used only with NU-Prolog.
1999-04-29 02:55:37 +00:00
higher_order.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
hlds_data.m
This change does some renaming to match the new nomenclature introduced
1999-04-22 01:04:32 +00:00
hlds_goal.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
hlds_module.m
Add an option that causes the compiler to pass information to the
1999-04-30 08:24:24 +00:00
hlds_out.m
Use check_typeclass__introduced_pred_name_prefix rather than
1999-04-27 07:59:02 +00:00
hlds_pred.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
hlds.m
…
implication.m
…
inlining.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
inst_match.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
inst_util.m
…
inst.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
instmap.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
intermod.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
ite_gen.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
jumpopt.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
labelopt.m
Allow the native collector to work for nondet code, by generating layout
1999-03-12 05:53:29 +00:00
lambda.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
lco.m
…
live_vars.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
livemap.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
liveness.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
llds_common.m
Add an option that causes the compiler to pass information to the
1999-04-30 08:24:24 +00:00
llds_out.m
Make the header look somewhat neater.
1999-05-10 06:08:44 +00:00
llds.m
Add an option that causes the compiler to pass information to the
1999-04-30 08:24:24 +00:00
lookup_switch.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
lp.m
…
magic_util.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
magic.m
Preprocess mercury_compile.m and rl_file.m to remove dependencies
1999-04-28 01:18:44 +00:00
make_hlds.m
Fix a possible bug - when updating the import_status
1999-05-18 01:53:33 +00:00
make_tags.m
This change does some renaming to match the new nomenclature introduced
1999-04-22 01:04:32 +00:00
mercury_compile.m
Add options to turn off various RTTI features.
1999-05-27 05:14:44 +00:00
mercury_to_c.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
mercury_to_goedel.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
mercury_to_mercury.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
middle_rec.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
Mmakefile
Preprocess mercury_compile.m and rl_file.m to remove dependencies
1999-04-28 01:18:44 +00:00
mode_debug.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
mode_errors.m
Fix some old problems with HLDS dumps, including blank lines between goals
1999-03-12 06:14:17 +00:00
mode_info.m
Fix a code generator abort reported by Stephane Marie
1999-05-18 03:09:21 +00:00
mode_util.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
modecheck_call.m
Fix a code generator abort reported by Stephane Marie
1999-05-18 03:09:21 +00:00
modecheck_unify.m
Fix a code generator abort reported by Stephane Marie
1999-05-18 03:09:21 +00:00
modes.m
Fix a code generator abort reported by Stephane Marie
1999-05-18 03:09:21 +00:00
module_qual.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
modules.m
Do not put line numbers into the generated interface files,
1999-05-11 03:59:39 +00:00
opt_debug.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
opt_util.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
optimize.m
Allow the native collector to work for nondet code, by generating layout
1999-03-12 05:53:29 +00:00
options.m
Add options to turn off various RTTI features.
1999-05-27 05:14:44 +00:00
par_conj_gen.m
Switch to a closure representation that includes runtime type and procedure id
1999-04-16 06:05:49 +00:00
passes_aux.m
s/tree234__count/map__count/
1999-03-26 11:15:45 +00:00
pd_cost.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
pd_debug.m
Fix some old problems with HLDS dumps, including blank lines between goals
1999-03-12 06:14:17 +00:00
pd_info.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
pd_term.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
pd_util.m
Fix a code generator abort reported by Stephane Marie
1999-05-18 03:09:21 +00:00
peephole.m
…
polymorphism.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
post_typecheck.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
pragma_c_gen.m
For nondet pragma c_code, don't output calls to save_registers()
1999-03-28 01:27:21 +00:00
prog_data.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
prog_io_dcg.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
prog_io_goal.m
Fix some misleading variable names and comments:
1999-03-24 13:30:21 +00:00
prog_io_pragma.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
prog_io_typeclass.m
Implement abstract instance declarations.
1999-02-12 03:46:59 +00:00
prog_io_util.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
prog_io.m
Remove support for NU-Prolog and SICStus Prolog.
1999-03-15 08:48:36 +00:00
prog_out.m
Fix some old problems with HLDS dumps, including blank lines between goals
1999-03-12 06:14:17 +00:00
prog_util.m
Undo the part of my previous change to make_pred_name_with_context
1999-04-28 02:53:14 +00:00
purity.m
Avoid some spurious flow-on diagnostics.
1999-03-05 13:09:36 +00:00
quantification.m
Some trivial changes to fix bugs in my previous change.
1999-03-13 01:29:14 +00:00
rl_analyse.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
rl_block_opt.m
Make it easier to turn off individual optimizations.
1999-05-19 04:41:28 +00:00
rl_block.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
rl_code.m
Add an argument to rl_PROC_materialise instructions to make
1999-05-11 05:03:59 +00:00
rl_dump.m
Fix some old problems with HLDS dumps, including blank lines between goals
1999-03-12 06:14:17 +00:00
rl_exprn.m
Preprocess mercury_compile.m and rl_file.m to remove dependencies
1999-04-28 01:18:44 +00:00
rl_file.pp
Preprocess mercury_compile.m and rl_file.m to remove dependencies
1999-04-28 01:18:44 +00:00
rl_gen.m
Preprocess mercury_compile.m and rl_file.m to remove dependencies
1999-04-28 01:18:44 +00:00
rl_info.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
rl_key.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
rl_liveness.m
Do the right thing for relations which are produced by
1999-05-19 04:42:43 +00:00
rl_loop.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
rl_opt.m
Make it easier to turn off individual optimizations.
1999-05-19 04:41:28 +00:00
rl_out.pp
Add an argument to rl_PROC_materialise instructions to make
1999-05-11 05:03:59 +00:00
rl_relops.m
Fix a typo in a comment.
1999-04-01 06:03:16 +00:00
rl_sort.m
Make sure the input to a union-diff instruction has
1999-05-27 01:06:02 +00:00
rl_stream.m
Fix bugs which caused streams to be used multiple times.
1999-05-19 04:32:57 +00:00
rl.m
Preprocess mercury_compile.m and rl_file.m to remove dependencies
1999-04-28 01:18:44 +00:00
saved_vars.m
Fix some old problems with HLDS dumps, including blank lines between goals
1999-03-12 06:14:17 +00:00
simplify.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
source_stats.awk
…
special_pred.m
…
stack_layout.m
Add options to turn off various RTTI features.
1999-05-27 05:14:44 +00:00
store_alloc.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
stratify.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
string_switch.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
switch_detection.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
switch_gen.m
This change does some renaming to match the new nomenclature introduced
1999-04-22 01:04:32 +00:00
table_gen.m
Rewrite significant parts of minimal model tabling so that it works
1999-04-20 11:48:56 +00:00
tag_switch.m
This change does some renaming to match the new nomenclature introduced
1999-04-22 01:04:32 +00:00
term_errors.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
term_pass1.m
Use floating point functions instead of the obsolete predicates.
1999-03-18 01:31:33 +00:00
term_pass2.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
term_traversal.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
term_util.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
termination.m
These changes make var' and term' polymorphic.
1998-11-20 04:10:36 +00:00
trace.m
Add an option that causes the compiler to pass information to the
1999-04-30 08:24:24 +00:00
trans_opt.m
…
transform_llds.m
Reorganize the handling of global data structures, and expose the table
1998-11-24 03:57:47 +00:00
transform.m
…
tree.m
…
type_util.m
User-guided type specialization.
1999-04-23 01:03:51 +00:00
typecheck.m
s/tree234__count/map__count/
1999-03-26 11:15:45 +00:00
unify_gen.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
unify_proc.m
Add options to turn off various RTTI features.
1999-05-27 05:14:44 +00:00
unique_modes.m
Fix a code generator abort reported by Stephane Marie
1999-05-18 03:09:21 +00:00
unused_args.m
Aditi compilation.
1998-12-06 23:49:14 +00:00
value_number.m
Allow the native collector to work for nondet code, by generating layout
1999-03-12 05:53:29 +00:00
vn_block.m
…
vn_cost.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
vn_debug.m
…
vn_filter.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
vn_flush.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
vn_livemap.m
…
vn_order.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
vn_table.m
…
vn_temploc.m
…
vn_type.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
vn_util.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00
vn_verify.m
Allow the compiler to handle create rvals whose arguments have a size
1999-04-30 06:21:49 +00:00