Thanks for looking at the update.
<Option name="Generate extra profiling information"
option="--profile"/>
Not all ports support this. Some ports just lost support in 4.2.0.
<Option name="Callee will always save registers used"
option="--all-callee-saves"/>
Not sure which ports actually support this.
These two options are carry-overs from the old configuration file, I
didn't add them. I see now that I've searched in the manual that there
is a line in the 'Compatibility with previous versions' section that
says "In 4.1.13, support for –profile has been removed". I'll either
remove it or make it conditional for <4.2.0.
By the way, initially a search in the manual for '--profile' yielded no
results. It seems that three mentions of that option in that section got
turned into '–profile', with a long hyphen character instead of two
dashes. I think it is probably worth checking that there are no other
instances of that inadvertent conversion. It makes it hard to find stuff
concerning command line options if someone is searching with only the
'--' prefix.
<Option name="Never use a frame pointer"
option="--fomit-frame-pointer"
supersedes="--fno-omit-frame-pointer"/>
<Option name="Always use a frame pointer"
option="--fno-omit-frame-pointer"
supersedes="--fomit-frame-pointer"
checkAgainst="-mpdk13 -mpdk14 -mpdk15"
checkMessage="Padauk backends do not support a frame
pointer; --fno-omit-frame-pointer will be ignored."/>
I suspect that there are more ports than just pdk where these options
do not work.
Again, this is a carry-over as-is from the old configuration file. If
anyone could list exactly which ports don't support it, I'll update the
restriction.
<Option name="Insert call to function __stack_probe at each
function prologue"
option="--stack-probe"/>
Not sure if this works for all ports.
Guess I could remove it then, as it's a pretty specialised and probably
very rarely used option. Question: for options that don't work on all
ports, are they silently ignored, or will SDCC give an error?
Regards,
Basil Hussain
_______________________________________________
Sdcc-user mailing list
Sdcc-user@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sdcc-user
