From patchwork Wed Jul 19 10:11:55 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xiao Zeng X-Patchwork-Id: 122511 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:c923:0:b0:3e4:2afc:c1 with SMTP id j3csp2331101vqt; Wed, 19 Jul 2023 03:15:25 -0700 (PDT) X-Google-Smtp-Source: APBJJlFzaF1tjs/8+YJBQu5vB+/8o1aaBW7Xb7loQAAkaifsSvDqJ7ZTT1hDX4hNVaMIu+OLb/by X-Received: by 2002:a17:906:8468:b0:975:63f4:4b with SMTP id hx8-20020a170906846800b0097563f4004bmr1794252ejc.36.1689761725119; Wed, 19 Jul 2023 03:15:25 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1689761725; cv=none; d=google.com; s=arc-20160816; b=lzn69ZfUNnEZxOtaE1UbKoVBqRVh5l3dp1zpr0aS3SNBuTRl2/lbEq7a/JrY+vy6QJ PRcEhobLS1zRVHlIHsyQqcN+8sofRQT5A9jVW4kwVvjUERWaekDrNAvp6/PJWOW0ptLi +dqvyfwsuWT8voR7dS1No1GuwHuUWxZmAW3DJieGgRuAxu9MZq+tKzxrZ+B38yHwzUGN 1gFCYyjler9u+N5X0Avu3BY8giQRqKnY+vRaQpQLn+8WDYySIYhCTnC8OP5O1lr/Puzo Z4J6e4obR0E3gauMCHOzIOwfAPWdYuzaN87ybknvSrkdwCmoMjQ+YEkY1D4ME42aMcKL OSQA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:references:in-reply-to :message-id:date:subject:cc:to:from:dmarc-filter:delivered-to; bh=VWiuIo/m2gAGvJ07scjjJUs3U1lY4IAp1+SJwaKoGjo=; fh=RFNlyPK9630mAf8kd2ADv1qMCQD1jQUdg/e3En7lF+0=; b=V3xS5Yya4pjWxlIM8IlGwrneiAqmHWI0hnXtxL/3HWwXsu2lgxIwf8Gbk9pnkgvtIC nNLF923KdeCy+nltBFPEn+u2xHeQMubSf0iNi29Lc+n4INPAcMFdYa9/yegSU8cZqGaW dvI2TabpHLo9BPS9ccK8obgzhC/h+mHX3AvCqaOTTd+rYTzDI0KnWVPe9ryWpmTWVv4V 0NOiX6WjxbZaMc9wtZnYJiAS2w2ePhW9fkTp3Pyyl2qiwBF3hVD/G2XNn4fjNQ/po4ZI lRd1WciLO7FR5Z6cTkoLqsfFP9iYheRZjeTTZBf1hRwE57mLMgQWYhDmhkLDJprAgMiU fvPQ== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id t2-20020a170906178200b00988a6f59292si2452501eje.600.2023.07.19.03.15.24 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 19 Jul 2023 03:15:25 -0700 (PDT) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 4580C3885503 for ; Wed, 19 Jul 2023 10:12:57 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from zg8tmja2lje4os4yms4ymjma.icoremail.net (zg8tmja2lje4os4yms4ymjma.icoremail.net [206.189.21.223]) by sourceware.org (Postfix) with ESMTP id 28E6D385AFA3 for ; Wed, 19 Jul 2023 10:12:13 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 28E6D385AFA3 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=eswincomputing.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=eswincomputing.com Received: from localhost.localdomain (unknown [10.12.130.38]) by app1 (Coremail) with SMTP id EwgMCgDHZMTttrdkrKE0AA--.63411S8; Wed, 19 Jul 2023 18:12:10 +0800 (CST) From: Xiao Zeng To: gcc-patches@gcc.gnu.org Cc: jeffreyalaw@gmail.com, research_trasio@irq.a4lg.com, kito.cheng@gmail.com, zhengyu@eswincomputing.com, eri-sw-toolchain@eswincomputing.com, Xiao Zeng Subject: [PATCH 4/5] [RISC-V] Generate Zicond instruction for select pattern with condition eq or neq to non-zero Date: Wed, 19 Jul 2023 18:11:55 +0800 Message-Id: <20230719101156.21771-5-zengxiao@eswincomputing.com> X-Mailer: git-send-email 2.17.1 In-Reply-To: <20230719101156.21771-1-zengxiao@eswincomputing.com> References: <20230719101156.21771-1-zengxiao@eswincomputing.com> X-CM-TRANSID: EwgMCgDHZMTttrdkrKE0AA--.63411S8 X-Coremail-Antispam: 1UD129KBjvAXoWftryUXw1rWw47CryfWr13XFb_yoW5Gry8Zo Z5KF1rt3WrCrnrZr15Ww17KF17XFW8Can7Xa98K3yjkFy7Jwn3uw4Ikw18ta4Uur1Iqr48 ZF4FgayIqa98Jrnxn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73VFW2AGmfu7bjvjm3 AaLaJ3UjIYCTnIWjp_UUUYu7AC8VAFwI0_Wr0E3s1l1xkIjI8I6I8E6xAIw20EY4v20xva j40_Wr0E3s1l1IIY67AEw4v_Jr0_Jr4l82xGYIkIc2x26280x7IE14v26r126s0DM28Irc Ia0xkI8VCY1x0267AKxVW5JVCq3wA2ocxC64kIII0Yj41l84x0c7CEw4AK67xGY2AK021l 84ACjcxK6xIIjxv20xvE14v26w1j6s0DM28EF7xvwVC0I7IYx2IY6xkF7I0E14v26r4UJV WxJr1l84ACjcxK6I8E87Iv67AKxVW0oVCq3wA2z4x0Y4vEx4A2jsIEc7CjxVAFwI0_GcCE 3s1le2I262IYc4CY6c8Ij28IcVAaY2xG8wAqx4xG64xvF2IEw4CE5I8CrVC2j2WlYx0E2I x0cI8IcVAFwI0_JrI_JrylYx0Ex4A2jsIE14v26r1j6r4UMcvjeVCFs4IE7xkEbVWUJVW8 JwACjcxG0xvY0x0EwIxGrwACjI8F5VA0II8E6IAqYI8I648v4I1lc2xSY4AK6svPMxAIw2 8IcxkI7VAKI48JMxC20s026xCaFVCjc4AY6r1j6r4UMI8I3I0E5I8CrVAFwI0_Jr0_Jr4l x2IqxVCjr7xvwVAFwI0_JrI_JrWlx4CE17CEb7AF67AKxVWUAVWUtwCIc40Y0x0EwIxGrw CI42IY6xIIjxv20xvE14v26r1j6r1xMIIF0xvE2Ix0cI8IcVCY1x0267AKxVW8JVWxJwCI 42IY6xAIw20EY4v20xvaj40_Jr0_JF4lIxAIcVC2z280aVAFwI0_Jr0_Gr1lIxAIcVC2z2 80aVCY1x0267AKxVW8JVW8JrUvcSsGvfC2KfnxnUUI43ZEXa7VU17GYJUUUUU== X-CM-SenderInfo: p2hqw5xldrqvxvzl0uprps33xlqjhudrp/ X-Spam-Status: No, score=-11.8 required=5.0 tests=BAYES_00, GIT_PATCH_0, KAM_DMARC_STATUS, KAM_SHORT, 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 X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1771843590842274734 X-GMAIL-MSGID: 1771843590842274734 This patch completes the recognition of Zicond when the select pattern with condition eq or neq to non-zero (using equality as an example), namely: 1 rd = (rs2 == non-imm) ? 0 : rs1 2 rd = (rs2 == reg) ? 0 : rs1 At the same time, more Zicond non basic semantic test cases have been added. gcc/ChangeLog: * config/riscv/riscv.cc (riscv_expand_conditional_move): Recognize Zicond. gcc/testsuite/ChangeLog: * gcc.target/riscv/zicond-primitiveSemantics_compare_imm.c: New test. * gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_0_imm.c: New test. * gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_imm_imm.c: New test. * gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_imm_reg.c: New test. * gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_reg_reg.c: New test. * gcc.target/riscv/zicond-primitiveSemantics_compare_reg.c: New test. * gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_0_imm.c: New test. * gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_imm_imm.c: New test. * gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_imm_reg.c: New test. * gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_reg_reg.c: New test. --- gcc/config/riscv/riscv.cc | 16 ++++ .../zicond-primitiveSemantics_compare_imm.c | 57 ++++++++++++++ ...mitiveSemantics_compare_imm_return_0_imm.c | 73 ++++++++++++++++++ ...tiveSemantics_compare_imm_return_imm_imm.c | 73 ++++++++++++++++++ ...tiveSemantics_compare_imm_return_imm_reg.c | 65 ++++++++++++++++ ...tiveSemantics_compare_imm_return_reg_reg.c | 65 ++++++++++++++++ .../zicond-primitiveSemantics_compare_reg.c | 65 ++++++++++++++++ ...mitiveSemantics_compare_reg_return_0_imm.c | 73 ++++++++++++++++++ ...tiveSemantics_compare_reg_return_imm_imm.c | 73 ++++++++++++++++++ ...tiveSemantics_compare_reg_return_imm_reg.c | 65 ++++++++++++++++ ...tiveSemantics_compare_reg_return_reg_reg.c | 77 +++++++++++++++++++ 11 files changed, 702 insertions(+) create mode 100644 gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm.c create mode 100644 gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_0_imm.c create mode 100644 gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_imm_imm.c create mode 100644 gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_imm_reg.c create mode 100644 gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_reg_reg.c create mode 100644 gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg.c create mode 100644 gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_0_imm.c create mode 100644 gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_imm_imm.c create mode 100644 gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_imm_reg.c create mode 100644 gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_reg_reg.c diff --git a/gcc/config/riscv/riscv.cc b/gcc/config/riscv/riscv.cc index 7e6b24bd232..9450457e613 100644 --- a/gcc/config/riscv/riscv.cc +++ b/gcc/config/riscv/riscv.cc @@ -3625,6 +3625,22 @@ riscv_expand_conditional_move (rtx dest, rtx op, rtx cons, rtx alt) riscv_emit_binary(IOR, dest, reg1, reg2); return true; } + /* For complex semantics of comparison value. + reg + 0 or 0 + reg */ + else if ((GET_CODE (cons) == REG && + GET_CODE (alt) == CONST_INT && + alt == const0_rtx) + || (GET_CODE (alt) == REG && + GET_CODE (cons) == CONST_INT && + cons == const0_rtx)) + { + riscv_emit_int_compare (&code, &op0, &op1, need_eq_ne_p); + rtx cond = gen_rtx_fmt_ee (code, GET_MODE (op0), op0, op1); + emit_insn (gen_rtx_SET (dest, + gen_rtx_IF_THEN_ELSE (mode, cond, + cons, alt))); + return true; + } } return false; diff --git a/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm.c b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm.c new file mode 100644 index 00000000000..6de50039c31 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm.c @@ -0,0 +1,57 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc_zicond -mabi=lp64d" { target { rv64 } } } */ +/* { dg-options "-march=rv32gc_zicond -mabi=ilp32f" { target { rv32 } } } */ +/* { dg-skip-if "" { *-*-* } {"-O0"} } */ + +long primitiveSemantics_compare_imm_00(long a, long b) { + return a == 2 ? 0 : b; +} + +long primitiveSemantics_compare_imm_01(long a, long b) { + return a != 2 ? 0 : b; +} + +long primitiveSemantics_compare_imm_02(long a, long b) { + return a == 2 ? b : 0; +} + +long primitiveSemantics_compare_imm_03(long a, long b) { + return a != 2 ? b : 0; +} + +long primitiveSemantics_compare_imm_04(long a, long b) { + if (a == 2) + b = 0; + return b; +} + +long primitiveSemantics_compare_imm_05(long a, long b) { + if (!(a == 2)) + b = 0; + return b; +} + +int primitiveSemantics_compare_imm_06(int a, int b) { return a == 2 ? 0 : b; } + +int primitiveSemantics_compare_imm_07(int a, int b) { return a != 2 ? 0 : b; } + +int primitiveSemantics_compare_imm_08(int a, int b) { return a == 2 ? b : 0; } + +int primitiveSemantics_compare_imm_09(int a, int b) { return a != 2 ? b : 0; } + +int primitiveSemantics_compare_imm_10(int a, int b) { + if ((a == 2)) + b = 0; + return b; +} + +int primitiveSemantics_compare_imm_11(int a, int b) { + if (!(a == 2)) + b = 0; + return b; +} + +/* { dg-final { scan-assembler-times "czero.eqz" 6 } } */ +/* { dg-final { scan-assembler-times "czero.nez" 6 } } */ +/* { dg-final { scan-assembler-not "beq" } } */ +/* { dg-final { scan-assembler-not "bne" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_0_imm.c b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_0_imm.c new file mode 100644 index 00000000000..b1e7359e802 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_0_imm.c @@ -0,0 +1,73 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc_zicond -mabi=lp64d" { target { rv64 } } } */ +/* { dg-options "-march=rv32gc_zicond -mabi=ilp32f" { target { rv32 } } } */ +/* { dg-skip-if "" { *-*-* } {"-O0" "-Os"} } */ + +long primitiveSemantics_compare_imm_return_0_imm_00(long a, long b) { + return a == 2 ? 0 : 5; +} + +long primitiveSemantics_compare_imm_return_0_imm_01(long a, long b) { + return a != 2 ? 0 : 5; +} + +long primitiveSemantics_compare_imm_return_0_imm_02(long a, long b) { + return a == 2 ? 5 : 0; +} + +long primitiveSemantics_compare_imm_return_0_imm_03(long a, long b) { + return a != 2 ? 5 : 0; +} + +long primitiveSemantics_compare_imm_return_0_imm_04(long a, long b) { + if (a == 2) + b = 0; + else + b = 5; + return b; +} + +long primitiveSemantics_compare_imm_return_0_imm_05(long a, long b) { + if (!(a == 2)) + b = 0; + else + b = 5; + return b; +} + +int primitiveSemantics_compare_imm_return_0_imm_06(int a, int b) { + return a == 2 ? 0 : 5; +} + +int primitiveSemantics_compare_imm_return_0_imm_07(int a, int b) { + return a != 2 ? 0 : 5; +} + +int primitiveSemantics_compare_imm_return_0_imm_08(int a, int b) { + return a == 2 ? 5 : 0; +} + +int primitiveSemantics_compare_imm_return_0_imm_09(int a, int b) { + return a != 2 ? 5 : 0; +} + +int primitiveSemantics_compare_imm_return_0_imm_10(int a, int b) { + if ((a == 2)) + b = 0; + else + b = 5; + return b; +} + +int primitiveSemantics_compare_imm_return_0_imm_11(int a, int b) { + if (!(a == 2)) + b = 0; + else + b = 5; + return b; +} + +/* { dg-final { scan-assembler-times "czero.eqz" 6 } } */ +/* { dg-final { scan-assembler-times "czero.nez" 6 } } */ +/* { dg-final { scan-assembler-not "beq" } } */ +/* { dg-final { scan-assembler-not "bne" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_imm_imm.c b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_imm_imm.c new file mode 100644 index 00000000000..bc503e6eafb --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_imm_imm.c @@ -0,0 +1,73 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc_zicond -mabi=lp64d" { target { rv64 } } } */ +/* { dg-options "-march=rv32gc_zicond -mabi=ilp32f" { target { rv32 } } } */ +/* { dg-skip-if "" { *-*-* } {"-O0" "-Os"} } */ + +long primitiveSemantics_compare_imm_return_imm_imm_00(long a, long b) { + return a == 2 ? 7 : 4; +} + +long primitiveSemantics_compare_imm_return_imm_imm_01(long a, long b) { + return a != 2 ? 7 : 4; +} + +long primitiveSemantics_compare_imm_return_imm_imm_02(long a, long b) { + return a == 2 ? 7 : 4; +} + +long primitiveSemantics_compare_imm_return_imm_imm_03(long a, long b) { + return a != 2 ? 7 : 4; +} + +long primitiveSemantics_compare_imm_return_imm_imm_04(long a, long b) { + if (a == 2) + b = 7; + else + b = 4; + return b; +} + +long primitiveSemantics_compare_imm_return_imm_imm_05(long a, long b) { + if (!(a == 2)) + b = 7; + else + b = 4; + return b; +} + +int primitiveSemantics_compare_imm_return_imm_imm_06(int a, int b) { + return a == 2 ? 7 : 4; +} + +int primitiveSemantics_compare_imm_return_imm_imm_07(int a, int b) { + return a != 2 ? 7 : 4; +} + +int primitiveSemantics_compare_imm_return_imm_imm_08(int a, int b) { + return a == 2 ? 7 : 4; +} + +int primitiveSemantics_compare_imm_return_imm_imm_09(int a, int b) { + return a != 2 ? 7 : 4; +} + +int primitiveSemantics_compare_imm_return_imm_imm_10(int a, int b) { + if ((a == 2)) + b = 7; + else + b = 4; + return b; +} + +int primitiveSemantics_compare_imm_return_imm_imm_11(int a, int b) { + if (!(a == 2)) + b = 7; + else + b = 4; + return b; +} + +/* { dg-final { scan-assembler-times "czero.eqz" 6 } } */ +/* { dg-final { scan-assembler-times "czero.nez" 6 } } */ +/* { dg-final { scan-assembler-not "beq" } } */ +/* { dg-final { scan-assembler-not "bne" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_imm_reg.c b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_imm_reg.c new file mode 100644 index 00000000000..2bcad7a51d1 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_imm_reg.c @@ -0,0 +1,65 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc_zicond -mabi=lp64d" { target { rv64 } } } */ +/* { dg-options "-march=rv32gc_zicond -mabi=ilp32f" { target { rv32 } } } */ +/* { dg-skip-if "" { *-*-* } {"-O0" "-Os"} } */ + +long primitiveSemantics_compare_imm_return_imm_reg_00(long a, long b) { + return a == 2 ? 3 : b; +} + +long primitiveSemantics_compare_imm_return_imm_reg_01(long a, long b) { + return a != 2 ? 3 : b; +} + +long primitiveSemantics_compare_imm_return_imm_reg_02(long a, long b) { + return a == 2 ? b : 3; +} + +long primitiveSemantics_compare_imm_return_imm_reg_03(long a, long b) { + return a != 2 ? b : 3; +} + +long primitiveSemantics_compare_imm_return_imm_reg_04(long a, long b) { + if (a == 2) + b = 3; + return b; +} + +long primitiveSemantics_compare_imm_return_imm_reg_05(long a, long b) { + if (!(a == 2)) + b = 3; + return b; +} + +int primitiveSemantics_compare_imm_return_imm_reg_06(int a, int b) { + return a == 2 ? 3 : b; +} + +int primitiveSemantics_compare_imm_return_imm_reg_07(int a, int b) { + return a != 2 ? 3 : b; +} + +int primitiveSemantics_compare_imm_return_imm_reg_08(int a, int b) { + return a == 2 ? b : 3; +} + +int primitiveSemantics_compare_imm_return_imm_reg_09(int a, int b) { + return a != 2 ? b : 3; +} + +int primitiveSemantics_compare_imm_return_imm_reg_10(int a, int b) { + if ((a == 2)) + b = 3; + return b; +} + +int primitiveSemantics_compare_imm_return_imm_reg_11(int a, int b) { + if (!(a == 2)) + b = 3; + return b; +} + +/* { dg-final { scan-assembler-times "czero.eqz" 6 } } */ +/* { dg-final { scan-assembler-times "czero.nez" 6 } } */ +/* { dg-final { scan-assembler-not "beq" } } */ +/* { dg-final { scan-assembler-not "bne" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_reg_reg.c b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_reg_reg.c new file mode 100644 index 00000000000..e5d12992dc7 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_imm_return_reg_reg.c @@ -0,0 +1,65 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc_zicond -mabi=lp64d" { target { rv64 } } } */ +/* { dg-options "-march=rv32gc_zicond -mabi=ilp32f" { target { rv32 } } } */ +/* { dg-skip-if "" { *-*-* } {"-O0" "-Os"} } */ + +long primitiveSemantics_compare_imm_return_reg_reg_00(long a, long b, long c) { + return a == 2 ? c : b; +} + +long primitiveSemantics_compare_imm_return_reg_reg_01(long a, long b, long c) { + return a != 2 ? c : b; +} + +long primitiveSemantics_compare_imm_return_reg_reg_02(long a, long b, long c) { + return a == 2 ? b : c; +} + +long primitiveSemantics_compare_imm_return_reg_reg_03(long a, long b, long c) { + return a != 2 ? b : c; +} + +long primitiveSemantics_compare_imm_return_reg_reg_04(long a, long b, long c) { + if (a == 2) + b = c; + return b; +} + +long primitiveSemantics_compare_imm_return_reg_reg_05(long a, long b, long c) { + if (!(a == 2)) + b = c; + return b; +} + +int primitiveSemantics_compare_imm_return_reg_reg_06(int a, int b, int c) { + return a == 2 ? c : b; +} + +int primitiveSemantics_compare_imm_return_reg_reg_07(int a, int b, int c) { + return a != 2 ? c : b; +} + +int primitiveSemantics_compare_imm_return_reg_reg_08(int a, int b, int c) { + return a == 2 ? b : c; +} + +int primitiveSemantics_compare_imm_return_reg_reg_09(int a, int b, int c) { + return a != 2 ? b : c; +} + +int primitiveSemantics_compare_imm_return_reg_reg_10(int a, int b, int c) { + if ((a == 2)) + b = c; + return b; +} + +int primitiveSemantics_compare_imm_return_reg_reg_11(int a, int b, int c) { + if (!(a == 2)) + b = c; + return b; +} + +/* { dg-final { scan-assembler-times "czero.eqz" 12 } } */ +/* { dg-final { scan-assembler-times "czero.nez" 12 } } */ +/* { dg-final { scan-assembler-not "beq" } } */ +/* { dg-final { scan-assembler-not "bne" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg.c b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg.c new file mode 100644 index 00000000000..072ae2a26ba --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg.c @@ -0,0 +1,65 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc_zicond -mabi=lp64d" { target { rv64 } } } */ +/* { dg-options "-march=rv32gc_zicond -mabi=ilp32f" { target { rv32 } } } */ +/* { dg-skip-if "" { *-*-* } {"-O0"} } */ + +long primitiveSemantics_compare_reg_00(long a, long b, long c) { + return a == c ? 0 : b; +} + +long primitiveSemantics_compare_reg_01(long a, long b, long c) { + return a != c ? 0 : b; +} + +long primitiveSemantics_compare_reg_02(long a, long b, long c) { + return a == c ? b : 0; +} + +long primitiveSemantics_compare_reg_03(long a, long b, long c) { + return a != c ? b : 0; +} + +long primitiveSemantics_compare_reg_04(long a, long b, long c) { + if (a == c) + b = 0; + return b; +} + +long primitiveSemantics_compare_reg_05(long a, long b, long c) { + if (!(a == c)) + b = 0; + return b; +} + +int primitiveSemantics_compare_reg_06(int a, int b, int c) { + return a == c ? 0 : b; +} + +int primitiveSemantics_compare_reg_07(int a, int b, int c) { + return a != c ? 0 : b; +} + +int primitiveSemantics_compare_reg_08(int a, int b, int c) { + return a == c ? b : 0; +} + +int primitiveSemantics_compare_reg_09(int a, int b, int c) { + return a != c ? b : 0; +} + +int primitiveSemantics_compare_reg_10(int a, int b, int c) { + if ((a == c)) + b = 0; + return b; +} + +int primitiveSemantics_compare_reg_11(int a, int b, int c) { + if (!(a == c)) + b = 0; + return b; +} + +/* { dg-final { scan-assembler-times "czero.eqz" 6 } } */ +/* { dg-final { scan-assembler-times "czero.nez" 6 } } */ +/* { dg-final { scan-assembler-not "beq" } } */ +/* { dg-final { scan-assembler-not "bne" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_0_imm.c b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_0_imm.c new file mode 100644 index 00000000000..66c7bcb9067 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_0_imm.c @@ -0,0 +1,73 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc_zicond -mabi=lp64d" { target { rv64 } } } */ +/* { dg-options "-march=rv32gc_zicond -mabi=ilp32f" { target { rv32 } } } */ +/* { dg-skip-if "" { *-*-* } {"-O0" "-Os"} } */ + +long primitiveSemantics_compare_reg_return_0_imm_00(long a, long b, long c) { + return a == c ? 0 : 9; +} + +long primitiveSemantics_compare_reg_return_0_imm_01(long a, long b, long c) { + return a != c ? 0 : 9; +} + +long primitiveSemantics_compare_reg_return_0_imm_02(long a, long b, long c) { + return a == c ? 9 : 0; +} + +long primitiveSemantics_compare_reg_return_0_imm_03(long a, long b, long c) { + return a != c ? 9 : 0; +} + +long primitiveSemantics_compare_reg_return_0_imm_04(long a, long b, long c) { + if (a == c) + b = 0; + else + b = 9; + return b; +} + +long primitiveSemantics_compare_reg_return_0_imm_05(long a, long b, long c) { + if (!(a == c)) + b = 0; + else + b = 9; + return b; +} + +int primitiveSemantics_compare_reg_return_0_imm_06(int a, int b, int c) { + return a == c ? 0 : 9; +} + +int primitiveSemantics_compare_reg_return_0_imm_07(int a, int b, int c) { + return a != c ? 0 : 9; +} + +int primitiveSemantics_compare_reg_return_0_imm_08(int a, int b, int c) { + return a == c ? 9 : 0; +} + +int primitiveSemantics_compare_reg_return_0_imm_09(int a, int b, int c) { + return a != c ? 9 : 0; +} + +int primitiveSemantics_compare_reg_return_0_imm_10(int a, int b, int c) { + if ((a == c)) + b = 0; + else + b = 9; + return b; +} + +int primitiveSemantics_compare_reg_return_0_imm_11(int a, int b, int c) { + if (!(a == c)) + b = 0; + else + b = 9; + return b; +} + +/* { dg-final { scan-assembler-times "czero.eqz" 6 } } */ +/* { dg-final { scan-assembler-times "czero.nez" 6 } } */ +/* { dg-final { scan-assembler-not "beq" } } */ +/* { dg-final { scan-assembler-not "bne" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_imm_imm.c b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_imm_imm.c new file mode 100644 index 00000000000..055ca4833e9 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_imm_imm.c @@ -0,0 +1,73 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc_zicond -mabi=lp64d" { target { rv64 } } } */ +/* { dg-options "-march=rv32gc_zicond -mabi=ilp32f" { target { rv32 } } } */ +/* { dg-skip-if "" { *-*-* } {"-O0" "-Os"} } */ + +long primitiveSemantics_compare_reg_return_imm_imm_00(long a, long b, long c) { + return a == c ? 7 : 4; +} + +long primitiveSemantics_compare_reg_return_imm_imm_01(long a, long b, long c) { + return a != c ? 7 : 4; +} + +long primitiveSemantics_compare_reg_return_imm_imm_02(long a, long b, long c) { + return a == c ? 7 : 4; +} + +long primitiveSemantics_compare_reg_return_imm_imm_03(long a, long b, long c) { + return a != c ? 7 : 4; +} + +long primitiveSemantics_compare_reg_return_imm_imm_04(long a, long b, long c) { + if (a == c) + b = 7; + else + b = 4; + return b; +} + +long primitiveSemantics_compare_reg_return_imm_imm_05(long a, long b, long c) { + if (!(a == c)) + b = 7; + else + b = 4; + return b; +} + +int primitiveSemantics_compare_reg_return_imm_imm_06(int a, int b, int c) { + return a == c ? 7 : 4; +} + +int primitiveSemantics_compare_reg_return_imm_imm_07(int a, int b, int c) { + return a != c ? 7 : 4; +} + +int primitiveSemantics_compare_reg_return_imm_imm_08(int a, int b, int c) { + return a == c ? 7 : 4; +} + +int primitiveSemantics_compare_reg_return_imm_imm_09(int a, int b, int c) { + return a != c ? 7 : 4; +} + +int primitiveSemantics_compare_reg_return_imm_imm_10(int a, int b, int c) { + if ((a == c)) + b = 7; + else + b = 4; + return b; +} + +int primitiveSemantics_compare_reg_return_imm_imm_11(int a, int b, int c) { + if (!(a == c)) + b = 7; + else + b = 4; + return b; +} + +/* { dg-final { scan-assembler-times "czero.eqz" 6 } } */ +/* { dg-final { scan-assembler-times "czero.nez" 6 } } */ +/* { dg-final { scan-assembler-not "beq" } } */ +/* { dg-final { scan-assembler-not "bne" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_imm_reg.c b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_imm_reg.c new file mode 100644 index 00000000000..85a68bd946f --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_imm_reg.c @@ -0,0 +1,65 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc_zicond -mabi=lp64d" { target { rv64 } } } */ +/* { dg-options "-march=rv32gc_zicond -mabi=ilp32f" { target { rv32 } } } */ +/* { dg-skip-if "" { *-*-* } {"-O0" "-Os"} } */ + +long primitiveSemantics_compare_reg_return_imm_reg_00(long a, long b, long c) { + return a == c ? 10 : b; +} + +long primitiveSemantics_compare_reg_return_imm_reg_01(long a, long b, long c) { + return a != c ? 10 : b; +} + +long primitiveSemantics_compare_reg_return_imm_reg_02(long a, long b, long c) { + return a == c ? b : 10; +} + +long primitiveSemantics_compare_reg_return_imm_reg_03(long a, long b, long c) { + return a != c ? b : 10; +} + +long primitiveSemantics_compare_reg_return_imm_reg_04(long a, long b, long c) { + if (a == c) + b = 10; + return b; +} + +long primitiveSemantics_compare_reg_return_imm_reg_05(long a, long b, long c) { + if (!(a == c)) + b = 10; + return b; +} + +int primitiveSemantics_compare_reg_return_imm_reg_06(int a, int b, int c) { + return a == c ? 10 : b; +} + +int primitiveSemantics_compare_reg_return_imm_reg_07(int a, int b, int c) { + return a != c ? 10 : b; +} + +int primitiveSemantics_compare_reg_return_imm_reg_08(int a, int b, int c) { + return a == c ? b : 10; +} + +int primitiveSemantics_compare_reg_return_imm_reg_09(int a, int b, int c) { + return a != c ? b : 10; +} + +int primitiveSemantics_compare_reg_return_imm_reg_10(int a, int b, int c) { + if ((a == c)) + b = 10; + return b; +} + +int primitiveSemantics_compare_reg_return_imm_reg_11(int a, int b, int c) { + if (!(a == c)) + b = 10; + return b; +} + +/* { dg-final { scan-assembler-times "czero.eqz" 6 } } */ +/* { dg-final { scan-assembler-times "czero.nez" 6 } } */ +/* { dg-final { scan-assembler-not "beq" } } */ +/* { dg-final { scan-assembler-not "bne" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_reg_reg.c b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_reg_reg.c new file mode 100644 index 00000000000..d6d5d9e7bfa --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/zicond-primitiveSemantics_compare_reg_return_reg_reg.c @@ -0,0 +1,77 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc_zicond -mabi=lp64d" { target { rv64 } } } */ +/* { dg-options "-march=rv32gc_zicond -mabi=ilp32f" { target { rv32 } } } */ +/* { dg-skip-if "" { *-*-* } {"-O0" "-Os"} } */ + +long primitiveSemantics_compare_reg_return_reg_reg_00(long a, long b, long c, + long d) { + return a == c ? d : b; +} + +long primitiveSemantics_compare_reg_return_reg_reg_01(long a, long b, long c, + long d) { + return a != c ? d : b; +} + +long primitiveSemantics_compare_reg_return_reg_reg_02(long a, long b, long c, + long d) { + return a == c ? b : d; +} + +long primitiveSemantics_compare_reg_return_reg_reg_03(long a, long b, long c, + long d) { + return a != c ? b : d; +} + +long primitiveSemantics_compare_reg_return_reg_reg_04(long a, long b, long c, + long d) { + if (a == c) + b = d; + return b; +} + +long primitiveSemantics_compare_reg_return_reg_reg_05(long a, long b, long c, + long d) { + if (!(a == c)) + b = d; + return b; +} + +int primitiveSemantics_compare_reg_return_reg_reg_06(int a, int b, int c, + int d) { + return a == c ? d : b; +} + +int primitiveSemantics_compare_reg_return_reg_reg_07(int a, int b, int c, + int d) { + return a != c ? d : b; +} + +int primitiveSemantics_compare_reg_return_reg_reg_08(int a, int b, int c, + int d) { + return a == c ? b : d; +} + +int primitiveSemantics_compare_reg_return_reg_reg_09(int a, int b, int c, + int d) { + return a != c ? b : d; +} + +int primitiveSemantics_compare_reg_return_reg_reg_10(int a, int b, int c, + int d) { + if ((a == c)) + b = d; + return b; +} + +int primitiveSemantics_compare_reg_return_reg_reg_11(int a, int b, int c, + int d) { + if (!(a == c)) + b = d; + return b; +} + +/* { dg-final { scan-assembler-times "czero.eqz" 12 } } */ +/* { dg-final { scan-assembler-times "czero.nez" 12 } } */ +/* { dg-final { scan-assembler-not "beq" } } */ +/* { dg-final { scan-assembler-not "bne" } } */