On Wed, Apr 29, 2015 at 9:23 PM, Jakub Jelinek <ja...@redhat.com> wrote:
> On Wed, Apr 29, 2015 at 09:02:16PM +0200, Uros Bizjak wrote:
>> Hello!
>>
>> Attached patch implements a CCZ-only setting pattern for a couple of
>> BMI[,2] intrinsics.
>
> What about the case when the result is used, but also tested for zero or
> non-zero? Like e.g.
> int bar (void);
> int foo (unsigned int x, unsigned int y)
> {
> int v = __builtin_ia32_bextr_u32 (x, y);
> if (v)
> return v;
> return bar ();
> }
Yes, I have considered this usage, but it would require *another*
pattern. I don't think it is worth just to have one test insn less...
Uros.
