mirror of
https://github.com/yuzu-emu/unicorn.git
synced 2024-12-23 16:55:35 +00:00
tcg/i386: Implement field extraction opcodes
Backports commit 78fdbfb94616f0391834d2eccabd16ea29e37da5 from qemu
This commit is contained in:
parent
cabb6f71a0
commit
7a7a5c640d
|
@ -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)
|
||||
|
||||
#if TCG_TARGET_REG_BITS == 64
|
||||
# define TCG_AREG0 TCG_REG_R14
|
||||
#else
|
||||
|
|
|
@ -2244,6 +2244,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;
|
||||
|
@ -2305,6 +2339,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" } },
|
||||
|
@ -2366,6 +2403,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" } },
|
||||
|
|
Loading…
Reference in a new issue