[m-dev.] inefficiencies when creating the .opt file

Christopher Rodd SPEIRS crs at students.cs.mu.oz.au
Wed Jul 16 15:23:10 AEST 1997


> Estimated hours taken: 3
> 
> Efficiency improvements for inter-module optimization.
> 
> compiler/intermod.m
> compiler/mercury_compile.m
> 	Fix a bug with the date-stamps and --intermod-unused-args by
> 	delaying calling update_interface and touch_interface_datestamp
> 	until after the unused arguments information has been written to
> 	the .opt.tmp file.
> 
> compiler/unused_args.m
> 	Write unused argument information to the .opt.tmp file rather 
> 	than the .opt file.
> 
> compiler/dead_proc_elim.m
> compiler/mercury_compile.m
> 	Add a pass to eliminated dead non-local predicates immediately after 
> 	building the HLDS to avoid doing analysis of predicates from .opt 
> 	files which are not used.
> 
> compiler/hlds_module.m
> 	Add module_info_remove_predicate to remove a predicate completely from
> 	the predicate_table.
> 

That looks fine thanks Simon



Chris



More information about the developers mailing list