From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0b-001b2d01.pphosted.com (mx0b-001b2d01.pphosted.com [148.163.158.5]) by sourceware.org (Postfix) with ESMTPS id 7F17B3858D32 for ; Mon, 24 Apr 2023 05:08:58 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 7F17B3858D32 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=linux.ibm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=linux.ibm.com Received: from pps.filterd (m0353722.ppops.net [127.0.0.1]) by mx0a-001b2d01.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 33O56sf5001600; Mon, 24 Apr 2023 05:08:57 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ibm.com; h=message-id : date : subject : from : to : cc : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=pp1; bh=Nu1J2OERyqa1ps7uko5m072ouI+n1DK+0b6rV0dmUwA=; b=VVHvEi1eFOtPJFOEUL6/Tmdt0oqqohCMmfYb7eE4FoknWH2IHY9r7ouEjDnk30K8ymtG Jb6ZbhNJseg0UQtE56EzSHgn4uW44DLM4gEHE/UlWAWj0DnuR8NLFpKVxpEGerrLnD52 k6RHjw8sI2VcjAOkZWLd/UWeIfyl78clRGAbwFJG/Qs+8Rs0mVwvsANsAMiwcYcDOp4b 1GCaVnDalV92jZLhSc2ga0muRaYDjOOw0JCo3HSZO1B0sDyVmJXJkf4+g9FJQ3OjW0wy OOyNZ4bCsogHcqfRSXPfkaxolhyo/Q1iiZkNpNlTNw2AzVLBn4CSIXzW+XVU1mhLcEOM ag== Received: from pps.reinject (localhost [127.0.0.1]) by mx0a-001b2d01.pphosted.com (PPS) with ESMTPS id 3q46dfm7a6-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 24 Apr 2023 05:08:56 +0000 Received: from m0353722.ppops.net (m0353722.ppops.net [127.0.0.1]) by pps.reinject (8.17.1.5/8.17.1.5) with ESMTP id 33O57CB4004432; Mon, 24 Apr 2023 05:08:56 GMT Received: from ppma06ams.nl.ibm.com (66.31.33a9.ip4.static.sl-reverse.com [169.51.49.102]) by mx0a-001b2d01.pphosted.com (PPS) with ESMTPS id 3q46dfm79f-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 24 Apr 2023 05:08:56 +0000 Received: from pps.filterd (ppma06ams.nl.ibm.com [127.0.0.1]) by ppma06ams.nl.ibm.com (8.17.1.19/8.17.1.19) with ESMTP id 33O3qXZ5006195; Mon, 24 Apr 2023 05:08:54 GMT Received: from smtprelay06.fra02v.mail.ibm.com ([9.218.2.230]) by ppma06ams.nl.ibm.com (PPS) with ESMTPS id 3q46ug0vj6-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 24 Apr 2023 05:08:54 +0000 Received: from smtpav02.fra02v.mail.ibm.com (smtpav02.fra02v.mail.ibm.com [10.20.54.101]) by smtprelay06.fra02v.mail.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id 33O58oqX48759362 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 24 Apr 2023 05:08:50 GMT Received: from smtpav02.fra02v.mail.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id B18BA20043; Mon, 24 Apr 2023 05:08:50 +0000 (GMT) Received: from smtpav02.fra02v.mail.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id CBC5B20040; Mon, 24 Apr 2023 05:08:48 +0000 (GMT) Received: from [9.200.39.156] (unknown [9.200.39.156]) by smtpav02.fra02v.mail.ibm.com (Postfix) with ESMTP; Mon, 24 Apr 2023 05:08:48 +0000 (GMT) Message-ID: <553dd48f-8a36-f792-58bc-75a87a9a0e91@linux.ibm.com> Date: Mon, 24 Apr 2023 13:08:49 +0800 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.10.0 Subject: PING^2 [PATCH, rs6000] Splat vector small V2DI constants with ISA 2.07 instructions [PR104124] From: HAO CHEN GUI To: gcc-patches Cc: Segher Boessenkool , David , "Kewen.Lin" , Peter Bergner References: <3bba6092-cd88-7cfc-2c60-fb24945fdf8c@linux.ibm.com> Content-Language: en-US In-Reply-To: Content-Type: text/plain; charset=UTF-8 X-TM-AS-GCONF: 00 X-Proofpoint-GUID: iAF9Djvr37_CgkPp81V1dqmPJnfjbuSv X-Proofpoint-ORIG-GUID: absH_yi-g0hJzkcWFrzCcJTH_dVn9-mF Content-Transfer-Encoding: 8bit X-Proofpoint-UnRewURL: 0 URL was un-rewritten MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.254,Aquarius:18.0.942,Hydra:6.0.573,FMLib:17.11.170.22 definitions=2023-04-24_02,2023-04-21_01,2023-02-09_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 phishscore=0 spamscore=0 clxscore=1015 mlxscore=0 lowpriorityscore=0 suspectscore=0 malwarescore=0 mlxlogscore=999 adultscore=0 impostorscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2303200000 definitions=main-2304240047 X-Spam-Status: No, score=-12.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_EF,GIT_PATCH_0,KAM_SHORT,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hi, Gentle ping this: https://gcc.gnu.org/pipermail/gcc-patches/2022-September/601909.html Thanks Gui Haochen 在 2022/12/14 13:30, HAO CHEN GUI 写道: > Hi, > Gentle ping this: > https://gcc.gnu.org/pipermail/gcc-patches/2022-September/601909.html > > Thanks > Gui Haochen > > 在 2022/9/21 13:13, HAO CHEN GUI 写道: >> Hi, >> This patch adds a new insn for vector splat with small V2DI constants on P8. >> If the value of constant is in RANGE (-16, 15) and not 0 or -1, it can be loaded >> with vspltisw and vupkhsw on P8. It should be efficient than loading vector from >> TOC. >> >> Bootstrapped and tested on powerpc64-linux BE and LE with no regressions. >> Is this okay for trunk? Any recommendations? Thanks a lot. >> >> ChangeLog >> 2022-09-21 Haochen Gui >> >> gcc/ >> PR target/104124 >> * config/rs6000/altivec.md (*altivec_vupkhs_direct): Renamed >> to... >> (altivec_vupkhs_direct): ...this. >> * config/rs6000/constraints.md (wT constraint): New constant for a >> vector constraint that can be loaded with vspltisw and vupkhsw. >> * config/rs6000/predicates.md (vspltisw_constant_split): New >> predicate for wT constraint. >> * config/rs6000/rs6000-protos.h (vspltisw_constant_p): Add declaration. >> * config/rs6000/rs6000.cc (easy_altivec_constant): Call >> vspltisw_constant_p to judge if a V2DI constant can be synthesized with >> a vspltisw and a vupkhsw. >> * (vspltisw_constant_p): New function to return true if OP mode is >> V2DI and can be synthesized with ISA 2.07 instruction vupkhsw and >> vspltisw. >> * gcc/config/rs6000/vsx.md (*vspltisw_v2di_split): New insn to load up >> constants with vspltisw and vupkhsw. >> >> gcc/testsuite/ >> PR target/104124 >> * gcc.target/powerpc/p8-splat.c: New. >> >> patch.diff >> diff --git a/gcc/config/rs6000/altivec.md b/gcc/config/rs6000/altivec.md >> index 2c4940f2e21..185414df021 100644 >> --- a/gcc/config/rs6000/altivec.md >> +++ b/gcc/config/rs6000/altivec.md >> @@ -2542,7 +2542,7 @@ (define_insn "altivec_vupkhs" >> } >> [(set_attr "type" "vecperm")]) >> >> -(define_insn "*altivec_vupkhs_direct" >> +(define_insn "altivec_vupkhs_direct" >> [(set (match_operand:VP 0 "register_operand" "=v") >> (unspec:VP [(match_operand: 1 "register_operand" "v")] >> UNSPEC_VUNPACK_HI_SIGN_DIRECT))] >> diff --git a/gcc/config/rs6000/constraints.md b/gcc/config/rs6000/constraints.md >> index 5a44a92142e..f65dea6e0c7 100644 >> --- a/gcc/config/rs6000/constraints.md >> +++ b/gcc/config/rs6000/constraints.md >> @@ -150,6 +150,10 @@ (define_constraint "wS" >> "@internal Vector constant that can be loaded with XXSPLTIB & sign extension." >> (match_test "xxspltib_constant_split (op, mode)")) >> >> +(define_constraint "wT" >> + "@internal Vector constant that can be loaded with vspltisw & vupkhsw." >> + (match_test "vspltisw_constant_split (op, mode)")) >> + >> ;; ISA 3.0 DS-form instruction that has the bottom 2 bits 0 and no update form. >> ;; Used by LXSD/STXSD/LXSSP/STXSSP. In contrast to "Y", the multiple-of-four >> ;; offset is enforced for 32-bit too. >> diff --git a/gcc/config/rs6000/predicates.md b/gcc/config/rs6000/predicates.md >> index b1fcc69bb60..00cf60bbe58 100644 >> --- a/gcc/config/rs6000/predicates.md >> +++ b/gcc/config/rs6000/predicates.md >> @@ -694,6 +694,19 @@ (define_predicate "xxspltib_constant_split" >> return num_insns > 1; >> }) >> >> +;; Return true if the operand is a constant that can be loaded with a vspltisw >> +;; instruction and then a vupkhsw instruction. >> + >> +(define_predicate "vspltisw_constant_split" >> + (match_code "const_vector,vec_duplicate") >> +{ >> + int value = 32; >> + >> + if (!vspltisw_constant_p (op, mode, &value)) >> + return false; >> + >> + return true; >> +}) >> >> ;; Return 1 if the operand is constant that can loaded directly with a XXSPLTIB >> ;; instruction. >> diff --git a/gcc/config/rs6000/rs6000-protos.h b/gcc/config/rs6000/rs6000-protos.h >> index b3c16e7448d..45f3d044eee 100644 >> --- a/gcc/config/rs6000/rs6000-protos.h >> +++ b/gcc/config/rs6000/rs6000-protos.h >> @@ -32,6 +32,7 @@ extern void init_cumulative_args (CUMULATIVE_ARGS *, tree, rtx, int, int, int, >> >> extern int easy_altivec_constant (rtx, machine_mode); >> extern bool xxspltib_constant_p (rtx, machine_mode, int *, int *); >> +extern bool vspltisw_constant_p (rtx, machine_mode, int *); >> extern int vspltis_shifted (rtx); >> extern HOST_WIDE_INT const_vector_elt_as_int (rtx, unsigned int); >> extern bool macho_lo_sum_memory_operand (rtx, machine_mode); >> diff --git a/gcc/config/rs6000/rs6000.cc b/gcc/config/rs6000/rs6000.cc >> index df491bee2ea..984624026c2 100644 >> --- a/gcc/config/rs6000/rs6000.cc >> +++ b/gcc/config/rs6000/rs6000.cc >> @@ -6292,6 +6292,12 @@ easy_altivec_constant (rtx op, machine_mode mode) >> && INTVAL (CONST_VECTOR_ELT (op, 1)) == -1) >> return 8; >> >> + /* If V2DI constant is within RANGE (-16, 15), it can be synthesized with >> + a vspltisw and a vupkhsw. */ >> + int value = 32; >> + if (vspltisw_constant_p (op, mode, &value)) >> + return 8; >> + >> return 0; >> } >> >> @@ -6494,6 +6500,69 @@ xxspltib_constant_p (rtx op, >> return true; >> } >> >> +/* Return true if OP mode is V2DI and can be synthesized with ISA 2.07 >> + instructions vupkhsw and vspltisw. >> + >> + Return the constant that is being split via CONSTANT_PTR. */ >> + >> +bool >> +vspltisw_constant_p (rtx op, machine_mode mode, int *constant_ptr) >> +{ >> + HOST_WIDE_INT value; >> + rtx element; >> + >> + *constant_ptr = 32; >> + >> + if (!TARGET_P8_VECTOR) >> + return false; >> + >> + if (mode == VOIDmode) >> + mode = GET_MODE (op); >> + else if (mode != GET_MODE (op) && GET_MODE (op) != VOIDmode) >> + return false; >> + >> + if (mode != V2DImode) >> + return false; >> + >> + if (GET_CODE (op) == VEC_DUPLICATE) >> + { >> + element = XEXP (op, 0); >> + >> + if (!CONST_INT_P (element)) >> + return false; >> + >> + value = INTVAL (element); >> + if (value == 0 || value == 1 >> + || !EASY_VECTOR_15 (value)) >> + return false; >> + } >> + >> + else if (GET_CODE (op) == CONST_VECTOR) >> + { >> + element = CONST_VECTOR_ELT (op, 0); >> + >> + if (!CONST_INT_P (element)) >> + return false; >> + >> + value = INTVAL (element); >> + if (value == 0 || value == 1 >> + || !EASY_VECTOR_15 (value)) >> + return false; >> + >> + element = CONST_VECTOR_ELT (op, 1); >> + if (!CONST_INT_P (element)) >> + return false; >> + >> + if (value != INTVAL (element)) >> + return false; >> + } >> + else >> + return false; >> + >> + *constant_ptr = (int) value; >> + return true; >> +} >> + >> const char * >> output_vec_const_move (rtx *operands) >> { >> diff --git a/gcc/config/rs6000/vsx.md b/gcc/config/rs6000/vsx.md >> index e226a93bbe5..6805f794848 100644 >> --- a/gcc/config/rs6000/vsx.md >> +++ b/gcc/config/rs6000/vsx.md >> @@ -1174,6 +1174,32 @@ (define_insn_and_split "*xxspltib__split" >> [(set_attr "type" "vecperm") >> (set_attr "length" "8")]) >> >> +(define_insn_and_split "*vspltisw_v2di_split" >> + [(set (match_operand:V2DI 0 "altivec_register_operand" "=v") >> + (match_operand:V2DI 1 "vspltisw_constant_split" "wT"))] >> + "TARGET_P8_VECTOR" >> + "#" >> + "&& 1" >> + [(const_int 0)] >> +{ >> + int value = 32; >> + rtx op0 = operands[0]; >> + rtx op1 = operands[1]; >> + rtx tmp = can_create_pseudo_p () >> + ? gen_reg_rtx (V4SImode) >> + : gen_lowpart (V4SImode, op0); >> + >> + if (!vspltisw_constant_p (op1, V2DImode, &value)) >> + gcc_unreachable (); >> + >> + emit_insn (gen_altivec_vspltisw (tmp, GEN_INT (value))); >> + emit_insn (gen_altivec_vupkhsw_direct (op0, tmp)); >> + >> + DONE; >> +} >> + [(set_attr "type" "vecperm") >> + (set_attr "length" "8")]) >> + >> >> ;; Prefer using vector registers over GPRs. Prefer using ISA 3.0's XXSPLTISB >> ;; or Altivec VSPLITW 0/-1 over XXLXOR/XXLORC to set a register to all 0's or >> diff --git a/gcc/testsuite/gcc.target/powerpc/p8-splat.c b/gcc/testsuite/gcc.target/powerpc/p8-splat.c >> new file mode 100644 >> index 00000000000..aec0f20edb9 >> --- /dev/null >> +++ b/gcc/testsuite/gcc.target/powerpc/p8-splat.c >> @@ -0,0 +1,14 @@ >> +/* { dg-do compile } */ >> +/* { dg-options "-mdejagnu-cpu=power8 -O2" } */ >> +/* { dg-require-effective-target powerpc_p8vector_ok } */ >> +/* { dg-final { scan-assembler "vspltisw" } } */ >> +/* { dg-final { scan-assembler "vupkhsw" } } */ >> +/* { dg-final { scan-assembler-not "lvx" } } */ >> + >> +#include >> + >> +vector unsigned long long >> +foo () >> +{ >> + return vec_splats ((unsigned long long) 12); >> +} >>