IPA sem equality: documentation and coding style.

Pass is just reporting all same function occurences, by default enabled
in O2.