1  
       2  /* { dg-do run } */
       3  /* { dg-options "-O3" } */
       4  
       5  #include "limits.h"
       6  
       7  extern void abort (void);
       8  
       9  #define N 16
      10  
      11  #include "vect-mull.x"
      12  
      13  #define SET_VEC(size, type, sign)  \
      14  			    void set_vector_##sign##size \
      15  						   (pR##sign##INT##size b, \
      16  						    pR##sign##INT##size c) \
      17  		      	    {				        \
      18  			      int i;			        \
      19  			      for (i=0; i<N; i++)	        \
      20  			      { \
      21  			        b[i] = (type)((INT_MAX >> (32 - size)) - i); \
      22  			        c[i] = (type)((INT_MAX >> (32 - size)) - i * 2); \
      23  			      } \
      24  		      	    }
      25  
      26  #define CHECK_VEC(size, sign) void check_vector_##sign##size (pR##sign##INT##size a, \
      27  						  pR##sign##INT##size b) \
      28  			{				       \
      29  			  int i;			       \
      30  			  for (i=0; i<N; i++)		       \
      31  			    if (a[i] != b[i])  		       \
      32  			      abort (); 		       \
      33  			}
      34  
      35  SET_VEC (8,  signed char,  S)
      36  SET_VEC (16, signed short, S)
      37  SET_VEC (32, signed int,   S)
      38  
      39  SET_VEC (8,  unsigned char,  U)
      40  SET_VEC (16, unsigned short, U)
      41  SET_VEC (32, unsigned int,   U)
      42  
      43  DEF_MULL2 (DEF_MULLB)
      44  DEF_MULL2 (DEF_MULLH)
      45  DEF_MULL2 (DEF_MULLS)
      46  
      47  CHECK_VEC (8, S)
      48  CHECK_VEC (8, U)
      49  CHECK_VEC (16, S)
      50  CHECK_VEC (16, U)
      51  CHECK_VEC (32, S)
      52  CHECK_VEC (32, U)
      53  CHECK_VEC (64, S)
      54  CHECK_VEC (64, U)
      55  
      56  int main (void)
      57  {
      58  
      59  #define DECL_VAR(name) signed char name##_S8[N]; \
      60  		       signed short name##_S16[N]; \
      61  		       signed int name##_S32[N]; \
      62  		       unsigned char name##_U8[N]; \
      63  		       unsigned short name##_U16[N]; \
      64  		       unsigned int name##_U32[N];
      65  
      66    DECL_VAR (output);
      67    signed long long output_S64[N];
      68    unsigned long long output_U64[N];
      69  
      70    DECL_VAR (input1);
      71    DECL_VAR (input2);
      72  
      73    signed short expected_S16[] =
      74  		    { 16129, 15750, 15375, 15004, 14637, 14274, 13915, 13560,
      75  		      13209, 12862, 12519, 12180, 11845, 11514, 11187, 10864 };
      76  
      77    signed int expected_S32[] =
      78  		    { 1073676289, 1073577990, 1073479695, 1073381404, 1073283117,
      79  		      1073184834, 1073086555, 1072988280, 1072890009, 1072791742,
      80  		      1072693479, 1072595220, 1072496965, 1072398714, 1072300467,
      81  		      1072202224 };
      82  
      83    signed long long expected_S64[] =
      84  		    { 4611686014132420609LL, 4611686007689969670LL,
      85  		      4611686001247518735LL, 4611685994805067804LL,
      86  		      4611685988362616877LL, 4611685981920165954LL,
      87  		      4611685975477715035LL, 4611685969035264120LL,
      88  		      4611685962592813209LL, 4611685956150362302LL,
      89  		      4611685949707911399LL, 4611685943265460500LL,
      90  		      4611685936823009605LL, 4611685930380558714LL,
      91  		      4611685923938107827LL, 4611685917495656944LL };
      92  
      93    unsigned short expected_U16[] =
      94  		    { 16129, 15750, 15375, 15004, 14637, 14274, 13915, 13560,
      95  		      13209, 12862, 12519, 12180, 11845, 11514, 11187, 10864 };
      96  
      97    unsigned int expected_U32[] =
      98  		    { 1073676289, 1073577990, 1073479695, 1073381404, 1073283117,
      99  		      1073184834, 1073086555, 1072988280, 1072890009, 1072791742,
     100  		      1072693479, 1072595220, 1072496965, 1072398714, 1072300467,
     101  		      1072202224 };
     102  
     103    unsigned long long expected_U64[] =
     104  		    { 4611686014132420609ULL, 4611686007689969670ULL,
     105  		      4611686001247518735ULL, 4611685994805067804ULL,
     106  		      4611685988362616877ULL, 4611685981920165954ULL,
     107  		      4611685975477715035ULL, 4611685969035264120ULL,
     108  		      4611685962592813209ULL, 4611685956150362302ULL,
     109  		      4611685949707911399ULL, 4611685943265460500ULL,
     110  		      4611685936823009605ULL, 4611685930380558714ULL,
     111  		      4611685923938107827ULL, 4611685917495656944ULL };
     112  
     113    /* Set up input.  */
     114    set_vector_S8 (input1_S8, input2_S8);
     115    set_vector_S16 (input1_S16, input2_S16);
     116    set_vector_S32 (input1_S32, input2_S32);
     117    set_vector_U8 (input1_U8, input2_U8);
     118    set_vector_U16 (input1_U16, input2_U16);
     119    set_vector_U32 (input1_U32, input2_U32);
     120  
     121    /* Calculate actual results.  */
     122    widen_mult_Sb (output_S16, input1_S8, input2_S8);
     123    widen_mult_Sh (output_S32, input1_S16, input2_S16);
     124    widen_mult_Ss (output_S64, input1_S32, input2_S32);
     125    widen_mult_Ub (output_U16, input1_U8, input2_U8);
     126    widen_mult_Uh (output_U32, input1_U16, input2_U16);
     127    widen_mult_Us (output_U64, input1_U32, input2_U32);
     128  
     129    /* Check actual vs. expected.  */
     130    check_vector_S16 (expected_S16, output_S16);
     131    check_vector_S32 (expected_S32, output_S32);
     132    check_vector_S64 (expected_S64, output_S64);
     133    check_vector_U16 (expected_U16, output_U16);
     134    check_vector_U32 (expected_U32, output_U32);
     135    check_vector_U64 (expected_U64, output_U64);
     136  
     137    return 0;
     138  }