![]() |
![]()
| ![]() |
![]()
NAMErp2ps - Region-profile to Postscript generator. Part of the MLKit Standard ML compiler. SYNOPSISrp2ps [-region [filename]]
A description of the options are given below. DESCRIPTIONWhen invoked, rp2ps reads a profile data file (default is profile.rp) and outputs a Postscript file according to the provided options. Given a profile data file profile.rp, executing rp2ps -region will generate a region profile, which will be stored in a file region.ps. To get an overview of which program points allocate data in a particular region, use the -object option (see below). For the MLKit compiler to generate a profile data file to process with rp2ps , it is necessary to pass the option -prof to the MLKit executable. To learn more about region profiling with the MLKit, consult the MLKit manual "Programming with Regions in the MLKit", which is available from the MLKit home page and from the distributions. For more information about the MLKit, consult the MLKit home page: http://melsman.github.io/mlkit EXAMPLESFor examples, consult the MLKit manual "Programming with Regions in the MLKit", which is available from the MLKit home page and from the distributions. OPTIONS
EXIT STATUSExits with status 0 on success and -1 on failure. CREDITSThe MLKit (version 2 and beyond) was developed by Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy H. Olesen, Mads Tofte, and Carsten Varming. People who have contributed with bug-fixes and improvements include Peter Bertelsen, Ken Friis Larsen, Henning Niss, and Peter Sestoft. Nick Rothwell and David N. Turner took part in the development of the MLKit version 1. SEE ALSOmlkit(1) The MLKit manual "Programming with Regions in the MLKit", available from the MLKit home page http://melsman.github.io/mlkit
|