[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for
From: |
Aurelien Jarno |
Subject: |
Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb |
Date: |
Tue, 29 Jul 2014 00:52:54 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Mon, Jul 28, 2014 at 11:34:30PM +0100, Peter Maydell wrote:
> On 28 July 2014 23:32, Aurelien Jarno <address@hidden> wrote:
> > On Mon, Jul 28, 2014 at 11:01:02PM +0100, Peter Maydell wrote:
> >> This may be true, but the TCG README doesn't define negative
> >> lengths as being "unspecified behaviour" (ie guaranteed to at
> >> least not crash even if the result isn't specified), and in fact the
> >> implementation of tcg_gen_deposit will assert on negative lengths.
> >> We shouldn't implement guest unpredictable cases as "crash QEMU".
> >
> > Well I tried this code under QEMU, and it clearly doesn't crash. It
> > seems the assert are not enabled with the default configuration options.
>
> Try --enable-debug...
That's my point, it's only in debug mode, not in the default
configuration.
> > That said I agree it's something to avoid, but I don't think triggering
> > a RI exception is the thing to do (even if it is correct according the
> > MIPS ISA manual) when real silicon output a random result instead.
>
> Yes, you could emit code to do that instead if you like.
When I said random, it didn't say in the sense of random generator, but
in the sense a result that might depend on the input value and the
silicon implementation. It would be silly to emit code just for that,
but it would be smart for example to skip the deposit op in that case
instead of triggering an exception.
--
Aurelien Jarno GPG: 4096R/1DDD8C9B
address@hidden http://www.aurel32.net
- [Qemu-devel] [PATCH 1/2] target-mips/translate.c: Free TCG in OPC_DINSV, Dongxue Zhang, 2014/07/28
- [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb, Dongxue Zhang, 2014/07/28
- Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb, Aurelien Jarno, 2014/07/28
- Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb, Peter Maydell, 2014/07/28
- Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb, Aurelien Jarno, 2014/07/28
- Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb, Peter Maydell, 2014/07/28
- Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb,
Aurelien Jarno <=
- Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb, Elta, 2014/07/29
- Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb, Aurelien Jarno, 2014/07/29
- Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb, Dongxue Zhang, 2014/07/29
- Re: [Qemu-devel] [PATCH 2/2] target-mips/translate.c: Add judgement for msb and lsb, Peter Maydell, 2014/07/29
Re: [Qemu-devel] [PATCH 1/2] target-mips/translate.c: Free TCG in OPC_DINSV, Aurelien Jarno, 2014/07/28