https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66768
--- Comment #1 from Armin Rigo <arigo at tunes dot org> --- Update: found out that the %gs prefix is correctly present when I compile with "gcc -O1 -fno-ivopts bug1.c -S". So ivopts might be the place to look.
