All of lore.kernel.org
 help / color / mirror / Atom feed
From: "Michael S. Tsirkin" <mst@redhat.com>
To: Stefan Weil <sw@weilnetz.de>
Cc: qemu-trivial@nongnu.org, Peter Maydell <peter.maydell@linaro.org>,
	qemu-ppc@nongnu.org, qemu-devel@nongnu.org, patches@linaro.org
Subject: Re: [Qemu-trivial] [Qemu-devel] [PATCH 03/12] hw/pci/pci_host.c: Avoid shifting left into sign bit
Date: Mon, 10 Mar 2014 23:46:36 +0200	[thread overview]
Message-ID: <20140310214636.GA5202@redhat.com> (raw)
In-Reply-To: <531E1A7C.3010706@weilnetz.de>

On Mon, Mar 10, 2014 at 09:03:08PM +0100, Stefan Weil wrote:
> Am 10.03.2014 20:10, schrieb Peter Maydell:
> > Add U suffix to avoid undefined behaviour.
> > 
> > Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
> > ---
> >  hw/pci/pci_host.c | 3 ++-
> >  1 file changed, 2 insertions(+), 1 deletion(-)
> > 
> > diff --git a/hw/pci/pci_host.c b/hw/pci/pci_host.c
> > index 77c7d1f..2c17916 100644
> > --- a/hw/pci/pci_host.c
> > +++ b/hw/pci/pci_host.c
> > @@ -142,8 +142,9 @@ static uint64_t pci_host_data_read(void *opaque,
> >  {
> >      PCIHostState *s = opaque;
> >      uint32_t val;
> > -    if (!(s->config_reg & (1 << 31)))
> > +    if (!(s->config_reg & (1u << 31))) {
> >          return 0xffffffff;
> 
> I suggest fixing that 0xffffffff, too. Do we expect here a 32 bit value
> (-1) which is expanded to a 64 bit value? Then 0xffffffffffffffffULL
> would be correct. Otherwise 0xffffffffU is clearer.

Hmm why is this clearer?  The spec says:

	The type of an integer constant is the first of the corresponding list
	in which its value can be represented.

Basically 0x<anything> is always a positive value and when cast to
uint64_t is not sign extended.


> Michael, are 8 byte reads possible here? If yes, the current code is wrong.

AFAIK they aren't possible on any platform we support.
So since we discard high bits 0 seems cleaner.

> > +    }
> >      val = pci_data_read(s->bus, s->config_reg | (addr & 3), len);
> >      PCI_DPRINTF("read addr " TARGET_FMT_plx " len %d val %x\n",
> >                  addr, len, val);
> > 
> 
> What about using the BIT macro from qemu/bitops.h? I think that BIT(31)
> looks better than (1u << 31).
> 
> Stefan

I slightly prefer 1u << 31 personally, standard C as opposed to qemu macros.


-- 
MST


WARNING: multiple messages have this Message-ID (diff)
From: "Michael S. Tsirkin" <mst@redhat.com>
To: Stefan Weil <sw@weilnetz.de>
Cc: qemu-trivial@nongnu.org, Peter Maydell <peter.maydell@linaro.org>,
	qemu-ppc@nongnu.org, qemu-devel@nongnu.org, patches@linaro.org
Subject: Re: [Qemu-devel] [PATCH 03/12] hw/pci/pci_host.c: Avoid shifting left into sign bit
Date: Mon, 10 Mar 2014 23:46:36 +0200	[thread overview]
Message-ID: <20140310214636.GA5202@redhat.com> (raw)
In-Reply-To: <531E1A7C.3010706@weilnetz.de>

On Mon, Mar 10, 2014 at 09:03:08PM +0100, Stefan Weil wrote:
> Am 10.03.2014 20:10, schrieb Peter Maydell:
> > Add U suffix to avoid undefined behaviour.
> > 
> > Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
> > ---
> >  hw/pci/pci_host.c | 3 ++-
> >  1 file changed, 2 insertions(+), 1 deletion(-)
> > 
> > diff --git a/hw/pci/pci_host.c b/hw/pci/pci_host.c
> > index 77c7d1f..2c17916 100644
> > --- a/hw/pci/pci_host.c
> > +++ b/hw/pci/pci_host.c
> > @@ -142,8 +142,9 @@ static uint64_t pci_host_data_read(void *opaque,
> >  {
> >      PCIHostState *s = opaque;
> >      uint32_t val;
> > -    if (!(s->config_reg & (1 << 31)))
> > +    if (!(s->config_reg & (1u << 31))) {
> >          return 0xffffffff;
> 
> I suggest fixing that 0xffffffff, too. Do we expect here a 32 bit value
> (-1) which is expanded to a 64 bit value? Then 0xffffffffffffffffULL
> would be correct. Otherwise 0xffffffffU is clearer.

Hmm why is this clearer?  The spec says:

	The type of an integer constant is the first of the corresponding list
	in which its value can be represented.

Basically 0x<anything> is always a positive value and when cast to
uint64_t is not sign extended.


> Michael, are 8 byte reads possible here? If yes, the current code is wrong.

AFAIK they aren't possible on any platform we support.
So since we discard high bits 0 seems cleaner.

> > +    }
> >      val = pci_data_read(s->bus, s->config_reg | (addr & 3), len);
> >      PCI_DPRINTF("read addr " TARGET_FMT_plx " len %d val %x\n",
> >                  addr, len, val);
> > 
> 
> What about using the BIT macro from qemu/bitops.h? I think that BIT(31)
> looks better than (1u << 31).
> 
> Stefan

I slightly prefer 1u << 31 personally, standard C as opposed to qemu macros.


-- 
MST

  reply	other threads:[~2014-03-10 21:46 UTC|newest]

Thread overview: 46+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-03-10 19:10 [Qemu-trivial] [PATCH 00/12] Avoid shifting left into sign bit Peter Maydell
2014-03-10 19:10 ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 01/12] target-i386: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 21:57   ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:57     ` [Qemu-devel] " Michael S. Tsirkin
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 02/12] hw/intc/apic.c: Use uint32_t for mask word in foreach_apic Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:39   ` [Qemu-trivial] " Stefan Weil
2014-03-10 19:39     ` Stefan Weil
2014-03-10 21:56   ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:56     ` [Qemu-devel] " Michael S. Tsirkin
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 03/12] hw/pci/pci_host.c: Avoid shifting left into sign bit Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 20:03   ` [Qemu-trivial] " Stefan Weil
2014-03-10 20:03     ` Stefan Weil
2014-03-10 21:46     ` Michael S. Tsirkin [this message]
2014-03-10 21:46       ` Michael S. Tsirkin
2014-03-10 21:58   ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:58     ` [Qemu-devel] " Michael S. Tsirkin
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 04/12] hw/i386/acpi_build.c: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 21:56   ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:56     ` [Qemu-devel] " Michael S. Tsirkin
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 05/12] target-mips: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 06/12] hw/usb/hcd-ohci.c: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 07/12] hw/intc/openpic: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 08/12] hw/ppc: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 09/12] tests/libqos/pci-pc: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 10/12] hw/intc/slavio_intctl: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 11/12] hw/intc/xilinx_intc: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 12/12] hw/pci-host/apb.c: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 21:59   ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:59     ` [Qemu-devel] " Michael S. Tsirkin
2014-03-14 16:45     ` [Qemu-trivial] " Michael Tokarev
2014-03-14 16:45       ` [Qemu-devel] " Michael Tokarev
2014-03-10 22:00 ` [Qemu-trivial] [PATCH 00/12] " Michael S. Tsirkin
2014-03-10 22:00   ` [Qemu-devel] " Michael S. Tsirkin

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20140310214636.GA5202@redhat.com \
    --to=mst@redhat.com \
    --cc=patches@linaro.org \
    --cc=peter.maydell@linaro.org \
    --cc=qemu-devel@nongnu.org \
    --cc=qemu-ppc@nongnu.org \
    --cc=qemu-trivial@nongnu.org \
    --cc=sw@weilnetz.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.