On Fri, 20 Jun 2014, Trevor Saunders wrote:
>> +@item -fipa-icf
>> +@opindex fipa-icf
>> +Perform Identical Code Folding for functions and read-only variables.
>> +Behavior is similar to Gold Linker ICF optimization. Symbols proved
>> +as semantically equivalent are redirected to corresponding symbol. The pass
>> +sensitively decides for usage of alias, thunk or local redirection.
>> +This flag is enabled by default at @option{-O2}.I found this a bit hard to read/understand. Perhaps first describe what it does and then, before "This flag is enabled..." note that "This is similar to the ICF optimization performed by the Gold linker". "Symbols proved" (plural) vs "to corresponding symbol" seems to miss an an "a" as in "a corresponding symbol". Alas, how is that one determined? Is this more "...are merged into one", from the user's perspective? What does it mean to "sensitively decide for usage of alias, thunk, or local redirection"? Gerald
