10242532bSRichard Henderson /* SPDX-License-Identifier: MIT */
20242532bSRichard Henderson /*
30242532bSRichard Henderson * Define target-specific opcode support
40242532bSRichard Henderson * Copyright (c) 2018 SiFive, Inc
50242532bSRichard Henderson */
60242532bSRichard Henderson
70242532bSRichard Henderson #ifndef TCG_TARGET_HAS_H
80242532bSRichard Henderson #define TCG_TARGET_HAS_H
90242532bSRichard Henderson
100242532bSRichard Henderson #include "host/cpuinfo.h"
110242532bSRichard Henderson
120242532bSRichard Henderson /* optional instructions */
130242532bSRichard Henderson #define TCG_TARGET_HAS_extr_i64_i32 1
140242532bSRichard Henderson #define TCG_TARGET_HAS_qemu_ldst_i128 0
150242532bSRichard Henderson #define TCG_TARGET_HAS_tst 0
160242532bSRichard Henderson
170242532bSRichard Henderson /* vector instructions */
180242532bSRichard Henderson #define TCG_TARGET_HAS_v64 (cpuinfo & CPUINFO_ZVE64X)
190242532bSRichard Henderson #define TCG_TARGET_HAS_v128 (cpuinfo & CPUINFO_ZVE64X)
200242532bSRichard Henderson #define TCG_TARGET_HAS_v256 (cpuinfo & CPUINFO_ZVE64X)
210242532bSRichard Henderson #define TCG_TARGET_HAS_andc_vec 0
220242532bSRichard Henderson #define TCG_TARGET_HAS_orc_vec 0
230242532bSRichard Henderson #define TCG_TARGET_HAS_nand_vec 0
240242532bSRichard Henderson #define TCG_TARGET_HAS_nor_vec 0
250242532bSRichard Henderson #define TCG_TARGET_HAS_eqv_vec 0
260242532bSRichard Henderson #define TCG_TARGET_HAS_not_vec 1
270242532bSRichard Henderson #define TCG_TARGET_HAS_neg_vec 1
280242532bSRichard Henderson #define TCG_TARGET_HAS_abs_vec 0
290242532bSRichard Henderson #define TCG_TARGET_HAS_roti_vec 1
300242532bSRichard Henderson #define TCG_TARGET_HAS_rots_vec 1
310242532bSRichard Henderson #define TCG_TARGET_HAS_rotv_vec 1
320242532bSRichard Henderson #define TCG_TARGET_HAS_shi_vec 1
330242532bSRichard Henderson #define TCG_TARGET_HAS_shs_vec 1
340242532bSRichard Henderson #define TCG_TARGET_HAS_shv_vec 1
350242532bSRichard Henderson #define TCG_TARGET_HAS_mul_vec 1
360242532bSRichard Henderson #define TCG_TARGET_HAS_sat_vec 1
370242532bSRichard Henderson #define TCG_TARGET_HAS_minmax_vec 1
380242532bSRichard Henderson #define TCG_TARGET_HAS_bitsel_vec 0
390242532bSRichard Henderson #define TCG_TARGET_HAS_cmpsel_vec 1
400242532bSRichard Henderson
410242532bSRichard Henderson #define TCG_TARGET_HAS_tst_vec 0
420242532bSRichard Henderson
43841e2c52SRichard Henderson static inline bool
tcg_target_extract_valid(TCGType type,unsigned ofs,unsigned len)44841e2c52SRichard Henderson tcg_target_extract_valid(TCGType type, unsigned ofs, unsigned len)
45841e2c52SRichard Henderson {
46fa65f135SRichard Henderson if (type == TCG_TYPE_I64 && ofs + len == 32) {
47fa65f135SRichard Henderson /* ofs > 0 uses SRLIW; ofs == 0 uses add.uw. */
48fa65f135SRichard Henderson return ofs || (cpuinfo & CPUINFO_ZBA);
49841e2c52SRichard Henderson }
50*ee97eef2SRichard Henderson switch (len) {
51*ee97eef2SRichard Henderson case 1:
52*ee97eef2SRichard Henderson return (cpuinfo & CPUINFO_ZBS) && ofs != 0;
53*ee97eef2SRichard Henderson case 16:
54*ee97eef2SRichard Henderson return (cpuinfo & CPUINFO_ZBB) && ofs == 0;
55*ee97eef2SRichard Henderson }
56*ee97eef2SRichard Henderson return false;
57841e2c52SRichard Henderson }
58841e2c52SRichard Henderson #define TCG_TARGET_extract_valid tcg_target_extract_valid
59841e2c52SRichard Henderson
60841e2c52SRichard Henderson static inline bool
tcg_target_sextract_valid(TCGType type,unsigned ofs,unsigned len)61841e2c52SRichard Henderson tcg_target_sextract_valid(TCGType type, unsigned ofs, unsigned len)
62841e2c52SRichard Henderson {
63fa65f135SRichard Henderson if (type == TCG_TYPE_I64 && ofs + len == 32) {
64fa65f135SRichard Henderson return true;
65841e2c52SRichard Henderson }
66fa65f135SRichard Henderson return (cpuinfo & CPUINFO_ZBB) && ofs == 0 && (len == 8 || len == 16);
67841e2c52SRichard Henderson }
68841e2c52SRichard Henderson #define TCG_TARGET_sextract_valid tcg_target_sextract_valid
69841e2c52SRichard Henderson
706482e9d2SRichard Henderson #define TCG_TARGET_deposit_valid(type, ofs, len) 0
716482e9d2SRichard Henderson
720242532bSRichard Henderson #endif
73