diff mbox series

[v2,rs6000] Tidy implementation of vec_ldl

Message ID 75f3efb7-e19e-3357-4ff2-1e2b526cd4dc@linux.ibm.com
State New
Headers show
Series [v2,rs6000] Tidy implementation of vec_ldl | expand

Commit Message

Kelvin Nilsen April 4, 2018, 3:32 p.m. UTC
This is a second draft of a draft patch originally submitted on 3/29.  
This patch corrects inconsistencies in the supported prototypes for the 
vec_ldl built-in function.  Specifically, it removes support for:


   vector int vec_ldl (int, long int *)
   vector unsigned int vec_ldl (int, unsigned long int *)

and adds support for:

   vector bool char vec_ldl (int, bool char *)
   vector bool short vec_ldl (int, bool short *)
   vector bool int vec_ldl (int, bool int *)
   vector bool long long vec_ldl (int, bool long long *)
   vector long long vec_ldl (int, long long *)
   vector unsigned long long vec_ldl (int, unsigned long long *)

Thanks to Segher Boessenkool for his careful review and feedback on the 
first draft of this patch.  This second revision differs from the first 
in the following:

1. Removed support for the proposed new prototype: "vector pixel vec_ldl 
(int, pixel *)"

2. Removed an extraneous tab character in the ChangeLog.

3. Changed the mangling of the bool_long_long_type_node.

4. Removed leading * on comment continuation lines.

5. Added a comment to describe limitations on use of the pixel data type.

6. Removed requirement for lp64 on the new test program.


This patch has bootstrapped and tested without regressions on both 
powerpc64le-unknown-linux (P8) and on powerpc-linux (P7 big-endian, with 
both -m32 and -m64 target options).

Is this ok for trunk?

gcc/ChangeLog:

2018-04-03  Kelvin Nilsen  <kelvin@gcc.gnu.org>

     * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Remove
     erroneous entries for
     "vector int vec_ldl (int, long int *)", and
     "vector unsigned int vec_ldl (int, unsigned long int *)".
     Add comments and entries for
     "vector bool char vec_ldl (int, bool char *)",
     "vector bool short vec_ldl (int, bool short *)",
     "vector bool int vec_ldl (int, bool int *)",
     "vector bool long long vec_ldl (int, bool long long *)",
     "vector pixel vec_ldl (int, pixel *)",
     "vector long long vec_ldl (int, long long *)",
     "vector unsigned long long vec_ldl (int, unsigned long long *)".
     * config/rs6000/rs6000.c (rs6000_init_builtins): Initialize new
     type tree bool_long_long_type_node and correct definition of
     bool_V2DI_type_node to make reference to this new type tree.
     (rs6000_mangle_type): Replace erroneous reference to
     bool_long_type_node with bool_long_long_type_node.
     * config/rs6000/rs6000.h (enum rs6000_builtin_type_index): Add
     comments to emphasize sign distinctions for char and int types and
     replace RS6000_BTI_bool_long constant with
     RS6000_BTI_bool_long_long constant.  Also add comment to restrict
     use of RS6000_BTI_pixel.
     (bool_long_type_node): Remove this macro definition.
     (bool_long_long_type_node): New macro definition

gcc/testsuite/ChangeLog:

2018-04-03  Kelvin Nilsen  <kelvin@gcc.gnu.org>

     * gcc.target/powerpc/vec-ldl-1.c: New test.
     * gcc.dg/vmx/ops-long-1.c: Correct test programs to reflect
     corrections to ABI implementation.

Comments

Segher Boessenkool April 9, 2018, 1:42 p.m. UTC | #1
Hi!

On Wed, Apr 04, 2018 at 10:32:58AM -0500, Kelvin Nilsen wrote:
> 2018-04-03  Kelvin Nilsen  <kelvin@gcc.gnu.org>
> 
>     * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Remove
>     erroneous entries for
>     "vector int vec_ldl (int, long int *)", and
>     "vector unsigned int vec_ldl (int, unsigned long int *)".
>     Add comments and entries for
>     "vector bool char vec_ldl (int, bool char *)",
>     "vector bool short vec_ldl (int, bool short *)",
>     "vector bool int vec_ldl (int, bool int *)",
>     "vector bool long long vec_ldl (int, bool long long *)",
>     "vector pixel vec_ldl (int, pixel *)",
>     "vector long long vec_ldl (int, long long *)",
>     "vector unsigned long long vec_ldl (int, unsigned long long *)".
>     * config/rs6000/rs6000.c (rs6000_init_builtins): Initialize new
>     type tree bool_long_long_type_node and correct definition of
>     bool_V2DI_type_node to make reference to this new type tree.
>     (rs6000_mangle_type): Replace erroneous reference to
>     bool_long_type_node with bool_long_long_type_node.
>     * config/rs6000/rs6000.h (enum rs6000_builtin_type_index): Add
>     comments to emphasize sign distinctions for char and int types and
>     replace RS6000_BTI_bool_long constant with
>     RS6000_BTI_bool_long_long constant.  Also add comment to restrict
>     use of RS6000_BTI_pixel.
>     (bool_long_type_node): Remove this macro definition.
>     (bool_long_long_type_node): New macro definition
> 
> gcc/testsuite/ChangeLog:
> 
> 2018-04-03  Kelvin Nilsen  <kelvin@gcc.gnu.org>
> 
>     * gcc.target/powerpc/vec-ldl-1.c: New test.
>     * gcc.dg/vmx/ops-long-1.c: Correct test programs to reflect
>     corrections to ABI implementation.

> --- gcc/config/rs6000/rs6000-c.c    (revision 258800)
> +++ gcc/config/rs6000/rs6000-c.c    (working copy)
> @@ -1656,27 +1656,45 @@ const struct altivec_builtin_types altivec_overloa
>      RS6000_BTI_V16QI, RS6000_BTI_INTSI, ~RS6000_BTI_INTQI, 0 },
>    { ALTIVEC_BUILTIN_VEC_LVEBX, ALTIVEC_BUILTIN_LVEBX,
>      RS6000_BTI_unsigned_V16QI, RS6000_BTI_INTSI, ~RS6000_BTI_UINTQI, 0 
> },

You sent this as format=flowed, which a) makes replies look funny like
this, but also b) makes it impossible to apply your patches for someone
else.  Please fix this (for future patches, no need to resend this).

> --- gcc/config/rs6000/rs6000.h    (revision 258800)
> +++ gcc/config/rs6000/rs6000.h    (working copy)
> @@ -2578,7 +2578,7 @@ enum rs6000_builtin_type_index
>    RS6000_BTI_opaque_V2SF,
>    RS6000_BTI_opaque_p_V2SI,
>    RS6000_BTI_opaque_V4SI,
> -  RS6000_BTI_V16QI,
> +  RS6000_BTI_V16QI,              /* __vector signed char */
>    RS6000_BTI_V1TI,
>    RS6000_BTI_V2SI,
>    RS6000_BTI_V2SF,
> @@ -2588,7 +2588,7 @@ enum rs6000_builtin_type_index
>    RS6000_BTI_V4SI,
>    RS6000_BTI_V4SF,
>    RS6000_BTI_V8HI,
> -  RS6000_BTI_unsigned_V16QI,
> +  RS6000_BTI_unsigned_V16QI,     /* __vector unsigned char */
>    RS6000_BTI_unsigned_V1TI,
>    RS6000_BTI_unsigned_V8HI,
>    RS6000_BTI_unsigned_V4SI,

I don't think these comments help anything.


Okay for trunk.  Thanks!


Segher
diff mbox series

Patch

Index: gcc/config/rs6000/rs6000-c.c
===================================================================
--- gcc/config/rs6000/rs6000-c.c    (revision 258800)
+++ gcc/config/rs6000/rs6000-c.c    (working copy)
@@ -1656,27 +1656,45 @@  const struct altivec_builtin_types altivec_overloa
      RS6000_BTI_V16QI, RS6000_BTI_INTSI, ~RS6000_BTI_INTQI, 0 },
    { ALTIVEC_BUILTIN_VEC_LVEBX, ALTIVEC_BUILTIN_LVEBX,
      RS6000_BTI_unsigned_V16QI, RS6000_BTI_INTSI, ~RS6000_BTI_UINTQI, 0 },
+
+  /*     vector float vec_ldl (int, vector float *);
+         vector float vec_ldl (int, float *); */
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V4SF,
      RS6000_BTI_V4SF, RS6000_BTI_INTSI, ~RS6000_BTI_V4SF, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V4SF,
      RS6000_BTI_V4SF, RS6000_BTI_INTSI, ~RS6000_BTI_float, 0 },
+
+  /*     vector bool int vec_ldl (int, vector bool int *);
+         vector bool int vec_ldl (int, bool int *);
+              vector int vec_ldl (int, vector int *);
+              vector int vec_ldl (int, int *);
+     vector unsigned int vec_ldl (int, vector unsigned int *);
+     vector unsigned int vec_ldl (int, unsigned int *); */
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V4SI,
      RS6000_BTI_bool_V4SI, RS6000_BTI_INTSI, ~RS6000_BTI_bool_V4SI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V4SI,
+    RS6000_BTI_bool_V4SI, RS6000_BTI_INTSI, ~RS6000_BTI_bool_int, 0 },
+  { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V4SI,
      RS6000_BTI_V4SI, RS6000_BTI_INTSI, ~RS6000_BTI_V4SI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V4SI,
      RS6000_BTI_V4SI, RS6000_BTI_INTSI, ~RS6000_BTI_INTSI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V4SI,
-    RS6000_BTI_V4SI, RS6000_BTI_INTSI, ~RS6000_BTI_long, 0 },
-  { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V4SI,
      RS6000_BTI_unsigned_V4SI, RS6000_BTI_INTSI, 
~RS6000_BTI_unsigned_V4SI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V4SI,
      RS6000_BTI_unsigned_V4SI, RS6000_BTI_INTSI, ~RS6000_BTI_UINTSI, 0 },
-  { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V4SI,
-    RS6000_BTI_unsigned_V4SI, RS6000_BTI_INTSI, 
~RS6000_BTI_unsigned_long, 0 },
+
+  /*     vector bool short vec_ldl (int, vector bool short *);
+         vector bool short vec_ldl (int, bool short *);
+              vector pixel vec_ldl (int, vector pixel *);
+              vector short vec_ldl (int, vector short *);
+              vector short vec_ldl (int, short *);
+     vector unsigned short vec_ldl (int, vector unsigned short *);
+     vector unsigned short vec_ldl (int, unsigned short *); */
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V8HI,
      RS6000_BTI_bool_V8HI, RS6000_BTI_INTSI, ~RS6000_BTI_bool_V8HI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V8HI,
+    RS6000_BTI_bool_V8HI, RS6000_BTI_INTSI, ~RS6000_BTI_bool_short, 0 },
+  { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V8HI,
      RS6000_BTI_pixel_V8HI, RS6000_BTI_INTSI, ~RS6000_BTI_pixel_V8HI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V8HI,
      RS6000_BTI_V8HI, RS6000_BTI_INTSI, ~RS6000_BTI_V8HI, 0 },
@@ -1686,9 +1704,18 @@  const struct altivec_builtin_types altivec_overloa
      RS6000_BTI_unsigned_V8HI, RS6000_BTI_INTSI, 
~RS6000_BTI_unsigned_V8HI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V8HI,
      RS6000_BTI_unsigned_V8HI, RS6000_BTI_INTSI, ~RS6000_BTI_UINTHI, 0 },
+
+  /*     vector bool char vec_ldl (int, vector bool char *);
+         vector bool char vec_ldl (int, bool char *);
+              vector char vec_ldl (int, vector char *);
+              vector char vec_ldl (int, char *);
+     vector unsigned char vec_ldl (int, vector unsigned char *);
+     vector unsigned char vec_ldl (int, unsigned char *); */
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V16QI,
      RS6000_BTI_bool_V16QI, RS6000_BTI_INTSI, ~RS6000_BTI_bool_V16QI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V16QI,
+    RS6000_BTI_bool_V16QI, RS6000_BTI_INTSI, ~RS6000_BTI_bool_char, 0 },
+  { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V16QI,
      RS6000_BTI_V16QI, RS6000_BTI_INTSI, ~RS6000_BTI_V16QI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V16QI,
      RS6000_BTI_V16QI, RS6000_BTI_INTSI, ~RS6000_BTI_INTQI, 0 },
@@ -1697,15 +1724,35 @@  const struct altivec_builtin_types altivec_overloa
      ~RS6000_BTI_unsigned_V16QI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V16QI,
      RS6000_BTI_unsigned_V16QI, RS6000_BTI_INTSI, ~RS6000_BTI_UINTQI, 0 },
+
+  /*     vector double vec_ldl (int, vector double *);
+         vector double vec_ldl (int, double *); */
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V2DF,
      RS6000_BTI_V2DF, RS6000_BTI_INTSI, ~RS6000_BTI_V2DF, 0 },
+  { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V2DF,
+    RS6000_BTI_V2DF, RS6000_BTI_INTSI, ~RS6000_BTI_double, 0 },
+
+  /*          vector long long vec_ldl (int, vector long long *);
+              vector long long vec_ldl (int, long long *);
+     vector unsigned long long vec_ldl (int, vector unsigned long long *);
+     vector unsigned long long vec_ldl (int, unsigned long long *);
+         vector bool long long vec_ldl (int, vector bool long long *);
+         vector bool long long vec_ldl (int, bool long long *); */
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V2DI,
      RS6000_BTI_V2DI, RS6000_BTI_INTSI, ~RS6000_BTI_V2DI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V2DI,
+    RS6000_BTI_V2DI, RS6000_BTI_INTSI, ~RS6000_BTI_long_long, 0 },
+  { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V2DI,
      RS6000_BTI_unsigned_V2DI, RS6000_BTI_INTSI,
      ~RS6000_BTI_unsigned_V2DI, 0 },
    { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V2DI,
+    RS6000_BTI_unsigned_V2DI, RS6000_BTI_INTSI,
+    ~RS6000_BTI_unsigned_long_long, 0 },
+  { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V2DI,
      RS6000_BTI_bool_V2DI, RS6000_BTI_INTSI, ~RS6000_BTI_bool_V2DI, 0 },
+  { ALTIVEC_BUILTIN_VEC_LDL, ALTIVEC_BUILTIN_LVXL_V2DI,
+    RS6000_BTI_bool_V2DI, RS6000_BTI_INTSI, ~RS6000_BTI_bool_long_long, 
0 },
+
    { ALTIVEC_BUILTIN_VEC_LVSL, ALTIVEC_BUILTIN_LVSL,
      RS6000_BTI_unsigned_V16QI, RS6000_BTI_INTSI, ~RS6000_BTI_UINTQI, 0 },
    { ALTIVEC_BUILTIN_VEC_LVSL, ALTIVEC_BUILTIN_LVSL,
Index: gcc/config/rs6000/rs6000.c
===================================================================
--- gcc/config/rs6000/rs6000.c    (revision 258800)
+++ gcc/config/rs6000/rs6000.c    (working copy)
@@ -16947,7 +16947,7 @@  rs6000_init_builtins (void)
    bool_char_type_node = build_distinct_type_copy 
(unsigned_intQI_type_node);
    bool_short_type_node = build_distinct_type_copy 
(unsigned_intHI_type_node);
    bool_int_type_node = build_distinct_type_copy 
(unsigned_intSI_type_node);
-  bool_long_type_node = build_distinct_type_copy 
(unsigned_intDI_type_node);
+  bool_long_long_type_node = build_distinct_type_copy 
(unsigned_intDI_type_node);
    pixel_type_node = build_distinct_type_copy (unsigned_intHI_type_node);

    long_integer_type_internal_node = long_integer_type_node;
@@ -17064,7 +17064,7 @@  rs6000_init_builtins (void)
    bool_V2DI_type_node = rs6000_vector_type (TARGET_POWERPC64
                          ? "__vector __bool long"
                          : "__vector __bool long long",
-                        bool_long_type_node, 2);
+                        bool_long_long_type_node, 2);
    pixel_V8HI_type_node = rs6000_vector_type ("__vector __pixel",
                           pixel_type_node, 8);

@@ -32855,7 +32855,7 @@  rs6000_mangle_type (const_tree type)
    if (type == bool_short_type_node) return "U6__bools";
    if (type == pixel_type_node) return "u7__pixel";
    if (type == bool_int_type_node) return "U6__booli";
-  if (type == bool_long_type_node) return "U6__booll";
+  if (type == bool_long_long_type_node) return "U6__boolx";

    /* Use a unique name for __float128 rather than trying to use "e" or 
"g". Use
       "g" for IBM extended double, no matter whether it is long double 
(using
Index: gcc/config/rs6000/rs6000.h
===================================================================
--- gcc/config/rs6000/rs6000.h    (revision 258800)
+++ gcc/config/rs6000/rs6000.h    (working copy)
@@ -2578,7 +2578,7 @@  enum rs6000_builtin_type_index
    RS6000_BTI_opaque_V2SF,
    RS6000_BTI_opaque_p_V2SI,
    RS6000_BTI_opaque_V4SI,
-  RS6000_BTI_V16QI,
+  RS6000_BTI_V16QI,              /* __vector signed char */
    RS6000_BTI_V1TI,
    RS6000_BTI_V2SI,
    RS6000_BTI_V2SF,
@@ -2588,7 +2588,7 @@  enum rs6000_builtin_type_index
    RS6000_BTI_V4SI,
    RS6000_BTI_V4SF,
    RS6000_BTI_V8HI,
-  RS6000_BTI_unsigned_V16QI,
+  RS6000_BTI_unsigned_V16QI,     /* __vector unsigned char */
    RS6000_BTI_unsigned_V1TI,
    RS6000_BTI_unsigned_V8HI,
    RS6000_BTI_unsigned_V4SI,
@@ -2596,8 +2596,14 @@  enum rs6000_builtin_type_index
    RS6000_BTI_bool_char,          /* __bool char */
    RS6000_BTI_bool_short,         /* __bool short */
    RS6000_BTI_bool_int,           /* __bool int */
-  RS6000_BTI_bool_long,         /* __bool long */
-  RS6000_BTI_pixel,              /* __pixel */
+  RS6000_BTI_bool_long_long,     /* __bool long long */
+  RS6000_BTI_pixel,              /* __pixel (16 bits arranged as 4
+                    channels of 1, 5, 5, and 5 bits
+                    respectively as packed with the
+                    vpkpx insn.  __pixel is only
+                    meaningful as a vector type.
+                    There is no corresponding scalar
+                    __pixel data type.)  */
    RS6000_BTI_bool_V16QI,         /* __vector __bool char */
    RS6000_BTI_bool_V8HI,          /* __vector __bool short */
    RS6000_BTI_bool_V4SI,          /* __vector __bool int */
@@ -2607,11 +2613,11 @@  enum rs6000_builtin_type_index
    RS6000_BTI_unsigned_long,      /* long_unsigned_type_node */
    RS6000_BTI_long_long,             /* long_long_integer_type_node */
    RS6000_BTI_unsigned_long_long, /* long_long_unsigned_type_node */
-  RS6000_BTI_INTQI,             /* intQI_type_node */
+  RS6000_BTI_INTQI,             /* (signed) intQI_type_node */
    RS6000_BTI_UINTQI,         /* unsigned_intQI_type_node */
    RS6000_BTI_INTHI,             /* intHI_type_node */
    RS6000_BTI_UINTHI,         /* unsigned_intHI_type_node */
-  RS6000_BTI_INTSI,         /* intSI_type_node */
+  RS6000_BTI_INTSI,         /* intSI_type_node (signed) */
    RS6000_BTI_UINTSI,         /* unsigned_intSI_type_node */
    RS6000_BTI_INTDI,         /* intDI_type_node */
    RS6000_BTI_UINTDI,         /* unsigned_intDI_type_node */
@@ -2652,7 +2658,7 @@  enum rs6000_builtin_type_index
  #define bool_char_type_node (rs6000_builtin_types[RS6000_BTI_bool_char])
  #define bool_short_type_node (rs6000_builtin_types[RS6000_BTI_bool_short])
  #define bool_int_type_node (rs6000_builtin_types[RS6000_BTI_bool_int])
-#define bool_long_type_node (rs6000_builtin_types[RS6000_BTI_bool_long])
+#define bool_long_long_type_node 
(rs6000_builtin_types[RS6000_BTI_bool_long_long])
  #define pixel_type_node (rs6000_builtin_types[RS6000_BTI_pixel])
  #define bool_V16QI_type_node (rs6000_builtin_types[RS6000_BTI_bool_V16QI])
  #define bool_V8HI_type_node (rs6000_builtin_types[RS6000_BTI_bool_V8HI])
Index: gcc/testsuite/gcc.target/powerpc/vec-ldl-1.c
===================================================================
--- gcc/testsuite/gcc.target/powerpc/vec-ldl-1.c (nonexistent)
+++ gcc/testsuite/gcc.target/powerpc/vec-ldl-1.c    (working copy)
@@ -0,0 +1,211 @@ 
+/* { dg-do run { target powerpc*-*-* } } */
+/* { dg-require-effective-target vmx_hw } */
+/* { dg-options "-maltivec -O0 -Wall" } */
+
+#include <altivec.h>
+#include <stdlib.h>
+
+/* vec_ldl and vec_lvxl (an alias for vec_ldl) do an aligned vector
+ * load from memory, marking the fetched memory as least recently used
+ * (hinting that we do not anticipate a need to fetch this vector
+ * again within the near future.)
+ *
+ * vector <TYPE> result = vec_ldl (int offset, <TYPE> *address)
+ * vector <TYPE> result = vec_ldl (int offset, vector <TYPE> *address)
+ *
+ * The effect of these instructions is to perform the following:
+ *
+ *  resuilt = *((vector <TTYPE> *)((((char *) address) + offset) & ~0x0f))
+ *
+ * This test exercises the following new prototypes of the vec_ldl
+ * service which were added in late March 2018:
+ *
+ *  vector bool int vec_ldl (int, bool int *)
+ *  vector bool short vec_ldl (int, bool short *)
+ *  vector bool char vec_ldl (int, bool char *)
+ *  vector double vec_ldl (int, double *)
+ *  vector long long int vec_ldl (int, long long int *)
+ *  vector unsigned long long int vec_ldl (int, unsigned long long int *)
+ *  vector bool long long vec_ldl (int, bool long long *)
+ */
+
+static signed char ca[64] __attribute__((aligned(16)));
+static unsigned char uca[64] __attribute__((aligned(16)));
+
+static vector signed char *vcp = (vector signed char *) ca;
+static unsigned vector char *vucp = (vector unsigned char *) uca;
+
+static short sa[32] __attribute__((aligned(16)));
+static unsigned short usa[32] __attribute__((aligned(16)));
+
+static vector short *vsp = (vector short *) sa;
+static unsigned vector short *vusp = (vector unsigned short *) usa;
+
+static int ia[16] __attribute__((aligned(16)));
+static unsigned int uia[16] __attribute__((aligned(16)));
+
+static vector int *vip = (vector int *) ia;
+static unsigned vector int *vuip = (vector unsigned int *) uia;
+
+static long long la[8] __attribute__((aligned(16)));
+static unsigned long long ula[8] __attribute__((aligned(16)));
+
+static vector long long *vlp = (vector long long *) la;
+static unsigned vector long long *vulp = (vector unsigned long long *) ula;
+
+static double da[8] __attribute__((aligned(16)));
+static vector double *vdp = (vector double *) da;
+
+
+void
+doInitialization ()
+{
+  unsigned int i;
+
+  for (i = 0; i < 64; i++)
+    ca[i] = uca[i] = i;
+
+  for (i = 0; i < 32; i++)
+    sa[i] = usa[i] = i;
+
+  for (i = 0; i < 16; i++)
+    ia[i] = uia[i] = i;
+
+  for (i = 0; i < 8; i++)
+    la[i] = ula[i] = i;
+
+  for (i = 0; i < 8; i++)
+    da[i] = 0.125 * i;
+}
+
+int
+main (int argc, char *argv[])
+{
+  vector long long int lv;
+  vector unsigned long long int ulv;
+  vector int iv;
+  vector unsigned int uiv;
+  vector short sv;
+  vector unsigned short usv;
+  vector signed char cv;
+  vector unsigned char ucv;
+  vector double dv;
+
+  doInitialization ();
+
+  /* Do vector of char.  */
+  for (int i = 0; i < 16; i++) {
+    /* Focus on ca[16] ... ca[31].  */
+    cv = vec_ldl (i+16, ca);    /* compiler: invalid parameter 
combination */
+    if (cv[4] != ca[20])
+      abort ();
+    /* Focus on uca[32] ... uca[47].  */
+    ucv = vec_ldl (i+32, uca);
+    if (ucv[7] != uca[39])
+      abort ();
+    /* Focus on ca[0] ... ca[15].  */
+    cv = vec_ldl (i, vcp);
+    if (cv[3] != ca[3])
+      abort ();
+    /* Focus on ca[0] ... ca[15] while i <= 8.
+       Focus on ca[16] ... ca[31] while i > 8.  */
+    ucv = vec_ldl (i+7, vucp);
+    if ((i+7 > 15) && (ucv[13] != uca[29]))
+      abort ();
+    if ((i + 7 <= 15) && (ucv[13] != uca[13]))
+      abort ();
+  }
+
+  /* Do vector of short.  */
+  for (int i = 0; i < 16; i++) {
+    /* Focus on sa[8] ... sa[15].  */
+    sv = vec_ldl (i+16, sa);
+    if (sv[4] != sa[12])
+      abort ();
+    /* Focus on usa[24] ... usa[31].  */
+    usv = vec_ldl (i+48, usa);
+    if (usv[7] != usa[31])
+      abort ();
+    /* Focus on sa[0] ... sa[7].  */
+    sv = vec_ldl (i, vsp);
+    if (sv[3] != sa[3])
+      abort ();
+    /* Focus on usa[0] ... usa[7] while i <= 8.
+       Focus on usa[8] ... usa[15] while i > 8.  */
+    usv = vec_ldl (i+7, vusp);
+    if ((i+7 > 15) && (usv[5] != usa[13]))
+      abort ();
+    if ((i + 7 <= 15) && (usv[5] != usa[5]))
+      abort ();
+  }
+
+  /* Do vector of int.  */
+  for (int i = 0; i < 16; i++) {
+    /* Focus on ia[8] ... ia[11].  */
+    iv = vec_ldl (i+32, ia);
+    if (iv[3] != ia[11])
+      abort ();
+    /* Focus on uia[12] ... uia[15].  */
+    uiv = vec_ldl (i+48, uia);
+    if (uiv[2] != uia[14])
+      abort ();
+    /* Focus on ia[0] ... ia[3].  */
+    iv = vec_ldl (i, vip);
+    if (iv[3] != ia[3])
+      abort ();
+    /* Focus on uia[0] ... uia[3] while i <= 8.
+       Focus on uia[4] ... uia[7] while i > 8.  */
+    uiv = vec_ldl (i+7, vuip);
+    if ((i+7 > 15) && (uiv[1] != uia[5]))
+      abort ();
+    if ((i + 7 <= 15) && (uiv[1] != uia[1]))
+      abort ();
+  }
+
+  /* Do vector of long long int.  */
+  for (int i = 0; i < 16; i++) {
+    /* Focus on la[4] ... la[5].  */
+    lv = vec_ldl (i+32, la);
+    if (lv[1] != la[5])
+      abort ();
+    /* Focus on ula[6] ... ula[7].  */
+    ulv = vec_ldl (i+48, ula);
+    if (ulv[0] != uia[6])
+      abort ();
+    /* Focus on la[0] ... la[1].  */
+    lv = vec_ldl (i, vlp);
+    if (iv[1] != la[1])
+      abort ();
+    /* Focus on ula[0] ... uia[1] while i <= 8.
+       Focus on uia[2] ... uia[3] while i > 8.  */
+    ulv = vec_ldl (i+7, vulp);
+    if ((i+7 > 15) && (ulv[1] != ula[3]))
+      abort ();
+    if ((i + 7 <= 15) && (ulv[1] != ula[1]))
+      abort ();
+  }
+
+  /* Do vector of double.  */
+  for (int i = 0; i < 16; i++) {
+    /* Focus on da[2] ... da[3].  */
+    dv = vec_ldl (i+16, da);
+    if (dv[1] != da[3])
+      abort ();
+    /* Focus on da[6] ... da[7].  */
+    dv = vec_ldl (i+48, vdp);
+    if (dv[0] != da[6])
+      abort ();
+    /* Focus on da[0] ... da[1].  */
+    dv = vec_ldl (i, da);
+    if (dv[1] != da[1])
+      abort ();
+    /* Focus on da[0] ... da[1] while i <= 8.
+       Focus on da[2] ... da[3] while i > 8.  */
+    dv = vec_ldl (i+7, vdp);
+    if ((i+7 <= 15) && (dv[1] != da[1]))
+      abort ();
+    if ((i + 7 > 15) && (dv[1] != da[3]))
+      abort ();
+  }
+  return 0;
+}
Index: gcc/testsuite/gcc.dg/vmx/ops-long-1.c
===================================================================
--- gcc/testsuite/gcc.dg/vmx/ops-long-1.c    (revision 258800)
+++ gcc/testsuite/gcc.dg/vmx/ops-long-1.c    (working copy)
@@ -1,5 +1,6 @@ 
  /* { dg-do compile } */
-/* { dg-options "-maltivec -mabi=altivec -std=gnu99 -mno-vsx 
-Wno-deprecated" } */
+/* { dg-require-effective-target vmx_hw } */
+/* { dg-options "-maltivec -mabi=altivec -std=gnu99 -mvsx 
-Wno-deprecated" } */

  /* Checks from the original ops.c that pass pointers to long or
     unsigned long for operations that support that in released versions
@@ -10,6 +11,8 @@ 
  extern int *var_int;
  extern long * *var_long_ptr;
  extern unsigned long * *var_unsigned_long_ptr;
+extern long long int * *var_long_long_ptr;
+extern unsigned long long int * *var_unsigned_long_long_ptr;
  extern vector signed int * *var_vec_s32_ptr;
  extern vector signed int *var_vec_s32;
  extern vector unsigned char * *var_vec_u8_ptr;
@@ -16,22 +19,25 @@  extern vector unsigned char * *var_vec_u8_ptr;
  extern vector unsigned char *var_vec_u8;
  extern vector unsigned int * *var_vec_u32_ptr;
  extern vector unsigned int *var_vec_u32;
+/* Use of long long int types requires -mvsx command-line option. */
+extern vector long long int *var_vec_s64;
+extern vector unsigned long long int *var_vec_u64;

  void f13() {
    *var_vec_s32++ = vec_ld(var_int[0], var_long_ptr[1]);
    *var_vec_s32++ = vec_lde(var_int[0], var_long_ptr[1]);
-  *var_vec_s32++ = vec_ldl(var_int[0], var_long_ptr[1]);
+  *var_vec_s64++ = vec_ldl(var_int[0], var_long_long_ptr[1]);
    *var_vec_s32++ = vec_lvewx(var_int[0], var_long_ptr[1]);
    *var_vec_s32++ = vec_lvx(var_int[0], var_long_ptr[1]);
-  *var_vec_s32++ = vec_lvxl(var_int[0], var_long_ptr[1]);
+  *var_vec_s64++ = vec_lvxl(var_int[0], var_long_long_ptr[1]);
  }
  void f22() {
    *var_vec_u32++ = vec_ld(var_int[0], var_unsigned_long_ptr[1]);
    *var_vec_u32++ = vec_lde(var_int[0], var_unsigned_long_ptr[1]);
-  *var_vec_u32++ = vec_ldl(var_int[0], var_unsigned_long_ptr[1]);
+  *var_vec_u64++ = vec_ldl(var_int[0], var_unsigned_long_long_ptr[1]);
    *var_vec_u32++ = vec_lvewx(var_int[0], var_unsigned_long_ptr[1]);
    *var_vec_u32++ = vec_lvx(var_int[0], var_unsigned_long_ptr[1]);
-  *var_vec_u32++ = vec_lvxl(var_int[0], var_unsigned_long_ptr[1]);
+  *var_vec_u64++ = vec_lvxl(var_int[0], var_unsigned_long_long_ptr[1]);
  }
  void f25() {
    *var_vec_u8++ = vec_lvsl(var_int[0], var_long_ptr[1]);