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_negsetcond_i32 1
140242532bSRichard Henderson #define TCG_TARGET_HAS_div_i32 1
150242532bSRichard Henderson #define TCG_TARGET_HAS_rem_i32 1
160242532bSRichard Henderson #define TCG_TARGET_HAS_div2_i32 0
170242532bSRichard Henderson #define TCG_TARGET_HAS_rot_i32 (cpuinfo & CPUINFO_ZBB)
180242532bSRichard Henderson #define TCG_TARGET_HAS_extract2_i32 0
190242532bSRichard Henderson #define TCG_TARGET_HAS_add2_i32 1
200242532bSRichard Henderson #define TCG_TARGET_HAS_sub2_i32 1
210242532bSRichard Henderson #define TCG_TARGET_HAS_mulu2_i32 0
220242532bSRichard Henderson #define TCG_TARGET_HAS_muls2_i32 0
230242532bSRichard Henderson #define TCG_TARGET_HAS_muluh_i32 0
240242532bSRichard Henderson #define TCG_TARGET_HAS_mulsh_i32 0
250242532bSRichard Henderson #define TCG_TARGET_HAS_ext8s_i32 1
260242532bSRichard Henderson #define TCG_TARGET_HAS_ext16s_i32 1
270242532bSRichard Henderson #define TCG_TARGET_HAS_ext8u_i32 1
280242532bSRichard Henderson #define TCG_TARGET_HAS_ext16u_i32 1
290242532bSRichard Henderson #define TCG_TARGET_HAS_bswap16_i32 (cpuinfo & CPUINFO_ZBB)
300242532bSRichard Henderson #define TCG_TARGET_HAS_bswap32_i32 (cpuinfo & CPUINFO_ZBB)
310242532bSRichard Henderson #define TCG_TARGET_HAS_not_i32 1
320242532bSRichard Henderson #define TCG_TARGET_HAS_andc_i32 (cpuinfo & CPUINFO_ZBB)
330242532bSRichard Henderson #define TCG_TARGET_HAS_orc_i32 (cpuinfo & CPUINFO_ZBB)
340242532bSRichard Henderson #define TCG_TARGET_HAS_eqv_i32 (cpuinfo & CPUINFO_ZBB)
350242532bSRichard Henderson #define TCG_TARGET_HAS_nand_i32 0
360242532bSRichard Henderson #define TCG_TARGET_HAS_nor_i32 0
370242532bSRichard Henderson #define TCG_TARGET_HAS_clz_i32 (cpuinfo & CPUINFO_ZBB)
380242532bSRichard Henderson #define TCG_TARGET_HAS_ctz_i32 (cpuinfo & CPUINFO_ZBB)
390242532bSRichard Henderson #define TCG_TARGET_HAS_ctpop_i32 (cpuinfo & CPUINFO_ZBB)
400242532bSRichard Henderson #define TCG_TARGET_HAS_qemu_st8_i32 0
410242532bSRichard Henderson
420242532bSRichard Henderson #define TCG_TARGET_HAS_negsetcond_i64 1
430242532bSRichard Henderson #define TCG_TARGET_HAS_div_i64 1
440242532bSRichard Henderson #define TCG_TARGET_HAS_rem_i64 1
450242532bSRichard Henderson #define TCG_TARGET_HAS_div2_i64 0
460242532bSRichard Henderson #define TCG_TARGET_HAS_rot_i64 (cpuinfo & CPUINFO_ZBB)
470242532bSRichard Henderson #define TCG_TARGET_HAS_extract2_i64 0
480242532bSRichard Henderson #define TCG_TARGET_HAS_extr_i64_i32 1
490242532bSRichard Henderson #define TCG_TARGET_HAS_ext8s_i64 1
500242532bSRichard Henderson #define TCG_TARGET_HAS_ext16s_i64 1
510242532bSRichard Henderson #define TCG_TARGET_HAS_ext32s_i64 1
520242532bSRichard Henderson #define TCG_TARGET_HAS_ext8u_i64 1
530242532bSRichard Henderson #define TCG_TARGET_HAS_ext16u_i64 1
540242532bSRichard Henderson #define TCG_TARGET_HAS_ext32u_i64 1
550242532bSRichard Henderson #define TCG_TARGET_HAS_bswap16_i64 (cpuinfo & CPUINFO_ZBB)
560242532bSRichard Henderson #define TCG_TARGET_HAS_bswap32_i64 (cpuinfo & CPUINFO_ZBB)
570242532bSRichard Henderson #define TCG_TARGET_HAS_bswap64_i64 (cpuinfo & CPUINFO_ZBB)
580242532bSRichard Henderson #define TCG_TARGET_HAS_not_i64 1
590242532bSRichard Henderson #define TCG_TARGET_HAS_andc_i64 (cpuinfo & CPUINFO_ZBB)
600242532bSRichard Henderson #define TCG_TARGET_HAS_orc_i64 (cpuinfo & CPUINFO_ZBB)
610242532bSRichard Henderson #define TCG_TARGET_HAS_eqv_i64 (cpuinfo & CPUINFO_ZBB)
620242532bSRichard Henderson #define TCG_TARGET_HAS_nand_i64 0
630242532bSRichard Henderson #define TCG_TARGET_HAS_nor_i64 0
640242532bSRichard Henderson #define TCG_TARGET_HAS_clz_i64 (cpuinfo & CPUINFO_ZBB)
650242532bSRichard Henderson #define TCG_TARGET_HAS_ctz_i64 (cpuinfo & CPUINFO_ZBB)
660242532bSRichard Henderson #define TCG_TARGET_HAS_ctpop_i64 (cpuinfo & CPUINFO_ZBB)
670242532bSRichard Henderson #define TCG_TARGET_HAS_add2_i64 1
680242532bSRichard Henderson #define TCG_TARGET_HAS_sub2_i64 1
690242532bSRichard Henderson #define TCG_TARGET_HAS_mulu2_i64 0
700242532bSRichard Henderson #define TCG_TARGET_HAS_muls2_i64 0
710242532bSRichard Henderson #define TCG_TARGET_HAS_muluh_i64 1
720242532bSRichard Henderson #define TCG_TARGET_HAS_mulsh_i64 1
730242532bSRichard Henderson
740242532bSRichard Henderson #define TCG_TARGET_HAS_qemu_ldst_i128 0
750242532bSRichard Henderson
760242532bSRichard Henderson #define TCG_TARGET_HAS_tst 0
770242532bSRichard Henderson
780242532bSRichard Henderson /* vector instructions */
790242532bSRichard Henderson #define TCG_TARGET_HAS_v64 (cpuinfo & CPUINFO_ZVE64X)
800242532bSRichard Henderson #define TCG_TARGET_HAS_v128 (cpuinfo & CPUINFO_ZVE64X)
810242532bSRichard Henderson #define TCG_TARGET_HAS_v256 (cpuinfo & CPUINFO_ZVE64X)
820242532bSRichard Henderson #define TCG_TARGET_HAS_andc_vec 0
830242532bSRichard Henderson #define TCG_TARGET_HAS_orc_vec 0
840242532bSRichard Henderson #define TCG_TARGET_HAS_nand_vec 0
850242532bSRichard Henderson #define TCG_TARGET_HAS_nor_vec 0
860242532bSRichard Henderson #define TCG_TARGET_HAS_eqv_vec 0
870242532bSRichard Henderson #define TCG_TARGET_HAS_not_vec 1
880242532bSRichard Henderson #define TCG_TARGET_HAS_neg_vec 1
890242532bSRichard Henderson #define TCG_TARGET_HAS_abs_vec 0
900242532bSRichard Henderson #define TCG_TARGET_HAS_roti_vec 1
910242532bSRichard Henderson #define TCG_TARGET_HAS_rots_vec 1
920242532bSRichard Henderson #define TCG_TARGET_HAS_rotv_vec 1
930242532bSRichard Henderson #define TCG_TARGET_HAS_shi_vec 1
940242532bSRichard Henderson #define TCG_TARGET_HAS_shs_vec 1
950242532bSRichard Henderson #define TCG_TARGET_HAS_shv_vec 1
960242532bSRichard Henderson #define TCG_TARGET_HAS_mul_vec 1
970242532bSRichard Henderson #define TCG_TARGET_HAS_sat_vec 1
980242532bSRichard Henderson #define TCG_TARGET_HAS_minmax_vec 1
990242532bSRichard Henderson #define TCG_TARGET_HAS_bitsel_vec 0
1000242532bSRichard Henderson #define TCG_TARGET_HAS_cmpsel_vec 1
1010242532bSRichard Henderson
1020242532bSRichard Henderson #define TCG_TARGET_HAS_tst_vec 0
1030242532bSRichard Henderson
104841e2c52SRichard Henderson static inline bool
tcg_target_extract_valid(TCGType type,unsigned ofs,unsigned len)105841e2c52SRichard Henderson tcg_target_extract_valid(TCGType type, unsigned ofs, unsigned len)
106841e2c52SRichard Henderson {
107fa65f135SRichard Henderson if (type == TCG_TYPE_I64 && ofs + len == 32) {
108fa65f135SRichard Henderson /* ofs > 0 uses SRLIW; ofs == 0 uses add.uw. */
109fa65f135SRichard Henderson return ofs || (cpuinfo & CPUINFO_ZBA);
110841e2c52SRichard Henderson }
111*ee97eef2SRichard Henderson switch (len) {
112*ee97eef2SRichard Henderson case 1:
113*ee97eef2SRichard Henderson return (cpuinfo & CPUINFO_ZBS) && ofs != 0;
114*ee97eef2SRichard Henderson case 16:
115*ee97eef2SRichard Henderson return (cpuinfo & CPUINFO_ZBB) && ofs == 0;
116*ee97eef2SRichard Henderson }
117*ee97eef2SRichard Henderson return false;
118841e2c52SRichard Henderson }
119841e2c52SRichard Henderson #define TCG_TARGET_extract_valid tcg_target_extract_valid
120841e2c52SRichard Henderson
121841e2c52SRichard Henderson static inline bool
tcg_target_sextract_valid(TCGType type,unsigned ofs,unsigned len)122841e2c52SRichard Henderson tcg_target_sextract_valid(TCGType type, unsigned ofs, unsigned len)
123841e2c52SRichard Henderson {
124fa65f135SRichard Henderson if (type == TCG_TYPE_I64 && ofs + len == 32) {
125fa65f135SRichard Henderson return true;
126841e2c52SRichard Henderson }
127fa65f135SRichard Henderson return (cpuinfo & CPUINFO_ZBB) && ofs == 0 && (len == 8 || len == 16);
128841e2c52SRichard Henderson }
129841e2c52SRichard Henderson #define TCG_TARGET_sextract_valid tcg_target_sextract_valid
130841e2c52SRichard Henderson
1316482e9d2SRichard Henderson #define TCG_TARGET_deposit_valid(type, ofs, len) 0
1326482e9d2SRichard Henderson
1330242532bSRichard Henderson #endif
134