[m-rev.] diff: remove yet more aditi stuff

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

compiler/Mercury.options:
compiler/arg_info.m:
	Delete some more Aditi specific stuff.

Julien.

Index: compiler/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Mercury.options,v
retrieving revision 1.20
diff -u -r1.20 Mercury.options
--- compiler/Mercury.options	27 Jan 2006 05:52:03 -0000	1.20
+++ compiler/Mercury.options	24 Feb 2006 07:15:54 -0000
@@ -6,16 +6,6 @@
 # Mercury.options - module-specific flags for Mmake and `mmc --make'.
 #-----------------------------------------------------------------------------#

-# Compilation of rl_code.c is really slow, especially with --trace deep,
-# at the default level of -O2, due to the C optimizer's use of quadratic
-# algorithms on a couple of 20,000-line functions (the automatically
-# generated index and compare routines on the bytecode type). The code in this
-# module can't really benefit from those algorithms anyway. With -O1 and
-# --trace deep, it still takes 8 minutes on miles. Simon can change the
-# --trace-minimum to --trace deep in his workspaces if he needs to.
-CFLAGS-aditi_backend.rl_code=-O0
-MCFLAGS-aditi_backend.rl_code=--opt-space --trace minimum
-
 # llds_out.m contains some sanity checking code that is usually turned off.
 # However, the cost of checking whether they turned off exceeds the cost of
 # performing them unless inlining is enabled.
@@ -42,10 +32,6 @@
 MCFLAGS-mode_robdd.tfeirn = -O3
 MCFLAGS-mode_robdd.implications = -O0

-# rl_info.m contains a general purpose wrapper around string.format
-# that needs this option.
-# MCFLAGS-aditi_backend.rl_info = --no-warn-unknown-format-calls
-
 # The c_code in the module gcc.m needs the header files from the GNU C
 # distribution.  Note that we need to compile these with
 # -DMR_NO_BACKWARDS_COMPAT, because otherwise there are name
Index: compiler/arg_info.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/arg_info.m,v
retrieving revision 1.51
diff -u -r1.51 arg_info.m
--- compiler/arg_info.m	23 Feb 2006 09:36:48 -0000	1.51
+++ compiler/arg_info.m	24 Feb 2006 07:16:13 -0000
@@ -37,8 +37,8 @@

 %-----------------------------------------------------------------------------%

-    % Annotate every non-aditi procedure in the module with information
-    % about its argument passing interface.
+    % Annotate every procedure in the module with information about its
+    % argument passing interface.
     %
 :- pred generate_arg_info(module_info::in, module_info::out) is det.


--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------