[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PATCH v4 02/64] tcg: Minor adjustments to deposit expa
From: |
Alex Bennée |
Subject: |
Re: [Qemu-devel] [PATCH v4 02/64] tcg: Minor adjustments to deposit expanders |
Date: |
Mon, 05 Dec 2016 13:18:50 +0000 |
User-agent: |
mu4e 0.9.18; emacs 25.1.90.2 |
Richard Henderson <address@hidden> writes:
> Assert that len is not 0.
>
> Since we have asserted that ofs + len <= N, a later
> check for len == N implies that ofs == 0.
>
> Signed-off-by: Richard Henderson <address@hidden>
> ---
> tcg/tcg-op.c | 6 ++++--
> 1 file changed, 4 insertions(+), 2 deletions(-)
>
> diff --git a/tcg/tcg-op.c b/tcg/tcg-op.c
> index c185b9c..b17f03f 100644
> --- a/tcg/tcg-op.c
> +++ b/tcg/tcg-op.c
> @@ -533,10 +533,11 @@ void tcg_gen_deposit_i32(TCGv_i32 ret, TCGv_i32 arg1,
> TCGv_i32 arg2,
> TCGv_i32 t1;
>
> tcg_debug_assert(ofs < 32);
> + tcg_debug_assert(len > 0);
> tcg_debug_assert(len <= 32);
> tcg_debug_assert(ofs + len <= 32);
>
> - if (ofs == 0 && len == 32) {
> + if (len == 32) {
> tcg_gen_mov_i32(ret, arg2);
> return;
> }
> @@ -1718,10 +1719,11 @@ void tcg_gen_deposit_i64(TCGv_i64 ret, TCGv_i64 arg1,
> TCGv_i64 arg2,
> TCGv_i64 t1;
>
> tcg_debug_assert(ofs < 64);
> + tcg_debug_assert(len > 0);
> tcg_debug_assert(len <= 64);
> tcg_debug_assert(ofs + len <= 64);
>
> - if (ofs == 0 && len == 64) {
> + if (len == 64) {
> tcg_gen_mov_i64(ret, arg2);
> return;
> }
Reviewed-by: Alex Bennée <address@hidden>
--
Alex Bennée
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Qemu-devel] [PATCH v4 02/64] tcg: Minor adjustments to deposit expanders,
Alex Bennée <=