[m-rev.] diff: enable --generate-trail-ops-inline by default

[Julien Fischer]

Estimated hours taken: 0.2
Branches: main

Make --generate-trail-ops-inline the default for trailing with the high-level
C backend.

compiler/options.m:
doc/user_guide.texi:
	Make --generate-trail-ops-inline the default.

	Document --no-generate-trail-ops-inline.

Julien.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.483
diff -u -r1.483 options.m
--- compiler/options.m	17 Dec 2005 14:30:52 -0000	1.483
+++ compiler/options.m	19 Dec 2005 01:58:38 -0000
@@ -318,7 +318,6 @@
     ;       nondet_copy_out
     ;       put_commit_in_own_func
     ;       put_nondet_env_on_heap
-    ;       generate_trail_ops_inline

     % IL back-end compilation model options
     ;       verifiable_code
@@ -561,6 +560,7 @@
     ;       optimize_tailcalls
     ;       optimize_initializations
     ;       eliminate_local_vars
+    ;       generate_trail_ops_inline

     %   - LLDS
     ;       common_data
@@ -1046,7 +1046,6 @@
     nondet_copy_out                     -   bool(no),
     put_commit_in_own_func              -   bool(no),
     put_nondet_env_on_heap              -   bool(no),
-    generate_trail_ops_inline           -   bool(no),

     % IL back-end compilation model options
     verifiable_code                     -   bool(no),
@@ -1258,9 +1257,10 @@
     allow_hijacks                       -   bool(yes),

     % MLDS
-    optimize_tailcalls                  -   bool(no),
+    optimize_tailcalls                  -  bool(no),
     optimize_initializations            -  bool(no),
-    eliminate_local_vars                -   bool(no),
+    eliminate_local_vars                -  bool(no),
+    generate_trail_ops_inline           -  bool(yes),

     % LLDS
     common_data                         -   bool(no),
@@ -1755,7 +1755,6 @@
 long_option("nondet-copy-out",      nondet_copy_out).
 long_option("put-commit-in-own-func",   put_commit_in_own_func).
 long_option("put-nondet-env-on-heap",   put_nondet_env_on_heap).
-long_option("generate-trail-ops-inline", generate_trail_ops_inline).
 % IL back-end compilation model options
 long_option("verifiable-code",      verifiable_code).
 long_option("verifiable",           verifiable_code).
@@ -1997,6 +1996,7 @@
 long_option("optimize-initializations", optimize_initializations).
 long_option("optimise-initializations", optimize_initializations).
 long_option("eliminate-local-vars", eliminate_local_vars).
+long_option("generate-trail-ops-inline", generate_trail_ops_inline).

 % LLDS optimizations
 long_option("common-data",          common_data).
@@ -4124,8 +4124,12 @@
         "\tassignment statements into initializers.",
         "--eliminate-local-vars",
         "\tEliminate local variables with known values, where possible,",
-        "\tby replacing occurrences of such variables with their values."
-    ]).
+        "\tby replacing occurrences of such variables with their values.",
+        "--no-generate-trail-ops-inline",
+        "\tDo not generate trailing operations inline,",
+        "\tbut instead insert calls to the versions of these operations",
+        "\tin the standard library."
+]).


 :- pred options_help_rl_rl_optimization(io::di, io::uo) is det.
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.460
diff -u -r1.460 user_guide.texi
--- doc/user_guide.texi	28 Nov 2005 02:30:25 -0000	1.460
+++ doc/user_guide.texi	19 Dec 2005 01:58:58 -0000
@@ -7227,6 +7227,13 @@
 @findex --eliminate-local-variables
 Eliminate local variables with known values, where possible,
 by replacing occurrences of such variables with their values.
+
+ at item --no-generate-trail-ops-inline
+ at findex --no-generate-trail-ops-inline
+ at findex --generate-trail-ops-inline
+Do not generate trailing operations inline,
+but instead insert calls to the versions of these operations
+in the standard library.
 @end table

 @node Medium-level (HLDS -> LLDS) optimization options

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------