Re: [Qemu-devel] [PATCH] target-i386: fix pcmpxstrx equal-ordered (strstr) mode

2015-10-13 Thread Paolo Bonzini
On 13/10/2015 00:16, Richard Henderson wrote: > On 10/12/2015 08:50 PM, Paolo Bonzini wrote: >> In this mode, referring an invalid element of the source forces the >> result to false (table 4-7, last column) but referring an invalid >> element of the destination forces the result to true, so the

Re: [Qemu-devel] [PATCH] target-i386: fix pcmpxstrx equal-ordered (strstr) mode

2015-10-12 Thread Richard Henderson
On 10/12/2015 08:50 PM, Paolo Bonzini wrote: In this mode, referring an invalid element of the source forces the result to false (table 4-7, last column) but referring an invalid element of the destination forces the result to true, so the outer loop should still be run even if some elements of t

[Qemu-devel] [PATCH] target-i386: fix pcmpxstrx equal-ordered (strstr) mode

2015-10-12 Thread Paolo Bonzini
In this mode, referring an invalid element of the source forces the result to false (table 4-7, last column) but referring an invalid element of the destination forces the result to true, so the outer loop should still be run even if some elements of the destination will be invalid. They will be c