From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 35981 invoked by alias); 27 May 2015 20:16:01 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 35889 invoked by uid 89); 27 May 2015 20:16:00 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 X-HELO: mail-wg0-f51.google.com Received: from mail-wg0-f51.google.com (HELO mail-wg0-f51.google.com) (74.125.82.51) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Wed, 27 May 2015 20:15:57 +0000 Received: by wgez8 with SMTP id z8so19285841wge.0 for ; Wed, 27 May 2015 13:15:54 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:subject:date:message-id:in-reply-to :references; bh=cfcsOXh1BcKUrGp5yD1WJ/lp9q76YyJ7/xdsnKXWvXE=; b=DB7UHUAhOs5HxvzRPQ2KRItm8TsKzTjPcwwFJwY57CAB1yP7saR+cdkMQPnMc3Zdeu wF6g2A982ZXcJg5vemPovQV6ZrKTu6hF4eBZ52SsvIrHIf6lSL5iVYGdMktZMM8rOZk5 YKfIXgDqvN0z5Xft1dWlUn3MjMtpHeMWPICc2pXUUnPqNjqcRXyf4h46pH5S9b76T97s XGz03gE+KINBJ8tEHAIjElfM80BdEmhCPKFCxF91RbBm0UcpjdY+VVaRIPyfA4TPUrg8 rGps9IYCkDP9thnwus0eKpr7aI0KXwfMcvIBCZ32v4VNhkLKff/pyPeJOtDDdUeAdUZs PBJQ== X-Gm-Message-State: ALoCoQl/wBW7YcZxphiAiM58ACyhtkotMVFX4RZAfxrOzpNColB3zpIwNLUkmo99jdQHmrKp2l9s X-Received: by 10.194.61.236 with SMTP id t12mr53524776wjr.59.1432757754370; Wed, 27 May 2015 13:15:54 -0700 (PDT) Received: from babel.clyon.hd.free.fr (vig38-2-82-225-222-175.fbx.proxad.net. [82.225.222.175]) by mx.google.com with ESMTPSA id u7sm76992wif.3.2015.05.27.13.15.53 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Wed, 27 May 2015 13:15:53 -0700 (PDT) From: Christophe Lyon To: gcc-patches@gcc.gnu.org Subject: [Patch ARM-AArch64/testsuite Neon intrinsics 01/20] Add vrecpe tests. Date: Wed, 27 May 2015 20:17:00 -0000 Message-Id: <1432757747-4891-2-git-send-email-christophe.lyon@linaro.org> In-Reply-To: <1432757747-4891-1-git-send-email-christophe.lyon@linaro.org> References: <1432757747-4891-1-git-send-email-christophe.lyon@linaro.org> X-IsSubscribed: yes X-SW-Source: 2015-05/txt/msg02555.txt.bz2 In order to have the same behaviour on ARM and AArch64 targets, we need to force flush to zero on AArch64. diff --git a/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/arm-neon-ref.h b/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/arm-neon-ref.h index 1742e99..4e728d5 100644 --- a/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/arm-neon-ref.h +++ b/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/arm-neon-ref.h @@ -235,7 +235,8 @@ extern ARRAY(expected, hfloat, 64, 2); typedef union { struct { - int _xxx:25; + int _xxx:24; + unsigned int FZ:1; unsigned int DN:1; unsigned int AHP:1; unsigned int QC:1; @@ -258,7 +259,8 @@ typedef union { unsigned int QC:1; unsigned int AHP:1; unsigned int DN:1; - int _dnm:25; + unsigned int FZ:1; + int _dnm:24; } b; unsigned int word; } _ARM_FPSCR; @@ -395,10 +397,15 @@ static void clean_results (void) #if defined(__aarch64__) /* On AArch64, make sure to return DefaultNaN to have the same results as on AArch32. */ - _ARM_FPSCR _afpscr_for_dn; - asm volatile ("mrs %0,fpcr" : "=r" (_afpscr_for_dn)); - _afpscr_for_dn.b.DN = 1; - asm volatile ("msr fpcr,%0" : : "r" (_afpscr_for_dn)); + _ARM_FPSCR _afpscr; + asm volatile ("mrs %0,fpcr" : "=r" (_afpscr)); + _afpscr.b.DN = 1; + + /* On AArch64, make sure to flush to zero by default, as on + AArch32. */ + _afpscr.b.FZ = 1; + + asm volatile ("msr fpcr,%0" : : "r" (_afpscr)); #endif } diff --git a/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vrecpe.c b/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vrecpe.c new file mode 100644 index 0000000..55b45b7 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vrecpe.c @@ -0,0 +1,154 @@ +#include +#include "arm-neon-ref.h" +#include "compute-ref-data.h" +#include + +/* Expected results with positive input. */ +VECT_VAR_DECL(expected_positive,uint,32,2) [] = { 0xffffffff, 0xffffffff }; +VECT_VAR_DECL(expected_positive,uint,32,4) [] = { 0xbf000000, 0xbf000000, + 0xbf000000, 0xbf000000 }; +VECT_VAR_DECL(expected_positive,hfloat,32,2) [] = { 0x3f068000, 0x3f068000 }; +VECT_VAR_DECL(expected_positive,hfloat,32,4) [] = { 0x3c030000, 0x3c030000, + 0x3c030000, 0x3c030000 }; + +/* Expected results with negative input. */ +VECT_VAR_DECL(expected_negative,uint,32,2) [] = { 0x80000000, 0x80000000 }; +VECT_VAR_DECL(expected_negative,uint,32,4) [] = { 0xee800000, 0xee800000, + 0xee800000, 0xee800000 }; +VECT_VAR_DECL(expected_negative,hfloat,32,2) [] = { 0xbdcc8000, 0xbdcc8000 }; +VECT_VAR_DECL(expected_negative,hfloat,32,4) [] = { 0xbc030000, 0xbc030000, + 0xbc030000, 0xbc030000 }; + +/* Expected results with FP special values (NaN, infinity). */ +VECT_VAR_DECL(expected_fp1,hfloat,32,2) [] = { 0x7fc00000, 0x7fc00000 }; +VECT_VAR_DECL(expected_fp1,hfloat,32,4) [] = { 0x0, 0x0, 0x0, 0x0 }; + +/* Expected results with FP special values (zero, large value). */ +VECT_VAR_DECL(expected_fp2,hfloat,32,2) [] = { 0x7f800000, 0x7f800000 }; +VECT_VAR_DECL(expected_fp2,hfloat,32,4) [] = { 0x0, 0x0, 0x0, 0x0 }; + +/* Expected results with FP special values (-0, -infinity). */ +VECT_VAR_DECL(expected_fp3,hfloat,32,2) [] = { 0xff800000, 0xff800000 }; +VECT_VAR_DECL(expected_fp3,hfloat,32,4) [] = { 0x80000000, 0x80000000, + 0x80000000, 0x80000000 }; + +/* Expected results with FP special large negative value. */ +VECT_VAR_DECL(expected_fp4,hfloat,32,2) [] = { 0x80000000, 0x80000000 }; + +#define TEST_MSG "VRECPE/VRECPEQ" +void exec_vrecpe(void) +{ + int i; + + /* Basic test: y=vrecpe(x), then store the result. */ +#define TEST_VRECPE(Q, T1, T2, W, N) \ + VECT_VAR(vector_res, T1, W, N) = \ + vrecpe##Q##_##T2##W(VECT_VAR(vector, T1, W, N)); \ + vst1##Q##_##T2##W(VECT_VAR(result, T1, W, N), \ + VECT_VAR(vector_res, T1, W, N)) + + /* No need for 64 bits variants. */ + DECL_VARIABLE(vector, uint, 32, 2); + DECL_VARIABLE(vector, uint, 32, 4); + DECL_VARIABLE(vector, float, 32, 2); + DECL_VARIABLE(vector, float, 32, 4); + + DECL_VARIABLE(vector_res, uint, 32, 2); + DECL_VARIABLE(vector_res, uint, 32, 4); + DECL_VARIABLE(vector_res, float, 32, 2); + DECL_VARIABLE(vector_res, float, 32, 4); + + clean_results (); + + /* Choose init value arbitrarily, positive. */ + VDUP(vector, , uint, u, 32, 2, 0x12345678); + VDUP(vector, , float, f, 32, 2, 1.9f); + VDUP(vector, q, uint, u, 32, 4, 0xABCDEF10); + VDUP(vector, q, float, f, 32, 4, 125.0f); + + /* Apply the operator. */ + TEST_VRECPE(, uint, u, 32, 2); + TEST_VRECPE(, float, f, 32, 2); + TEST_VRECPE(q, uint, u, 32, 4); + TEST_VRECPE(q, float, f, 32, 4); + +#define CMT " (positive input)" + CHECK(TEST_MSG, uint, 32, 2, PRIx32, expected_positive, CMT); + CHECK(TEST_MSG, uint, 32, 4, PRIx32, expected_positive, CMT); + CHECK_FP(TEST_MSG, float, 32, 2, PRIx32, expected_positive, CMT); + CHECK_FP(TEST_MSG, float, 32, 4, PRIx32, expected_positive, CMT); + + /* Choose init value arbitrarily,negative. */ + VDUP(vector, , uint, u, 32, 2, 0xFFFFFFFF); + VDUP(vector, , float, f, 32, 2, -10.0f); + VDUP(vector, q, uint, u, 32, 4, 0x89081234); + VDUP(vector, q, float, f, 32, 4, -125.0f); + + /* Apply the operator. */ + TEST_VRECPE(, uint, u, 32, 2); + TEST_VRECPE(, float, f, 32, 2); + TEST_VRECPE(q, uint, u, 32, 4); + TEST_VRECPE(q, float, f, 32, 4); + +#undef CMT +#define CMT " (negative input)" + CHECK(TEST_MSG, uint, 32, 2, PRIx32, expected_negative, CMT); + CHECK(TEST_MSG, uint, 32, 4, PRIx32, expected_negative, CMT); + CHECK_FP(TEST_MSG, float, 32, 2, PRIx32, expected_negative, CMT); + CHECK_FP(TEST_MSG, float, 32, 4, PRIx32, expected_negative, CMT); + + /* Test FP variants with special input values (NaN, infinity). */ + VDUP(vector, , float, f, 32, 2, NAN); + VDUP(vector, q, float, f, 32, 4, HUGE_VALF); + + /* Apply the operator. */ + TEST_VRECPE(, float, f, 32, 2); + TEST_VRECPE(q, float, f, 32, 4); + +#undef CMT +#define CMT " FP special (NaN, infinity)" + CHECK_FP(TEST_MSG, float, 32, 2, PRIx32, expected_fp1, CMT); + CHECK_FP(TEST_MSG, float, 32, 4, PRIx32, expected_fp1, CMT); + + /* Test FP variants with special input values (zero, large value). */ + VDUP(vector, , float, f, 32, 2, 0.0f); + VDUP(vector, q, float, f, 32, 4, 8.97229e37f /*9.0e37f*/); + + /* Apply the operator. */ + TEST_VRECPE(, float, f, 32, 2); + TEST_VRECPE(q, float, f, 32, 4); + +#undef CMT +#define CMT " FP special (zero, large value)" + CHECK_FP(TEST_MSG, float, 32, 2, PRIx32, expected_fp2, CMT); + CHECK_FP(TEST_MSG, float, 32, 4, PRIx32, expected_fp2, CMT); + + /* Test FP variants with special input values (-0, -infinity). */ + VDUP(vector, , float, f, 32, 2, -0.0f); + VDUP(vector, q, float, f, 32, 4, -HUGE_VALF); + + /* Apply the operator. */ + TEST_VRECPE(, float, f, 32, 2); + TEST_VRECPE(q, float, f, 32, 4); + +#undef CMT +#define CMT " FP special (-0, -infinity)" + CHECK_FP(TEST_MSG, float, 32, 2, PRIx32, expected_fp3, CMT); + CHECK_FP(TEST_MSG, float, 32, 4, PRIx32, expected_fp3, CMT); + + /* Test FP variants with special input values (large negative value). */ + VDUP(vector, , float, f, 32, 2, -9.0e37f); + + /* Apply the operator. */ + TEST_VRECPE(, float, f, 32, 2); + +#undef CMT +#define CMT " FP special (large negative value)" + CHECK_FP(TEST_MSG, float, 32, 2, PRIx32, expected_fp4, CMT); +} + +int main (void) +{ + exec_vrecpe (); + return 0; +} -- 2.1.4