On 6/27/19 4:45 PM, Bruno Haible wrote:
> Can you please show an example code on which the change makes a difference?

Not easily, I'm afraid. I grabbed the latest Emacs master 
<https://git.savannah.gnu.org/git/emacs.git>, ran './configure; make 
CFLAGS=-O2', edited the emacs lib/verify.h, and ran 'make CFLAGS=-O2' 
again. The biggest percentage change in text size was in 
src/regex-emacs.o. I'll attach the two respective .s files, compressed.