------- Comment #20 from jakub at gcc dot gnu dot org 2010-06-10 15:22 ------- Another option is to disallow side-effects in inline asm memory operands and let the user explicitly request that the side-effects are possible, through some new constraint modifier (e.g. _ used as "_mi" or "=_g" would tell auto-inc-dec it can put side-effects into it). When _ is present, the user would promise that the mem operand is used exactly once in an insn that is executed exactly once in that inline asm and that any target dependent modifiers that are needed for auto-update insns are used too (%P on ia64, %U on ppc, etc.).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44492