Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id ; Sun, 2 Mar 2003 13:15:31 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id ; Sun, 2 Mar 2003 13:15:31 -0500 Received: from smtpzilla2.xs4all.nl ([194.109.127.138]:27410 "EHLO smtpzilla2.xs4all.nl") by vger.kernel.org with ESMTP id ; Sun, 2 Mar 2003 13:15:29 -0500 Date: Sun, 2 Mar 2003 19:25:43 +0100 (CET) From: Roman Zippel X-X-Sender: roman@serv To: Ulrich Drepper cc: Norbert Kiesel , Subject: Re: [PATCH] Multiple & vs. && and | vs. || bugs in 2.4.20 In-Reply-To: <3E6247F7.8060301@redhat.com> Message-ID: References: <20030302121425.GA27040@defiant> <3E6247F7.8060301@redhat.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 940 Lines: 30 Hi, On Sun, 2 Mar 2003, Ulrich Drepper wrote: > > - if (!urb->status & !acm->throttle) { > > + if (!urb->status && !acm->throttle) { > > [...] > > Observe the extra 'jne' and the fact that the value of 'throttle' > element cannot be loaded until after the conditional jump. Not even > out of order execution can arrange that. But speculative execution can arrange that (providing the cpu predicted the jump target correctly). > To summarize, I'd probably not be amused if you would change any of my > code which takes advantage of such programming finess. If that was really intentional, I would assume to see something like this: if (!(urb->status | acm->throttle)) { bye, Roman - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/