On 01/09/2018 07:15 AM, Peter Maydell wrote: > (This is a build for arm32, running in a chroot on an aarch64 > box, non-debug build.)
It's an arm backend problem. For 64-bit setcond2, we do 0x6e5c3fa4: e1570008 cmp r7, r8 0x6e5c3fa8: 01550004 cmpeq r5, r4 0x6e5c3fac: b3a09001 movlt sb, #1 0x6e5c3fb0: a3a09000 movge sb, #0 which looks good, but only works for LTU not LT. I'll work on a fix. r~