From: Richard Henderson <rth@twiddle.net>
To: Anthony Liguori <anthony@codemonkey.ws>,
Peter Maydell <peter.maydell@linaro.org>
Cc: kvm-devel <kvm@vger.kernel.org>, Gleb Natapov <gleb@redhat.com>,
Patch Tracking <patches@linaro.org>,
QEMU Developers <qemu-devel@nongnu.org>,
Andreas Tobler <andreast@freebsd.org>,
Anthony Liguori <aliguori@amazon.com>,
Paolo Bonzini <pbonzini@redhat.com>
Subject: Re: [Qemu-devel] [PATCH for-1.7] target-i386: Fix build by providing stub kvm_arch_get_supported_cpuid()
Date: Wed, 13 Nov 2013 04:54:05 +1000 [thread overview]
Message-ID: <5282794D.20108@twiddle.net> (raw)
In-Reply-To: <CA+aC4kuuwuPB6YgZtHT+8kJ+JZSe3AokfvEGxk9ocTb5NFzg4Q@mail.gmail.com>
On 11/13/2013 03:04 AM, Anthony Liguori wrote:
> On Tue, Nov 12, 2013 at 8:08 AM, Peter Maydell <peter.maydell@linaro.org> wrote:
>> On 12 November 2013 15:58, Paolo Bonzini <pbonzini@redhat.com> wrote:
>>> I don't really see a reason why QEMU should give clang more weight than
>>> Windows or Mac OS X.
>>
>> I'm not asking for more weight (and actually my main
>> reason for caring about clang is exactly MacOSX). I'm
>> just asking that when a bug is reported whose underlying
>> cause is "we don't work on clang because we're relying on
>> undocumented behaviour of gcc" with an attached patch that
>> fixes this by not relying on the undocumented behaviour,
>> that we apply the patch rather than saying "why do we
>> care about clang"...
>
> QEMU has always been intimately tied to GCC. Heck, it all started as
> a giant GCC hack relying on entirely undocumented behavior (dyngen's
> disassembly of functions).
>
> There's nothing intrinsically bad about being tied to GCC. If you
> were making argument that we could do it a different way and the
> result would be as nice or nicer, then it wouldn't be a discussion.
>
> But if supporting clang means we have to remove useful things, then
> it's always going to be an uphill battle.
>
> In this case, the whole discussion is a bit silly. Have you actually
For what it's worth, I think BOTH of the patches that have been posted
should be applied. That is, the patch that does (X || 1) -> (1 || X),
and the patch that adds the stub.
Frankly I'd have thought this was obvious and I'm a bit dismayed about
how long this thread has continued.
As far as GCC is concerned, we consider trivial dead code elimination
like this to be a quality of implementation issue. We would never
remove it, even from -O0. We can't guarantee how successful we can
be, but that's what bug reports and regression tests are for.
r~
WARNING: multiple messages have this Message-ID (diff)
From: Richard Henderson <rth@twiddle.net>
To: Anthony Liguori <anthony@codemonkey.ws>,
Peter Maydell <peter.maydell@linaro.org>
Cc: kvm-devel <kvm@vger.kernel.org>, Gleb Natapov <gleb@redhat.com>,
Patch Tracking <patches@linaro.org>,
QEMU Developers <qemu-devel@nongnu.org>,
Andreas Tobler <andreast@freebsd.org>,
Anthony Liguori <aliguori@amazon.com>,
Paolo Bonzini <pbonzini@redhat.com>
Subject: Re: [Qemu-devel] [PATCH for-1.7] target-i386: Fix build by providing stub kvm_arch_get_supported_cpuid()
Date: Wed, 13 Nov 2013 04:54:05 +1000 [thread overview]
Message-ID: <5282794D.20108@twiddle.net> (raw)
In-Reply-To: <CA+aC4kuuwuPB6YgZtHT+8kJ+JZSe3AokfvEGxk9ocTb5NFzg4Q@mail.gmail.com>
On 11/13/2013 03:04 AM, Anthony Liguori wrote:
> On Tue, Nov 12, 2013 at 8:08 AM, Peter Maydell <peter.maydell@linaro.org> wrote:
>> On 12 November 2013 15:58, Paolo Bonzini <pbonzini@redhat.com> wrote:
>>> I don't really see a reason why QEMU should give clang more weight than
>>> Windows or Mac OS X.
>>
>> I'm not asking for more weight (and actually my main
>> reason for caring about clang is exactly MacOSX). I'm
>> just asking that when a bug is reported whose underlying
>> cause is "we don't work on clang because we're relying on
>> undocumented behaviour of gcc" with an attached patch that
>> fixes this by not relying on the undocumented behaviour,
>> that we apply the patch rather than saying "why do we
>> care about clang"...
>
> QEMU has always been intimately tied to GCC. Heck, it all started as
> a giant GCC hack relying on entirely undocumented behavior (dyngen's
> disassembly of functions).
>
> There's nothing intrinsically bad about being tied to GCC. If you
> were making argument that we could do it a different way and the
> result would be as nice or nicer, then it wouldn't be a discussion.
>
> But if supporting clang means we have to remove useful things, then
> it's always going to be an uphill battle.
>
> In this case, the whole discussion is a bit silly. Have you actually
For what it's worth, I think BOTH of the patches that have been posted
should be applied. That is, the patch that does (X || 1) -> (1 || X),
and the patch that adds the stub.
Frankly I'd have thought this was obvious and I'm a bit dismayed about
how long this thread has continued.
As far as GCC is concerned, we consider trivial dead code elimination
like this to be a quality of implementation issue. We would never
remove it, even from -O0. We can't guarantee how successful we can
be, but that's what bug reports and regression tests are for.
r~
next prev parent reply other threads:[~2013-11-12 18:54 UTC|newest]
Thread overview: 70+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-11 21:22 [PATCH for-1.7] target-i386: Fix build by providing stub kvm_arch_get_supported_cpuid() Peter Maydell
2013-11-11 21:22 ` [Qemu-devel] " Peter Maydell
2013-11-11 21:28 ` Andreas Tobler
2013-11-11 21:28 ` [Qemu-devel] " Andreas Tobler
2013-11-11 22:19 ` Paolo Bonzini
2013-11-11 22:19 ` [Qemu-devel] " Paolo Bonzini
2013-11-11 22:38 ` Peter Maydell
2013-11-11 22:38 ` [Qemu-devel] " Peter Maydell
2013-11-11 23:11 ` Paolo Bonzini
2013-11-11 23:11 ` [Qemu-devel] " Paolo Bonzini
2013-11-11 23:21 ` Anthony Liguori
2013-11-11 23:21 ` [Qemu-devel] " Anthony Liguori
2013-11-12 7:09 ` Paolo Bonzini
2013-11-12 7:09 ` [Qemu-devel] " Paolo Bonzini
2013-11-12 11:07 ` Peter Maydell
2013-11-12 11:07 ` [Qemu-devel] " Peter Maydell
2013-11-12 12:09 ` Paolo Bonzini
2013-11-12 12:09 ` [Qemu-devel] " Paolo Bonzini
2013-11-12 12:16 ` Peter Maydell
2013-11-12 12:16 ` [Qemu-devel] " Peter Maydell
2013-11-12 13:12 ` Paolo Bonzini
2013-11-12 13:12 ` [Qemu-devel] " Paolo Bonzini
2013-11-12 13:21 ` Peter Maydell
2013-11-12 13:21 ` [Qemu-devel] " Peter Maydell
2013-11-12 13:26 ` Gleb Natapov
2013-11-12 13:26 ` [Qemu-devel] " Gleb Natapov
2013-11-12 13:23 ` Gleb Natapov
2013-11-12 13:23 ` [Qemu-devel] " Gleb Natapov
2013-11-12 13:57 ` Paolo Bonzini
2013-11-12 13:57 ` [Qemu-devel] " Paolo Bonzini
2013-11-12 14:09 ` Gleb Natapov
2013-11-12 14:09 ` [Qemu-devel] " Gleb Natapov
2013-11-12 14:14 ` Peter Maydell
2013-11-12 14:14 ` [Qemu-devel] " Peter Maydell
2013-11-12 14:57 ` Paolo Bonzini
2013-11-12 14:57 ` [Qemu-devel] " Paolo Bonzini
2013-11-12 15:13 ` Peter Maydell
2013-11-12 15:13 ` [Qemu-devel] " Peter Maydell
2013-11-12 15:21 ` Paolo Bonzini
2013-11-12 15:21 ` [Qemu-devel] " Paolo Bonzini
2013-11-12 15:32 ` Peter Maydell
2013-11-12 15:32 ` [Qemu-devel] " Peter Maydell
2013-11-12 15:58 ` Paolo Bonzini
2013-11-12 15:58 ` [Qemu-devel] " Paolo Bonzini
2013-11-12 16:08 ` Peter Maydell
2013-11-12 16:08 ` [Qemu-devel] " Peter Maydell
2013-11-12 17:04 ` Anthony Liguori
2013-11-12 17:04 ` [Qemu-devel] " Anthony Liguori
2013-11-12 17:20 ` Peter Maydell
2013-11-12 17:20 ` [Qemu-devel] " Peter Maydell
2013-11-12 18:54 ` Richard Henderson [this message]
2013-11-12 18:54 ` Richard Henderson
2013-11-12 18:57 ` Peter Maydell
2013-11-12 18:57 ` Peter Maydell
2013-11-12 19:15 ` Stefan Weil
2013-11-12 19:15 ` [Qemu-devel] " Stefan Weil
2013-11-12 22:53 ` Paolo Bonzini
2013-11-12 22:53 ` Paolo Bonzini
2013-11-13 2:27 ` Richard Henderson
2013-11-13 2:27 ` Richard Henderson
2013-11-13 7:25 ` Paolo Bonzini
2013-11-13 7:25 ` Paolo Bonzini
2013-11-13 22:23 ` Peter Maydell
2013-11-13 22:23 ` Peter Maydell
2013-11-13 7:26 ` Gleb Natapov
2013-11-13 7:26 ` Gleb Natapov
2013-11-12 14:01 ` Peter Maydell
2013-11-12 14:01 ` [Qemu-devel] " Peter Maydell
2013-11-11 23:23 ` Peter Maydell
2013-11-11 23:23 ` [Qemu-devel] " Peter Maydell
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=5282794D.20108@twiddle.net \
--to=rth@twiddle.net \
--cc=aliguori@amazon.com \
--cc=andreast@freebsd.org \
--cc=anthony@codemonkey.ws \
--cc=gleb@redhat.com \
--cc=kvm@vger.kernel.org \
--cc=patches@linaro.org \
--cc=pbonzini@redhat.com \
--cc=peter.maydell@linaro.org \
--cc=qemu-devel@nongnu.org \
/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.