mirror of
https://gitlab.com/qemu-project/qemu
synced 2024-11-05 20:35:44 +00:00
8a2927f290
Introduce a new plugin_mem_cb op to hold the address temp and meminfo computed by tcg-op-ldst.c. Because this now has its own opcode, we no longer need PLUGIN_GEN_FROM_MEM. Reviewed-by: Pierrick Bouvier <pierrick.bouvier@linaro.org> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
1268 lines
41 KiB
C
1268 lines
41 KiB
C
/*
|
|
* Tiny Code Generator for QEMU
|
|
*
|
|
* Copyright (c) 2008 Fabrice Bellard
|
|
*
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
* in the Software without restriction, including without limitation the rights
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
* furnished to do so, subject to the following conditions:
|
|
*
|
|
* The above copyright notice and this permission notice shall be included in
|
|
* all copies or substantial portions of the Software.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
|
|
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
* THE SOFTWARE.
|
|
*/
|
|
|
|
#include "qemu/osdep.h"
|
|
#include "tcg/tcg.h"
|
|
#include "tcg/tcg-temp-internal.h"
|
|
#include "tcg/tcg-op-common.h"
|
|
#include "tcg/tcg-mo.h"
|
|
#include "exec/translation-block.h"
|
|
#include "exec/plugin-gen.h"
|
|
#include "tcg-internal.h"
|
|
|
|
|
|
static void check_max_alignment(unsigned a_bits)
|
|
{
|
|
/*
|
|
* The requested alignment cannot overlap the TLB flags.
|
|
* FIXME: Must keep the count up-to-date with "exec/cpu-all.h".
|
|
*/
|
|
if (tcg_use_softmmu) {
|
|
tcg_debug_assert(a_bits + 5 <= tcg_ctx->page_bits);
|
|
}
|
|
}
|
|
|
|
static MemOp tcg_canonicalize_memop(MemOp op, bool is64, bool st)
|
|
{
|
|
unsigned a_bits = get_alignment_bits(op);
|
|
|
|
check_max_alignment(a_bits);
|
|
|
|
/* Prefer MO_ALIGN+MO_XX over MO_ALIGN_XX+MO_XX */
|
|
if (a_bits == (op & MO_SIZE)) {
|
|
op = (op & ~MO_AMASK) | MO_ALIGN;
|
|
}
|
|
|
|
switch (op & MO_SIZE) {
|
|
case MO_8:
|
|
op &= ~MO_BSWAP;
|
|
break;
|
|
case MO_16:
|
|
break;
|
|
case MO_32:
|
|
if (!is64) {
|
|
op &= ~MO_SIGN;
|
|
}
|
|
break;
|
|
case MO_64:
|
|
if (is64) {
|
|
op &= ~MO_SIGN;
|
|
break;
|
|
}
|
|
/* fall through */
|
|
default:
|
|
g_assert_not_reached();
|
|
}
|
|
if (st) {
|
|
op &= ~MO_SIGN;
|
|
}
|
|
|
|
/* In serial mode, reduce atomicity. */
|
|
if (!(tcg_ctx->gen_tb->cflags & CF_PARALLEL)) {
|
|
op &= ~MO_ATOM_MASK;
|
|
op |= MO_ATOM_NONE;
|
|
}
|
|
|
|
return op;
|
|
}
|
|
|
|
static void gen_ldst(TCGOpcode opc, TCGTemp *vl, TCGTemp *vh,
|
|
TCGTemp *addr, MemOpIdx oi)
|
|
{
|
|
if (TCG_TARGET_REG_BITS == 64 || tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
if (vh) {
|
|
tcg_gen_op4(opc, temp_arg(vl), temp_arg(vh), temp_arg(addr), oi);
|
|
} else {
|
|
tcg_gen_op3(opc, temp_arg(vl), temp_arg(addr), oi);
|
|
}
|
|
} else {
|
|
/* See TCGV_LOW/HIGH. */
|
|
TCGTemp *al = addr + HOST_BIG_ENDIAN;
|
|
TCGTemp *ah = addr + !HOST_BIG_ENDIAN;
|
|
|
|
if (vh) {
|
|
tcg_gen_op5(opc, temp_arg(vl), temp_arg(vh),
|
|
temp_arg(al), temp_arg(ah), oi);
|
|
} else {
|
|
tcg_gen_op4(opc, temp_arg(vl), temp_arg(al), temp_arg(ah), oi);
|
|
}
|
|
}
|
|
}
|
|
|
|
static void gen_ldst_i64(TCGOpcode opc, TCGv_i64 v, TCGTemp *addr, MemOpIdx oi)
|
|
{
|
|
if (TCG_TARGET_REG_BITS == 32) {
|
|
TCGTemp *vl = tcgv_i32_temp(TCGV_LOW(v));
|
|
TCGTemp *vh = tcgv_i32_temp(TCGV_HIGH(v));
|
|
gen_ldst(opc, vl, vh, addr, oi);
|
|
} else {
|
|
gen_ldst(opc, tcgv_i64_temp(v), NULL, addr, oi);
|
|
}
|
|
}
|
|
|
|
static void tcg_gen_req_mo(TCGBar type)
|
|
{
|
|
type &= tcg_ctx->guest_mo;
|
|
type &= ~TCG_TARGET_DEFAULT_MO;
|
|
if (type) {
|
|
tcg_gen_mb(type | TCG_BAR_SC);
|
|
}
|
|
}
|
|
|
|
/* Only required for loads, where value might overlap addr. */
|
|
static TCGv_i64 plugin_maybe_preserve_addr(TCGTemp *addr)
|
|
{
|
|
#ifdef CONFIG_PLUGIN
|
|
if (tcg_ctx->plugin_insn != NULL) {
|
|
/* Save a copy of the vaddr for use after a load. */
|
|
TCGv_i64 temp = tcg_temp_ebb_new_i64();
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
tcg_gen_extu_i32_i64(temp, temp_tcgv_i32(addr));
|
|
} else {
|
|
tcg_gen_mov_i64(temp, temp_tcgv_i64(addr));
|
|
}
|
|
return temp;
|
|
}
|
|
#endif
|
|
return NULL;
|
|
}
|
|
|
|
static void
|
|
plugin_gen_mem_callbacks(TCGv_i64 copy_addr, TCGTemp *orig_addr, MemOpIdx oi,
|
|
enum qemu_plugin_mem_rw rw)
|
|
{
|
|
#ifdef CONFIG_PLUGIN
|
|
if (tcg_ctx->plugin_insn != NULL) {
|
|
qemu_plugin_meminfo_t info = make_plugin_meminfo(oi, rw);
|
|
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
if (!copy_addr) {
|
|
copy_addr = tcg_temp_ebb_new_i64();
|
|
tcg_gen_extu_i32_i64(copy_addr, temp_tcgv_i32(orig_addr));
|
|
}
|
|
tcg_gen_plugin_mem_cb(copy_addr, info);
|
|
tcg_temp_free_i64(copy_addr);
|
|
} else {
|
|
if (copy_addr) {
|
|
tcg_gen_plugin_mem_cb(copy_addr, info);
|
|
tcg_temp_free_i64(copy_addr);
|
|
} else {
|
|
tcg_gen_plugin_mem_cb(temp_tcgv_i64(orig_addr), info);
|
|
}
|
|
}
|
|
}
|
|
#endif
|
|
}
|
|
|
|
static void tcg_gen_qemu_ld_i32_int(TCGv_i32 val, TCGTemp *addr,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
MemOp orig_memop;
|
|
MemOpIdx orig_oi, oi;
|
|
TCGv_i64 copy_addr;
|
|
TCGOpcode opc;
|
|
|
|
tcg_gen_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
|
|
orig_memop = memop = tcg_canonicalize_memop(memop, 0, 0);
|
|
orig_oi = oi = make_memop_idx(memop, idx);
|
|
|
|
if ((memop & MO_BSWAP) && !tcg_target_has_memory_bswap(memop)) {
|
|
memop &= ~MO_BSWAP;
|
|
/* The bswap primitive benefits from zero-extended input. */
|
|
if ((memop & MO_SSIZE) == MO_SW) {
|
|
memop &= ~MO_SIGN;
|
|
}
|
|
oi = make_memop_idx(memop, idx);
|
|
}
|
|
|
|
copy_addr = plugin_maybe_preserve_addr(addr);
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
opc = INDEX_op_qemu_ld_a32_i32;
|
|
} else {
|
|
opc = INDEX_op_qemu_ld_a64_i32;
|
|
}
|
|
gen_ldst(opc, tcgv_i32_temp(val), NULL, addr, oi);
|
|
plugin_gen_mem_callbacks(copy_addr, addr, orig_oi, QEMU_PLUGIN_MEM_R);
|
|
|
|
if ((orig_memop ^ memop) & MO_BSWAP) {
|
|
switch (orig_memop & MO_SIZE) {
|
|
case MO_16:
|
|
tcg_gen_bswap16_i32(val, val, (orig_memop & MO_SIGN
|
|
? TCG_BSWAP_IZ | TCG_BSWAP_OS
|
|
: TCG_BSWAP_IZ | TCG_BSWAP_OZ));
|
|
break;
|
|
case MO_32:
|
|
tcg_gen_bswap32_i32(val, val);
|
|
break;
|
|
default:
|
|
g_assert_not_reached();
|
|
}
|
|
}
|
|
}
|
|
|
|
void tcg_gen_qemu_ld_i32_chk(TCGv_i32 val, TCGTemp *addr, TCGArg idx,
|
|
MemOp memop, TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & MO_SIZE) <= MO_32);
|
|
tcg_gen_qemu_ld_i32_int(val, addr, idx, memop);
|
|
}
|
|
|
|
static void tcg_gen_qemu_st_i32_int(TCGv_i32 val, TCGTemp *addr,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
TCGv_i32 swap = NULL;
|
|
MemOpIdx orig_oi, oi;
|
|
TCGOpcode opc;
|
|
|
|
tcg_gen_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
|
|
memop = tcg_canonicalize_memop(memop, 0, 1);
|
|
orig_oi = oi = make_memop_idx(memop, idx);
|
|
|
|
if ((memop & MO_BSWAP) && !tcg_target_has_memory_bswap(memop)) {
|
|
swap = tcg_temp_ebb_new_i32();
|
|
switch (memop & MO_SIZE) {
|
|
case MO_16:
|
|
tcg_gen_bswap16_i32(swap, val, 0);
|
|
break;
|
|
case MO_32:
|
|
tcg_gen_bswap32_i32(swap, val);
|
|
break;
|
|
default:
|
|
g_assert_not_reached();
|
|
}
|
|
val = swap;
|
|
memop &= ~MO_BSWAP;
|
|
oi = make_memop_idx(memop, idx);
|
|
}
|
|
|
|
if (TCG_TARGET_HAS_qemu_st8_i32 && (memop & MO_SIZE) == MO_8) {
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
opc = INDEX_op_qemu_st8_a32_i32;
|
|
} else {
|
|
opc = INDEX_op_qemu_st8_a64_i32;
|
|
}
|
|
} else {
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
opc = INDEX_op_qemu_st_a32_i32;
|
|
} else {
|
|
opc = INDEX_op_qemu_st_a64_i32;
|
|
}
|
|
}
|
|
gen_ldst(opc, tcgv_i32_temp(val), NULL, addr, oi);
|
|
plugin_gen_mem_callbacks(NULL, addr, orig_oi, QEMU_PLUGIN_MEM_W);
|
|
|
|
if (swap) {
|
|
tcg_temp_free_i32(swap);
|
|
}
|
|
}
|
|
|
|
void tcg_gen_qemu_st_i32_chk(TCGv_i32 val, TCGTemp *addr, TCGArg idx,
|
|
MemOp memop, TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & MO_SIZE) <= MO_32);
|
|
tcg_gen_qemu_st_i32_int(val, addr, idx, memop);
|
|
}
|
|
|
|
static void tcg_gen_qemu_ld_i64_int(TCGv_i64 val, TCGTemp *addr,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
MemOp orig_memop;
|
|
MemOpIdx orig_oi, oi;
|
|
TCGv_i64 copy_addr;
|
|
TCGOpcode opc;
|
|
|
|
if (TCG_TARGET_REG_BITS == 32 && (memop & MO_SIZE) < MO_64) {
|
|
tcg_gen_qemu_ld_i32_int(TCGV_LOW(val), addr, idx, memop);
|
|
if (memop & MO_SIGN) {
|
|
tcg_gen_sari_i32(TCGV_HIGH(val), TCGV_LOW(val), 31);
|
|
} else {
|
|
tcg_gen_movi_i32(TCGV_HIGH(val), 0);
|
|
}
|
|
return;
|
|
}
|
|
|
|
tcg_gen_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
|
|
orig_memop = memop = tcg_canonicalize_memop(memop, 1, 0);
|
|
orig_oi = oi = make_memop_idx(memop, idx);
|
|
|
|
if ((memop & MO_BSWAP) && !tcg_target_has_memory_bswap(memop)) {
|
|
memop &= ~MO_BSWAP;
|
|
/* The bswap primitive benefits from zero-extended input. */
|
|
if ((memop & MO_SIGN) && (memop & MO_SIZE) < MO_64) {
|
|
memop &= ~MO_SIGN;
|
|
}
|
|
oi = make_memop_idx(memop, idx);
|
|
}
|
|
|
|
copy_addr = plugin_maybe_preserve_addr(addr);
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
opc = INDEX_op_qemu_ld_a32_i64;
|
|
} else {
|
|
opc = INDEX_op_qemu_ld_a64_i64;
|
|
}
|
|
gen_ldst_i64(opc, val, addr, oi);
|
|
plugin_gen_mem_callbacks(copy_addr, addr, orig_oi, QEMU_PLUGIN_MEM_R);
|
|
|
|
if ((orig_memop ^ memop) & MO_BSWAP) {
|
|
int flags = (orig_memop & MO_SIGN
|
|
? TCG_BSWAP_IZ | TCG_BSWAP_OS
|
|
: TCG_BSWAP_IZ | TCG_BSWAP_OZ);
|
|
switch (orig_memop & MO_SIZE) {
|
|
case MO_16:
|
|
tcg_gen_bswap16_i64(val, val, flags);
|
|
break;
|
|
case MO_32:
|
|
tcg_gen_bswap32_i64(val, val, flags);
|
|
break;
|
|
case MO_64:
|
|
tcg_gen_bswap64_i64(val, val);
|
|
break;
|
|
default:
|
|
g_assert_not_reached();
|
|
}
|
|
}
|
|
}
|
|
|
|
void tcg_gen_qemu_ld_i64_chk(TCGv_i64 val, TCGTemp *addr, TCGArg idx,
|
|
MemOp memop, TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & MO_SIZE) <= MO_64);
|
|
tcg_gen_qemu_ld_i64_int(val, addr, idx, memop);
|
|
}
|
|
|
|
static void tcg_gen_qemu_st_i64_int(TCGv_i64 val, TCGTemp *addr,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
TCGv_i64 swap = NULL;
|
|
MemOpIdx orig_oi, oi;
|
|
TCGOpcode opc;
|
|
|
|
if (TCG_TARGET_REG_BITS == 32 && (memop & MO_SIZE) < MO_64) {
|
|
tcg_gen_qemu_st_i32_int(TCGV_LOW(val), addr, idx, memop);
|
|
return;
|
|
}
|
|
|
|
tcg_gen_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
|
|
memop = tcg_canonicalize_memop(memop, 1, 1);
|
|
orig_oi = oi = make_memop_idx(memop, idx);
|
|
|
|
if ((memop & MO_BSWAP) && !tcg_target_has_memory_bswap(memop)) {
|
|
swap = tcg_temp_ebb_new_i64();
|
|
switch (memop & MO_SIZE) {
|
|
case MO_16:
|
|
tcg_gen_bswap16_i64(swap, val, 0);
|
|
break;
|
|
case MO_32:
|
|
tcg_gen_bswap32_i64(swap, val, 0);
|
|
break;
|
|
case MO_64:
|
|
tcg_gen_bswap64_i64(swap, val);
|
|
break;
|
|
default:
|
|
g_assert_not_reached();
|
|
}
|
|
val = swap;
|
|
memop &= ~MO_BSWAP;
|
|
oi = make_memop_idx(memop, idx);
|
|
}
|
|
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
opc = INDEX_op_qemu_st_a32_i64;
|
|
} else {
|
|
opc = INDEX_op_qemu_st_a64_i64;
|
|
}
|
|
gen_ldst_i64(opc, val, addr, oi);
|
|
plugin_gen_mem_callbacks(NULL, addr, orig_oi, QEMU_PLUGIN_MEM_W);
|
|
|
|
if (swap) {
|
|
tcg_temp_free_i64(swap);
|
|
}
|
|
}
|
|
|
|
void tcg_gen_qemu_st_i64_chk(TCGv_i64 val, TCGTemp *addr, TCGArg idx,
|
|
MemOp memop, TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & MO_SIZE) <= MO_64);
|
|
tcg_gen_qemu_st_i64_int(val, addr, idx, memop);
|
|
}
|
|
|
|
/*
|
|
* Return true if @mop, without knowledge of the pointer alignment,
|
|
* does not require 16-byte atomicity, and it would be adventagous
|
|
* to avoid a call to a helper function.
|
|
*/
|
|
static bool use_two_i64_for_i128(MemOp mop)
|
|
{
|
|
/* Two softmmu tlb lookups is larger than one function call. */
|
|
if (tcg_use_softmmu) {
|
|
return false;
|
|
}
|
|
|
|
/*
|
|
* For user-only, two 64-bit operations may well be smaller than a call.
|
|
* Determine if that would be legal for the requested atomicity.
|
|
*/
|
|
switch (mop & MO_ATOM_MASK) {
|
|
case MO_ATOM_NONE:
|
|
case MO_ATOM_IFALIGN_PAIR:
|
|
return true;
|
|
case MO_ATOM_IFALIGN:
|
|
case MO_ATOM_SUBALIGN:
|
|
case MO_ATOM_WITHIN16:
|
|
case MO_ATOM_WITHIN16_PAIR:
|
|
return false;
|
|
default:
|
|
g_assert_not_reached();
|
|
}
|
|
}
|
|
|
|
static void canonicalize_memop_i128_as_i64(MemOp ret[2], MemOp orig)
|
|
{
|
|
MemOp mop_1 = orig, mop_2;
|
|
|
|
/* Reduce the size to 64-bit. */
|
|
mop_1 = (mop_1 & ~MO_SIZE) | MO_64;
|
|
|
|
/* Retain the alignment constraints of the original. */
|
|
switch (orig & MO_AMASK) {
|
|
case MO_UNALN:
|
|
case MO_ALIGN_2:
|
|
case MO_ALIGN_4:
|
|
mop_2 = mop_1;
|
|
break;
|
|
case MO_ALIGN_8:
|
|
/* Prefer MO_ALIGN+MO_64 to MO_ALIGN_8+MO_64. */
|
|
mop_1 = (mop_1 & ~MO_AMASK) | MO_ALIGN;
|
|
mop_2 = mop_1;
|
|
break;
|
|
case MO_ALIGN:
|
|
/* Second has 8-byte alignment; first has 16-byte alignment. */
|
|
mop_2 = mop_1;
|
|
mop_1 = (mop_1 & ~MO_AMASK) | MO_ALIGN_16;
|
|
break;
|
|
case MO_ALIGN_16:
|
|
case MO_ALIGN_32:
|
|
case MO_ALIGN_64:
|
|
/* Second has 8-byte alignment; first retains original. */
|
|
mop_2 = (mop_1 & ~MO_AMASK) | MO_ALIGN;
|
|
break;
|
|
default:
|
|
g_assert_not_reached();
|
|
}
|
|
|
|
/* Use a memory ordering implemented by the host. */
|
|
if ((orig & MO_BSWAP) && !tcg_target_has_memory_bswap(mop_1)) {
|
|
mop_1 &= ~MO_BSWAP;
|
|
mop_2 &= ~MO_BSWAP;
|
|
}
|
|
|
|
ret[0] = mop_1;
|
|
ret[1] = mop_2;
|
|
}
|
|
|
|
static TCGv_i64 maybe_extend_addr64(TCGTemp *addr)
|
|
{
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
TCGv_i64 a64 = tcg_temp_ebb_new_i64();
|
|
tcg_gen_extu_i32_i64(a64, temp_tcgv_i32(addr));
|
|
return a64;
|
|
}
|
|
return temp_tcgv_i64(addr);
|
|
}
|
|
|
|
static void maybe_free_addr64(TCGv_i64 a64)
|
|
{
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
tcg_temp_free_i64(a64);
|
|
}
|
|
}
|
|
|
|
static void tcg_gen_qemu_ld_i128_int(TCGv_i128 val, TCGTemp *addr,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
MemOpIdx orig_oi;
|
|
TCGv_i64 ext_addr = NULL;
|
|
TCGOpcode opc;
|
|
|
|
check_max_alignment(get_alignment_bits(memop));
|
|
tcg_gen_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
|
|
|
|
/* In serial mode, reduce atomicity. */
|
|
if (!(tcg_ctx->gen_tb->cflags & CF_PARALLEL)) {
|
|
memop &= ~MO_ATOM_MASK;
|
|
memop |= MO_ATOM_NONE;
|
|
}
|
|
orig_oi = make_memop_idx(memop, idx);
|
|
|
|
/* TODO: For now, force 32-bit hosts to use the helper. */
|
|
if (TCG_TARGET_HAS_qemu_ldst_i128 && TCG_TARGET_REG_BITS == 64) {
|
|
TCGv_i64 lo, hi;
|
|
bool need_bswap = false;
|
|
MemOpIdx oi = orig_oi;
|
|
|
|
if ((memop & MO_BSWAP) && !tcg_target_has_memory_bswap(memop)) {
|
|
lo = TCGV128_HIGH(val);
|
|
hi = TCGV128_LOW(val);
|
|
oi = make_memop_idx(memop & ~MO_BSWAP, idx);
|
|
need_bswap = true;
|
|
} else {
|
|
lo = TCGV128_LOW(val);
|
|
hi = TCGV128_HIGH(val);
|
|
}
|
|
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
opc = INDEX_op_qemu_ld_a32_i128;
|
|
} else {
|
|
opc = INDEX_op_qemu_ld_a64_i128;
|
|
}
|
|
gen_ldst(opc, tcgv_i64_temp(lo), tcgv_i64_temp(hi), addr, oi);
|
|
|
|
if (need_bswap) {
|
|
tcg_gen_bswap64_i64(lo, lo);
|
|
tcg_gen_bswap64_i64(hi, hi);
|
|
}
|
|
} else if (use_two_i64_for_i128(memop)) {
|
|
MemOp mop[2];
|
|
TCGTemp *addr_p8;
|
|
TCGv_i64 x, y;
|
|
bool need_bswap;
|
|
|
|
canonicalize_memop_i128_as_i64(mop, memop);
|
|
need_bswap = (mop[0] ^ memop) & MO_BSWAP;
|
|
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
opc = INDEX_op_qemu_ld_a32_i64;
|
|
} else {
|
|
opc = INDEX_op_qemu_ld_a64_i64;
|
|
}
|
|
|
|
/*
|
|
* Since there are no global TCGv_i128, there is no visible state
|
|
* changed if the second load faults. Load directly into the two
|
|
* subwords.
|
|
*/
|
|
if ((memop & MO_BSWAP) == MO_LE) {
|
|
x = TCGV128_LOW(val);
|
|
y = TCGV128_HIGH(val);
|
|
} else {
|
|
x = TCGV128_HIGH(val);
|
|
y = TCGV128_LOW(val);
|
|
}
|
|
|
|
gen_ldst_i64(opc, x, addr, make_memop_idx(mop[0], idx));
|
|
|
|
if (need_bswap) {
|
|
tcg_gen_bswap64_i64(x, x);
|
|
}
|
|
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
TCGv_i32 t = tcg_temp_ebb_new_i32();
|
|
tcg_gen_addi_i32(t, temp_tcgv_i32(addr), 8);
|
|
addr_p8 = tcgv_i32_temp(t);
|
|
} else {
|
|
TCGv_i64 t = tcg_temp_ebb_new_i64();
|
|
tcg_gen_addi_i64(t, temp_tcgv_i64(addr), 8);
|
|
addr_p8 = tcgv_i64_temp(t);
|
|
}
|
|
|
|
gen_ldst_i64(opc, y, addr_p8, make_memop_idx(mop[1], idx));
|
|
tcg_temp_free_internal(addr_p8);
|
|
|
|
if (need_bswap) {
|
|
tcg_gen_bswap64_i64(y, y);
|
|
}
|
|
} else {
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
ext_addr = tcg_temp_ebb_new_i64();
|
|
tcg_gen_extu_i32_i64(ext_addr, temp_tcgv_i32(addr));
|
|
addr = tcgv_i64_temp(ext_addr);
|
|
}
|
|
gen_helper_ld_i128(val, tcg_env, temp_tcgv_i64(addr),
|
|
tcg_constant_i32(orig_oi));
|
|
}
|
|
|
|
plugin_gen_mem_callbacks(ext_addr, addr, orig_oi, QEMU_PLUGIN_MEM_R);
|
|
}
|
|
|
|
void tcg_gen_qemu_ld_i128_chk(TCGv_i128 val, TCGTemp *addr, TCGArg idx,
|
|
MemOp memop, TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & MO_SIZE) == MO_128);
|
|
tcg_debug_assert((memop & MO_SIGN) == 0);
|
|
tcg_gen_qemu_ld_i128_int(val, addr, idx, memop);
|
|
}
|
|
|
|
static void tcg_gen_qemu_st_i128_int(TCGv_i128 val, TCGTemp *addr,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
MemOpIdx orig_oi;
|
|
TCGv_i64 ext_addr = NULL;
|
|
TCGOpcode opc;
|
|
|
|
check_max_alignment(get_alignment_bits(memop));
|
|
tcg_gen_req_mo(TCG_MO_ST_LD | TCG_MO_ST_ST);
|
|
|
|
/* In serial mode, reduce atomicity. */
|
|
if (!(tcg_ctx->gen_tb->cflags & CF_PARALLEL)) {
|
|
memop &= ~MO_ATOM_MASK;
|
|
memop |= MO_ATOM_NONE;
|
|
}
|
|
orig_oi = make_memop_idx(memop, idx);
|
|
|
|
/* TODO: For now, force 32-bit hosts to use the helper. */
|
|
|
|
if (TCG_TARGET_HAS_qemu_ldst_i128 && TCG_TARGET_REG_BITS == 64) {
|
|
TCGv_i64 lo, hi;
|
|
MemOpIdx oi = orig_oi;
|
|
bool need_bswap = false;
|
|
|
|
if ((memop & MO_BSWAP) && !tcg_target_has_memory_bswap(memop)) {
|
|
lo = tcg_temp_ebb_new_i64();
|
|
hi = tcg_temp_ebb_new_i64();
|
|
tcg_gen_bswap64_i64(lo, TCGV128_HIGH(val));
|
|
tcg_gen_bswap64_i64(hi, TCGV128_LOW(val));
|
|
oi = make_memop_idx(memop & ~MO_BSWAP, idx);
|
|
need_bswap = true;
|
|
} else {
|
|
lo = TCGV128_LOW(val);
|
|
hi = TCGV128_HIGH(val);
|
|
}
|
|
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
opc = INDEX_op_qemu_st_a32_i128;
|
|
} else {
|
|
opc = INDEX_op_qemu_st_a64_i128;
|
|
}
|
|
gen_ldst(opc, tcgv_i64_temp(lo), tcgv_i64_temp(hi), addr, oi);
|
|
|
|
if (need_bswap) {
|
|
tcg_temp_free_i64(lo);
|
|
tcg_temp_free_i64(hi);
|
|
}
|
|
} else if (use_two_i64_for_i128(memop)) {
|
|
MemOp mop[2];
|
|
TCGTemp *addr_p8;
|
|
TCGv_i64 x, y, b = NULL;
|
|
|
|
canonicalize_memop_i128_as_i64(mop, memop);
|
|
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
opc = INDEX_op_qemu_st_a32_i64;
|
|
} else {
|
|
opc = INDEX_op_qemu_st_a64_i64;
|
|
}
|
|
|
|
if ((memop & MO_BSWAP) == MO_LE) {
|
|
x = TCGV128_LOW(val);
|
|
y = TCGV128_HIGH(val);
|
|
} else {
|
|
x = TCGV128_HIGH(val);
|
|
y = TCGV128_LOW(val);
|
|
}
|
|
|
|
if ((mop[0] ^ memop) & MO_BSWAP) {
|
|
b = tcg_temp_ebb_new_i64();
|
|
tcg_gen_bswap64_i64(b, x);
|
|
x = b;
|
|
}
|
|
|
|
gen_ldst_i64(opc, x, addr, make_memop_idx(mop[0], idx));
|
|
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
TCGv_i32 t = tcg_temp_ebb_new_i32();
|
|
tcg_gen_addi_i32(t, temp_tcgv_i32(addr), 8);
|
|
addr_p8 = tcgv_i32_temp(t);
|
|
} else {
|
|
TCGv_i64 t = tcg_temp_ebb_new_i64();
|
|
tcg_gen_addi_i64(t, temp_tcgv_i64(addr), 8);
|
|
addr_p8 = tcgv_i64_temp(t);
|
|
}
|
|
|
|
if (b) {
|
|
tcg_gen_bswap64_i64(b, y);
|
|
gen_ldst_i64(opc, b, addr_p8, make_memop_idx(mop[1], idx));
|
|
tcg_temp_free_i64(b);
|
|
} else {
|
|
gen_ldst_i64(opc, y, addr_p8, make_memop_idx(mop[1], idx));
|
|
}
|
|
tcg_temp_free_internal(addr_p8);
|
|
} else {
|
|
if (tcg_ctx->addr_type == TCG_TYPE_I32) {
|
|
ext_addr = tcg_temp_ebb_new_i64();
|
|
tcg_gen_extu_i32_i64(ext_addr, temp_tcgv_i32(addr));
|
|
addr = tcgv_i64_temp(ext_addr);
|
|
}
|
|
gen_helper_st_i128(tcg_env, temp_tcgv_i64(addr), val,
|
|
tcg_constant_i32(orig_oi));
|
|
}
|
|
|
|
plugin_gen_mem_callbacks(ext_addr, addr, orig_oi, QEMU_PLUGIN_MEM_W);
|
|
}
|
|
|
|
void tcg_gen_qemu_st_i128_chk(TCGv_i128 val, TCGTemp *addr, TCGArg idx,
|
|
MemOp memop, TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & MO_SIZE) == MO_128);
|
|
tcg_debug_assert((memop & MO_SIGN) == 0);
|
|
tcg_gen_qemu_st_i128_int(val, addr, idx, memop);
|
|
}
|
|
|
|
void tcg_gen_ext_i32(TCGv_i32 ret, TCGv_i32 val, MemOp opc)
|
|
{
|
|
switch (opc & MO_SSIZE) {
|
|
case MO_SB:
|
|
tcg_gen_ext8s_i32(ret, val);
|
|
break;
|
|
case MO_UB:
|
|
tcg_gen_ext8u_i32(ret, val);
|
|
break;
|
|
case MO_SW:
|
|
tcg_gen_ext16s_i32(ret, val);
|
|
break;
|
|
case MO_UW:
|
|
tcg_gen_ext16u_i32(ret, val);
|
|
break;
|
|
case MO_UL:
|
|
case MO_SL:
|
|
tcg_gen_mov_i32(ret, val);
|
|
break;
|
|
default:
|
|
g_assert_not_reached();
|
|
}
|
|
}
|
|
|
|
void tcg_gen_ext_i64(TCGv_i64 ret, TCGv_i64 val, MemOp opc)
|
|
{
|
|
switch (opc & MO_SSIZE) {
|
|
case MO_SB:
|
|
tcg_gen_ext8s_i64(ret, val);
|
|
break;
|
|
case MO_UB:
|
|
tcg_gen_ext8u_i64(ret, val);
|
|
break;
|
|
case MO_SW:
|
|
tcg_gen_ext16s_i64(ret, val);
|
|
break;
|
|
case MO_UW:
|
|
tcg_gen_ext16u_i64(ret, val);
|
|
break;
|
|
case MO_SL:
|
|
tcg_gen_ext32s_i64(ret, val);
|
|
break;
|
|
case MO_UL:
|
|
tcg_gen_ext32u_i64(ret, val);
|
|
break;
|
|
case MO_UQ:
|
|
case MO_SQ:
|
|
tcg_gen_mov_i64(ret, val);
|
|
break;
|
|
default:
|
|
g_assert_not_reached();
|
|
}
|
|
}
|
|
|
|
typedef void (*gen_atomic_cx_i32)(TCGv_i32, TCGv_env, TCGv_i64,
|
|
TCGv_i32, TCGv_i32, TCGv_i32);
|
|
typedef void (*gen_atomic_cx_i64)(TCGv_i64, TCGv_env, TCGv_i64,
|
|
TCGv_i64, TCGv_i64, TCGv_i32);
|
|
typedef void (*gen_atomic_cx_i128)(TCGv_i128, TCGv_env, TCGv_i64,
|
|
TCGv_i128, TCGv_i128, TCGv_i32);
|
|
typedef void (*gen_atomic_op_i32)(TCGv_i32, TCGv_env, TCGv_i64,
|
|
TCGv_i32, TCGv_i32);
|
|
typedef void (*gen_atomic_op_i64)(TCGv_i64, TCGv_env, TCGv_i64,
|
|
TCGv_i64, TCGv_i32);
|
|
|
|
#ifdef CONFIG_ATOMIC64
|
|
# define WITH_ATOMIC64(X) X,
|
|
#else
|
|
# define WITH_ATOMIC64(X)
|
|
#endif
|
|
#if HAVE_CMPXCHG128
|
|
# define WITH_ATOMIC128(X) X,
|
|
#else
|
|
# define WITH_ATOMIC128(X)
|
|
#endif
|
|
|
|
static void * const table_cmpxchg[(MO_SIZE | MO_BSWAP) + 1] = {
|
|
[MO_8] = gen_helper_atomic_cmpxchgb,
|
|
[MO_16 | MO_LE] = gen_helper_atomic_cmpxchgw_le,
|
|
[MO_16 | MO_BE] = gen_helper_atomic_cmpxchgw_be,
|
|
[MO_32 | MO_LE] = gen_helper_atomic_cmpxchgl_le,
|
|
[MO_32 | MO_BE] = gen_helper_atomic_cmpxchgl_be,
|
|
WITH_ATOMIC64([MO_64 | MO_LE] = gen_helper_atomic_cmpxchgq_le)
|
|
WITH_ATOMIC64([MO_64 | MO_BE] = gen_helper_atomic_cmpxchgq_be)
|
|
WITH_ATOMIC128([MO_128 | MO_LE] = gen_helper_atomic_cmpxchgo_le)
|
|
WITH_ATOMIC128([MO_128 | MO_BE] = gen_helper_atomic_cmpxchgo_be)
|
|
};
|
|
|
|
static void tcg_gen_nonatomic_cmpxchg_i32_int(TCGv_i32 retv, TCGTemp *addr,
|
|
TCGv_i32 cmpv, TCGv_i32 newv,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
TCGv_i32 t1 = tcg_temp_ebb_new_i32();
|
|
TCGv_i32 t2 = tcg_temp_ebb_new_i32();
|
|
|
|
tcg_gen_ext_i32(t2, cmpv, memop & MO_SIZE);
|
|
|
|
tcg_gen_qemu_ld_i32_int(t1, addr, idx, memop & ~MO_SIGN);
|
|
tcg_gen_movcond_i32(TCG_COND_EQ, t2, t1, t2, newv, t1);
|
|
tcg_gen_qemu_st_i32_int(t2, addr, idx, memop);
|
|
tcg_temp_free_i32(t2);
|
|
|
|
if (memop & MO_SIGN) {
|
|
tcg_gen_ext_i32(retv, t1, memop);
|
|
} else {
|
|
tcg_gen_mov_i32(retv, t1);
|
|
}
|
|
tcg_temp_free_i32(t1);
|
|
}
|
|
|
|
void tcg_gen_nonatomic_cmpxchg_i32_chk(TCGv_i32 retv, TCGTemp *addr,
|
|
TCGv_i32 cmpv, TCGv_i32 newv,
|
|
TCGArg idx, MemOp memop,
|
|
TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & MO_SIZE) <= MO_32);
|
|
tcg_gen_nonatomic_cmpxchg_i32_int(retv, addr, cmpv, newv, idx, memop);
|
|
}
|
|
|
|
static void tcg_gen_atomic_cmpxchg_i32_int(TCGv_i32 retv, TCGTemp *addr,
|
|
TCGv_i32 cmpv, TCGv_i32 newv,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
gen_atomic_cx_i32 gen;
|
|
TCGv_i64 a64;
|
|
MemOpIdx oi;
|
|
|
|
if (!(tcg_ctx->gen_tb->cflags & CF_PARALLEL)) {
|
|
tcg_gen_nonatomic_cmpxchg_i32_int(retv, addr, cmpv, newv, idx, memop);
|
|
return;
|
|
}
|
|
|
|
memop = tcg_canonicalize_memop(memop, 0, 0);
|
|
gen = table_cmpxchg[memop & (MO_SIZE | MO_BSWAP)];
|
|
tcg_debug_assert(gen != NULL);
|
|
|
|
oi = make_memop_idx(memop & ~MO_SIGN, idx);
|
|
a64 = maybe_extend_addr64(addr);
|
|
gen(retv, tcg_env, a64, cmpv, newv, tcg_constant_i32(oi));
|
|
maybe_free_addr64(a64);
|
|
|
|
if (memop & MO_SIGN) {
|
|
tcg_gen_ext_i32(retv, retv, memop);
|
|
}
|
|
}
|
|
|
|
void tcg_gen_atomic_cmpxchg_i32_chk(TCGv_i32 retv, TCGTemp *addr,
|
|
TCGv_i32 cmpv, TCGv_i32 newv,
|
|
TCGArg idx, MemOp memop,
|
|
TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & MO_SIZE) <= MO_32);
|
|
tcg_gen_atomic_cmpxchg_i32_int(retv, addr, cmpv, newv, idx, memop);
|
|
}
|
|
|
|
static void tcg_gen_nonatomic_cmpxchg_i64_int(TCGv_i64 retv, TCGTemp *addr,
|
|
TCGv_i64 cmpv, TCGv_i64 newv,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
TCGv_i64 t1, t2;
|
|
|
|
if (TCG_TARGET_REG_BITS == 32 && (memop & MO_SIZE) < MO_64) {
|
|
tcg_gen_nonatomic_cmpxchg_i32_int(TCGV_LOW(retv), addr, TCGV_LOW(cmpv),
|
|
TCGV_LOW(newv), idx, memop);
|
|
if (memop & MO_SIGN) {
|
|
tcg_gen_sari_i32(TCGV_HIGH(retv), TCGV_LOW(retv), 31);
|
|
} else {
|
|
tcg_gen_movi_i32(TCGV_HIGH(retv), 0);
|
|
}
|
|
return;
|
|
}
|
|
|
|
t1 = tcg_temp_ebb_new_i64();
|
|
t2 = tcg_temp_ebb_new_i64();
|
|
|
|
tcg_gen_ext_i64(t2, cmpv, memop & MO_SIZE);
|
|
|
|
tcg_gen_qemu_ld_i64_int(t1, addr, idx, memop & ~MO_SIGN);
|
|
tcg_gen_movcond_i64(TCG_COND_EQ, t2, t1, t2, newv, t1);
|
|
tcg_gen_qemu_st_i64_int(t2, addr, idx, memop);
|
|
tcg_temp_free_i64(t2);
|
|
|
|
if (memop & MO_SIGN) {
|
|
tcg_gen_ext_i64(retv, t1, memop);
|
|
} else {
|
|
tcg_gen_mov_i64(retv, t1);
|
|
}
|
|
tcg_temp_free_i64(t1);
|
|
}
|
|
|
|
void tcg_gen_nonatomic_cmpxchg_i64_chk(TCGv_i64 retv, TCGTemp *addr,
|
|
TCGv_i64 cmpv, TCGv_i64 newv,
|
|
TCGArg idx, MemOp memop,
|
|
TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & MO_SIZE) <= MO_64);
|
|
tcg_gen_nonatomic_cmpxchg_i64_int(retv, addr, cmpv, newv, idx, memop);
|
|
}
|
|
|
|
static void tcg_gen_atomic_cmpxchg_i64_int(TCGv_i64 retv, TCGTemp *addr,
|
|
TCGv_i64 cmpv, TCGv_i64 newv,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
if (!(tcg_ctx->gen_tb->cflags & CF_PARALLEL)) {
|
|
tcg_gen_nonatomic_cmpxchg_i64_int(retv, addr, cmpv, newv, idx, memop);
|
|
return;
|
|
}
|
|
|
|
if ((memop & MO_SIZE) == MO_64) {
|
|
gen_atomic_cx_i64 gen;
|
|
|
|
memop = tcg_canonicalize_memop(memop, 1, 0);
|
|
gen = table_cmpxchg[memop & (MO_SIZE | MO_BSWAP)];
|
|
if (gen) {
|
|
MemOpIdx oi = make_memop_idx(memop, idx);
|
|
TCGv_i64 a64 = maybe_extend_addr64(addr);
|
|
gen(retv, tcg_env, a64, cmpv, newv, tcg_constant_i32(oi));
|
|
maybe_free_addr64(a64);
|
|
return;
|
|
}
|
|
|
|
gen_helper_exit_atomic(tcg_env);
|
|
|
|
/*
|
|
* Produce a result for a well-formed opcode stream. This satisfies
|
|
* liveness for set before used, which happens before this dead code
|
|
* is removed.
|
|
*/
|
|
tcg_gen_movi_i64(retv, 0);
|
|
return;
|
|
}
|
|
|
|
if (TCG_TARGET_REG_BITS == 32) {
|
|
tcg_gen_atomic_cmpxchg_i32_int(TCGV_LOW(retv), addr, TCGV_LOW(cmpv),
|
|
TCGV_LOW(newv), idx, memop);
|
|
if (memop & MO_SIGN) {
|
|
tcg_gen_sari_i32(TCGV_HIGH(retv), TCGV_LOW(retv), 31);
|
|
} else {
|
|
tcg_gen_movi_i32(TCGV_HIGH(retv), 0);
|
|
}
|
|
} else {
|
|
TCGv_i32 c32 = tcg_temp_ebb_new_i32();
|
|
TCGv_i32 n32 = tcg_temp_ebb_new_i32();
|
|
TCGv_i32 r32 = tcg_temp_ebb_new_i32();
|
|
|
|
tcg_gen_extrl_i64_i32(c32, cmpv);
|
|
tcg_gen_extrl_i64_i32(n32, newv);
|
|
tcg_gen_atomic_cmpxchg_i32_int(r32, addr, c32, n32,
|
|
idx, memop & ~MO_SIGN);
|
|
tcg_temp_free_i32(c32);
|
|
tcg_temp_free_i32(n32);
|
|
|
|
tcg_gen_extu_i32_i64(retv, r32);
|
|
tcg_temp_free_i32(r32);
|
|
|
|
if (memop & MO_SIGN) {
|
|
tcg_gen_ext_i64(retv, retv, memop);
|
|
}
|
|
}
|
|
}
|
|
|
|
void tcg_gen_atomic_cmpxchg_i64_chk(TCGv_i64 retv, TCGTemp *addr,
|
|
TCGv_i64 cmpv, TCGv_i64 newv,
|
|
TCGArg idx, MemOp memop, TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & MO_SIZE) <= MO_64);
|
|
tcg_gen_atomic_cmpxchg_i64_int(retv, addr, cmpv, newv, idx, memop);
|
|
}
|
|
|
|
static void tcg_gen_nonatomic_cmpxchg_i128_int(TCGv_i128 retv, TCGTemp *addr,
|
|
TCGv_i128 cmpv, TCGv_i128 newv,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
if (TCG_TARGET_REG_BITS == 32) {
|
|
/* Inline expansion below is simply too large for 32-bit hosts. */
|
|
MemOpIdx oi = make_memop_idx(memop, idx);
|
|
TCGv_i64 a64 = maybe_extend_addr64(addr);
|
|
|
|
gen_helper_nonatomic_cmpxchgo(retv, tcg_env, a64, cmpv, newv,
|
|
tcg_constant_i32(oi));
|
|
maybe_free_addr64(a64);
|
|
} else {
|
|
TCGv_i128 oldv = tcg_temp_ebb_new_i128();
|
|
TCGv_i128 tmpv = tcg_temp_ebb_new_i128();
|
|
TCGv_i64 t0 = tcg_temp_ebb_new_i64();
|
|
TCGv_i64 t1 = tcg_temp_ebb_new_i64();
|
|
TCGv_i64 z = tcg_constant_i64(0);
|
|
|
|
tcg_gen_qemu_ld_i128_int(oldv, addr, idx, memop);
|
|
|
|
/* Compare i128 */
|
|
tcg_gen_xor_i64(t0, TCGV128_LOW(oldv), TCGV128_LOW(cmpv));
|
|
tcg_gen_xor_i64(t1, TCGV128_HIGH(oldv), TCGV128_HIGH(cmpv));
|
|
tcg_gen_or_i64(t0, t0, t1);
|
|
|
|
/* tmpv = equal ? newv : oldv */
|
|
tcg_gen_movcond_i64(TCG_COND_EQ, TCGV128_LOW(tmpv), t0, z,
|
|
TCGV128_LOW(newv), TCGV128_LOW(oldv));
|
|
tcg_gen_movcond_i64(TCG_COND_EQ, TCGV128_HIGH(tmpv), t0, z,
|
|
TCGV128_HIGH(newv), TCGV128_HIGH(oldv));
|
|
|
|
/* Unconditional writeback. */
|
|
tcg_gen_qemu_st_i128_int(tmpv, addr, idx, memop);
|
|
tcg_gen_mov_i128(retv, oldv);
|
|
|
|
tcg_temp_free_i64(t0);
|
|
tcg_temp_free_i64(t1);
|
|
tcg_temp_free_i128(tmpv);
|
|
tcg_temp_free_i128(oldv);
|
|
}
|
|
}
|
|
|
|
void tcg_gen_nonatomic_cmpxchg_i128_chk(TCGv_i128 retv, TCGTemp *addr,
|
|
TCGv_i128 cmpv, TCGv_i128 newv,
|
|
TCGArg idx, MemOp memop,
|
|
TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & (MO_SIZE | MO_SIGN)) == MO_128);
|
|
tcg_gen_nonatomic_cmpxchg_i128_int(retv, addr, cmpv, newv, idx, memop);
|
|
}
|
|
|
|
static void tcg_gen_atomic_cmpxchg_i128_int(TCGv_i128 retv, TCGTemp *addr,
|
|
TCGv_i128 cmpv, TCGv_i128 newv,
|
|
TCGArg idx, MemOp memop)
|
|
{
|
|
gen_atomic_cx_i128 gen;
|
|
|
|
if (!(tcg_ctx->gen_tb->cflags & CF_PARALLEL)) {
|
|
tcg_gen_nonatomic_cmpxchg_i128_int(retv, addr, cmpv, newv, idx, memop);
|
|
return;
|
|
}
|
|
|
|
gen = table_cmpxchg[memop & (MO_SIZE | MO_BSWAP)];
|
|
if (gen) {
|
|
MemOpIdx oi = make_memop_idx(memop, idx);
|
|
TCGv_i64 a64 = maybe_extend_addr64(addr);
|
|
gen(retv, tcg_env, a64, cmpv, newv, tcg_constant_i32(oi));
|
|
maybe_free_addr64(a64);
|
|
return;
|
|
}
|
|
|
|
gen_helper_exit_atomic(tcg_env);
|
|
|
|
/*
|
|
* Produce a result for a well-formed opcode stream. This satisfies
|
|
* liveness for set before used, which happens before this dead code
|
|
* is removed.
|
|
*/
|
|
tcg_gen_movi_i64(TCGV128_LOW(retv), 0);
|
|
tcg_gen_movi_i64(TCGV128_HIGH(retv), 0);
|
|
}
|
|
|
|
void tcg_gen_atomic_cmpxchg_i128_chk(TCGv_i128 retv, TCGTemp *addr,
|
|
TCGv_i128 cmpv, TCGv_i128 newv,
|
|
TCGArg idx, MemOp memop,
|
|
TCGType addr_type)
|
|
{
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type);
|
|
tcg_debug_assert((memop & (MO_SIZE | MO_SIGN)) == MO_128);
|
|
tcg_gen_atomic_cmpxchg_i128_int(retv, addr, cmpv, newv, idx, memop);
|
|
}
|
|
|
|
static void do_nonatomic_op_i32(TCGv_i32 ret, TCGTemp *addr, TCGv_i32 val,
|
|
TCGArg idx, MemOp memop, bool new_val,
|
|
void (*gen)(TCGv_i32, TCGv_i32, TCGv_i32))
|
|
{
|
|
TCGv_i32 t1 = tcg_temp_ebb_new_i32();
|
|
TCGv_i32 t2 = tcg_temp_ebb_new_i32();
|
|
|
|
memop = tcg_canonicalize_memop(memop, 0, 0);
|
|
|
|
tcg_gen_qemu_ld_i32_int(t1, addr, idx, memop);
|
|
tcg_gen_ext_i32(t2, val, memop);
|
|
gen(t2, t1, t2);
|
|
tcg_gen_qemu_st_i32_int(t2, addr, idx, memop);
|
|
|
|
tcg_gen_ext_i32(ret, (new_val ? t2 : t1), memop);
|
|
tcg_temp_free_i32(t1);
|
|
tcg_temp_free_i32(t2);
|
|
}
|
|
|
|
static void do_atomic_op_i32(TCGv_i32 ret, TCGTemp *addr, TCGv_i32 val,
|
|
TCGArg idx, MemOp memop, void * const table[])
|
|
{
|
|
gen_atomic_op_i32 gen;
|
|
TCGv_i64 a64;
|
|
MemOpIdx oi;
|
|
|
|
memop = tcg_canonicalize_memop(memop, 0, 0);
|
|
|
|
gen = table[memop & (MO_SIZE | MO_BSWAP)];
|
|
tcg_debug_assert(gen != NULL);
|
|
|
|
oi = make_memop_idx(memop & ~MO_SIGN, idx);
|
|
a64 = maybe_extend_addr64(addr);
|
|
gen(ret, tcg_env, a64, val, tcg_constant_i32(oi));
|
|
maybe_free_addr64(a64);
|
|
|
|
if (memop & MO_SIGN) {
|
|
tcg_gen_ext_i32(ret, ret, memop);
|
|
}
|
|
}
|
|
|
|
static void do_nonatomic_op_i64(TCGv_i64 ret, TCGTemp *addr, TCGv_i64 val,
|
|
TCGArg idx, MemOp memop, bool new_val,
|
|
void (*gen)(TCGv_i64, TCGv_i64, TCGv_i64))
|
|
{
|
|
TCGv_i64 t1 = tcg_temp_ebb_new_i64();
|
|
TCGv_i64 t2 = tcg_temp_ebb_new_i64();
|
|
|
|
memop = tcg_canonicalize_memop(memop, 1, 0);
|
|
|
|
tcg_gen_qemu_ld_i64_int(t1, addr, idx, memop);
|
|
tcg_gen_ext_i64(t2, val, memop);
|
|
gen(t2, t1, t2);
|
|
tcg_gen_qemu_st_i64_int(t2, addr, idx, memop);
|
|
|
|
tcg_gen_ext_i64(ret, (new_val ? t2 : t1), memop);
|
|
tcg_temp_free_i64(t1);
|
|
tcg_temp_free_i64(t2);
|
|
}
|
|
|
|
static void do_atomic_op_i64(TCGv_i64 ret, TCGTemp *addr, TCGv_i64 val,
|
|
TCGArg idx, MemOp memop, void * const table[])
|
|
{
|
|
memop = tcg_canonicalize_memop(memop, 1, 0);
|
|
|
|
if ((memop & MO_SIZE) == MO_64) {
|
|
gen_atomic_op_i64 gen = table[memop & (MO_SIZE | MO_BSWAP)];
|
|
|
|
if (gen) {
|
|
MemOpIdx oi = make_memop_idx(memop & ~MO_SIGN, idx);
|
|
TCGv_i64 a64 = maybe_extend_addr64(addr);
|
|
gen(ret, tcg_env, a64, val, tcg_constant_i32(oi));
|
|
maybe_free_addr64(a64);
|
|
return;
|
|
}
|
|
|
|
gen_helper_exit_atomic(tcg_env);
|
|
/* Produce a result, so that we have a well-formed opcode stream
|
|
with respect to uses of the result in the (dead) code following. */
|
|
tcg_gen_movi_i64(ret, 0);
|
|
} else {
|
|
TCGv_i32 v32 = tcg_temp_ebb_new_i32();
|
|
TCGv_i32 r32 = tcg_temp_ebb_new_i32();
|
|
|
|
tcg_gen_extrl_i64_i32(v32, val);
|
|
do_atomic_op_i32(r32, addr, v32, idx, memop & ~MO_SIGN, table);
|
|
tcg_temp_free_i32(v32);
|
|
|
|
tcg_gen_extu_i32_i64(ret, r32);
|
|
tcg_temp_free_i32(r32);
|
|
|
|
if (memop & MO_SIGN) {
|
|
tcg_gen_ext_i64(ret, ret, memop);
|
|
}
|
|
}
|
|
}
|
|
|
|
#define GEN_ATOMIC_HELPER(NAME, OP, NEW) \
|
|
static void * const table_##NAME[(MO_SIZE | MO_BSWAP) + 1] = { \
|
|
[MO_8] = gen_helper_atomic_##NAME##b, \
|
|
[MO_16 | MO_LE] = gen_helper_atomic_##NAME##w_le, \
|
|
[MO_16 | MO_BE] = gen_helper_atomic_##NAME##w_be, \
|
|
[MO_32 | MO_LE] = gen_helper_atomic_##NAME##l_le, \
|
|
[MO_32 | MO_BE] = gen_helper_atomic_##NAME##l_be, \
|
|
WITH_ATOMIC64([MO_64 | MO_LE] = gen_helper_atomic_##NAME##q_le) \
|
|
WITH_ATOMIC64([MO_64 | MO_BE] = gen_helper_atomic_##NAME##q_be) \
|
|
}; \
|
|
void tcg_gen_atomic_##NAME##_i32_chk(TCGv_i32 ret, TCGTemp *addr, \
|
|
TCGv_i32 val, TCGArg idx, \
|
|
MemOp memop, TCGType addr_type) \
|
|
{ \
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type); \
|
|
tcg_debug_assert((memop & MO_SIZE) <= MO_32); \
|
|
if (tcg_ctx->gen_tb->cflags & CF_PARALLEL) { \
|
|
do_atomic_op_i32(ret, addr, val, idx, memop, table_##NAME); \
|
|
} else { \
|
|
do_nonatomic_op_i32(ret, addr, val, idx, memop, NEW, \
|
|
tcg_gen_##OP##_i32); \
|
|
} \
|
|
} \
|
|
void tcg_gen_atomic_##NAME##_i64_chk(TCGv_i64 ret, TCGTemp *addr, \
|
|
TCGv_i64 val, TCGArg idx, \
|
|
MemOp memop, TCGType addr_type) \
|
|
{ \
|
|
tcg_debug_assert(addr_type == tcg_ctx->addr_type); \
|
|
tcg_debug_assert((memop & MO_SIZE) <= MO_64); \
|
|
if (tcg_ctx->gen_tb->cflags & CF_PARALLEL) { \
|
|
do_atomic_op_i64(ret, addr, val, idx, memop, table_##NAME); \
|
|
} else { \
|
|
do_nonatomic_op_i64(ret, addr, val, idx, memop, NEW, \
|
|
tcg_gen_##OP##_i64); \
|
|
} \
|
|
}
|
|
|
|
GEN_ATOMIC_HELPER(fetch_add, add, 0)
|
|
GEN_ATOMIC_HELPER(fetch_and, and, 0)
|
|
GEN_ATOMIC_HELPER(fetch_or, or, 0)
|
|
GEN_ATOMIC_HELPER(fetch_xor, xor, 0)
|
|
GEN_ATOMIC_HELPER(fetch_smin, smin, 0)
|
|
GEN_ATOMIC_HELPER(fetch_umin, umin, 0)
|
|
GEN_ATOMIC_HELPER(fetch_smax, smax, 0)
|
|
GEN_ATOMIC_HELPER(fetch_umax, umax, 0)
|
|
|
|
GEN_ATOMIC_HELPER(add_fetch, add, 1)
|
|
GEN_ATOMIC_HELPER(and_fetch, and, 1)
|
|
GEN_ATOMIC_HELPER(or_fetch, or, 1)
|
|
GEN_ATOMIC_HELPER(xor_fetch, xor, 1)
|
|
GEN_ATOMIC_HELPER(smin_fetch, smin, 1)
|
|
GEN_ATOMIC_HELPER(umin_fetch, umin, 1)
|
|
GEN_ATOMIC_HELPER(smax_fetch, smax, 1)
|
|
GEN_ATOMIC_HELPER(umax_fetch, umax, 1)
|
|
|
|
static void tcg_gen_mov2_i32(TCGv_i32 r, TCGv_i32 a, TCGv_i32 b)
|
|
{
|
|
tcg_gen_mov_i32(r, b);
|
|
}
|
|
|
|
static void tcg_gen_mov2_i64(TCGv_i64 r, TCGv_i64 a, TCGv_i64 b)
|
|
{
|
|
tcg_gen_mov_i64(r, b);
|
|
}
|
|
|
|
GEN_ATOMIC_HELPER(xchg, mov2, 0)
|
|
|
|
#undef GEN_ATOMIC_HELPER
|