[m-rev.] trivial diff: disable optimized tailcalls for Java
Michael Wybrow
mjwybrow at students.cs.mu.oz.au
Wed Feb 13 15:20:25 AEDT 2002
===================================================================
Estimated hours taken: 0.1
Branches: main
Disable optimized tailcalls for the Java back-end since they currently
generate unreachable code that javac will not compile.
mercury/compiler/handle_options.m:
Disable optimized tailcalls when compiling to Java.
Index: handle_options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.129
diff -u -r1.129 handle_options.m
--- handle_options.m 12 Feb 2002 16:36:00 -0000 1.129
+++ handle_options.m 13 Feb 2002 03:58:46 -0000
@@ -313,12 +313,16 @@
% store nondet environments on the heap.
% XXX no static ground terms should be eliminated in a later
% version.
+ % XXX Optimized tailcalls currently cause compilation errors in the
+ % Java back-end because javac is unwilling to compile unreachable
+ % code they generate. For this reason they have been disabled.
( { Target = java } ->
globals__io_set_option(highlevel_code, bool(yes)),
globals__io_set_option(highlevel_data, bool(yes)),
globals__io_set_option(gcc_nested_functions, bool(no)),
globals__io_set_option(nondet_copy_out, bool(yes)),
globals__io_set_option(det_copy_out, bool(yes)),
+ globals__io_set_option(optimize_tailcalls, bool(no)),
globals__io_set_option(num_tag_bits, int(0)),
globals__io_set_option(static_ground_terms, bool(no)),
globals__io_set_option(put_nondet_env_on_heap, bool(yes))
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the reviews
mailing list