[PATCH v5] RISC-V: Rewrite some instructions using ASM targethook

There are some xtheadvector instructions that differ from RVV1.0 apart from simply adding "th." prefix. For example, RVV1.0 load/store instructions will have SEW while xtheadvector not; RVV1.0 will have "o" for indexed-ordered store instructions while xtheadvecotr not; xtheadvector and RVV1.0 have

[PATCH v6] RISC-V: Fix register overlap issue for some xtheadvector instructions

For th.vmadc/th.vmsbc as well as narrowing arithmetic instructions and floating-point compare instructions, an illegal instruction exception will be raised if the destination vector register overlaps a source vector register group. To handle this issue, we add an attribute "spec_restriction" to

[PATCH v6] RISC-V: Add support for xtheadvector-specific intrinsics.

This patch only involves the generation of xtheadvector special load/store instructions and vext instructions. gcc/ChangeLog: * config/riscv/riscv-vector-builtins-bases.cc (class th_loadstore_width): Define new builtin bases. (class th_extract): Define new builtin bases.

[PATCH v6] RISC-V: Handle differences between XTheadvector and Vector

This patch is to handle the differences in instruction generation between Vector and XTheadVector. In this version, we only support partial xtheadvector instructions that leverage directly from current RVV1.0 with simple adding "th." prefix. For different name xtheadvector instructions but share

[PATCH v5] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

This patch adds th. prefix to all XTheadVector instructions by implementing new assembly output functions. We only check the prefix is 'v', so that no extra attribute is needed. gcc/ChangeLog: * config/riscv/riscv-protos.h (riscv_asm_output_opcode): Add new function to add

[PATCH v4] RISC-V: Introduce XTheadVector as a subset of V1.0.0

This patch is to introduce basic XTheadVector support (march string parsing and a test for __riscv_xtheadvector) according to https://github.com/T-head-Semi/thead-extension-spec/ gcc/ChangeLog: * common/config/riscv/riscv-common.cc (riscv_subset_list::parse): Add new vendor

[PATCH v5] RISC-V: Support XTheadVector extension

This patch series presents gcc implementation of the XTheadVector extension [1]. [1] https://github.com/T-head-Semi/thead-extension-spec/ For some vector patterns that cannot be avoided, we use "!TARGET_XTHEADVECTOR" to disable them in order not to generate instructions that xtheadvector does

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

oshua"; "gcc-patches" 抄　送：Jim Wilson; palmer; andrew; "philipp.tomsich"; jeffreyalaw; "christoph.muellner"; jinma; "cooper.qu" 主　题：Re: Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics. Yes. juzhe.zh...@rivai.ai   发件人： joshua 发送时

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

uot;gcc-patches" 抄　送：Jim Wilson; palmer; andrew; "philipp.tomsich"; jeffreyalaw; "christoph.muellner"; jinma; "cooper.qu" 主　题：Re: Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics. Does theadvector has extension instructions ? Show me the

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

送：Jim Wilson; palmer; andrew; "philipp.tomsich"; jeffreyalaw; "christoph.muellner"; jinma; "cooper.qu" 主　题：Re: Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics. (vec_duplicate:RVVM1QI (reg:QI 147 Find the RTL define pseudo 147 to me. I guess

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

red_vf2 (, mode);   riscv_vector::emit_vlmax_insn (icode, riscv_vector::UNARY_OP, operands);   DONE; }   [(set_attr "type" "vext")    (set_attr "mode" "")]) juzhe.zh...@rivai.ai   发件人： joshua 发送时间： 2024-01-11 20:05 收件人： juzhe.zh...@rivai.ai; gcc-patches 抄送： Jim Wilson; pa

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

v5] RISC-V: Add support for xtheadvector-specific intrinsics. Ok.  Let's hold on "RISC-V: Handle differences between XTheadvector and Vector" patch until you can reproduce the issue for me. juzhe.zh...@rivai.ai   发件人： joshua 发送时间： 2024-01-11 17:29 收件人： juzhe.zh...@rivai.ai; gcc-patches

[PATCH v5] RISC-V: Handle differences between XTheadvector and Vector

This patch is to handle the differences in instruction generation between Vector and XTheadVector. In this version, we only support partial xtheadvector instructions that leverage directly from current RVV1.0 with simple adding "th." prefix. For different name xtheadvector instructions but share

Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

LGTM. Could you resend the patch "RISC-V: Handle differences between XTheadvector and Vector Thanks. juzhe.zh...@rivai.ai   From: Jun Sha (Joshua) Date: 2024-01-11 17:52 To: gcc-patches CC: jim.wilson.gcc; palmer; andrew; philipp.tomsich; jeffreyalaw; christoph.muellner; juzhe.zhong; Ju

[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

This patch only involves the generation of xtheadvector special load/store instructions and vext instructions. gcc/ChangeLog: * config/riscv/riscv-vector-builtins-bases.cc (class th_loadstore_width): Define new builtin bases. (class th_extract): Define new builtin bases.

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

cs. Ok.  Let's hold on "RISC-V: Handle differences between XTheadvector and Vector" patch until you can reproduce the issue for me. juzhe.zh...@rivai.ai   发件人： joshua 发送时间： 2024-01-11 17:29 收件人： juzhe.zh...@rivai.ai; gcc-patches 抄送： Jim Wilson; palmer; andrew; philipp.tomsich; jeffreyalaw;

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

support for xtheadvector-specific intrinsics. I prefer you remove those TARGET_THEADVECTOR for now. And file PR let me see the real problem. I don't believe this should not fixed by this way. juzhe.zh...@rivai.ai   发件人： joshua 发送时间： 2024-01-11 17:26 收件人： juzhe.zh...@rivai.ai; gcc-patches

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

[(unspec: +     [(match_operand: 0 "vector_mask_operand" "vmWc1") + (match_operand 4 "vector_length_operand"    "   rK") + (match_operand 5 "const_int_operand" "    i") + (reg:SI VL_REGNUM) +

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

tor-specific extension patterns. Could you show me? juzhe.zh...@rivai.ai   发件人： joshua 发送时间： 2024-01-11 17:14 收件人： juzhe.zh...@rivai.ai; gcc-patches 抄送： Jim Wilson; palmer; andrew; philipp.tomsich; jeffreyalaw; christoph.muellner; jinma; cooper.qu 主题： Re：[PATCH v5] RISC-V: Add support for xtheadvector

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

v5] RISC-V: Add support for xtheadvector-specific intrinsics. You mean which pattern optimized sext/vzext pattern? I didn't see theadvector-specific extension patterns. Could you show me? juzhe.zh...@rivai.ai   发件人： joshua 发送时间： 2024-01-11 17:14 收件人： juzhe.zh...@rivai.ai; gcc-patches

Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

To be specific, in CSE pass, the initial pattern will be optimized into the sext/zext pattern. -- 发件人：joshua 发送时间：2024年1月11日(星期四) 17:11 收件人："juzhe.zh...@rivai.ai"; "gcc-patches" 抄　送：Jim Wilson; palmer; andr

Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

uot;W87,W87,W87,W87, vr, vr")) (match_operand:VOEXTI 2 "vector_merge_operand"" vu, vu, 0, 0, vu,0")))]- "TARGET_VECTOR"+ "TARGET_VECTOR && !TARGET_XTHEADVECTOR" "vext.vf8\t%0,%3%p1" [(set_attr

[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

This patch only involves the generation of xtheadvector special load/store instructions and vext instructions. gcc/ChangeLog: * config/riscv/riscv-vector-builtins-bases.cc (class th_loadstore_width): Define new builtin bases. (class th_extract): Define new builtin bases.

Re：Re: [PATCH v5] RISC-V: Fix register overlap issue for some xtheadvector instructions

Hi Robin, Thank you for your suggestions! The patch has been updated by adding a new attribute to disable alternative for xtheadvector or RVV1.0 instead of overlaoding group_overlap. Joshua -- 发件人：钟居哲 发送时间：2024年1月10日(星期三) 21

[PATCH v5] RISC-V: Fix register overlap issue for some xtheadvector instructions

For th.vmadc/th.vmsbc as well as narrowing arithmetic instructions and floating-point compare instructions, an illegal instruction exception will be raised if the destination vector register overlaps a source vector register group. To handle this issue, we add an attribute "spec_restriction" to

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

s ? +DEF_RVV_FUNCTION (th_vlb, th_loadstore_width, full_preds, i8_v_scalar_const_ptr_ops) Why it is not : DEF_RVV_FUNCTION (th_vlb, th_loadstore_width, full_preds, all_v_scalar_const_ptr_ops) ? juzhe.zh...@rivai.ai 发件人： joshua 发送时间： 2024-01-10 19:06 收件人： juzhe.zh...@rivai.ai; gcc-patches 抄送： Jim Wi

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

Can you see the images that I sent to you in the last email？ If not, maybe you can refer to the last chapter in the thead spec. -- 发件人：joshua 发送时间：2024年1月10日(星期三) 19:06 收件人："juzhe.zh...@rivai.ai"; "gcc-patches&

Re：Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

or-specific intrinsics. instance.op_info->args[i].get_tree_type (instance.type.index)  is output type. You can use GDB debug it . juzhe.zh...@rivai.ai   发件人： joshua 发送时间： 2024-01-10 18:57 收件人： juzhe.zh...@rivai.ai; gcc-patches 抄送： Jim Wilson; palmer; andrew; philipp.tomsich; jeffreyalaw; christoph.m

Re：[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

Instead, you should use all_v_scalar_const_ptr_ops And revise th_loadstore_width, append the name according TYPE_UNSIGNED and  GET_MODE_BITSIZE (GET_MODE_INNER (TYPE_MODE (instance.op_info->args[i].get_tree_type (instance.type.index juzhe.zh...@rivai.ai   From: Jun Sha (Joshua) Date: 2

[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

This patch only involves the generation of xtheadvector special load/store instructions and vext instructions. gcc/ChangeLog: * config/riscv/riscv-vector-builtins-bases.cc (class th_loadstore_width): Define new builtin bases. (BASE): Define new builtin bases. *

[PATCH v5] RISC-V: Add support for xtheadvector-specific intrinsics.

This patch only involves the generation of xtheadvector special load/store instructions and vext instructions. gcc/ChangeLog: * config/riscv/riscv-vector-builtins-bases.cc (class th_loadstore_width): Define new builtin bases. (BASE): Define new builtin bases. *

Re：Re：[PATCH v5] RISC-V: Handle differences between XTheadvector and Vector

atches" 抄　送：Jim Wilson; palmer; andrew; "philipp.tomsich"; jeffreyalaw; "christoph.muellner"; jinma; "cooper.qu" 主　题：Re: Re：[PATCH v5] RISC-V: Handle differences between XTheadvector and Vector Why do you need to invade existing shapes ? juzhe.zh...@

回复：Re：[PATCH v5] RISC-V: Handle differences between XTheadvector and Vector

时间：2024年1月10日(星期三) 15:17 收件人："cooper.joshua"; "gcc-patches" 抄　送：Jim Wilson; palmer; andrew; "philipp.tomsich"; jeffreyalaw; "christoph.muellner"; jinma; "cooper.qu" 主　题：Re: Re：[PATCH v5] RISC-V: Handle differences between XTheadvector and Vecto

Re：Re：[PATCH v5] RISC-V: Handle differences between XTheadvector and Vector

/config/riscv/thead-vector-builtins.cc+ Why do you rebuild another new object ? + Copyright (C) 2022-2023 Free Software Foundation, Inc. Incorrect copyright juzhe.zh...@rivai.ai   发件人： joshua 发送时间： 2024-01-10 10:57 收件人： juzhe.zh...@rivai.ai; gcc-patches 抄送： Jim Wilson; palmer; andrew; philip

[PATCH v5] RISC-V: Fix register overlap issue for some xtheadvector instructions

For th.vmadc/th.vmsbc as well as narrowing arithmetic instructions and floating-point compare instructions, an illegal instruction exception will be raised if the destination vector register overlaps a source vector register group. To handle this issue, we use "group_overlap" and "enabled"

[PATCH v5] RISC-V: Fix register overlap issue for some xtheadvector instructions

For th.vmadc/th.vmsbc as well as narrowing arithmetic instructions and floating-point compare instructions, an illegal instruction exception will be raised if the destination vector register overlaps a source vector register group. To handle this issue, we use "group_overlap" and "enabled"

Re：Re: [PATCH v4] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

Hi Kito, Thank you for your support again. I believe we can get all our xtheadvector patches ready before the end of Feb. May I please ping the arch patch again? https://gcc.gnu.org/pipermail/gcc-patches/2024-January/641801.html This is the patch that all the following patches rely on. Joshua

Re：[PATCH v5] RISC-V: Handle differences between XTheadvector and Vector

yet. Joshua -- 发件人：juzhe.zh...@rivai.ai 发送时间：2024年1月10日(星期三) 10:34 收件人："cooper.joshua"; "gcc-patches" 抄　送：Jim Wilson; palmer; andrew; "philipp.tomsich"; jeffreyalaw; "christoph.muellner";

[PATCH v5] RISC-V: Handle differences between XTheadvector and Vector

This patch is to handle the differences in instruction generation between Vector and XTheadVector. In this version, we only support partial xtheadvector instructions that leverage directly from current RVV1.0 with simple adding "th." prefix. For different name xtheadvector instructions but share

Re：[PATCH v4] RISC-V: Handle differences between XTheadvector and Vector

it in ASM_OUTPUT +   Copyright (C) 2022-2023 Free Software Foundation, Inc. Copyright is not correct. juzhe.zh...@rivai.ai   From: Jun Sha (Joshua) Date: 2024-01-03 14:15 To: gcc-patches CC: jim.wilson.gcc; palmer; andrew; philipp.tomsich; jeffreyalaw; christoph.muellner; juzhe.zhong; Ju

[PATCH v5] RISC-V: Handle differences between XTheadvector and Vector

This patch is to handle the differences in instruction generation between Vector and XTheadVector. In this version, we only support partial xtheadvector instructions that leverage directly from current RVV1.0 with simple adding "th." prefix. For different name xtheadvector instructions but share

Re：[PATCH v4] RISC-V: Handle differences between XTheadvector and Vector

t%i1vli\t%0,%1,e%2,%m3,t%p4,m%p5" +  { return TARGET_XTHEADVECTOR ? "vsetvli\t%0,%1,e%2,%m3" : "vset%i1vli\t%0,%1,e%2,%m3,t%p4,m%p5"; } I prefer do it in ASM_OUTPUT +   Copyright (C) 2022-2023 Free Software Foundation, Inc. Copyright is not correct. juzhe.zh...@ri

Re：Re: [PATCH v4] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

Hi Kito, Thank you for your support. So even during stage 4, we can merge this for GCC 14? -- 发件人：Kito Cheng 发送时间：2024年1月8日(星期一) 11:06 收件人：joshua 抄　送："juzhe.zh...@rivai.ai"; jeffreyalaw; "gcc-patches";

Re：Re: [PATCH v4] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

Hi Juzhe, Stage 3 will close today and there are still some patches that haven't been reviewed left.  So is it possible to get xtheadvector merged in GCC-14? We emailed Kito regarding this, but haven't got any reply yet. Joshua

[PATCH v4] RISC-V: Introduce XTheadVector as a subset of V1.0.0

This patch is to introduce basic XTheadVector support (march string parsing and a test for __riscv_xtheadvector) according to https://github.com/T-head-Semi/thead-extension-spec/ gcc/ChangeLog: * common/config/riscv/riscv-common.cc (riscv_subset_list::parse): Add new vendor

Re：Re: [PATCH v4] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

Hi Juzhe, So is the following patch that this patch relies on OK to commit? https://gcc.gnu.org/pipermail/gcc-patches/2023-December/641533.html Joshua -- 发件人：钟居哲 发送时间：2024年1月2日(星期二) 06:57 收件人：Jeff Law; "cooper.joshua&qu

[PATCH v4] RISC-V: Add support for xtheadvector-specific intrinsics.

u32_v_scalar_ptr_index_ops) +DEF_RVV_FUNCTION (th_vext_x_v, th_extract, none_preds, iu_x_s_u_ops) +#undef REQUIRED_EXTENSIONS + +#undef DEF_RVV_FUNCTION diff --git a/gcc/config/riscv/thead-vector-builtins.cc b/gcc/config/riscv/thead-vector-builtins.cc new file mode 100644 index 000..c

[PATCH v4] RISC-V: Handle differences between XTheadvector and Vector

This patch is to handle the differences in instruction generation between Vector and XTheadVector. In this version, we only support partial xtheadvector instructions that leverage directly from current RVV1.0 with simple adding "th." prefix. For different name xtheadvector instructions but share

[PATCH v4] RISC-V: Rewrite some instructions using ASM targethook

There are some xtheadvector instructions that differ from RVV1.0 apart from simply adding "th." prefix. For example, RVV1.0 load/store instructions will have SEW while xtheadvector not; RVV1.0 will have "o" for indexed-ordered store instructions while xtheadvecotr not; xtheadvector and RVV1.0 have

[PATCH v4] RISC-V: Fix register overlap issue for some xtheadvector instructions

For th.vmadc/th.vmsbc as well as narrowing arithmetic instructions and floating-point compare instructions, an illegal instruction exception will be raised if the destination vector register overlaps a source vector register group. To handle this issue, we use "group_overlap" and "enabled"

[PATCH v4] RISC-V: Handle differences between XTheadvector and Vector

This patch is to handle the differences in instruction generation between Vector and XTheadVector. In this version, we only support partial xtheadvector instructions that leverage directly from current RVV1.0 with simple adding "th." prefix. For different name xtheadvector instructions but share

[PATCH v4] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

This patch adds th. prefix to all XTheadVector instructions by implementing new assembly output functions. We only check the prefix is 'v', so that no extra attribute is needed. gcc/ChangeLog: * config/riscv/riscv-protos.h (riscv_asm_output_opcode): New function to add assembler

[PATCH v4] RISC-V: Rewrite some instructions using ASM targethook

There are some xtheadvector instructions that differ from RVV1.0 apart from simply adding "th." prefix. For example, RVV1.0 load/store instructions will have SEW while xtheadvector not; RVV1.0 will have "o" for indexed-ordered store instructions while xtheadvecotr not; xtheadvector and RVV1.0 have

[PATCH v4] RISC-V: Fix register overlap issue for some xtheadvector instructions

For th.vmadc/th.vmsbc as well as narrowing arithmetic instructions and floating-point compare instructions, an illegal instruction exception will be raised if the destination vector register overlaps a source vector register group. To handle this issue, we use "group_overlap" and "enabled"

[PATCH v4] RISC-V: Handle differences between XTheadvector and Vector

This patch is to handle the differences in instruction generation between Vector and XTheadVector. In this version, we only support partial xtheadvector instructions that leverage directly from current RVV1.0 with simple adding "th." prefix. For different name xtheadvector instructions but share

Re：[PATCH v4] RISC-V: Handle differences between XTheadvector and Vector

p4,m%p5" if (TARGET_THEADVECTOR) ... else         else if (code == CONST_INT)           {             /* Tail && Mask policy.  */             asm_fprintf (file, "%s", IS_AGNOSTIC (UINTVAL (op)) ? "a" : "u");           } in riscv.cc. The benefi

Re：Re：[PATCH v4] RISC-V: Handle differences between XTheadvector and Vector

; palmer; andrew; "philipp.tomsich"; jeffreyalaw; "christoph.muellner" 主　题：Re: Re：[PATCH v4] RISC-V: Handle differences between XTheadvector and Vector Like riscv_output_move if (TARGET_THEADVECTOR)   return vsetvlino tail policy and mask policy. else   return ju

Re：[PATCH v4] RISC-V: Handle differences between XTheadvector and Vector

can change vsetlvi ASM rule: "vset%i1vli\t%0,%1,e%2,%m3,t%p4,m%p5" if (TARGET_THEADVECTOR) ... else         else if (code == CONST_INT)           {             /* Tail && Mask policy.  */             asm_fprintf (file, "%s", IS_AGNOSTIC (UINTVAL (op)) ? "a" : &quo

[PATCH v4 6/6] RISC-V: Add support for xtheadvector-specific intrinsics.

u32_v_scalar_ptr_index_ops) +DEF_RVV_FUNCTION (th_vext_x_v, th_extract, none_preds, iu_x_s_u_ops) +#undef REQUIRED_EXTENSIONS + +#undef DEF_RVV_FUNCTION diff --git a/gcc/config/riscv/thead-vector-builtins.cc b/gcc/config/riscv/thead-vector-builtins.cc new file mode 100644 index 000..c

[PATCH v4] RISC-V: Handle differences between XTheadvector and Vector

This patch is to handle the differences in instruction generation between Vector and XTheadVector. In this version, we only support partial xtheadvector instructions that leverage directly from current RVV1.0 with simple adding "th." prefix. For different name xtheadvector instructions but share

[PATCH v4] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

This patch adds th. prefix to all XTheadVector instructions by implementing new assembly output functions. We only check the prefix is 'v', so that no extra attribute is needed. gcc/ChangeLog: * config/riscv/riscv-protos.h (riscv_asm_output_opcode): New function to add assembler

[PATCH v4] RISC-V: Introduce XTheadVector as a subset of V1.0.0

This patch is to introduce basic XTheadVector support (march string parsing and a test for __riscv_xtheadvector) according to https://github.com/T-head-Semi/thead-extension-spec/ gcc/ChangeLog: * common/config/riscv/riscv-common.cc (riscv_subset_list::parse): Add new vendor

[PATCH v4] RISC-V: Change csr_operand into vector_length_operand for vsetvl patterns.

This patch use vector_length_operand instead of csr_operand for vsetvl patterns, so that changes for vector will not affect scalar patterns using csr_operand in riscv.md. gcc/ChangeLog: * config/riscv/vector.md: Use vector_length_operand for vsetvl patterns. Co-authored-by: Jin

[PATCH v4] RISC-V: Change csr_operand into

This patch use vector_length_operand instead of csr_operand for vsetvl patterns, so that changes for vector will not affect scalar patterns using csr_operand in riscv.md. gcc/ChangeLog: * config/riscv/vector.md: Use vector_length_operand for vsetvl patterns. Co-authored-by: Jin

[PATCH v4] RISC-V: Refactor riscv-vector-builtins-bases.cc

This patch moves the definition of the enums lst_type and frm_op_type into riscv-vector-builtins-bases.h and removes the static visibility of fold_fault_load(), so these can be used in other compile units. gcc/ChangeLog: * config/riscv/riscv-vector-builtins-bases.cc (enum lst_type):

[PATCH v4] RISC-V: Support XTheadVector extension

This patch series presents gcc implementation of the XTheadVector extension [1]. [1] https://github.com/T-head-Semi/thead-extension-spec/ For some vector patterns that cannot be avoided, we use "!TARGET_XTHEADVECTOR" to disable them in order not to generate instructions that xtheadvector does

Re：[PATCH v4 5/6] RISC-V: Handle differences between XTheadvector and Vector

Hi Juzhe, These vsetvl patterns were written by you with csr_operand initially. Are you sure it can be repalced by vector_length_operand? Joshua -- 发件人：juzhe.zh...@rivai.ai 发送时间：2023年12月29日(星期五) 10:25 收件人："cooper.j

Re：Re：[PATCH v4 5/6] RISC-V: Handle differences between XTheadvector and Vector

.@rivai.ai 发送时间：2023年12月29日(星期五) 10:22 收件人："cooper.joshua"; "gcc-patches" 抄　送：Jim Wilson; palmer; andrew; "philipp.tomsich"; jeffreyalaw; "christoph.muellner"; jinma; "cooper.qu" 主　题：Re: Re：[PATCH v4 5/6] RISC-V: Handle differences between XTheadv

Re：[PATCH v4 5/6] RISC-V: Handle differences between XTheadvector and Vector

Hi Juzhe, For vector_csr_operand, please refer to https://gcc.gnu.org/pipermail/gcc-patches/2023-December/641124.html. Joshua -- 发件人：juzhe.zh...@rivai.ai 发送时间：2023年12月29日(星期五) 10:14 收件人："cooper.joshua"; "gcc-p

Re：[PATCH v4 5/6] RISC-V: Handle differences between XTheadvector and Vector

ific intrinsics"? It adds support for new xtheadvector instructions. Is it OK to be merged? Joshua -- 发件人：juzhe.zh...@rivai.ai 发送时间：2023年12月29日(星期五) 09:58 收件人："cooper.joshua"; "gcc-patches" 抄　送：Jim W

回复：[PATCH v4 5/6] RISC-V: Handle differences between XTheadvector and Vector

ific intrinsics"?It adds support new xtheadvector instructions. Is it OK to be merged? Joshua -- 发件人：juzhe.zh...@rivai.ai 发送时间：2023年12月29日(星期五) 09:58 收件人："cooper.joshua"; "gcc-patches" 抄　送：Jim W

[PATCH v4 6/6] RISC-V: Add support for xtheadvector-specific intrinsics.

u32_v_scalar_ptr_index_ops) +DEF_RVV_FUNCTION (th_vext_x_v, th_extract, none_preds, iu_x_s_u_ops) +#undef REQUIRED_EXTENSIONS + +#undef DEF_RVV_FUNCTION diff --git a/gcc/config/riscv/thead-vector-builtins.cc b/gcc/config/riscv/thead-vector-builtins.cc new file mode 100644 index 000..c

[PATCH v4 5/6] RISC-V: Handle differences between XTheadvector and Vector

This patch is to handle the differences in instruction generation between Vector and XTheadVector. In this version, we only support partial xtheadvector instructions that leverage directly from current RVV1.0 with simple adding "th." prefix. For different name xtheadvector instructions but share

回复：[PATCH v3 1/6] RISC-V: Refactor riscv-vector-builtins-bases.cc

be better to just prototype in riscv-vector-builtins-bases.h. Joshua -- 发件人：Jeff Law 发送时间：2023年12月21日(星期四) 02:14 收件人："Jun Sha (Joshua)"; "gcc-patches" 抄　送："jim.wilson.gcc"; palmer; andrew; "phi

回复：[PATCH v3 2/6] RISC-V: Split csr_operand in predicates.md for vector patterns.

Hi Jeff, Yes, I will change soemthing in vector_csr_operand in the following patches. Constraints will be added that the AVL cannot be encoded as an immediate for xtheadvecotr vsetvl. Joshua -- 发件人：Jeff Law 发送时间：2023年12月21日

回复：[PATCH v3 1/6] RISC-V: Refactor riscv-vector-builtins-bases.cc

be better to just prototype in riscv-vector-builtins-bases.h. Joshua -- 发件人：Jeff Law 发送时间：2023年12月21日(星期四) 02:14 收件人："Jun Sha (Joshua)"; "gcc-patches" 抄　送："jim.wilson.gcc"; palmer; andrew; "phi

[PATCH v4 4/6] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

This patch adds th. prefix to all XTheadVector instructions by implementing new assembly output functions. In this version, we follow Kito's suggestions and only check the prefix is 'v', so that no extra attribute is needed. gcc/ChangeLog: * config/riscv/riscv-protos.h

回复：[PATCH v4 4/6] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

at is this used for ? How about: + /* We need to add th. prefix to all the xtheadvector + insturctions here.*/ + if (TARGET_XTHEADVECTOR && p[0] == 'v') + fputs ("th.", asm_out_file); \ No newline at end of file New line should be added into prefix.c juzhe.zh...@rivai.ai From: Jun Sha (

[PATCH v4 6/6] RISC-V: Add support for xtheadvector-specific intrinsics.

index_ops) +DEF_RVV_FUNCTION (th_vsuxw, th_indexed_loadstore_width, none_m_preds, iu32_v_scalar_ptr_index_ops) +DEF_RVV_FUNCTION (th_vext_x_v, th_extract, none_preds, iu_x_s_u_ops) +#undef REQUIRED_EXTENSIONS + +#undef DEF_RVV_FUNCTION diff --git a/gcc/config/riscv/thead-vector-builtins.cc b/gcc/conf

[PATCH v4 5/6] RISC-V: Handle differences between XTheadvector and Vector

This patch is to handle the differences in instruction generation between Vector and XTheadVector. In this version, we only support partial xtheadvector instructions that leverage directly from current RVV1.0 with simple adding "th." prefix. For different name xtheadvector instructions but share

[PATCH v4 4/6] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

This patch adds th. prefix to all XTheadVector instructions by implementing new assembly output functions. In this version, we follow Kito's suggestions and only check the prefix is 'v', so that no extra attribute is needed. gcc/ChangeLog: * config/riscv/riscv-protos.h

回复：回复：[PATCH v3 0/6] RISC-V: Support XTheadVector extension

Hi Juzhe, Sorry but I'm not quite familiar with the group_overlap framework. Could you take this pattern as an example to show how to disable an alternative in some target? Joshua -- 发件人：juzhe.zh...@rivai.ai 发送时间：2023年12月22日(星期五

回复：回复：[PATCH v3 0/6] RISC-V: Support XTheadVector extension

C))] "TARGET_XTHEADVECTOR" "vmsbc.vvm\t%0,%1,%2,%3" [(set_attr "type" "vicalu") (set_attr "mode" "") (set_attr "vl_op_idx" "4") (set (attr "avl_type_idx") (const_int 5))]) Joshua --

回复：[PATCH v3 0/6] RISC-V: Support XTheadVector extension

cannot come up with any better way than pattern copy. Do you have any suggestions? Joshua -- 发件人：钟居哲 发送时间：2023年12月21日(星期四) 07:04 收件人："cooper.joshua"; "gcc-patches" 抄　送："jim.wilson.gcc"; palmer; andrew

[PATCH v3 6/6] RISC-V: Add support for xtheadvector-specific intrinsics.

This patch only involves the generation of xtheadvector special load/store instructions and vext instructions. gcc/ChangeLog: * config/riscv/riscv-vector-builtins-bases.cc (class th_loadstore_width): Define new builtin bases. (BASE): Define new builtin bases. *

[PATCH v3 4/6] RISC-V: Adds the prefix "th." for the instructions of XTheadVector.

This patch adds th. prefix to all XTheadVector instructions by implementing new assembly output functions. gcc/ChangeLog: * config/riscv/riscv-protos.h (riscv_asm_output_opcode): New function. * config/riscv/riscv.cc (riscv_asm_output_opcode): Likewise. *

[PATCH v3 3/6] RISC-V: Introduce XTheadVector as a subset of V1.0.0

This patch is to introduce basic XTheadVector support (march string parsing and a test for __riscv_xtheadvector) according to https://github.com/T-head-Semi/thead-extension-spec/ gcc/ChangeLog: * common/config/riscv/riscv-common.cc (riscv_subset_list::parse): Add new vendor

[PATCH v3 2/6] RISC-V: Split csr_operand in predicates.md for vector patterns.

This patch splits the definition of csr_operand in predicates.md. The newly defined vector_csr_operand has the same functionality as csr_operand but can only be used in vector patterns, so that changes for vector will not affect scalar patterns in files like riscv.md. gcc/ChangeLog: *

[PATCH v3 1/6] RISC-V: Refactor riscv-vector-builtins-bases.cc

This patch moves the definition of the enums lst_type and frm_op_type into riscv-vector-builtins-bases.h and removes the static visibility of fold_fault_load(), so these can be used in other compile units. gcc/ChangeLog: * config/riscv/riscv-vector-builtins-bases.cc (enum lst_type):

[PATCH v3 0/6] RISC-V: Support XTheadVector extension

This patch series presents gcc implementation of the XTheadVector extension [1]. [1] https://github.com/T-head-Semi/thead-extension-spec/ For some vector patterns that cannot be avoided, we use "!TARGET_XTHEADVECTOR" to disable them in order not to generate instructions that xtheadvector does

回复：RISC-V: Support XTheadVector extensions

will come soon. Joshua -- 发件人：Kito Cheng 发送时间：2023年11月18日(星期六) 18:33 收件人：Philipp Tomsich 抄　送：Jeff Law; "juzhe.zh...@rivai.ai"; "gcc-patches"; "kito.cheng"; "cooper.joshua"; Robin Dapp; jkrid

[PATCH v2 9/9] RISC-V: Disable fractional type intrinsics for the XTheadVector extension

Contributors: Jun Sha (Joshua) Jin Ma Christoph Müllner gcc/ChangeLog: * config/riscv/riscv-protos.h (riscv_v_ext_mode_p): New extern. * config/riscv/riscv-vector-builtins-shapes.cc (check_type): New function. (build_one

[PATCH v2 8/9] RISC-V: Add support for xtheadvector-specific load/store intrinsics

This patch involves the generation of xtheadvector special load/store instructions. Contributors: Jun Sha (Joshua) Jin Ma Christoph Müllner gcc/ChangeLog: * config/riscv/riscv-vector-builtins-bases.cc (class th_loadstore_width): Define new builtin

[PATCH v2 6/9] RISC-V: Tests for overlapping RVV and XTheadVector instructions (Part4)

For big changes in instruction generation, we can only duplicate some typical tests in testsuite/gcc.target/riscv/rvv/base. This patch is adding some tests for ternary and unary operations. Contributors: Jun Sha (Joshua) Jin Ma Christoph Müllner gcc/testsuite

[PATCH v2 5/9] RISC-V: Tests for overlapping RVV and XTheadVector instructions (Part3)

For big changes in instruction generation, we can only duplicate some typical tests in testsuite/gcc.target/riscv/rvv/base. This patch is adding some tests for binary operations. Contributors: Jun Sha (Joshua) Jin Ma Christoph Müllner gcc/testsuite/ChangeLog

[PATCH v2 4/9] RISC-V: Tests for overlapping RVV and XTheadVector instructions (Part2)

For big changes in instruction generation, we can only duplicate some typical tests in testsuite/gcc.target/riscv/rvv/base. This patch is adding some tests for binary operations. Contributors: Jun Sha (Joshua) Jin Ma Christoph Müllner gcc/testsuite/ChangeLog

[PATCH v2 3/9] RISC-V: Tests for overlapping RVV and XTheadVector instructions (Part1)

For big changes in instruction generation, we can only duplicate some typical tests in testsuite/gcc.target/riscv/rvv/base. This patch is adding some tests for binary operations. Contributors: Jun Sha (Joshua) Jin Ma Christoph Müllner gcc/testsuite/ChangeLog

[PATCH v2 2/9] RISC-V: Handle differences between xtheadvector and vector

This patch is to handle the differences in instruction generation between vector and xtheadvector, mainly adding th. prefix to all xtheadvector instructions. Contributors: Jun Sha (Joshua) Jin Ma Christoph Müllner gcc/ChangeLog: * config.gcc: Add header

[PATCH v2 1/9] RISC-V: minimal support for xtheadvector

This patch is to introduce basic XTheadVector support (march string parsing and a test for __riscv_xtheadvector) according to https://github.com/T-head-Semi/thead-extension-spec/ Contributors: Jun Sha (Joshua) Jin Ma Christoph Müllner gcc/ChangeLog: * common

[PATCH v2 0/9] RISC-V: Support XTheadVector extensions

This patch series presents gcc implementation of the XTheadVector extension [1]. [1] https://github.com/T-head-Semi/thead-extension-spec/ I updated my patch series, because I forgot to add co-authors in the last version. Contributors: Jun Sha (Joshua) Jin Ma Christoph

  1   2   >