https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67443
--- Comment #9 from Dominik Vogt <vogt at linux dot vnet.ibm.com> --- > or %r1,%r2 # 32-bit or r1 := r1 | r2 -> 0xXX00YYYY ^^^^ This should be or %r1,%r2 # 32-bit or r1 := r1 | r2 -> 0xXXYYYYYY ^^^^ Sorry for the typo.