/* { dg-require-effective-target vect_int } */
/* { dg-require-effective-target vect_float } */

#include <stdarg.h>
#include "tree-vect.h"

#define N 8 

int
main1 ()
{
  int i;
  unsigned int out[N*8], a0, a1, a2, a3, a4, a5, a6, a7, b1, b0, b2, b3, b4, b5, b6, b7;
  unsigned int in[N*8] = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63};
  float out2[N*8];

  /* SLP with unrolling by 4.  */
  for (i = 0; i < N; i++)
    {
      a0 = in[i*7] + 5;
      a1 = in[i*7 + 1] + 6;
      a2 = in[i*7 + 2] + 7;
      a3 = in[i*7 + 3] + 8;
      a4 = in[i*7 + 4] + 9;
      a5 = in[i*7 + 5] + 10;
      a6 = in[i*7 + 6] + 11;

      b0 = a0 * 3;
      b1 = a1 * 2;
      b2 = a2 * 12;
      b3 = a3 * 5;
      b4 = a4 * 8;
      b5 = a5 * 4;
      b6 = a6 * 3;

      out[i*7] = b0 - 2;
      out[i*7 + 1] = b1 - 3; 
      out[i*7 + 2] = b2 - 2;
      out[i*7 + 3] = b3 - 1;
      out[i*7 + 4] = b4 - 8;
      out[i*7 + 5] = b5 - 7;
      out[i*7 + 6] = b6 - 3;
    }

  /* check results:  */
  for (i = 0; i < N; i++)
    {
      if (out[i*7] !=  (in[i*7] + 5) * 3 - 2
         || out[i*7 + 1] != (in[i*7 + 1] + 6) * 2 - 3
         || out[i*7 + 2] != (in[i*7 + 2] + 7) * 12 - 2
         || out[i*7 + 3] != (in[i*7 + 3] + 8) * 5 - 1
         || out[i*7 + 4] != (in[i*7 + 4] + 9) * 8 - 8
         || out[i*7 + 5] != (in[i*7 + 5] + 10) * 4 - 7
         || out[i*7 + 6] != (in[i*7 + 6] + 11) * 3 - 3)
	abort ();
    }

  /* SLP with unrolling by 4.  */
  for (i = 0; i < N*2; i++)
    {
      out[i*3] = (in[i*3] + 2) * 3;
      out[i*3 + 1] = (in[i*3 + 1] + 2) * 7;
      out[i*3 + 2] = (in[i*3 + 2] + 7) * 3;
    }

  /* check results:  */
  for (i = 0; i < N*2; i++)
    {
      if (out[i*3] !=  (in[i*3] + 2) * 3
         || out[i*3 + 1] != (in[i*3 + 1] + 2) * 7
         || out[i*3 + 2] != (in[i*3 + 2] + 7) * 3)
        abort ();
    }

  /* SLP with unrolling by 4.  */
  for (i = 0; i < N*2; i++)
    {
      out2[i*3] = (float) (in[i*3] * 2 + 5) ;
      out2[i*3 + 1] = (float) (in[i*3 + 1] * 3 + 7);
      out2[i*3 + 2] = (float) (in[i*3 + 2] * 5 + 4);
    }

  /* check results:  */
  for (i = 0; i < N*2; i++)
    {
      if (out2[i*3] !=  (float) (in[i*3] * 2 + 5)
         || out2[i*3 + 1] != (float) (in[i*3 + 1] * 3 + 7)
         || out2[i*3 + 2] != (float) (in[i*3 + 2] * 5 + 4))
        abort ();
    }


  return 0;
}

int main (void)
{
  check_vect ();

  main1 ();

  return 0;
}

/* { dg-final { scan-tree-dump-times "vectorized 3 loops" 1 "vect"  {target {vect_uintfloat_cvt && vect_int_mult} } } } */
/* { dg-final { scan-tree-dump-times "vectorized 2 loops" 1 "vect"  {target {{! { vect_uintfloat_cvt}} && vect_int_mult} } } } */
/* { dg-final { scan-tree-dump-times "vectorized 0 loops" 1 "vect"  {target {{! { vect_uintfloat_cvt}} && {! {vect_int_mult}}} } } } */
/* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 3 "vect" {target {vect_uintfloat_cvt && vect_int_mult} xfail { vect_variable_length && vect_load_lanes } } } } */
/* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 2 "vect"  {target {{! { vect_uintfloat_cvt}} && vect_int_mult} } } } */
/* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 0 "vect"  {target {{! { vect_uintfloat_cvt}} && {! {vect_int_mult}}} } } } */