Support for __sync_fetch_and_XXX builtins