[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PATCH v4 07/64] tcg/i386: Implement field extraction o
From: |
Paolo Bonzini |
Subject: |
Re: [Qemu-devel] [PATCH v4 07/64] tcg/i386: Implement field extraction opcodes |
Date: |
Fri, 25 Nov 2016 12:16:00 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 |
On 23/11/2016 14:01, Richard Henderson wrote:
> Signed-off-by: Richard Henderson <address@hidden>
> ---
> tcg/i386/tcg-target.h | 12 +++++++++---
> tcg/i386/tcg-target.inc.c | 38 ++++++++++++++++++++++++++++++++++++++
> 2 files changed, 47 insertions(+), 3 deletions(-)
>
> diff --git a/tcg/i386/tcg-target.h b/tcg/i386/tcg-target.h
> index 7625188..dc19c47 100644
> --- a/tcg/i386/tcg-target.h
> +++ b/tcg/i386/tcg-target.h
> @@ -94,8 +94,8 @@ extern bool have_bmi1;
> #define TCG_TARGET_HAS_nand_i32 0
> #define TCG_TARGET_HAS_nor_i32 0
> #define TCG_TARGET_HAS_deposit_i32 1
> -#define TCG_TARGET_HAS_extract_i32 0
> -#define TCG_TARGET_HAS_sextract_i32 0
> +#define TCG_TARGET_HAS_extract_i32 1
> +#define TCG_TARGET_HAS_sextract_i32 1
> #define TCG_TARGET_HAS_movcond_i32 1
> #define TCG_TARGET_HAS_add2_i32 1
> #define TCG_TARGET_HAS_sub2_i32 1
> @@ -126,7 +126,7 @@ extern bool have_bmi1;
> #define TCG_TARGET_HAS_nand_i64 0
> #define TCG_TARGET_HAS_nor_i64 0
> #define TCG_TARGET_HAS_deposit_i64 1
> -#define TCG_TARGET_HAS_extract_i64 0
> +#define TCG_TARGET_HAS_extract_i64 1
> #define TCG_TARGET_HAS_sextract_i64 0
> #define TCG_TARGET_HAS_movcond_i64 1
> #define TCG_TARGET_HAS_add2_i64 1
> @@ -142,6 +142,12 @@ extern bool have_bmi1;
> ((ofs) == 0 && (len) == 16))
> #define TCG_TARGET_deposit_i64_valid TCG_TARGET_deposit_i32_valid
>
> +/* Check for the possibility of high-byte extraction and, for 64-bit,
> + zero-extending 32-bit right-shift. */
> +#define TCG_TARGET_extract_i32_valid(ofs, len) ((ofs) == 8 && (len) == 8)
> +#define TCG_TARGET_extract_i64_valid(ofs, len) \
> + (((ofs) == 8 && (len) == 8) || ((ofs) + (len)) == 32)
32-bit x86 can do an "extract2" with shld or shrd when the length is 32.
I wonder if other architectures have a similar instruction, or if it
would be a useful addition. With the length limited as in x86, it would
be a rehash of the trunc_shr_i32 instruction that was removed last year.
Paolo
> #if TCG_TARGET_REG_BITS == 64
> # define TCG_AREG0 TCG_REG_R14
> #else
> diff --git a/tcg/i386/tcg-target.inc.c b/tcg/i386/tcg-target.inc.c
> index eeb1777..39f62bd 100644
> --- a/tcg/i386/tcg-target.inc.c
> +++ b/tcg/i386/tcg-target.inc.c
> @@ -2143,6 +2143,40 @@ static inline void tcg_out_op(TCGContext *s, TCGOpcode
> opc,
> }
> break;
>
> + case INDEX_op_extract_i64:
> + if (args[2] + args[3] == 32) {
> + /* This is a 32-bit zero-extending right shift. */
> + tcg_out_mov(s, TCG_TYPE_I32, args[0], args[1]);
> + tcg_out_shifti(s, SHIFT_SHR, args[0], args[2]);
> + break;
> + }
> + /* FALLTHRU */
> + case INDEX_op_extract_i32:
> + /* On the off-chance that we can use the high-byte registers.
> + Otherwise we emit the same ext16 + shift pattern that we
> + would have gotten from the normal tcg-op.c expansion. */
> + tcg_debug_assert(args[2] == 8 && args[3] == 8);
> + if (args[1] < 4 && args[0] < 8) {
> + tcg_out_modrm(s, OPC_MOVZBL, args[0], args[1] + 4);
> + } else {
> + tcg_out_ext16u(s, args[0], args[1]);
> + tcg_out_shifti(s, SHIFT_SHR, args[0], 8);
> + }
> + break;
> +
> + case INDEX_op_sextract_i32:
> + /* We don't implement sextract_i64, as we cannot sign-extend to
> + 64-bits without using the REX prefix that explicitly excludes
> + access to the high-byte registers. */
> + tcg_debug_assert(args[2] == 8 && args[3] == 8);
> + if (args[1] < 4 && args[0] < 8) {
> + tcg_out_modrm(s, OPC_MOVSBL, args[0], args[1] + 4);
> + } else {
> + tcg_out_ext16s(s, args[0], args[1], 0);
> + tcg_out_shifti(s, SHIFT_SAR, args[0], 8);
> + }
> + break;
> +
> case INDEX_op_mb:
> tcg_out_mb(s, args[0]);
> break;
> @@ -2204,6 +2238,9 @@ static const TCGTargetOpDef x86_op_defs[] = {
> { INDEX_op_setcond_i32, { "q", "r", "ri" } },
>
> { INDEX_op_deposit_i32, { "Q", "0", "Q" } },
> + { INDEX_op_extract_i32, { "r", "r" } },
> + { INDEX_op_sextract_i32, { "r", "r" } },
> +
> { INDEX_op_movcond_i32, { "r", "r", "ri", "r", "0" } },
>
> { INDEX_op_mulu2_i32, { "a", "d", "a", "r" } },
> @@ -2265,6 +2302,7 @@ static const TCGTargetOpDef x86_op_defs[] = {
> { INDEX_op_extu_i32_i64, { "r", "r" } },
>
> { INDEX_op_deposit_i64, { "Q", "0", "Q" } },
> + { INDEX_op_extract_i64, { "r", "r" } },
> { INDEX_op_movcond_i64, { "r", "r", "re", "r", "0" } },
>
> { INDEX_op_mulu2_i64, { "a", "d", "a", "r" } },
>
- [Qemu-devel] [PATCH v4 00/64] tcg 2.9 patch queue, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 01/64] tcg: Add field extraction primitives, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 02/64] tcg: Minor adjustments to deposit expanders, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 04/64] tcg/aarch64: Implement field extraction opcodes, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 03/64] tcg: Add deposit_z expander, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 05/64] tcg/arm: Move isa detection to tcg-target.h, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 08/64] tcg/mips: Implement field extraction opcodes, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 06/64] tcg/arm: Implement field extraction opcodes, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 07/64] tcg/i386: Implement field extraction opcodes, Richard Henderson, 2016/11/23
- Re: [Qemu-devel] [PATCH v4 07/64] tcg/i386: Implement field extraction opcodes,
Paolo Bonzini <=
- [Qemu-devel] [PATCH v4 09/64] tcg/ppc: Implement field extraction opcodes, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 11/64] tcg/s390: Implement field extraction opcodes, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 10/64] tcg/s390: Expose host facilities to tcg-target.h, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 12/64] tcg/s390: Support deposit into zero, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 13/64] target-alpha: Use deposit and extract ops, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 14/64] target-arm: Use new deposit and extract ops, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 16/64] target-mips: Use the new extract op, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 15/64] target-i386: Use new deposit and extract ops, Richard Henderson, 2016/11/23
- [Qemu-devel] [PATCH v4 17/64] target-ppc: Use the new deposit and extract ops, Richard Henderson, 2016/11/23