mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-16 14:25:56 +00:00
Code Issues Projects Releases Wiki Activity
Files
129f605d2567a109b8c87286f60e6c95aba550ed
mercury/compiler
History
Simon Taylor 129f605d25 Fix bugs in the handling of purity in the optimization passes 
Estimated hours taken: 8
Branches: main, release

Fix bugs in the handling of purity in the optimization passes
(in particular constraint propagation), which caused purity
annotations on goals to be lost. This caused
tests/tabling/unused_args to fail on earth.

compiler/hlds_goal.m:
	Make the version of goal_info_init called from
	the optimization passes take the purity as an
	argument. Previously, callers were constructing
	a goal_info then adding the purity, which was
	error prone.

compiler/hlds_goal.m:
compiler/purity.m:
	Move the predicates to deal with purity representation
	in hlds_goal_infos into hlds_goal.m. Rationale -
	goal_info_get_determinism is not in det_analysis.m,
	goal_info_get_nonlocals is not in quantification.m, etc.
	This makes it easier to make the purity setting code
	efficient.

	Don't allocate memory in add_goal_info_purity_feature
	if the call doesn't change the purity.

compiler/*.m:
	Pass the extra argument to goal_info_init.

compiler/polymorphism.m:
	Remove a duplicate definition of
	hlds_goal__make_int_const_construction.

compiler/magic.m:
	Remove some unused code.

tests/hard_coded/purity/Mmakefile:
tests/hard_coded/purity/Mercury.options:
tests/hard_coded/purity/purity_opt.{m,exp}:
	Test case.
2003-02-28 00:21:42 +00:00
..
notes
Perform loop invariant hoisting after inlining, since inlining
2003-02-22 13:54:45 +00:00
.cvsignore
Various fixes for the .NET back-end.
2003-02-15 23:59:41 +00:00
.nocopyright
…
accumulator.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
add_heap_ops.m
Make the Prolog term comparison operators (@<, @=<, @>, @>=)
2002-11-01 07:07:01 +00:00
add_trail_ops.m
Make the Prolog term comparison operators (@<, @=<, @>, @>=)
2002-11-01 07:07:01 +00:00
aditi_backend.pp
rl_exprn.m and rl_code.m should only be compiled and included
2002-07-26 09:06:49 +00:00
arg_info.m
Fix problems with the compiler-generated header files:
2002-05-30 12:55:23 +00:00
assertion.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
atsort.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
backend_libs.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
base_typeclass_info.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
basic_block.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
builtin_ops.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
bytecode_backend.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
bytecode_data.m
Various bug fixes for the `il' grade.
2003-02-13 08:28:43 +00:00
bytecode_gen.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
bytecode.m
Fix a typo: s/has_string/hash_string/
2003-01-10 05:10:30 +00:00
c_util.m
Reorganize the code in the compiler to centralize the code which handles
2002-11-24 03:57:36 +00:00
call_gen.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
call_graph.m
…
check_hlds.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
check_typeclass.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
clause_to_proc.m
Improve variable naming in the debugger. Where possible, use
2002-06-05 16:41:31 +00:00
code_aux.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
code_exprn.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
code_gen.m
Change the compiler and tools so that .' and not :' is now used as the
2003-01-17 05:57:20 +00:00
code_info.m
Implement a flag that can be used by the compiler to signal to the debugger
2002-08-30 07:24:49 +00:00
code_model.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
code_util.m
Add an option `--no-inline-builtins', which causes builtins to
2003-01-30 05:59:30 +00:00
commit_gen.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
common.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
compile_target_code.m
Ensure that in MLDS grades, arguments with arg_mode `top_unused' do not
2003-02-14 09:58:41 +00:00
const_prop.m
Delete an obsolete XXX comment that was referring to a file
2003-01-10 10:40:52 +00:00
constraint.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
context.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
continuation_info.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
cse_detection.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
dead_proc_elim.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
deep_profiling.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
deforest.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
delay_construct.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
delay_info.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
delay_slot.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
dense_switch.m
Hide the events associated with the goals inserted by tabling transformations,
2002-09-09 07:48:25 +00:00
dependency_graph.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
det_analysis.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
det_report.m
Add support for two new compiler options,
2003-02-21 05:11:59 +00:00
det_util.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
disj_gen.m
Hide the events associated with the goals inserted by tabling transformations,
2002-09-09 07:48:25 +00:00
dnf.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
dupelim.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
equiv_type.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
error_util.m
Change the compiler and tools so that .' and not :' is now used as the
2003-01-17 05:57:20 +00:00
export.m
Simplify the code a little.
2002-09-30 11:12:36 +00:00
exprn_aux.m
Get pragma foreign_type working for the C backend.
2002-05-07 11:03:17 +00:00
fact_table.m
Add some more XXX comments about places which may be assuming
2003-01-10 10:36:28 +00:00
follow_code.m
Added loop-invariant hoisting optimization.
2002-10-31 05:48:00 +00:00
follow_vars.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
foreign.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
frameopt.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
gcc.m
Update an XXX comment.
2002-09-15 18:52:19 +00:00
globals.m
Add Java support to the foreign language interface.
2003-02-11 02:14:28 +00:00
goal_form.m
Fix typo.
2002-07-18 07:53:20 +00:00
goal_path.m
Replace "is" with "=" in arithmetic calculations.
2002-08-12 09:39:51 +00:00
goal_store.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
goal_util.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
graph_colour.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
handle_options.m
Fix a bug that broke tests/hard_coded/ho_soln (amongst others)
2003-02-21 05:13:25 +00:00
higher_order.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
hlds_code_util.m
The java and il backends don't have a typedef mechanism so all types
2002-11-10 15:57:59 +00:00
hlds_data.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
hlds_goal.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
hlds_llds.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
hlds_module.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
hlds_out.m
Add support for two new compiler options,
2003-02-21 04:23:13 +00:00
hlds_pred.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
hlds.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
il_peephole.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
ilasm.m
Reorganize the code in the compiler to centralize the code which handles
2002-11-24 03:57:36 +00:00
ilds.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
implication.m
…
inlining.m
Optimize shallow traced modules by not adding calls to MR_trace to shallow
2002-07-30 08:25:20 +00:00
inst_match.m
Trivial comment changes.
2003-01-10 10:45:02 +00:00
inst_util.m
Fix a couple of bugs related to abstract unification.
2002-08-12 07:35:00 +00:00
inst.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
instmap.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
intermod.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
ite_gen.m
Hide the events associated with the goals inserted by tabling transformations,
2002-09-09 07:48:25 +00:00
java_util.m
Trivial comment changes.
2003-01-10 10:45:02 +00:00
jumpopt.m
Optimize shallow traced modules by not adding calls to MR_trace to shallow
2002-07-30 08:25:20 +00:00
labelopt.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
lambda.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
layout_out.m
Implement concat_strings in Mercury.
2003-02-16 02:14:16 +00:00
layout.m
Implement concat_strings in Mercury.
2003-02-16 02:14:16 +00:00
lco.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
libs.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
live_vars.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
livemap.m
Get pragma foreign_type working for the C backend.
2002-05-07 11:03:17 +00:00
liveness.m
Added loop-invariant hoisting optimization.
2002-10-31 05:48:00 +00:00
ll_backend.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
ll_pseudo_type_info.m
Fix a bug that caused duplicate symbol definitions with --split-c-files.
2002-08-08 08:15:46 +00:00
llds_common.m
Extend the information we record about procedures when debugging is enabled
2002-11-15 04:50:49 +00:00
llds_out.m
Add a facility for recording boolean flags in the RTTI structures
2003-02-26 06:37:01 +00:00
llds.m
Fix a bug where the C code that we generated contained a type error
2002-09-30 06:08:22 +00:00
lookup_switch.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
loop_inv.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
lp.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
magic_util.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
magic.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
make_hlds.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
make_tags.m
Implement `:- pragma reserve_tag(<TypeName>/<Arity>).'.
2003-01-14 16:42:44 +00:00
make.dependencies.m
Change `mmc --make' so that it no longer builds the external foreign
2002-12-23 12:34:20 +00:00
make.m
If $(EXT_FOR_EXE) is not empty, add a phony target
2003-01-28 14:52:00 +00:00
make.module_dep_file.m
Library installation with `mmc --make'.
2002-08-07 13:12:11 +00:00
make.module_target.m
Add Java support to the foreign language interface.
2003-02-11 02:14:28 +00:00
make.program_target.m
Fix a bug in library installation -- the `Mercury/int0s'
2003-02-04 05:10:36 +00:00
make.util.m
Add Java support to the foreign language interface.
2003-02-11 02:14:28 +00:00
mark_static_terms.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
matching.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
maybe_mlds_to_gcc.pp
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
mercury_compile.m
Perform loop invariant hoisting after inlining, since inlining
2003-02-22 13:54:45 +00:00
mercury_to_mercury.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
Mercury.options
Implement the ml and c2init scripts in the compiler to
2003-02-05 14:41:20 +00:00
middle_rec.m
Get pragma foreign_type working for the C backend.
2002-05-07 11:03:17 +00:00
ml_backend.m
Output Managed C++ code using the same mechanisms as we do for C#
2002-06-21 13:26:50 +00:00
ml_call_gen.m
Fix a bug where the MLDS back-end was generating references to `dummy_var',
2003-02-14 09:59:21 +00:00
ml_closure_gen.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
ml_code_gen.m
Fix a bug where the MLDS back-end was generating references to `dummy_var',
2003-02-14 09:59:21 +00:00
ml_code_util.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
ml_dense_switch.m
…
ml_elim_nested.m
Output Managed C++ code using the same mechanisms as we do for C#
2002-06-21 13:26:50 +00:00
ml_optimize.m
Output Managed C++ code using the same mechanisms as we do for C#
2002-06-21 13:26:50 +00:00
ml_simplify_switch.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
ml_string_switch.m
Fix a typo in a comment.
2002-09-27 06:59:17 +00:00
ml_switch_gen.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
ml_tag_switch.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
ml_tailcall.m
Fix a bug: calls to functions nested within the current function
2002-09-21 09:48:43 +00:00
ml_type_gen.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
ml_unify_gen.m
Fix yet another place where the MLDS back-end was generating
2003-02-14 13:34:48 +00:00
ml_util.m
Make all types in rtti_implemenation.m low-level, as this
2002-11-27 13:30:19 +00:00
mlds_to_c.m
Add a facility for recording boolean flags in the RTTI structures
2003-02-26 06:37:01 +00:00
mlds_to_gcc.m
Add a facility for recording boolean flags in the RTTI structures
2003-02-26 06:37:01 +00:00
mlds_to_il.m
Add "private_builtin.ref/1" to the list of built-in types
2003-02-13 06:03:10 +00:00
mlds_to_ilasm.m
Add Java support to the foreign language interface.
2003-02-11 02:14:28 +00:00
mlds_to_java.m
Add Java support to the foreign language interface.
2003-02-11 02:14:28 +00:00
mlds_to_managed.m
Change `mmc --make' so that it no longer builds the external foreign
2002-12-23 12:34:20 +00:00
mlds.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
Mmakefile
Fix a bug that broke building with --use-subdirs.
2003-02-21 21:11:57 +00:00
mmc_analysis.m
A first implementation of the inter-module analysis framwork.
2003-01-02 07:35:00 +00:00
mode_debug.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
mode_errors.m
Improve the display of insts in mode error messages.
2002-08-12 02:37:12 +00:00
mode_info.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
mode_util.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
modecheck_call.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
modecheck_unify.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
modes.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
module_qual.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
modules.m
Add the new 'cord' module to the standard library.
2003-02-19 05:54:40 +00:00
opt_debug.m
Extend the information we record about procedures when debugging is enabled
2002-11-15 04:50:49 +00:00
opt_util.m
Get pragma foreign_type working for the C backend.
2002-05-07 11:03:17 +00:00
optimize.m
Optimize shallow traced modules by not adding calls to MR_trace to shallow
2002-07-30 08:25:20 +00:00
options_file.m
Implement the ml and c2init scripts in the compiler to
2003-02-05 14:41:20 +00:00
options.m
Add support for two new compiler options,
2003-02-21 01:57:38 +00:00
par_conj_gen.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
parse_tree.m
Allow arbitrary mappings from source file name to module name.
2002-04-15 05:04:23 +00:00
passes_aux.m
Add a work-around for a bug where it was passing Unix-style file
2003-02-19 07:42:42 +00:00
pd_cost.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
pd_debug.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
pd_info.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
pd_term.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
pd_util.m
Fix a problem reported by Fergus where deforestation
2003-02-06 00:36:38 +00:00
peephole.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
polymorphism.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
post_typecheck.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
pragma_c_gen.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
process_util.m
Various bug fixes for the `il' grade.
2003-02-13 08:28:43 +00:00
prog_data.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
prog_io_dcg.m
Implemented state variable transformation.
2002-07-09 01:31:12 +00:00
prog_io_goal.m
Implemented state variable transformation.
2002-07-09 01:31:12 +00:00
prog_io_pragma.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
prog_io_typeclass.m
Change the compiler and tools so that .' and not :' is now used as the
2003-01-17 05:57:20 +00:00
prog_io_util.m
Implemented state variable transformation.
2002-07-09 01:31:12 +00:00
prog_io.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
prog_out.m
Change the compiler and tools so that .' and not :' is now used as the
2003-01-17 05:57:20 +00:00
prog_rep.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
prog_util.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
pseudo_type_info.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
purity.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
quantification.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
reassign.m
Fix a bug that caused the compiler to generate incorrect code
2002-04-14 04:07:08 +00:00
recompilation.check.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
recompilation.m
Fix a bug which caused a compiler abort when compiling
2002-07-29 16:28:32 +00:00
recompilation.usage.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
recompilation.version.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
rl_analyse.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_block_opt.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_block.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_code.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_dump.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_exprn.m
Change the compiler and tools so that .' and not :' is now used as the
2003-01-17 05:57:20 +00:00
rl_file.pp
Add some more XXX comments about places which may be assuming
2003-01-10 10:36:28 +00:00
rl_gen.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
rl_info.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_key.m
Improvements for `:- pragma foreign_type'.
2002-06-30 17:07:20 +00:00
rl_liveness.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_loop.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_opt.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_out.pp
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
rl_relops.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_sort.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl_stream.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
rl.m
Split code_aux.m into two. The part that remains in code_aux.m needs stuff
2002-03-22 07:10:41 +00:00
rtti_out.m
Add a facility for recording boolean flags in the RTTI structures
2003-02-26 06:37:01 +00:00
rtti_to_mlds.m
Add a facility for recording boolean flags in the RTTI structures
2003-02-26 06:37:01 +00:00
rtti.m
Add a facility for recording boolean flags in the RTTI structures
2003-02-26 06:37:01 +00:00
saved_vars.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
simplify.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
source_file_map.m
Change the compiler and tools so that .' and not :' is now used as the
2003-01-17 05:57:20 +00:00
source_stats.awk
…
special_pred.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
stack_alloc.m
Optimize shallow traced modules by not adding calls to MR_trace to shallow
2002-07-30 08:25:20 +00:00
stack_layout.m
Fix a bug in my previous change, which stopped it compiling in
2003-02-16 04:57:32 +00:00
stack_opt.m
Implement `:- pragma reserve_tag(<TypeName>/<Arity>).'.
2003-01-14 16:42:44 +00:00
static_term.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
store_alloc.m
Optimize shallow traced modules by not adding calls to MR_trace to shallow
2002-07-30 08:25:20 +00:00
stratify.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
string_switch.m
Hide the events associated with the goals inserted by tabling transformations,
2002-09-09 07:48:25 +00:00
switch_detection.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
switch_gen.m
Hide the events associated with the goals inserted by tabling transformations,
2002-09-09 07:48:25 +00:00
switch_util.m
Implement `:- pragma reserve_tag(<TypeName>/<Arity>).'.
2003-01-14 16:42:44 +00:00
table_gen.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
tag_switch.m
Hide the events associated with the goals inserted by tabling transformations,
2002-09-09 07:48:25 +00:00
term_errors.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
term_pass1.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
term_pass2.m
Read in the `.opt' files transitively, so that we get all the definitions
2002-05-09 16:31:13 +00:00
term_traversal.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
term_util.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
termination.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
timestamp.m
Fix a bug where we were implicitly relying on order-of-evaluation:
2002-11-21 07:08:40 +00:00
top_level.m
Various fixes for the .NET back-end.
2003-02-16 02:16:36 +00:00
trace_params.m
Delete trace level decl, since there was only a very small distinction
2002-09-29 10:30:59 +00:00
trace.m
Hide the events associated with the goals inserted by tabling transformations,
2002-09-09 07:48:25 +00:00
trans_opt.m
Fix a bug which caused misleading error messages when
2002-10-24 04:36:57 +00:00
transform_hlds.m
A first implementation of the inter-module analysis framwork.
2003-01-02 06:54:03 +00:00
transform_llds.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
transform.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
tree.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00
type_ctor_info.m
Add a facility for recording boolean flags in the RTTI structures
2003-02-26 06:37:01 +00:00
type_util.m
Allow user-defined comparison functions using the syntax
2003-02-12 22:58:20 +00:00
typecheck.m
Fix a bug reported by Michael Day which caused spurious
2003-02-22 13:18:34 +00:00
unify_gen.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
unify_proc.m
Fix bugs in the handling of purity in the optimization passes
2003-02-28 00:21:42 +00:00
unique_modes.m
Support impurity declarations for higher-order code.
2003-01-27 09:21:03 +00:00
unneeded_code.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
unused_args.m
Add support for two new compiler options,
2003-02-21 01:57:38 +00:00
use_local_vars.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
var_locn.m
This diff implements stack slot optimization for the LLDS back end based on
2002-03-28 03:44:41 +00:00
vn_livemap.m
…
wrap_blocks.m
Use sub-modules to structure the modules in the Mercury compiler directory.
2002-03-20 12:37:56 +00:00