From patchwork Wed Dec 13 21:07:54 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Edwin Lu X-Patchwork-Id: 178304 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7300:3b04:b0:fb:cd0c:d3e with SMTP id c4csp8093878dys; Wed, 13 Dec 2023 13:08:26 -0800 (PST) X-Google-Smtp-Source: AGHT+IEUdAaDIebUlrXozFefd+m4YniGY+juK/m5OpNFQUR6v2TwU9Hl1ub9F/ztGCP8vRquDfYd X-Received: by 2002:a05:6870:f68a:b0:1fb:75c:3fea with SMTP id el10-20020a056870f68a00b001fb075c3feamr11109772oab.74.1702501705893; Wed, 13 Dec 2023 13:08:25 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1702501705; cv=pass; d=google.com; s=arc-20160816; b=yL45QzqV+mbPbS4frynYRI0nA8q7h5rM+5DqgFLsPWfRFcn+PB6oBmIEVCAtM8TIYQ L98U1+0iJ5ycQBMkGZ6ScPVy6LmBRA8bOQQyFww7xrHvS6GCVuiWxDGIuXd6DtcjAPdM MfR/VfqtySKRmWEUuIF176M/281S1kR07ZuZ6JtMstd6W37oxAGylfzBS30O49LXxdOu aUQ/cxEmIy9pSxtLXEpf0lIiCEd7ZbD4g6+6++wuMuIeKRYZvOSYRCzhooLhUwvyhpOr 6ciD/QRwgpO2MY7g1CzDTBO9WVhTZHyAY5Rc8U8U9FsBy/lFSeBc3dPL2Rg8/7Zmy9Md N9hQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:message-id:date:subject:cc:to:from:dkim-signature :arc-filter:dmarc-filter:delivered-to; bh=mJdYZrx9ZHYGo9CzN3wjgx5S6LMsJSSYhJQykWp3dsg=; fh=r+SIYcgLopsTG8D0vSkuNNcbfbLGreWBAuINt5YEr6Q=; b=hdvZav+hMCFpV21kdnaMunYt1o8xlX7t1KBfl4+FUTC+bQFhiGMsZAGId8gXS6QmyD /iFXwO2VQ9qdPBVjVROlaku6SN6yybJKb0QDrIehQXk0ReCXyMWep9sSO0QhQAnmq56t UpF8uu8ZtJ/Krt3NEB3MHVKjV18ITgAjvHM8h/1qSdU4wYQfIUgJls6E7B8InocBTHbd 87oao7PF7H+2Vt1BpJfEjtPmkD1m9Vb+gKitDZo2yoSdLSgvg/85A8ityrsb+jJ/iMtH bnDkaw9v3lBkiWfUbhOdxlxx7eyJpimaDSqYx1hG5D2XSbLPHjGkwRp4fXdffTdCwqlb lYoA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@rivosinc-com.20230601.gappssmtp.com header.s=20230601 header.b=wEHzezgr; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id n14-20020ab065ce000000b007cb235e2408si911021uaq.162.2023.12.13.13.08.25 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 13 Dec 2023 13:08:25 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@rivosinc-com.20230601.gappssmtp.com header.s=20230601 header.b=wEHzezgr; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 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 80C31385841F for ; Wed, 13 Dec 2023 21:08:25 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-ot1-x331.google.com (mail-ot1-x331.google.com [IPv6:2607:f8b0:4864:20::331]) by sourceware.org (Postfix) with ESMTPS id 3B67C385841F for ; Wed, 13 Dec 2023 21:07:59 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 3B67C385841F Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=rivosinc.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=rivosinc.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 3B67C385841F Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::331 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1702501682; cv=none; b=RAvI+I6AFbGExrE0bZEu9pyyszBIZ6DdHVMQYjAFQXdeLoNSeG8PrMJtfKJOYQ4fGeX/C/0YVLuqFhE+GEff7M+8+B9b5UCU5teJ4wN18WDmb/re/lJZOos6aA1vMlQX3yyIa+6VhiZ2i+8Krt36M2owqO/3NoyQGiY9eS/CRL4= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1702501682; c=relaxed/simple; bh=FnREc6wm1/YAhkG9HMZ0WdaSF6NT95A0hD1AVyK1Zj4=; h=DKIM-Signature:From:To:Subject:Date:Message-Id:MIME-Version; b=vshl6X2XOnqMAwpcSJN+nid8Skvn2wGV0Q4CA6SKC2tPvxhRsK+k6jkfowrLzD0fDlTpkxBNN2N01oOsED0AbYJO4NtuIif2fFzK1ibU6jfvKPMQOqhLXDVMIIkH+8CzPWTINVOzO97SlE3UrDwghHyAuxWB4Ef+LjdWGRQnGrU= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-ot1-x331.google.com with SMTP id 46e09a7af769-6d84ddd642fso5614189a34.0 for ; Wed, 13 Dec 2023 13:07:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rivosinc-com.20230601.gappssmtp.com; s=20230601; t=1702501678; x=1703106478; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=mJdYZrx9ZHYGo9CzN3wjgx5S6LMsJSSYhJQykWp3dsg=; b=wEHzezgrFvBhbCqLZLQLSqg8utgt9seffmbAl1D6XA162ZQEx8QKfF/EbtojL7oXQ+ TQzDW+saMUMKW0I9lwGJbU0gOxhiEzemxqscqztDGozR/BfQv7wiP+i5yTU+w8tSkWVh B2mCf+Lw0Bue98rszeKeSO+L1w2jLEj2qVZxYMtm9rJFvTjcytJOw9i3yIia/29M3+u1 x4vZSM/XL9vozotU4hgeCgkk9Q9Gc5nuOHqGLhQeLJ/sota4v9hmeOlCMTfM8yEVOAJi HT6BzA84odiUvb1JEbfGOZvOmTpJbCBZaNSRtwcsIq62wUnlb1/HJ2bJcyVffD6V0Ul5 R68g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1702501678; x=1703106478; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=mJdYZrx9ZHYGo9CzN3wjgx5S6LMsJSSYhJQykWp3dsg=; b=FFlirE/JwvjXzN6pwD4aWR9+xUuwfJZ7WhSNHCbrEuXkyVANcNlu1lrZSJtvf5eyvi 7+Aiyo/h279ak+hagAlrIN0gkW2riwqYEUVWrCS3FuSnDyTtmxlai04CaPgLeOxhDVh/ itE8tyqa5LNDjV+2DU+BYWas0otnCaMNOvq568/PgNONjsMPzxFy+JBXFigQTI6ZdIIB vzAcBwz2gzLhOCfb75iozW6zQ4iIOqtIyd+OpxXArNaadEekLiinATrAAnhcsMETzBzt 1a++UWPiyrWHjRtNm+aGO7cvbOO/8h1Iqjsw0pm/UyFH8if9uiBMKu2ChgH4h5OY4oFe egJQ== X-Gm-Message-State: AOJu0Yza4jSdkefTdOFbxhoB2r7kYevmQDDsFVsrq0dFi1ieJ3zeCzpm z8EFM24F2tWyN7dRXuu8GUwtbgRG1X/QGAY+Yb0= X-Received: by 2002:a05:6830:1da4:b0:6d9:d456:c68a with SMTP id z4-20020a0568301da400b006d9d456c68amr8119192oti.25.1702501677795; Wed, 13 Dec 2023 13:07:57 -0800 (PST) Received: from ewlu.ba.rivosinc.com ([64.71.180.162]) by smtp.gmail.com with ESMTPSA id e7-20020a056830200700b006d8811cbc3csm2952605otp.29.2023.12.13.13.07.57 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 13 Dec 2023 13:07:57 -0800 (PST) From: Edwin Lu To: gcc-patches@gcc.gnu.org Cc: gnu-toolchain@rivosinc.com, Edwin Lu Subject: [PATCH V3] RISC-V: XFAIL scan dump fails for autovec PR111311 Date: Wed, 13 Dec 2023 13:07:54 -0800 Message-Id: <20231213210754.2641613-1-ewlu@rivosinc.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 X-Spam-Status: No, score=-11.9 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, GIT_PATCH_0, KAM_NUMSUBJECT, RCVD_IN_DNSWL_NONE, 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.30 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 X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1785202428660489380 X-GMAIL-MSGID: 1785202428660489380 Clean up scan dump failures on linux rv64 vector targets Juzhe mentioned could be ignored for now. This will help reduce noise and make it more obvious if a bug or regression is introduced. The failures that are still reported are either execution failures or failures that are also present on armv8-a+sve gcc/testsuite/ChangeLog: * c-c++-common/vector-subscript-4.c: xfail testcase * g++.dg/tree-ssa/pr83518.C: ditto * gcc.dg/attr-alloc_size-11.c: remove xfail * gcc.dg/signbit-2.c: xfail testcase * gcc.dg/signbit-5.c: ditto * gcc.dg/tree-ssa/cunroll-16.c: ditto * gcc.dg/tree-ssa/gen-vect-34.c: ditto * gcc.dg/tree-ssa/loop-bound-1.c: ditto * gcc.dg/tree-ssa/loop-bound-2.c: ditto * gcc.dg/tree-ssa/pr84512.c: remove xfail * gcc.dg/tree-ssa/predcom-4.c: xfail testcase * gcc.dg/tree-ssa/predcom-5.c: ditto * gcc.dg/tree-ssa/predcom-9.c: ditto * gcc.dg/tree-ssa/reassoc-46.c: ditto * gcc.dg/tree-ssa/scev-10.c: ditto * gcc.dg/tree-ssa/scev-11.c: ditto * gcc.dg/tree-ssa/scev-14.c: ditto * gcc.dg/tree-ssa/scev-9.c: ditto * gcc.dg/tree-ssa/split-path-11.c: ditto * gcc.dg/tree-ssa/ssa-dom-cse-2.c: ditto * gcc.dg/tree-ssa/update-threading.c: ditto * gcc.dg/unroll-8.c: ditto * gcc.dg/var-expand1.c: ditto * gcc.dg/vect/pr103116-1.c: ditto * gcc.dg/vect/pr103116-2.c: ditto * gcc.dg/vect/pr65310.c: ditto * gfortran.dg/vect/vect-8.f90: ditto Signed-off-by: Edwin Lu --- V2 changes: - added attr-alloc_size-11.c and update-threading.c which were missed in previous patch - remove pr83232.f90 xfail since it was fixed in a recent trunk update - adjust xfail on split-path-11.c to only apply to rv64 V3 changes: - swapped to only xfailing riscv specifically (pr84512.c and pr83518.c) - removed modifications to target-supports.exp as it was accidentally added --- gcc/testsuite/c-c++-common/vector-subscript-4.c | 3 ++- gcc/testsuite/g++.dg/tree-ssa/pr83518.C | 2 +- gcc/testsuite/gcc.dg/attr-alloc_size-11.c | 4 ++-- gcc/testsuite/gcc.dg/signbit-2.c | 5 +++-- gcc/testsuite/gcc.dg/signbit-5.c | 1 + gcc/testsuite/gcc.dg/tree-ssa/cunroll-16.c | 5 +++-- gcc/testsuite/gcc.dg/tree-ssa/gen-vect-34.c | 3 ++- gcc/testsuite/gcc.dg/tree-ssa/loop-bound-1.c | 3 ++- gcc/testsuite/gcc.dg/tree-ssa/loop-bound-2.c | 3 ++- gcc/testsuite/gcc.dg/tree-ssa/pr84512.c | 2 +- gcc/testsuite/gcc.dg/tree-ssa/predcom-4.c | 5 +++-- gcc/testsuite/gcc.dg/tree-ssa/predcom-5.c | 5 +++-- gcc/testsuite/gcc.dg/tree-ssa/predcom-9.c | 3 ++- gcc/testsuite/gcc.dg/tree-ssa/reassoc-46.c | 3 ++- gcc/testsuite/gcc.dg/tree-ssa/scev-10.c | 3 ++- gcc/testsuite/gcc.dg/tree-ssa/scev-11.c | 3 ++- gcc/testsuite/gcc.dg/tree-ssa/scev-14.c | 4 +++- gcc/testsuite/gcc.dg/tree-ssa/scev-9.c | 3 ++- gcc/testsuite/gcc.dg/tree-ssa/split-path-11.c | 2 +- gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-cse-2.c | 2 +- gcc/testsuite/gcc.dg/tree-ssa/update-threading.c | 2 +- gcc/testsuite/gcc.dg/unroll-8.c | 8 +++++--- gcc/testsuite/gcc.dg/var-expand1.c | 3 ++- gcc/testsuite/gcc.dg/vect/pr103116-1.c | 3 ++- gcc/testsuite/gcc.dg/vect/pr103116-2.c | 3 ++- gcc/testsuite/gcc.dg/vect/pr65310.c | 4 ++-- gcc/testsuite/gfortran.dg/vect/vect-8.f90 | 3 ++- 27 files changed, 56 insertions(+), 34 deletions(-) diff --git a/gcc/testsuite/c-c++-common/vector-subscript-4.c b/gcc/testsuite/c-c++-common/vector-subscript-4.c index 2c2481f88b7..eb0bca1c19e 100644 --- a/gcc/testsuite/c-c++-common/vector-subscript-4.c +++ b/gcc/testsuite/c-c++-common/vector-subscript-4.c @@ -25,5 +25,6 @@ foobar(16) foobar(32) foobar(64) +/* Xfail riscv PR112531. */ /* Verify we don't have any vector temporaries in the IL. */ -/* { dg-final { scan-tree-dump-not "vector" "optimized" } } */ +/* { dg-final { scan-tree-dump-not "vector" "optimized" { xfail { riscv_v && vect_variable_length } } } } */ diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr83518.C b/gcc/testsuite/g++.dg/tree-ssa/pr83518.C index b8a2bd1ebbd..dcb9279abc2 100644 --- a/gcc/testsuite/g++.dg/tree-ssa/pr83518.C +++ b/gcc/testsuite/g++.dg/tree-ssa/pr83518.C @@ -24,4 +24,4 @@ unsigned test() return sum; } -/* { dg-final { scan-tree-dump "return 15;" "optimized" { xfail vect_variable_length } } } */ +/* { dg-final { scan-tree-dump "return 15;" "optimized" { xfail { vect_variable_length && { ! riscv_v } } } } */ diff --git a/gcc/testsuite/gcc.dg/attr-alloc_size-11.c b/gcc/testsuite/gcc.dg/attr-alloc_size-11.c index a2efe128915..2828db12e05 100644 --- a/gcc/testsuite/gcc.dg/attr-alloc_size-11.c +++ b/gcc/testsuite/gcc.dg/attr-alloc_size-11.c @@ -47,8 +47,8 @@ typedef __SIZE_TYPE__ size_t; /* The following tests fail because of missing range information. The xfail exclusions are PR79356. */ -TEST (signed char, SCHAR_MIN + 2, ALLOC_MAX); /* { dg-warning "argument 1 range \\\[13, \[0-9\]+\\\] exceeds maximum object size 12" "missing range info for signed char" { xfail { ! { aarch64*-*-* arm*-*-* avr-*-* alpha*-*-* cris-*-* ia64-*-* mips*-*-* or1k*-*-* pdp11*-*-* powerpc*-*-* sparc*-*-* s390*-*-* visium-*-* msp430-*-* nvptx*-*-*} } } } */ -TEST (short, SHRT_MIN + 2, ALLOC_MAX); /* { dg-warning "argument 1 range \\\[13, \[0-9\]+\\\] exceeds maximum object size 12" "missing range info for short" { xfail { ! { aarch64*-*-* arm*-*-* alpha*-*-* avr-*-* cris-*-* ia64-*-* mips*-*-* or1k*-*-* pdp11*-*-* powerpc*-*-* sparc*-*-* s390x-*-* visium-*-* msp430-*-* nvptx*-*-* } } } } */ +TEST (signed char, SCHAR_MIN + 2, ALLOC_MAX); /* { dg-warning "argument 1 range \\\[13, \[0-9\]+\\\] exceeds maximum object size 12" "missing range info for signed char" { xfail { ! { aarch64*-*-* arm*-*-* avr-*-* alpha*-*-* cris-*-* ia64-*-* mips*-*-* or1k*-*-* pdp11*-*-* powerpc*-*-* sparc*-*-* s390*-*-* visium-*-* msp430-*-* nvptx*-*-* riscv*-*-* } } } } */ +TEST (short, SHRT_MIN + 2, ALLOC_MAX); /* { dg-warning "argument 1 range \\\[13, \[0-9\]+\\\] exceeds maximum object size 12" "missing range info for short" { xfail { ! { aarch64*-*-* arm*-*-* alpha*-*-* avr-*-* cris-*-* ia64-*-* mips*-*-* or1k*-*-* pdp11*-*-* powerpc*-*-* sparc*-*-* s390x-*-* visium-*-* msp430-*-* nvptx*-*-* riscv*-*-* } } } } */ TEST (int, INT_MIN + 2, ALLOC_MAX); /* { dg-warning "argument 1 range \\\[13, \[0-9\]+\\\] exceeds maximum object size 12" } */ TEST (int, -3, ALLOC_MAX); /* { dg-warning "argument 1 range \\\[13, \[0-9\]+\\\] exceeds maximum object size 12" } */ TEST (int, -2, ALLOC_MAX); /* { dg-warning "argument 1 range \\\[13, \[0-9\]+\\\] exceeds maximum object size 12" } */ diff --git a/gcc/testsuite/gcc.dg/signbit-2.c b/gcc/testsuite/gcc.dg/signbit-2.c index 62bb4047d74..2a32568de9e 100644 --- a/gcc/testsuite/gcc.dg/signbit-2.c +++ b/gcc/testsuite/gcc.dg/signbit-2.c @@ -22,6 +22,7 @@ void fun2(int32_t *x, int n) } /* Xfail amdgcn where vector truth type is not integer type. */ -/* { dg-final { scan-tree-dump {\s+>\s+\{ 0(, 0)+ \}} optimized { target vect_shift xfail amdgcn-*-* } } } */ +/* Xfail riscv PR111311. */ +/* { dg-final { scan-tree-dump {\s+>\s+\{ 0(, 0)+ \}} optimized { target vect_shift xfail { amdgcn-*-* || { riscv_v && vect_variable_length } } } } } */ /* { dg-final { scan-tree-dump {\s+>\s+0} optimized { target { ! vect_shift } } } } */ -/* { dg-final { scan-tree-dump-not {\s+>>\s+31} optimized { xfail amdgcn-*-* } } } */ +/* { dg-final { scan-tree-dump-not {\s+>>\s+31} optimized { xfail { amdgcn-*-* || { riscv_v && vect_variable_length } } } } } */ diff --git a/gcc/testsuite/gcc.dg/signbit-5.c b/gcc/testsuite/gcc.dg/signbit-5.c index 0fad56c0ea8..becf8b45aa8 100644 --- a/gcc/testsuite/gcc.dg/signbit-5.c +++ b/gcc/testsuite/gcc.dg/signbit-5.c @@ -4,6 +4,7 @@ /* This test does not work when the truth type does not match vector type. */ /* { dg-additional-options "-mno-avx512f" { target { i?86-*-* x86_64-*-* } } } */ /* { dg-additional-options "-march=armv8-a" { target aarch64_sve } } */ +/* { dg-additional-options "-fwrapv" { target riscv_v } } */ /* { dg-xfail-run-if "truth type does not match vector type" { amdgcn-*-* } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/cunroll-16.c b/gcc/testsuite/gcc.dg/tree-ssa/cunroll-16.c index 9bb66ff8299..53bb75e9c17 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/cunroll-16.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/cunroll-16.c @@ -13,5 +13,6 @@ int main() { foo(); } -/* { dg-final { scan-tree-dump "optimized: loop with \[0-9\]\+ iterations completely unrolled" "cunroll" } } */ -/* { dg-final { scan-tree-dump-not "foo" "optimized" } } */ +/* Xfail riscv PR111311. */ +/* { dg-final { scan-tree-dump "optimized: loop with \[0-9\]\+ iterations completely unrolled" "cunroll" { xfail { riscv_v && vect_variable_length } } } } */ +/* { dg-final { scan-tree-dump-not "foo" "optimized" { xfail { riscv_v && vect_variable_length } } } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/gen-vect-34.c b/gcc/testsuite/gcc.dg/tree-ssa/gen-vect-34.c index c2e5dfea35f..49b59f6d8d7 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/gen-vect-34.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/gen-vect-34.c @@ -13,4 +13,5 @@ float summul(int n, float *arg1, float *arg2) return res1; } -/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target vect_masked_load } } } */ +/* Xfail riscv PR111311. */ +/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target vect_masked_load xfail { riscv_v && vect_variable_length } } } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/loop-bound-1.c b/gcc/testsuite/gcc.dg/tree-ssa/loop-bound-1.c index aedcac2103a..022a8a00ad2 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/loop-bound-1.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/loop-bound-1.c @@ -17,6 +17,7 @@ foo (unsigned char s, unsigned char l) return sum; } +/* Xfail riscv PR111311. */ /* Check loop niter bound information. */ -/* { dg-final { scan-tree-dump "bounded by 254" "ivopts" } } */ +/* { dg-final { scan-tree-dump "bounded by 254" "ivopts" { xfail { riscv_v && vect_variable_length } } } } */ /* { dg-final { scan-tree-dump-not "bounded by 255" "ivopts" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/loop-bound-2.c b/gcc/testsuite/gcc.dg/tree-ssa/loop-bound-2.c index 802dd290e50..06ccb1d7029 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/loop-bound-2.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/loop-bound-2.c @@ -17,7 +17,8 @@ foo (signed char s, signed char l) return sum; } +/* Xfail riscv PR111311. */ /* Check loop niter bound information. */ -/* { dg-final { scan-tree-dump "bounded by 254" "ivopts" } } */ +/* { dg-final { scan-tree-dump "bounded by 254" "ivopts" {xfail { riscv_v && vect_variable_length } } } } */ /* { dg-final { scan-tree-dump-not "bounded by 255" "ivopts" } } */ /* { dg-final { scan-tree-dump-not "zero if " "ivopts" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr84512.c b/gcc/testsuite/gcc.dg/tree-ssa/pr84512.c index 496c78b28dc..7a762109b92 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/pr84512.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr84512.c @@ -13,4 +13,4 @@ int foo() } /* Listed targets xfailed due to PR84958. */ -/* { dg-final { scan-tree-dump "return 285;" "optimized" { xfail { amdgcn*-*-* || vect_variable_length } } } } */ +/* { dg-final { scan-tree-dump "return 285;" "optimized" { xfail { { amdgcn*-*-* || vect_variable_length } && { ! riscv_v } } } } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/predcom-4.c b/gcc/testsuite/gcc.dg/tree-ssa/predcom-4.c index af9ae0e0f3d..351243c3d24 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/predcom-4.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/predcom-4.c @@ -24,6 +24,7 @@ int main(void) return 0; } -/* { dg-final { scan-tree-dump-times "Combination" 1 "pcom"} } */ -/* { dg-final { scan-tree-dump-times "Unrolling 3 times." 1 "pcom"} } */ +/* Xfail riscv PR112531. */ +/* { dg-final { scan-tree-dump-times "Combination" 1 "pcom" { xfail { riscv_v && vect_variable_length } } } } */ +/* { dg-final { scan-tree-dump-times "Unrolling 3 times." 1 "pcom" { xfail { riscv_v && vect_variable_length } } } } */ /* { dg-final { scan-tree-dump-not "Invalid sum" "pcom" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/predcom-5.c b/gcc/testsuite/gcc.dg/tree-ssa/predcom-5.c index 52adb59d669..d35363d1942 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/predcom-5.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/predcom-5.c @@ -24,6 +24,7 @@ int main(void) return 0; } -/* { dg-final { scan-tree-dump-times "Combination" 2 "pcom"} } */ -/* { dg-final { scan-tree-dump-times "Unrolling 3 times." 1 "pcom"} } */ +/* Xfail riscv PR112531. */ +/* { dg-final { scan-tree-dump-times "Combination" 2 "pcom" { xfail { riscv_v && vect_variable_length } } } } */ +/* { dg-final { scan-tree-dump-times "Unrolling 3 times." 1 "pcom" { xfail { riscv_v && vect_variable_length } } } } */ /* { dg-final { scan-tree-dump-not "Invalid sum" "pcom" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/predcom-9.c b/gcc/testsuite/gcc.dg/tree-ssa/predcom-9.c index b0fb0e2d4c5..2c0b9af846e 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/predcom-9.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/predcom-9.c @@ -16,5 +16,6 @@ void foo (void) } } +/* Xfail riscv PR112531. */ /* { dg-final { scan-tree-dump-not "Sinking # VUSE" "sink1" } } */ -/* { dg-final { scan-tree-dump "Executing predictive commoning without unrolling" "pcom" } } */ +/* { dg-final { scan-tree-dump "Executing predictive commoning without unrolling" "pcom" { xfail { riscv_v && vect_variable_length } } } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/reassoc-46.c b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-46.c index 97563dd929f..37bfe28213f 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/reassoc-46.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-46.c @@ -3,5 +3,6 @@ #include "reassoc-46.h" +/* Xfail riscv PR112531. */ /* Check that the loop accumulator is added last. */ -/* { dg-final { scan-tree-dump-times {(?:vect_)?sum_[\d._]+ = (?:(?:vect_)?_[\d._]+ \+ (?:vect_)?sum_[\d._]+|(?:vect_)?sum_[\d._]+ \+ (?:vect_)?_[\d._]+)} 1 "optimized" } } */ +/* { dg-final { scan-tree-dump-times {(?:vect_)?sum_[\d._]+ = (?:(?:vect_)?_[\d._]+ \+ (?:vect_)?sum_[\d._]+|(?:vect_)?sum_[\d._]+ \+ (?:vect_)?_[\d._]+)} 1 "optimized" { xfail { riscv_v && vect_variable_length } } } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/scev-10.c b/gcc/testsuite/gcc.dg/tree-ssa/scev-10.c index ba111914b3c..a1b43932b49 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/scev-10.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/scev-10.c @@ -17,6 +17,7 @@ foo (signed char s, signed char l) return sum; } +/* Xfail riscv PR112531. */ /* Address of array reference is scev. */ -/* { dg-final { scan-tree-dump-times " Type:\\tREFERENCE ADDRESS\n" 1 "ivopts" } } */ +/* { dg-final { scan-tree-dump-times " Type:\\tREFERENCE ADDRESS\n" 1 "ivopts" { xfail { riscv_v && vect_variable_length } } } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/scev-11.c b/gcc/testsuite/gcc.dg/tree-ssa/scev-11.c index f15688538ea..c7ec60acc7c 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/scev-11.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/scev-11.c @@ -22,5 +22,6 @@ foo (int n) return 0; } +/* Xfail riscv PR112531. */ /* Address of array reference to b is scev. */ -/* { dg-final { scan-tree-dump-times " Type:\\tREFERENCE ADDRESS\n" 2 "ivopts" } } */ +/* { dg-final { scan-tree-dump-times " Type:\\tREFERENCE ADDRESS\n" 2 "ivopts" { xfail { riscv_v && vect_variable_length } } } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/scev-14.c b/gcc/testsuite/gcc.dg/tree-ssa/scev-14.c index d7865fea24a..323a870c9d6 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/scev-14.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/scev-14.c @@ -7,4 +7,6 @@ void t(unsigned int n) for (i=0; i> 4) ? 8 : 64 + (i >> 4)) << 8) + (i << 4) } ).a); exit (0); } -/* { dg-final { scan-tree-dump-times "Invalid sum" 0 "optimized" { xfail cris-*-* } } } Xfail: PR110628 */ +/* { dg-final { scan-tree-dump-times "Invalid sum" 0 "optimized" { xfail { cris-*-* riscv*-*-* } } } } Xfail: PR110628 */ diff --git a/gcc/testsuite/gcc.dg/unroll-8.c b/gcc/testsuite/gcc.dg/unroll-8.c index 4388f47d4c7..231ffffade7 100644 --- a/gcc/testsuite/gcc.dg/unroll-8.c +++ b/gcc/testsuite/gcc.dg/unroll-8.c @@ -9,9 +9,11 @@ int t(struct a *a, int n) for (i=0;ia[i]++; } + +/* Xfail riscv PR112531. */ /* { dg-final { scan-rtl-dump-not "Unrolled loop" "loop2_unroll" } } */ -/* { dg-final { scan-rtl-dump "likely upper bound: 6" "loop2_unroll" } } */ -/* { dg-final { scan-rtl-dump "realistic bound: -1" "loop2_unroll" } } */ -/* { dg-final { scan-rtl-dump "Not unrolling loop, doesn't roll" "loop2_unroll" } } */ +/* { dg-final { scan-rtl-dump "likely upper bound: 6" "loop2_unroll" { xfail { riscv_v && vect_variable_length } } } } */ +/* { dg-final { scan-rtl-dump "realistic bound: -1" "loop2_unroll" { xfail { riscv_v && vect_variable_length } } } } */ +/* { dg-final { scan-rtl-dump "Not unrolling loop, doesn't roll" "loop2_unroll" { xfail { riscv_v && vect_variable_length } } } } */ /* { dg-final { scan-rtl-dump-not "Invalid sum" "loop2_unroll" } } */ /* { dg-final { scan-rtl-dump-not "upper bound: -1" "loop2_unroll" } } */ diff --git a/gcc/testsuite/gcc.dg/var-expand1.c b/gcc/testsuite/gcc.dg/var-expand1.c index 3d536cef2b3..eb7b6aeb18b 100644 --- a/gcc/testsuite/gcc.dg/var-expand1.c +++ b/gcc/testsuite/gcc.dg/var-expand1.c @@ -25,4 +25,5 @@ int main (void) return foo (10); } -/* { dg-final { scan-rtl-dump "Expanding Accumulator" "loop2_unroll" } } */ +/* Xfail riscv PR111311. */ +/* { dg-final { scan-rtl-dump "Expanding Accumulator" "loop2_unroll" { xfail { riscv_v && vect_variable_length } } } } */ diff --git a/gcc/testsuite/gcc.dg/vect/pr103116-1.c b/gcc/testsuite/gcc.dg/vect/pr103116-1.c index d3639fc8cfd..4c7eb9be199 100644 --- a/gcc/testsuite/gcc.dg/vect/pr103116-1.c +++ b/gcc/testsuite/gcc.dg/vect/pr103116-1.c @@ -47,4 +47,5 @@ main (void) return 0; } -/* { dg-final { scan-tree-dump "Data access with gaps requires scalar epilogue loop" "vect" { target { vect_perm && vect_int } } } } */ +/* Xfail riscv PR112531. */ +/* { dg-final { scan-tree-dump "Data access with gaps requires scalar epilogue loop" "vect" { target { vect_perm && vect_int } xfail { riscv_v && vect_variable_length } } } } */ diff --git a/gcc/testsuite/gcc.dg/vect/pr103116-2.c b/gcc/testsuite/gcc.dg/vect/pr103116-2.c index aa9797a9407..1d070de1fe9 100644 --- a/gcc/testsuite/gcc.dg/vect/pr103116-2.c +++ b/gcc/testsuite/gcc.dg/vect/pr103116-2.c @@ -56,4 +56,5 @@ main (void) return 0; } -/* { dg-final { scan-tree-dump "peeling for gaps insufficient for access" "vect" { target { vect_perm_short } } } } */ +/* Xfail riscv PR112531. */ +/* { dg-final { scan-tree-dump "peeling for gaps insufficient for access" "vect" { target { vect_perm_short } xfail { riscv_v && vect_variable_length } } } } */ diff --git a/gcc/testsuite/gcc.dg/vect/pr65310.c b/gcc/testsuite/gcc.dg/vect/pr65310.c index 57e90d45c9f..63a9c987a6b 100644 --- a/gcc/testsuite/gcc.dg/vect/pr65310.c +++ b/gcc/testsuite/gcc.dg/vect/pr65310.c @@ -18,5 +18,5 @@ int t(b *a) /* The memory access is through a pointer of type c which means *ptr is not aligned. */ -/* { dg-final { scan-tree-dump "can't force alignment" "vect" { xfail vect_element_align_preferred } } } */ -/* { dg-final { scan-tree-dump-not "misalign = 0" "vect" { xfail vect_element_align_preferred } } } */ +/* { dg-final { scan-tree-dump "can't force alignment" "vect" { xfail { vect_element_align_preferred || { riscv*-*-* && { ! riscv_v } } } } } } */ +/* { dg-final { scan-tree-dump-not "misalign = 0" "vect" { xfail { vect_element_align_preferred || { riscv*-*-* && { ! riscv_v } } } } } } */ diff --git a/gcc/testsuite/gfortran.dg/vect/vect-8.f90 b/gcc/testsuite/gfortran.dg/vect/vect-8.f90 index ca72ddcffca..75bd78db1ce 100644 --- a/gcc/testsuite/gfortran.dg/vect/vect-8.f90 +++ b/gcc/testsuite/gfortran.dg/vect/vect-8.f90 @@ -704,7 +704,8 @@ CALL track('KERNEL ') RETURN END SUBROUTINE kernel +! Xfail riscv PR112531. ! { dg-final { scan-tree-dump-times "vectorized 25 loops" 1 "vect" { target aarch64_sve } } } ! { dg-final { scan-tree-dump-times "vectorized 24 loops" 1 "vect" { target { aarch64*-*-* && { ! aarch64_sve } } } } } -! { dg-final { scan-tree-dump-times "vectorized 2\[234\] loops" 1 "vect" { target { vect_intdouble_cvt && { ! aarch64*-*-* } } } } } +! { dg-final { scan-tree-dump-times "vectorized 2\[234\] loops" 1 "vect" { target { vect_intdouble_cvt && { ! aarch64*-*-* } } xfail { riscv_v && vect_variable_length } } } } ! { dg-final { scan-tree-dump-times "vectorized 17 loops" 1 "vect" { target { { ! vect_intdouble_cvt } && { ! aarch64*-*-* } } } } }