https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98190
--- Comment #3 from Victor Stinner <vstinner at redhat dot com> --- Well, either all 64 bits of w4 and w5 registries should be initialized properly, or the comparison should be done only on the least significant 8 bits: (gdb) p ($w5 & 0xff) == ($w4 & 0xff) $7 = 1 These bits are equal as expected ;-)