42659e046f
These helpers will be employed by the idef-parser generated code, to correctly implement instruction semantics. "Helper" functions, in the context of this patch, refers to functions which provide a manual TCG implementation of certain features. Signed-off-by: Alessandro Di Federico <ale@rev.ng> Signed-off-by: Niccolò Izzo <nizzo@rev.ng> Signed-off-by: Anton Johansson <anjo@rev.ng> Signed-off-by: Taylor Simpson <tsimpson@quicinc.com> Reviewed-by: Taylor Simpson <tsimpson@quicinc.com> Message-Id: <20220923173831.227551-6-anjo@rev.ng>
1175 lines
36 KiB
C
1175 lines
36 KiB
C
/*
|
|
* Copyright(c) 2019-2022 Qualcomm Innovation Center, Inc. All Rights Reserved.
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; either version 2 of the License, or
|
|
* (at your option) any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with this program; if not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
#include "qemu/osdep.h"
|
|
#include "cpu.h"
|
|
#include "internal.h"
|
|
#include "tcg/tcg-op.h"
|
|
#include "tcg/tcg-op-gvec.h"
|
|
#include "insn.h"
|
|
#include "opcodes.h"
|
|
#include "translate.h"
|
|
#define QEMU_GENERATE /* Used internally by macros.h */
|
|
#include "macros.h"
|
|
#include "mmvec/macros.h"
|
|
#undef QEMU_GENERATE
|
|
#include "gen_tcg.h"
|
|
#include "gen_tcg_hvx.h"
|
|
#include "genptr.h"
|
|
|
|
TCGv gen_read_reg(TCGv result, int num)
|
|
{
|
|
tcg_gen_mov_tl(result, hex_gpr[num]);
|
|
return result;
|
|
}
|
|
|
|
TCGv gen_read_preg(TCGv pred, uint8_t num)
|
|
{
|
|
tcg_gen_mov_tl(pred, hex_pred[num]);
|
|
return pred;
|
|
}
|
|
|
|
static inline void gen_log_predicated_reg_write(int rnum, TCGv val,
|
|
uint32_t slot)
|
|
{
|
|
TCGv zero = tcg_constant_tl(0);
|
|
TCGv slot_mask = tcg_temp_new();
|
|
|
|
tcg_gen_andi_tl(slot_mask, hex_slot_cancelled, 1 << slot);
|
|
tcg_gen_movcond_tl(TCG_COND_EQ, hex_new_value[rnum], slot_mask, zero,
|
|
val, hex_new_value[rnum]);
|
|
if (HEX_DEBUG) {
|
|
/*
|
|
* Do this so HELPER(debug_commit_end) will know
|
|
*
|
|
* Note that slot_mask indicates the value is not written
|
|
* (i.e., slot was cancelled), so we create a true/false value before
|
|
* or'ing with hex_reg_written[rnum].
|
|
*/
|
|
tcg_gen_setcond_tl(TCG_COND_EQ, slot_mask, slot_mask, zero);
|
|
tcg_gen_or_tl(hex_reg_written[rnum], hex_reg_written[rnum], slot_mask);
|
|
}
|
|
|
|
tcg_temp_free(slot_mask);
|
|
}
|
|
|
|
void gen_log_reg_write(int rnum, TCGv val)
|
|
{
|
|
tcg_gen_mov_tl(hex_new_value[rnum], val);
|
|
if (HEX_DEBUG) {
|
|
/* Do this so HELPER(debug_commit_end) will know */
|
|
tcg_gen_movi_tl(hex_reg_written[rnum], 1);
|
|
}
|
|
}
|
|
|
|
static void gen_log_predicated_reg_write_pair(int rnum, TCGv_i64 val,
|
|
uint32_t slot)
|
|
{
|
|
TCGv val32 = tcg_temp_new();
|
|
TCGv zero = tcg_constant_tl(0);
|
|
TCGv slot_mask = tcg_temp_new();
|
|
|
|
tcg_gen_andi_tl(slot_mask, hex_slot_cancelled, 1 << slot);
|
|
/* Low word */
|
|
tcg_gen_extrl_i64_i32(val32, val);
|
|
tcg_gen_movcond_tl(TCG_COND_EQ, hex_new_value[rnum],
|
|
slot_mask, zero,
|
|
val32, hex_new_value[rnum]);
|
|
/* High word */
|
|
tcg_gen_extrh_i64_i32(val32, val);
|
|
tcg_gen_movcond_tl(TCG_COND_EQ, hex_new_value[rnum + 1],
|
|
slot_mask, zero,
|
|
val32, hex_new_value[rnum + 1]);
|
|
if (HEX_DEBUG) {
|
|
/*
|
|
* Do this so HELPER(debug_commit_end) will know
|
|
*
|
|
* Note that slot_mask indicates the value is not written
|
|
* (i.e., slot was cancelled), so we create a true/false value before
|
|
* or'ing with hex_reg_written[rnum].
|
|
*/
|
|
tcg_gen_setcond_tl(TCG_COND_EQ, slot_mask, slot_mask, zero);
|
|
tcg_gen_or_tl(hex_reg_written[rnum], hex_reg_written[rnum], slot_mask);
|
|
tcg_gen_or_tl(hex_reg_written[rnum + 1], hex_reg_written[rnum + 1],
|
|
slot_mask);
|
|
}
|
|
|
|
tcg_temp_free(val32);
|
|
tcg_temp_free(slot_mask);
|
|
}
|
|
|
|
static void gen_log_reg_write_pair(int rnum, TCGv_i64 val)
|
|
{
|
|
/* Low word */
|
|
tcg_gen_extrl_i64_i32(hex_new_value[rnum], val);
|
|
if (HEX_DEBUG) {
|
|
/* Do this so HELPER(debug_commit_end) will know */
|
|
tcg_gen_movi_tl(hex_reg_written[rnum], 1);
|
|
}
|
|
|
|
/* High word */
|
|
tcg_gen_extrh_i64_i32(hex_new_value[rnum + 1], val);
|
|
if (HEX_DEBUG) {
|
|
/* Do this so HELPER(debug_commit_end) will know */
|
|
tcg_gen_movi_tl(hex_reg_written[rnum + 1], 1);
|
|
}
|
|
}
|
|
|
|
void gen_log_pred_write(DisasContext *ctx, int pnum, TCGv val)
|
|
{
|
|
TCGv base_val = tcg_temp_new();
|
|
|
|
tcg_gen_andi_tl(base_val, val, 0xff);
|
|
|
|
/*
|
|
* Section 6.1.3 of the Hexagon V67 Programmer's Reference Manual
|
|
*
|
|
* Multiple writes to the same preg are and'ed together
|
|
* If this is the first predicate write in the packet, do a
|
|
* straight assignment. Otherwise, do an and.
|
|
*/
|
|
if (!test_bit(pnum, ctx->pregs_written)) {
|
|
tcg_gen_mov_tl(hex_new_pred_value[pnum], base_val);
|
|
} else {
|
|
tcg_gen_and_tl(hex_new_pred_value[pnum],
|
|
hex_new_pred_value[pnum], base_val);
|
|
}
|
|
tcg_gen_ori_tl(hex_pred_written, hex_pred_written, 1 << pnum);
|
|
|
|
tcg_temp_free(base_val);
|
|
}
|
|
|
|
static inline void gen_read_p3_0(TCGv control_reg)
|
|
{
|
|
tcg_gen_movi_tl(control_reg, 0);
|
|
for (int i = 0; i < NUM_PREGS; i++) {
|
|
tcg_gen_deposit_tl(control_reg, control_reg, hex_pred[i], i * 8, 8);
|
|
}
|
|
}
|
|
|
|
/*
|
|
* Certain control registers require special handling on read
|
|
* HEX_REG_P3_0 aliased to the predicate registers
|
|
* -> concat the 4 predicate registers together
|
|
* HEX_REG_PC actual value stored in DisasContext
|
|
* -> assign from ctx->base.pc_next
|
|
* HEX_REG_QEMU_*_CNT changes in current TB in DisasContext
|
|
* -> add current TB changes to existing reg value
|
|
*/
|
|
static inline void gen_read_ctrl_reg(DisasContext *ctx, const int reg_num,
|
|
TCGv dest)
|
|
{
|
|
if (reg_num == HEX_REG_P3_0) {
|
|
gen_read_p3_0(dest);
|
|
} else if (reg_num == HEX_REG_PC) {
|
|
tcg_gen_movi_tl(dest, ctx->base.pc_next);
|
|
} else if (reg_num == HEX_REG_QEMU_PKT_CNT) {
|
|
tcg_gen_addi_tl(dest, hex_gpr[HEX_REG_QEMU_PKT_CNT],
|
|
ctx->num_packets);
|
|
} else if (reg_num == HEX_REG_QEMU_INSN_CNT) {
|
|
tcg_gen_addi_tl(dest, hex_gpr[HEX_REG_QEMU_INSN_CNT],
|
|
ctx->num_insns);
|
|
} else if (reg_num == HEX_REG_QEMU_HVX_CNT) {
|
|
tcg_gen_addi_tl(dest, hex_gpr[HEX_REG_QEMU_HVX_CNT],
|
|
ctx->num_hvx_insns);
|
|
} else {
|
|
tcg_gen_mov_tl(dest, hex_gpr[reg_num]);
|
|
}
|
|
}
|
|
|
|
static inline void gen_read_ctrl_reg_pair(DisasContext *ctx, const int reg_num,
|
|
TCGv_i64 dest)
|
|
{
|
|
if (reg_num == HEX_REG_P3_0) {
|
|
TCGv p3_0 = tcg_temp_new();
|
|
gen_read_p3_0(p3_0);
|
|
tcg_gen_concat_i32_i64(dest, p3_0, hex_gpr[reg_num + 1]);
|
|
tcg_temp_free(p3_0);
|
|
} else if (reg_num == HEX_REG_PC - 1) {
|
|
TCGv pc = tcg_constant_tl(ctx->base.pc_next);
|
|
tcg_gen_concat_i32_i64(dest, hex_gpr[reg_num], pc);
|
|
} else if (reg_num == HEX_REG_QEMU_PKT_CNT) {
|
|
TCGv pkt_cnt = tcg_temp_new();
|
|
TCGv insn_cnt = tcg_temp_new();
|
|
tcg_gen_addi_tl(pkt_cnt, hex_gpr[HEX_REG_QEMU_PKT_CNT],
|
|
ctx->num_packets);
|
|
tcg_gen_addi_tl(insn_cnt, hex_gpr[HEX_REG_QEMU_INSN_CNT],
|
|
ctx->num_insns);
|
|
tcg_gen_concat_i32_i64(dest, pkt_cnt, insn_cnt);
|
|
tcg_temp_free(pkt_cnt);
|
|
tcg_temp_free(insn_cnt);
|
|
} else if (reg_num == HEX_REG_QEMU_HVX_CNT) {
|
|
TCGv hvx_cnt = tcg_temp_new();
|
|
tcg_gen_addi_tl(hvx_cnt, hex_gpr[HEX_REG_QEMU_HVX_CNT],
|
|
ctx->num_hvx_insns);
|
|
tcg_gen_concat_i32_i64(dest, hvx_cnt, hex_gpr[reg_num + 1]);
|
|
tcg_temp_free(hvx_cnt);
|
|
} else {
|
|
tcg_gen_concat_i32_i64(dest,
|
|
hex_gpr[reg_num],
|
|
hex_gpr[reg_num + 1]);
|
|
}
|
|
}
|
|
|
|
static void gen_write_p3_0(DisasContext *ctx, TCGv control_reg)
|
|
{
|
|
TCGv hex_p8 = tcg_temp_new();
|
|
for (int i = 0; i < NUM_PREGS; i++) {
|
|
tcg_gen_extract_tl(hex_p8, control_reg, i * 8, 8);
|
|
gen_log_pred_write(ctx, i, hex_p8);
|
|
ctx_log_pred_write(ctx, i);
|
|
}
|
|
tcg_temp_free(hex_p8);
|
|
}
|
|
|
|
/*
|
|
* Certain control registers require special handling on write
|
|
* HEX_REG_P3_0 aliased to the predicate registers
|
|
* -> break the value across 4 predicate registers
|
|
* HEX_REG_QEMU_*_CNT changes in current TB in DisasContext
|
|
* -> clear the changes
|
|
*/
|
|
static inline void gen_write_ctrl_reg(DisasContext *ctx, int reg_num,
|
|
TCGv val)
|
|
{
|
|
if (reg_num == HEX_REG_P3_0) {
|
|
gen_write_p3_0(ctx, val);
|
|
} else {
|
|
gen_log_reg_write(reg_num, val);
|
|
ctx_log_reg_write(ctx, reg_num);
|
|
if (reg_num == HEX_REG_QEMU_PKT_CNT) {
|
|
ctx->num_packets = 0;
|
|
}
|
|
if (reg_num == HEX_REG_QEMU_INSN_CNT) {
|
|
ctx->num_insns = 0;
|
|
}
|
|
if (reg_num == HEX_REG_QEMU_HVX_CNT) {
|
|
ctx->num_hvx_insns = 0;
|
|
}
|
|
}
|
|
}
|
|
|
|
static inline void gen_write_ctrl_reg_pair(DisasContext *ctx, int reg_num,
|
|
TCGv_i64 val)
|
|
{
|
|
if (reg_num == HEX_REG_P3_0) {
|
|
TCGv val32 = tcg_temp_new();
|
|
tcg_gen_extrl_i64_i32(val32, val);
|
|
gen_write_p3_0(ctx, val32);
|
|
tcg_gen_extrh_i64_i32(val32, val);
|
|
gen_log_reg_write(reg_num + 1, val32);
|
|
tcg_temp_free(val32);
|
|
ctx_log_reg_write(ctx, reg_num + 1);
|
|
} else {
|
|
gen_log_reg_write_pair(reg_num, val);
|
|
ctx_log_reg_write_pair(ctx, reg_num);
|
|
if (reg_num == HEX_REG_QEMU_PKT_CNT) {
|
|
ctx->num_packets = 0;
|
|
ctx->num_insns = 0;
|
|
}
|
|
if (reg_num == HEX_REG_QEMU_HVX_CNT) {
|
|
ctx->num_hvx_insns = 0;
|
|
}
|
|
}
|
|
}
|
|
|
|
TCGv gen_get_byte(TCGv result, int N, TCGv src, bool sign)
|
|
{
|
|
if (sign) {
|
|
tcg_gen_sextract_tl(result, src, N * 8, 8);
|
|
} else {
|
|
tcg_gen_extract_tl(result, src, N * 8, 8);
|
|
}
|
|
return result;
|
|
}
|
|
|
|
TCGv gen_get_byte_i64(TCGv result, int N, TCGv_i64 src, bool sign)
|
|
{
|
|
TCGv_i64 res64 = tcg_temp_new_i64();
|
|
if (sign) {
|
|
tcg_gen_sextract_i64(res64, src, N * 8, 8);
|
|
} else {
|
|
tcg_gen_extract_i64(res64, src, N * 8, 8);
|
|
}
|
|
tcg_gen_extrl_i64_i32(result, res64);
|
|
tcg_temp_free_i64(res64);
|
|
|
|
return result;
|
|
}
|
|
|
|
TCGv gen_get_half(TCGv result, int N, TCGv src, bool sign)
|
|
{
|
|
if (sign) {
|
|
tcg_gen_sextract_tl(result, src, N * 16, 16);
|
|
} else {
|
|
tcg_gen_extract_tl(result, src, N * 16, 16);
|
|
}
|
|
return result;
|
|
}
|
|
|
|
void gen_set_half(int N, TCGv result, TCGv src)
|
|
{
|
|
tcg_gen_deposit_tl(result, result, src, N * 16, 16);
|
|
}
|
|
|
|
void gen_set_half_i64(int N, TCGv_i64 result, TCGv src)
|
|
{
|
|
TCGv_i64 src64 = tcg_temp_new_i64();
|
|
tcg_gen_extu_i32_i64(src64, src);
|
|
tcg_gen_deposit_i64(result, result, src64, N * 16, 16);
|
|
tcg_temp_free_i64(src64);
|
|
}
|
|
|
|
void gen_set_byte_i64(int N, TCGv_i64 result, TCGv src)
|
|
{
|
|
TCGv_i64 src64 = tcg_temp_new_i64();
|
|
tcg_gen_extu_i32_i64(src64, src);
|
|
tcg_gen_deposit_i64(result, result, src64, N * 8, 8);
|
|
tcg_temp_free_i64(src64);
|
|
}
|
|
|
|
static inline void gen_load_locked4u(TCGv dest, TCGv vaddr, int mem_index)
|
|
{
|
|
tcg_gen_qemu_ld32u(dest, vaddr, mem_index);
|
|
tcg_gen_mov_tl(hex_llsc_addr, vaddr);
|
|
tcg_gen_mov_tl(hex_llsc_val, dest);
|
|
}
|
|
|
|
static inline void gen_load_locked8u(TCGv_i64 dest, TCGv vaddr, int mem_index)
|
|
{
|
|
tcg_gen_qemu_ld64(dest, vaddr, mem_index);
|
|
tcg_gen_mov_tl(hex_llsc_addr, vaddr);
|
|
tcg_gen_mov_i64(hex_llsc_val_i64, dest);
|
|
}
|
|
|
|
static inline void gen_store_conditional4(DisasContext *ctx,
|
|
TCGv pred, TCGv vaddr, TCGv src)
|
|
{
|
|
TCGLabel *fail = gen_new_label();
|
|
TCGLabel *done = gen_new_label();
|
|
TCGv one, zero, tmp;
|
|
|
|
tcg_gen_brcond_tl(TCG_COND_NE, vaddr, hex_llsc_addr, fail);
|
|
|
|
one = tcg_constant_tl(0xff);
|
|
zero = tcg_constant_tl(0);
|
|
tmp = tcg_temp_new();
|
|
tcg_gen_atomic_cmpxchg_tl(tmp, hex_llsc_addr, hex_llsc_val, src,
|
|
ctx->mem_idx, MO_32);
|
|
tcg_gen_movcond_tl(TCG_COND_EQ, pred, tmp, hex_llsc_val,
|
|
one, zero);
|
|
tcg_temp_free(tmp);
|
|
tcg_gen_br(done);
|
|
|
|
gen_set_label(fail);
|
|
tcg_gen_movi_tl(pred, 0);
|
|
|
|
gen_set_label(done);
|
|
tcg_gen_movi_tl(hex_llsc_addr, ~0);
|
|
}
|
|
|
|
static inline void gen_store_conditional8(DisasContext *ctx,
|
|
TCGv pred, TCGv vaddr, TCGv_i64 src)
|
|
{
|
|
TCGLabel *fail = gen_new_label();
|
|
TCGLabel *done = gen_new_label();
|
|
TCGv_i64 one, zero, tmp;
|
|
|
|
tcg_gen_brcond_tl(TCG_COND_NE, vaddr, hex_llsc_addr, fail);
|
|
|
|
one = tcg_constant_i64(0xff);
|
|
zero = tcg_constant_i64(0);
|
|
tmp = tcg_temp_new_i64();
|
|
tcg_gen_atomic_cmpxchg_i64(tmp, hex_llsc_addr, hex_llsc_val_i64, src,
|
|
ctx->mem_idx, MO_64);
|
|
tcg_gen_movcond_i64(TCG_COND_EQ, tmp, tmp, hex_llsc_val_i64,
|
|
one, zero);
|
|
tcg_gen_extrl_i64_i32(pred, tmp);
|
|
tcg_temp_free_i64(tmp);
|
|
tcg_gen_br(done);
|
|
|
|
gen_set_label(fail);
|
|
tcg_gen_movi_tl(pred, 0);
|
|
|
|
gen_set_label(done);
|
|
tcg_gen_movi_tl(hex_llsc_addr, ~0);
|
|
}
|
|
|
|
void gen_store32(TCGv vaddr, TCGv src, int width, uint32_t slot)
|
|
{
|
|
tcg_gen_mov_tl(hex_store_addr[slot], vaddr);
|
|
tcg_gen_movi_tl(hex_store_width[slot], width);
|
|
tcg_gen_mov_tl(hex_store_val32[slot], src);
|
|
}
|
|
|
|
void gen_store1(TCGv_env cpu_env, TCGv vaddr, TCGv src, uint32_t slot)
|
|
{
|
|
gen_store32(vaddr, src, 1, slot);
|
|
}
|
|
|
|
void gen_store1i(TCGv_env cpu_env, TCGv vaddr, int32_t src, uint32_t slot)
|
|
{
|
|
TCGv tmp = tcg_constant_tl(src);
|
|
gen_store1(cpu_env, vaddr, tmp, slot);
|
|
}
|
|
|
|
void gen_store2(TCGv_env cpu_env, TCGv vaddr, TCGv src, uint32_t slot)
|
|
{
|
|
gen_store32(vaddr, src, 2, slot);
|
|
}
|
|
|
|
void gen_store2i(TCGv_env cpu_env, TCGv vaddr, int32_t src, uint32_t slot)
|
|
{
|
|
TCGv tmp = tcg_constant_tl(src);
|
|
gen_store2(cpu_env, vaddr, tmp, slot);
|
|
}
|
|
|
|
void gen_store4(TCGv_env cpu_env, TCGv vaddr, TCGv src, uint32_t slot)
|
|
{
|
|
gen_store32(vaddr, src, 4, slot);
|
|
}
|
|
|
|
void gen_store4i(TCGv_env cpu_env, TCGv vaddr, int32_t src, uint32_t slot)
|
|
{
|
|
TCGv tmp = tcg_constant_tl(src);
|
|
gen_store4(cpu_env, vaddr, tmp, slot);
|
|
}
|
|
|
|
void gen_store8(TCGv_env cpu_env, TCGv vaddr, TCGv_i64 src, uint32_t slot)
|
|
{
|
|
tcg_gen_mov_tl(hex_store_addr[slot], vaddr);
|
|
tcg_gen_movi_tl(hex_store_width[slot], 8);
|
|
tcg_gen_mov_i64(hex_store_val64[slot], src);
|
|
}
|
|
|
|
void gen_store8i(TCGv_env cpu_env, TCGv vaddr, int64_t src, uint32_t slot)
|
|
{
|
|
TCGv_i64 tmp = tcg_constant_i64(src);
|
|
gen_store8(cpu_env, vaddr, tmp, slot);
|
|
}
|
|
|
|
TCGv gen_8bitsof(TCGv result, TCGv value)
|
|
{
|
|
TCGv zero = tcg_constant_tl(0);
|
|
TCGv ones = tcg_constant_tl(0xff);
|
|
tcg_gen_movcond_tl(TCG_COND_NE, result, value, zero, ones, zero);
|
|
|
|
return result;
|
|
}
|
|
|
|
static void gen_write_new_pc_addr(DisasContext *ctx, TCGv addr,
|
|
TCGCond cond, TCGv pred)
|
|
{
|
|
TCGLabel *pred_false = NULL;
|
|
if (cond != TCG_COND_ALWAYS) {
|
|
pred_false = gen_new_label();
|
|
tcg_gen_brcondi_tl(cond, pred, 0, pred_false);
|
|
}
|
|
|
|
if (ctx->pkt->pkt_has_multi_cof) {
|
|
/* If there are multiple branches in a packet, ignore the second one */
|
|
tcg_gen_movcond_tl(TCG_COND_NE, hex_gpr[HEX_REG_PC],
|
|
hex_branch_taken, tcg_constant_tl(0),
|
|
hex_gpr[HEX_REG_PC], addr);
|
|
tcg_gen_movi_tl(hex_branch_taken, 1);
|
|
} else {
|
|
tcg_gen_mov_tl(hex_gpr[HEX_REG_PC], addr);
|
|
}
|
|
|
|
if (cond != TCG_COND_ALWAYS) {
|
|
gen_set_label(pred_false);
|
|
}
|
|
}
|
|
|
|
static void gen_write_new_pc_pcrel(DisasContext *ctx, int pc_off,
|
|
TCGCond cond, TCGv pred)
|
|
{
|
|
target_ulong dest = ctx->pkt->pc + pc_off;
|
|
if (ctx->pkt->pkt_has_multi_cof) {
|
|
gen_write_new_pc_addr(ctx, tcg_constant_tl(dest), cond, pred);
|
|
} else {
|
|
/* Defer this jump to the end of the TB */
|
|
ctx->branch_cond = TCG_COND_ALWAYS;
|
|
if (pred != NULL) {
|
|
ctx->branch_cond = cond;
|
|
tcg_gen_mov_tl(hex_branch_taken, pred);
|
|
}
|
|
ctx->branch_dest = dest;
|
|
}
|
|
}
|
|
|
|
void gen_set_usr_field(int field, TCGv val)
|
|
{
|
|
tcg_gen_deposit_tl(hex_new_value[HEX_REG_USR], hex_new_value[HEX_REG_USR],
|
|
val,
|
|
reg_field_info[field].offset,
|
|
reg_field_info[field].width);
|
|
}
|
|
|
|
void gen_set_usr_fieldi(int field, int x)
|
|
{
|
|
if (reg_field_info[field].width == 1) {
|
|
target_ulong bit = 1 << reg_field_info[field].offset;
|
|
if ((x & 1) == 1) {
|
|
tcg_gen_ori_tl(hex_new_value[HEX_REG_USR],
|
|
hex_new_value[HEX_REG_USR],
|
|
bit);
|
|
} else {
|
|
tcg_gen_andi_tl(hex_new_value[HEX_REG_USR],
|
|
hex_new_value[HEX_REG_USR],
|
|
~bit);
|
|
}
|
|
} else {
|
|
TCGv val = tcg_constant_tl(x);
|
|
gen_set_usr_field(field, val);
|
|
}
|
|
}
|
|
|
|
static void gen_compare(TCGCond cond, TCGv res, TCGv arg1, TCGv arg2)
|
|
{
|
|
TCGv one = tcg_constant_tl(0xff);
|
|
TCGv zero = tcg_constant_tl(0);
|
|
|
|
tcg_gen_movcond_tl(cond, res, arg1, arg2, one, zero);
|
|
}
|
|
|
|
static void gen_cond_jumpr(DisasContext *ctx, TCGv dst_pc,
|
|
TCGCond cond, TCGv pred)
|
|
{
|
|
gen_write_new_pc_addr(ctx, dst_pc, cond, pred);
|
|
}
|
|
|
|
static void gen_cond_jump(DisasContext *ctx, TCGCond cond, TCGv pred,
|
|
int pc_off)
|
|
{
|
|
gen_write_new_pc_pcrel(ctx, pc_off, cond, pred);
|
|
}
|
|
|
|
static void gen_cmpnd_cmp_jmp(DisasContext *ctx,
|
|
int pnum, TCGCond cond1, TCGv arg1, TCGv arg2,
|
|
TCGCond cond2, int pc_off)
|
|
{
|
|
if (ctx->insn->part1) {
|
|
TCGv pred = tcg_temp_new();
|
|
gen_compare(cond1, pred, arg1, arg2);
|
|
gen_log_pred_write(ctx, pnum, pred);
|
|
tcg_temp_free(pred);
|
|
} else {
|
|
TCGv pred = tcg_temp_new();
|
|
tcg_gen_mov_tl(pred, hex_new_pred_value[pnum]);
|
|
gen_cond_jump(ctx, cond2, pred, pc_off);
|
|
tcg_temp_free(pred);
|
|
}
|
|
}
|
|
|
|
static void gen_cmpnd_cmp_jmp_t(DisasContext *ctx,
|
|
int pnum, TCGCond cond, TCGv arg1, TCGv arg2,
|
|
int pc_off)
|
|
{
|
|
gen_cmpnd_cmp_jmp(ctx, pnum, cond, arg1, arg2, TCG_COND_EQ, pc_off);
|
|
}
|
|
|
|
static void gen_cmpnd_cmp_jmp_f(DisasContext *ctx,
|
|
int pnum, TCGCond cond, TCGv arg1, TCGv arg2,
|
|
int pc_off)
|
|
{
|
|
gen_cmpnd_cmp_jmp(ctx, pnum, cond, arg1, arg2, TCG_COND_NE, pc_off);
|
|
}
|
|
|
|
static void gen_cmpnd_cmpi_jmp_t(DisasContext *ctx,
|
|
int pnum, TCGCond cond, TCGv arg1, int arg2,
|
|
int pc_off)
|
|
{
|
|
TCGv tmp = tcg_constant_tl(arg2);
|
|
gen_cmpnd_cmp_jmp(ctx, pnum, cond, arg1, tmp, TCG_COND_EQ, pc_off);
|
|
}
|
|
|
|
static void gen_cmpnd_cmpi_jmp_f(DisasContext *ctx,
|
|
int pnum, TCGCond cond, TCGv arg1, int arg2,
|
|
int pc_off)
|
|
{
|
|
TCGv tmp = tcg_constant_tl(arg2);
|
|
gen_cmpnd_cmp_jmp(ctx, pnum, cond, arg1, tmp, TCG_COND_NE, pc_off);
|
|
}
|
|
|
|
static void gen_cmpnd_cmp_n1_jmp_t(DisasContext *ctx, int pnum, TCGCond cond,
|
|
TCGv arg, int pc_off)
|
|
{
|
|
gen_cmpnd_cmpi_jmp_t(ctx, pnum, cond, arg, -1, pc_off);
|
|
}
|
|
|
|
static void gen_cmpnd_cmp_n1_jmp_f(DisasContext *ctx, int pnum, TCGCond cond,
|
|
TCGv arg, int pc_off)
|
|
{
|
|
gen_cmpnd_cmpi_jmp_f(ctx, pnum, cond, arg, -1, pc_off);
|
|
}
|
|
|
|
static void gen_cmpnd_tstbit0_jmp(DisasContext *ctx,
|
|
int pnum, TCGv arg, TCGCond cond, int pc_off)
|
|
{
|
|
if (ctx->insn->part1) {
|
|
TCGv pred = tcg_temp_new();
|
|
tcg_gen_andi_tl(pred, arg, 1);
|
|
gen_8bitsof(pred, pred);
|
|
gen_log_pred_write(ctx, pnum, pred);
|
|
tcg_temp_free(pred);
|
|
} else {
|
|
TCGv pred = tcg_temp_new();
|
|
tcg_gen_mov_tl(pred, hex_new_pred_value[pnum]);
|
|
gen_cond_jump(ctx, cond, pred, pc_off);
|
|
tcg_temp_free(pred);
|
|
}
|
|
}
|
|
|
|
static void gen_testbit0_jumpnv(DisasContext *ctx,
|
|
TCGv arg, TCGCond cond, int pc_off)
|
|
{
|
|
TCGv pred = tcg_temp_new();
|
|
tcg_gen_andi_tl(pred, arg, 1);
|
|
gen_cond_jump(ctx, cond, pred, pc_off);
|
|
tcg_temp_free(pred);
|
|
}
|
|
|
|
static void gen_jump(DisasContext *ctx, int pc_off)
|
|
{
|
|
gen_write_new_pc_pcrel(ctx, pc_off, TCG_COND_ALWAYS, NULL);
|
|
}
|
|
|
|
static void gen_jumpr(DisasContext *ctx, TCGv new_pc)
|
|
{
|
|
gen_write_new_pc_addr(ctx, new_pc, TCG_COND_ALWAYS, NULL);
|
|
}
|
|
|
|
static void gen_call(DisasContext *ctx, int pc_off)
|
|
{
|
|
TCGv next_PC =
|
|
tcg_constant_tl(ctx->pkt->pc + ctx->pkt->encod_pkt_size_in_bytes);
|
|
gen_log_reg_write(HEX_REG_LR, next_PC);
|
|
gen_write_new_pc_pcrel(ctx, pc_off, TCG_COND_ALWAYS, NULL);
|
|
}
|
|
|
|
static void gen_cond_call(DisasContext *ctx, TCGv pred,
|
|
TCGCond cond, int pc_off)
|
|
{
|
|
TCGv next_PC;
|
|
TCGv lsb = tcg_temp_local_new();
|
|
TCGLabel *skip = gen_new_label();
|
|
tcg_gen_andi_tl(lsb, pred, 1);
|
|
gen_write_new_pc_pcrel(ctx, pc_off, cond, lsb);
|
|
tcg_gen_brcondi_tl(cond, lsb, 0, skip);
|
|
tcg_temp_free(lsb);
|
|
next_PC =
|
|
tcg_constant_tl(ctx->pkt->pc + ctx->pkt->encod_pkt_size_in_bytes);
|
|
gen_log_reg_write(HEX_REG_LR, next_PC);
|
|
gen_set_label(skip);
|
|
}
|
|
|
|
static void gen_endloop0(DisasContext *ctx)
|
|
{
|
|
TCGv lpcfg = tcg_temp_local_new();
|
|
|
|
GET_USR_FIELD(USR_LPCFG, lpcfg);
|
|
|
|
/*
|
|
* if (lpcfg == 1) {
|
|
* hex_new_pred_value[3] = 0xff;
|
|
* hex_pred_written |= 1 << 3;
|
|
* }
|
|
*/
|
|
TCGLabel *label1 = gen_new_label();
|
|
tcg_gen_brcondi_tl(TCG_COND_NE, lpcfg, 1, label1);
|
|
{
|
|
tcg_gen_movi_tl(hex_new_pred_value[3], 0xff);
|
|
tcg_gen_ori_tl(hex_pred_written, hex_pred_written, 1 << 3);
|
|
}
|
|
gen_set_label(label1);
|
|
|
|
/*
|
|
* if (lpcfg) {
|
|
* SET_USR_FIELD(USR_LPCFG, lpcfg - 1);
|
|
* }
|
|
*/
|
|
TCGLabel *label2 = gen_new_label();
|
|
tcg_gen_brcondi_tl(TCG_COND_EQ, lpcfg, 0, label2);
|
|
{
|
|
tcg_gen_subi_tl(lpcfg, lpcfg, 1);
|
|
SET_USR_FIELD(USR_LPCFG, lpcfg);
|
|
}
|
|
gen_set_label(label2);
|
|
|
|
/*
|
|
* If we're in a tight loop, we'll do this at the end of the TB to take
|
|
* advantage of direct block chaining.
|
|
*/
|
|
if (!ctx->is_tight_loop) {
|
|
/*
|
|
* if (hex_gpr[HEX_REG_LC0] > 1) {
|
|
* PC = hex_gpr[HEX_REG_SA0];
|
|
* hex_new_value[HEX_REG_LC0] = hex_gpr[HEX_REG_LC0] - 1;
|
|
* }
|
|
*/
|
|
TCGLabel *label3 = gen_new_label();
|
|
tcg_gen_brcondi_tl(TCG_COND_LEU, hex_gpr[HEX_REG_LC0], 1, label3);
|
|
{
|
|
gen_jumpr(ctx, hex_gpr[HEX_REG_SA0]);
|
|
tcg_gen_subi_tl(hex_new_value[HEX_REG_LC0],
|
|
hex_gpr[HEX_REG_LC0], 1);
|
|
}
|
|
gen_set_label(label3);
|
|
}
|
|
|
|
tcg_temp_free(lpcfg);
|
|
}
|
|
|
|
static void gen_cmp_jumpnv(DisasContext *ctx,
|
|
TCGCond cond, TCGv val, TCGv src, int pc_off)
|
|
{
|
|
TCGv pred = tcg_temp_new();
|
|
tcg_gen_setcond_tl(cond, pred, val, src);
|
|
gen_cond_jump(ctx, TCG_COND_EQ, pred, pc_off);
|
|
tcg_temp_free(pred);
|
|
}
|
|
|
|
static void gen_cmpi_jumpnv(DisasContext *ctx,
|
|
TCGCond cond, TCGv val, int src, int pc_off)
|
|
{
|
|
TCGv pred = tcg_temp_new();
|
|
tcg_gen_setcondi_tl(cond, pred, val, src);
|
|
gen_cond_jump(ctx, TCG_COND_EQ, pred, pc_off);
|
|
tcg_temp_free(pred);
|
|
}
|
|
|
|
/* Shift left with saturation */
|
|
static void gen_shl_sat(TCGv dst, TCGv src, TCGv shift_amt)
|
|
{
|
|
TCGv sh32 = tcg_temp_new();
|
|
TCGv dst_sar = tcg_temp_new();
|
|
TCGv ovf = tcg_temp_new();
|
|
TCGv satval = tcg_temp_new();
|
|
TCGv min = tcg_constant_tl(0x80000000);
|
|
TCGv max = tcg_constant_tl(0x7fffffff);
|
|
|
|
/*
|
|
* Possible values for shift_amt are 0 .. 64
|
|
* We need special handling for values above 31
|
|
*
|
|
* sh32 = shift & 31;
|
|
* dst = sh32 == shift ? src : 0;
|
|
* dst <<= sh32;
|
|
* dst_sar = dst >> sh32;
|
|
* satval = src < 0 ? min : max;
|
|
* if (dst_asr != src) {
|
|
* usr.OVF |= 1;
|
|
* dst = satval;
|
|
* }
|
|
*/
|
|
|
|
tcg_gen_andi_tl(sh32, shift_amt, 31);
|
|
tcg_gen_movcond_tl(TCG_COND_EQ, dst, sh32, shift_amt,
|
|
src, tcg_constant_tl(0));
|
|
tcg_gen_shl_tl(dst, dst, sh32);
|
|
tcg_gen_sar_tl(dst_sar, dst, sh32);
|
|
tcg_gen_movcond_tl(TCG_COND_LT, satval, src, tcg_constant_tl(0), min, max);
|
|
|
|
tcg_gen_setcond_tl(TCG_COND_NE, ovf, dst_sar, src);
|
|
tcg_gen_shli_tl(ovf, ovf, reg_field_info[USR_OVF].offset);
|
|
tcg_gen_or_tl(hex_new_value[HEX_REG_USR], hex_new_value[HEX_REG_USR], ovf);
|
|
|
|
tcg_gen_movcond_tl(TCG_COND_EQ, dst, dst_sar, src, dst, satval);
|
|
|
|
tcg_temp_free(sh32);
|
|
tcg_temp_free(dst_sar);
|
|
tcg_temp_free(ovf);
|
|
tcg_temp_free(satval);
|
|
}
|
|
|
|
static void gen_sar(TCGv dst, TCGv src, TCGv shift_amt)
|
|
{
|
|
/*
|
|
* Shift arithmetic right
|
|
* Robust when shift_amt is >31 bits
|
|
*/
|
|
TCGv tmp = tcg_temp_new();
|
|
tcg_gen_umin_tl(tmp, shift_amt, tcg_constant_tl(31));
|
|
tcg_gen_sar_tl(dst, src, tmp);
|
|
tcg_temp_free(tmp);
|
|
}
|
|
|
|
/* Bidirectional shift right with saturation */
|
|
static void gen_asr_r_r_sat(TCGv RdV, TCGv RsV, TCGv RtV)
|
|
{
|
|
TCGv shift_amt = tcg_temp_local_new();
|
|
TCGLabel *positive = gen_new_label();
|
|
TCGLabel *done = gen_new_label();
|
|
|
|
tcg_gen_sextract_i32(shift_amt, RtV, 0, 7);
|
|
tcg_gen_brcondi_tl(TCG_COND_GE, shift_amt, 0, positive);
|
|
|
|
/* Negative shift amount => shift left */
|
|
tcg_gen_neg_tl(shift_amt, shift_amt);
|
|
gen_shl_sat(RdV, RsV, shift_amt);
|
|
tcg_gen_br(done);
|
|
|
|
gen_set_label(positive);
|
|
/* Positive shift amount => shift right */
|
|
gen_sar(RdV, RsV, shift_amt);
|
|
|
|
gen_set_label(done);
|
|
|
|
tcg_temp_free(shift_amt);
|
|
}
|
|
|
|
/* Bidirectional shift left with saturation */
|
|
static void gen_asl_r_r_sat(TCGv RdV, TCGv RsV, TCGv RtV)
|
|
{
|
|
TCGv shift_amt = tcg_temp_local_new();
|
|
TCGLabel *positive = gen_new_label();
|
|
TCGLabel *done = gen_new_label();
|
|
|
|
tcg_gen_sextract_i32(shift_amt, RtV, 0, 7);
|
|
tcg_gen_brcondi_tl(TCG_COND_GE, shift_amt, 0, positive);
|
|
|
|
/* Negative shift amount => shift right */
|
|
tcg_gen_neg_tl(shift_amt, shift_amt);
|
|
gen_sar(RdV, RsV, shift_amt);
|
|
tcg_gen_br(done);
|
|
|
|
gen_set_label(positive);
|
|
/* Positive shift amount => shift left */
|
|
gen_shl_sat(RdV, RsV, shift_amt);
|
|
|
|
gen_set_label(done);
|
|
|
|
tcg_temp_free(shift_amt);
|
|
}
|
|
|
|
static intptr_t vreg_src_off(DisasContext *ctx, int num)
|
|
{
|
|
intptr_t offset = offsetof(CPUHexagonState, VRegs[num]);
|
|
|
|
if (test_bit(num, ctx->vregs_select)) {
|
|
offset = ctx_future_vreg_off(ctx, num, 1, false);
|
|
}
|
|
if (test_bit(num, ctx->vregs_updated_tmp)) {
|
|
offset = ctx_tmp_vreg_off(ctx, num, 1, false);
|
|
}
|
|
return offset;
|
|
}
|
|
|
|
static void gen_log_vreg_write(DisasContext *ctx, intptr_t srcoff, int num,
|
|
VRegWriteType type, int slot_num,
|
|
bool is_predicated)
|
|
{
|
|
TCGLabel *label_end = NULL;
|
|
intptr_t dstoff;
|
|
|
|
if (is_predicated) {
|
|
TCGv cancelled = tcg_temp_local_new();
|
|
label_end = gen_new_label();
|
|
|
|
/* Don't do anything if the slot was cancelled */
|
|
tcg_gen_extract_tl(cancelled, hex_slot_cancelled, slot_num, 1);
|
|
tcg_gen_brcondi_tl(TCG_COND_NE, cancelled, 0, label_end);
|
|
tcg_temp_free(cancelled);
|
|
}
|
|
|
|
if (type != EXT_TMP) {
|
|
dstoff = ctx_future_vreg_off(ctx, num, 1, true);
|
|
tcg_gen_gvec_mov(MO_64, dstoff, srcoff,
|
|
sizeof(MMVector), sizeof(MMVector));
|
|
tcg_gen_ori_tl(hex_VRegs_updated, hex_VRegs_updated, 1 << num);
|
|
} else {
|
|
dstoff = ctx_tmp_vreg_off(ctx, num, 1, false);
|
|
tcg_gen_gvec_mov(MO_64, dstoff, srcoff,
|
|
sizeof(MMVector), sizeof(MMVector));
|
|
}
|
|
|
|
if (is_predicated) {
|
|
gen_set_label(label_end);
|
|
}
|
|
}
|
|
|
|
static void gen_log_vreg_write_pair(DisasContext *ctx, intptr_t srcoff, int num,
|
|
VRegWriteType type, int slot_num,
|
|
bool is_predicated)
|
|
{
|
|
gen_log_vreg_write(ctx, srcoff, num ^ 0, type, slot_num, is_predicated);
|
|
srcoff += sizeof(MMVector);
|
|
gen_log_vreg_write(ctx, srcoff, num ^ 1, type, slot_num, is_predicated);
|
|
}
|
|
|
|
static void gen_log_qreg_write(intptr_t srcoff, int num, int vnew,
|
|
int slot_num, bool is_predicated)
|
|
{
|
|
TCGLabel *label_end = NULL;
|
|
intptr_t dstoff;
|
|
|
|
if (is_predicated) {
|
|
TCGv cancelled = tcg_temp_local_new();
|
|
label_end = gen_new_label();
|
|
|
|
/* Don't do anything if the slot was cancelled */
|
|
tcg_gen_extract_tl(cancelled, hex_slot_cancelled, slot_num, 1);
|
|
tcg_gen_brcondi_tl(TCG_COND_NE, cancelled, 0, label_end);
|
|
tcg_temp_free(cancelled);
|
|
}
|
|
|
|
dstoff = offsetof(CPUHexagonState, future_QRegs[num]);
|
|
tcg_gen_gvec_mov(MO_64, dstoff, srcoff, sizeof(MMQReg), sizeof(MMQReg));
|
|
|
|
if (is_predicated) {
|
|
tcg_gen_ori_tl(hex_QRegs_updated, hex_QRegs_updated, 1 << num);
|
|
gen_set_label(label_end);
|
|
}
|
|
}
|
|
|
|
static void gen_vreg_load(DisasContext *ctx, intptr_t dstoff, TCGv src,
|
|
bool aligned)
|
|
{
|
|
TCGv_i64 tmp = tcg_temp_new_i64();
|
|
if (aligned) {
|
|
tcg_gen_andi_tl(src, src, ~((int32_t)sizeof(MMVector) - 1));
|
|
}
|
|
for (int i = 0; i < sizeof(MMVector) / 8; i++) {
|
|
tcg_gen_qemu_ld64(tmp, src, ctx->mem_idx);
|
|
tcg_gen_addi_tl(src, src, 8);
|
|
tcg_gen_st_i64(tmp, cpu_env, dstoff + i * 8);
|
|
}
|
|
tcg_temp_free_i64(tmp);
|
|
}
|
|
|
|
static void gen_vreg_store(DisasContext *ctx, TCGv EA, intptr_t srcoff,
|
|
int slot, bool aligned)
|
|
{
|
|
intptr_t dstoff = offsetof(CPUHexagonState, vstore[slot].data);
|
|
intptr_t maskoff = offsetof(CPUHexagonState, vstore[slot].mask);
|
|
|
|
if (is_gather_store_insn(ctx)) {
|
|
TCGv sl = tcg_constant_tl(slot);
|
|
gen_helper_gather_store(cpu_env, EA, sl);
|
|
return;
|
|
}
|
|
|
|
tcg_gen_movi_tl(hex_vstore_pending[slot], 1);
|
|
if (aligned) {
|
|
tcg_gen_andi_tl(hex_vstore_addr[slot], EA,
|
|
~((int32_t)sizeof(MMVector) - 1));
|
|
} else {
|
|
tcg_gen_mov_tl(hex_vstore_addr[slot], EA);
|
|
}
|
|
tcg_gen_movi_tl(hex_vstore_size[slot], sizeof(MMVector));
|
|
|
|
/* Copy the data to the vstore buffer */
|
|
tcg_gen_gvec_mov(MO_64, dstoff, srcoff, sizeof(MMVector), sizeof(MMVector));
|
|
/* Set the mask to all 1's */
|
|
tcg_gen_gvec_dup_imm(MO_64, maskoff, sizeof(MMQReg), sizeof(MMQReg), ~0LL);
|
|
}
|
|
|
|
static void gen_vreg_masked_store(DisasContext *ctx, TCGv EA, intptr_t srcoff,
|
|
intptr_t bitsoff, int slot, bool invert)
|
|
{
|
|
intptr_t dstoff = offsetof(CPUHexagonState, vstore[slot].data);
|
|
intptr_t maskoff = offsetof(CPUHexagonState, vstore[slot].mask);
|
|
|
|
tcg_gen_movi_tl(hex_vstore_pending[slot], 1);
|
|
tcg_gen_andi_tl(hex_vstore_addr[slot], EA,
|
|
~((int32_t)sizeof(MMVector) - 1));
|
|
tcg_gen_movi_tl(hex_vstore_size[slot], sizeof(MMVector));
|
|
|
|
/* Copy the data to the vstore buffer */
|
|
tcg_gen_gvec_mov(MO_64, dstoff, srcoff, sizeof(MMVector), sizeof(MMVector));
|
|
/* Copy the mask */
|
|
tcg_gen_gvec_mov(MO_64, maskoff, bitsoff, sizeof(MMQReg), sizeof(MMQReg));
|
|
if (invert) {
|
|
tcg_gen_gvec_not(MO_64, maskoff, maskoff,
|
|
sizeof(MMQReg), sizeof(MMQReg));
|
|
}
|
|
}
|
|
|
|
static void vec_to_qvec(size_t size, intptr_t dstoff, intptr_t srcoff)
|
|
{
|
|
TCGv_i64 tmp = tcg_temp_new_i64();
|
|
TCGv_i64 word = tcg_temp_new_i64();
|
|
TCGv_i64 bits = tcg_temp_new_i64();
|
|
TCGv_i64 mask = tcg_temp_new_i64();
|
|
TCGv_i64 zero = tcg_constant_i64(0);
|
|
TCGv_i64 ones = tcg_constant_i64(~0);
|
|
|
|
for (int i = 0; i < sizeof(MMVector) / 8; i++) {
|
|
tcg_gen_ld_i64(tmp, cpu_env, srcoff + i * 8);
|
|
tcg_gen_movi_i64(mask, 0);
|
|
|
|
for (int j = 0; j < 8; j += size) {
|
|
tcg_gen_extract_i64(word, tmp, j * 8, size * 8);
|
|
tcg_gen_movcond_i64(TCG_COND_NE, bits, word, zero, ones, zero);
|
|
tcg_gen_deposit_i64(mask, mask, bits, j, size);
|
|
}
|
|
|
|
tcg_gen_st8_i64(mask, cpu_env, dstoff + i);
|
|
}
|
|
tcg_temp_free_i64(tmp);
|
|
tcg_temp_free_i64(word);
|
|
tcg_temp_free_i64(bits);
|
|
tcg_temp_free_i64(mask);
|
|
}
|
|
|
|
void probe_noshuf_load(TCGv va, int s, int mi)
|
|
{
|
|
TCGv size = tcg_constant_tl(s);
|
|
TCGv mem_idx = tcg_constant_tl(mi);
|
|
gen_helper_probe_noshuf_load(cpu_env, va, size, mem_idx);
|
|
}
|
|
|
|
/*
|
|
* Note: Since this function might branch, `val` is
|
|
* required to be a `tcg_temp_local`.
|
|
*/
|
|
void gen_set_usr_field_if(int field, TCGv val)
|
|
{
|
|
/* Sets the USR field if `val` is non-zero */
|
|
if (reg_field_info[field].width == 1) {
|
|
TCGv tmp = tcg_temp_new();
|
|
tcg_gen_extract_tl(tmp, val, 0, reg_field_info[field].width);
|
|
tcg_gen_shli_tl(tmp, tmp, reg_field_info[field].offset);
|
|
tcg_gen_or_tl(hex_new_value[HEX_REG_USR],
|
|
hex_new_value[HEX_REG_USR],
|
|
tmp);
|
|
tcg_temp_free(tmp);
|
|
} else {
|
|
TCGLabel *skip_label = gen_new_label();
|
|
tcg_gen_brcondi_tl(TCG_COND_EQ, val, 0, skip_label);
|
|
gen_set_usr_field(field, val);
|
|
gen_set_label(skip_label);
|
|
}
|
|
}
|
|
|
|
void gen_sat_i32(TCGv dest, TCGv source, int width)
|
|
{
|
|
TCGv max_val = tcg_constant_tl((1 << (width - 1)) - 1);
|
|
TCGv min_val = tcg_constant_tl(-(1 << (width - 1)));
|
|
tcg_gen_smin_tl(dest, source, max_val);
|
|
tcg_gen_smax_tl(dest, dest, min_val);
|
|
}
|
|
|
|
void gen_sat_i32_ovfl(TCGv ovfl, TCGv dest, TCGv source, int width)
|
|
{
|
|
gen_sat_i32(dest, source, width);
|
|
tcg_gen_setcond_tl(TCG_COND_NE, ovfl, source, dest);
|
|
}
|
|
|
|
void gen_satu_i32(TCGv dest, TCGv source, int width)
|
|
{
|
|
TCGv max_val = tcg_constant_tl((1 << width) - 1);
|
|
TCGv zero = tcg_constant_tl(0);
|
|
tcg_gen_movcond_tl(TCG_COND_GTU, dest, source, max_val, max_val, source);
|
|
tcg_gen_movcond_tl(TCG_COND_LT, dest, source, zero, zero, dest);
|
|
}
|
|
|
|
void gen_satu_i32_ovfl(TCGv ovfl, TCGv dest, TCGv source, int width)
|
|
{
|
|
gen_satu_i32(dest, source, width);
|
|
tcg_gen_setcond_tl(TCG_COND_NE, ovfl, source, dest);
|
|
}
|
|
|
|
void gen_sat_i64(TCGv_i64 dest, TCGv_i64 source, int width)
|
|
{
|
|
TCGv_i64 max_val = tcg_constant_i64((1LL << (width - 1)) - 1LL);
|
|
TCGv_i64 min_val = tcg_constant_i64(-(1LL << (width - 1)));
|
|
tcg_gen_smin_i64(dest, source, max_val);
|
|
tcg_gen_smax_i64(dest, dest, min_val);
|
|
}
|
|
|
|
void gen_sat_i64_ovfl(TCGv ovfl, TCGv_i64 dest, TCGv_i64 source, int width)
|
|
{
|
|
TCGv_i64 ovfl_64;
|
|
gen_sat_i64(dest, source, width);
|
|
ovfl_64 = tcg_temp_new_i64();
|
|
tcg_gen_setcond_i64(TCG_COND_NE, ovfl_64, dest, source);
|
|
tcg_gen_trunc_i64_tl(ovfl, ovfl_64);
|
|
tcg_temp_free_i64(ovfl_64);
|
|
}
|
|
|
|
void gen_satu_i64(TCGv_i64 dest, TCGv_i64 source, int width)
|
|
{
|
|
TCGv_i64 max_val = tcg_constant_i64((1LL << width) - 1LL);
|
|
TCGv_i64 zero = tcg_constant_i64(0);
|
|
tcg_gen_movcond_i64(TCG_COND_GTU, dest, source, max_val, max_val, source);
|
|
tcg_gen_movcond_i64(TCG_COND_LT, dest, source, zero, zero, dest);
|
|
}
|
|
|
|
void gen_satu_i64_ovfl(TCGv ovfl, TCGv_i64 dest, TCGv_i64 source, int width)
|
|
{
|
|
TCGv_i64 ovfl_64;
|
|
gen_satu_i64(dest, source, width);
|
|
ovfl_64 = tcg_temp_new_i64();
|
|
tcg_gen_setcond_i64(TCG_COND_NE, ovfl_64, dest, source);
|
|
tcg_gen_trunc_i64_tl(ovfl, ovfl_64);
|
|
tcg_temp_free_i64(ovfl_64);
|
|
}
|
|
|
|
/* Implements the fADDSAT64 macro in TCG */
|
|
void gen_add_sat_i64(TCGv_i64 ret, TCGv_i64 a, TCGv_i64 b)
|
|
{
|
|
TCGv_i64 sum = tcg_temp_local_new_i64();
|
|
TCGv_i64 xor = tcg_temp_new_i64();
|
|
TCGv_i64 cond1 = tcg_temp_new_i64();
|
|
TCGv_i64 cond2 = tcg_temp_local_new_i64();
|
|
TCGv_i64 cond3 = tcg_temp_new_i64();
|
|
TCGv_i64 mask = tcg_constant_i64(0x8000000000000000ULL);
|
|
TCGv_i64 max_pos = tcg_constant_i64(0x7FFFFFFFFFFFFFFFLL);
|
|
TCGv_i64 max_neg = tcg_constant_i64(0x8000000000000000LL);
|
|
TCGv_i64 zero = tcg_constant_i64(0);
|
|
TCGLabel *no_ovfl_label = gen_new_label();
|
|
TCGLabel *ovfl_label = gen_new_label();
|
|
TCGLabel *ret_label = gen_new_label();
|
|
|
|
tcg_gen_add_i64(sum, a, b);
|
|
tcg_gen_xor_i64(xor, a, b);
|
|
|
|
/* if (xor & mask) */
|
|
tcg_gen_and_i64(cond1, xor, mask);
|
|
tcg_temp_free_i64(xor);
|
|
tcg_gen_brcondi_i64(TCG_COND_NE, cond1, 0, no_ovfl_label);
|
|
tcg_temp_free_i64(cond1);
|
|
|
|
/* else if ((a ^ sum) & mask) */
|
|
tcg_gen_xor_i64(cond2, a, sum);
|
|
tcg_gen_and_i64(cond2, cond2, mask);
|
|
tcg_gen_brcondi_i64(TCG_COND_NE, cond2, 0, ovfl_label);
|
|
tcg_temp_free_i64(cond2);
|
|
/* fallthrough to no_ovfl_label branch */
|
|
|
|
/* if branch */
|
|
gen_set_label(no_ovfl_label);
|
|
tcg_gen_mov_i64(ret, sum);
|
|
tcg_gen_br(ret_label);
|
|
|
|
/* else if branch */
|
|
gen_set_label(ovfl_label);
|
|
tcg_gen_and_i64(cond3, sum, mask);
|
|
tcg_temp_free_i64(mask);
|
|
tcg_temp_free_i64(sum);
|
|
tcg_gen_movcond_i64(TCG_COND_NE, ret, cond3, zero, max_pos, max_neg);
|
|
tcg_temp_free_i64(cond3);
|
|
SET_USR_FIELD(USR_OVF, 1);
|
|
|
|
gen_set_label(ret_label);
|
|
}
|
|
|
|
#include "tcg_funcs_generated.c.inc"
|
|
#include "tcg_func_table_generated.c.inc"
|