Command line options

ERCO supports the following runtime options:

General options

-help	print this information
-version	print version information
-print dir	dump symboltable in a file tree
-classpath dirlist	search class-files in dirlist
-main class	link and make executable: class contains main method
-ctstats	report statistics on the compilation process
-out file	filename of the output. Only used when linking, default is a.out
-recompilethrifty	do not compile class if the object file is newer than the classfile

Analysis & optimization

-objcons	instrument for object consistency
-accesscheck	instrument for access-checking
-racecheck	enable check for race conditions
-fasttid	pass tid in register to methods
-racefirstaccess	set objects orphan after creation
-allaccessinstr	instrument any access
-allthreadlocal	do not instrument heap access
-noaccessinstr	do not instrument any access
-nostaticinstr	do not instrument accesses to static members
-hierarchy	carry out class hierarchy analysis
-callgraph	compute call graph
-shapegraph	compute shape graph
-objlocalana	determine object-local
-heapwalk	annotate shape graph with access information
-cutofflocal	don't follow branches that read or write only local data during the heap walk
-cachecalls	don't walk path twice starting from the same context with the same arguments
-dummymethods	create dummy versions for dead methods
-ssa	enable static single assignment form
-nossa	disable static single assignement form
-copyprop	enable copy propagation
-pre	enable partial redundancy elimination
-cnstfold	enable constant folding
-fsalias	enable flow-sensitive alias analysis
-removeswitch	converts switch-case in a if-then-else sequence
-structanal	enables structural analysis
-copyprop	enables copy propagation
-pre	enables partial redundancy elimination
-cnstfold	enables constant folding
-fsalias	enable flow-sensitive alias analysis

Worst-case execution time estimation

-loopanalysis	enables loop iterations analysis
-falsepath	enables false path analysis
-usefpinfo	integrate sym. eval. results in loop analysis
-florida	loop analysis using the florida method only

Static initialization

-strictstatinit	enables strict static initialization
-optstatinit	enables optimization of static initializer calls

Code generation

-rtstats s1[,s2..]	instrument code for run-time statsistics s1, s2 ..
-asmsuffix	suffix for the assembly files (default: .s)

Postpass

-nopostpass	disables the post-pass step
-groupfinder	name of the group-finder algorithm
-groupfinder none	Don't emit group stops
-groupfinder normal	Find instruction groups in normal order
-groupfinder normal-bundles	Emit the 'normal' groups as bundles
-groupfinder reorder	Enlarge groups by reordering instructions
-groupfinder reorder-bundles	Emit the 'reorder' groups as bundles
-groupfinder schedule	Schedule instructions and emit bundles (default)

Debug

-debug level	print debug information (default:0)
-warn level	print warnings (default:0)
-nodepend	do not analyse super and external classes
-nocodegen	omit code generation
-nogcj	don't invoke assembler and linker
-printafter dir	dump symboltable in a file tree after special nodes are replaced
-printirbefore file	dump IR to file before special nodes are replaced
-printirafter file	dump IR to file after special nodes are replaced