[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