[X86] Fix a bug with fetch_add(INT32_MIN)