8ae002
From ec79c95f95869a30d3f13c6229ebef1ad4931281 Mon Sep 17 00:00:00 2001
8ae002
From: Stefan Liebler <stli@linux.vnet.ibm.com>
8ae002
Date: Mon, 7 Nov 2016 16:20:45 +0100
8ae002
Subject: [PATCH 11/17] S390: Optimize utf8-utf16 module.
8ae002
8ae002
Upstream commit 5bd11b19099b3f22d821515f9c93f1ecc1a7e15e
8ae002
8ae002
This patch reworks the s390 specific module to convert between utf8 and utf16.
8ae002
Now ifunc is used to choose either the c or etf3eh (with convert utf instruction)
8ae002
variants at runtime. Furthermore a new vector variant for z13 is introduced
8ae002
which will be build and chosen if vector support is available at build / runtime.
8ae002
8ae002
In case of converting utf 8 to utf16, the vector variant optimizes input of
8ae002
1byte utf8 characters. The convert utf instruction is used if a multibyte utf8
8ae002
character is found.
8ae002
8ae002
For the other direction utf16 to utf8, the cu21 instruction can't be re-enabled,
8ae002
because it does not report an error, if the input-stream consists of a single
8ae002
low surrogate utf16 char (e.g. 0xdc00). This applies to the newest z13, too.
8ae002
Thus there is only the c or the new vector variant, which can handle 1..4 byte
8ae002
utf8 characters.
8ae002
8ae002
The c variant from utf16 to utf8 has beed fixed. If a high surrogate was at the
8ae002
end of the input-buffer, then errno was set to EINVAL and the input-pointer
8ae002
pointed just after the high surrogate. Now it points to the beginning of the
8ae002
high surrogate.
8ae002
8ae002
This patch also fixes some whitespace errors. The c variant from utf8 to utf16
8ae002
is now checking that tail-bytes starts with 0b10... and the value is not in
8ae002
range of an utf16 surrogate.
8ae002
8ae002
Furthermore, the etf3eh variants are handling the "UTF-xx//IGNORE" case now.
8ae002
Before they ignored the ignore-case and always stopped at an error.
8ae002
8ae002
ChangeLog:
8ae002
8ae002
	* sysdeps/s390/s390-64/utf8-utf16-z9.c: Use ifunc to select c,
8ae002
	etf3eh or new vector loop-variant.
8ae002
---
8ae002
 sysdeps/s390/s390-64/utf8-utf16-z9.c | 547 ++++++++++++++++++++++++++++-------
8ae002
 1 file changed, 441 insertions(+), 106 deletions(-)
8ae002
8ae002
diff --git a/sysdeps/s390/s390-64/utf8-utf16-z9.c b/sysdeps/s390/s390-64/utf8-utf16-z9.c
8ae002
index 590a149..b36ee9e 100644
8ae002
--- a/sysdeps/s390/s390-64/utf8-utf16-z9.c
8ae002
+++ b/sysdeps/s390/s390-64/utf8-utf16-z9.c
8ae002
@@ -30,33 +30,27 @@
8ae002
 #include <dl-procinfo.h>
8ae002
 #include <gconv.h>
8ae002
 
8ae002
-/* UTF-16 big endian byte order mark.  */
8ae002
-#define BOM_UTF16	0xfeff
8ae002
+#if defined HAVE_S390_VX_GCC_SUPPORT
8ae002
+# define ASM_CLOBBER_VR(NR) , NR
8ae002
+#else
8ae002
+# define ASM_CLOBBER_VR(NR)
8ae002
+#endif
8ae002
 
8ae002
+/* Defines for skeleton.c.  */
8ae002
 #define DEFINE_INIT		0
8ae002
 #define DEFINE_FINI		0
8ae002
 #define MIN_NEEDED_FROM		1
8ae002
 #define MAX_NEEDED_FROM		4
8ae002
 #define MIN_NEEDED_TO		2
8ae002
 #define MAX_NEEDED_TO		4
8ae002
-#define FROM_LOOP		from_utf8_loop
8ae002
-#define TO_LOOP			to_utf8_loop
8ae002
+#define FROM_LOOP		__from_utf8_loop
8ae002
+#define TO_LOOP			__to_utf8_loop
8ae002
 #define FROM_DIRECTION		(dir == from_utf8)
8ae002
 #define ONE_DIRECTION           0
8ae002
-#define PREPARE_LOOP							\
8ae002
-  enum direction dir = ((struct utf8_data *) step->__data)->dir;	\
8ae002
-  int emit_bom = ((struct utf8_data *) step->__data)->emit_bom;		\
8ae002
-									\
8ae002
-  if (emit_bom && !data->__internal_use					\
8ae002
-      && data->__invocation_counter == 0)				\
8ae002
-    {									\
8ae002
-      /* Emit the UTF-16 Byte Order Mark.  */				\
8ae002
-      if (__glibc_unlikely (outbuf + 2 > outend))			      \
8ae002
-	return __GCONV_FULL_OUTPUT;					\
8ae002
-									\
8ae002
-      put16u (outbuf, BOM_UTF16);					\
8ae002
-      outbuf += 2;							\
8ae002
-    }
8ae002
+
8ae002
+
8ae002
+/* UTF-16 big endian byte order mark.  */
8ae002
+#define BOM_UTF16	0xfeff
8ae002
 
8ae002
 /* Direction of the transformation.  */
8ae002
 enum direction
8ae002
@@ -151,16 +145,16 @@ gconv_end (struct __gconv_step *data)
8ae002
     register unsigned long long outlen __asm__("11") = outend - outptr;	\
8ae002
     uint64_t cc = 0;							\
8ae002
 									\
8ae002
-    __asm__ volatile (".machine push       \n\t"			\
8ae002
-		      ".machine \"z9-109\" \n\t"			\
8ae002
-		      "0: " INSTRUCTION "  \n\t"			\
8ae002
-		      ".machine pop        \n\t"			\
8ae002
-		      "   jo     0b        \n\t"			\
8ae002
-		      "   ipm    %2        \n"				\
8ae002
-		      : "+a" (pOutput), "+a" (pInput), "+d" (cc),	\
8ae002
-			"+d" (outlen), "+d" (inlen)			\
8ae002
-		      :							\
8ae002
-		      : "cc", "memory");				\
8ae002
+    __asm__ __volatile__ (".machine push       \n\t"			\
8ae002
+			  ".machine \"z9-109\" \n\t"			\
8ae002
+			  "0: " INSTRUCTION "  \n\t"			\
8ae002
+			  ".machine pop        \n\t"			\
8ae002
+			  "   jo     0b        \n\t"			\
8ae002
+			  "   ipm    %2        \n"			\
8ae002
+			  : "+a" (pOutput), "+a" (pInput), "+d" (cc),	\
8ae002
+			    "+d" (outlen), "+d" (inlen)			\
8ae002
+			  :						\
8ae002
+			  : "cc", "memory");				\
8ae002
 									\
8ae002
     inptr = pInput;							\
8ae002
     outptr = pOutput;							\
8ae002
@@ -169,50 +163,135 @@ gconv_end (struct __gconv_step *data)
8ae002
     if (cc == 1)							\
8ae002
       {									\
8ae002
 	result = __GCONV_FULL_OUTPUT;					\
8ae002
-	break;								\
8ae002
       }									\
8ae002
     else if (cc == 2)							\
8ae002
       {									\
8ae002
 	result = __GCONV_ILLEGAL_INPUT;					\
8ae002
-	break;								\
8ae002
       }									\
8ae002
   }
8ae002
 
8ae002
+#define PREPARE_LOOP							\
8ae002
+  enum direction dir = ((struct utf8_data *) step->__data)->dir;	\
8ae002
+  int emit_bom = ((struct utf8_data *) step->__data)->emit_bom;		\
8ae002
+									\
8ae002
+  if (emit_bom && !data->__internal_use					\
8ae002
+      && data->__invocation_counter == 0)				\
8ae002
+    {									\
8ae002
+      /* Emit the UTF-16 Byte Order Mark.  */				\
8ae002
+      if (__glibc_unlikely (outbuf + 2 > outend))			\
8ae002
+	return __GCONV_FULL_OUTPUT;					\
8ae002
+									\
8ae002
+      put16u (outbuf, BOM_UTF16);					\
8ae002
+      outbuf += 2;							\
8ae002
+    }
8ae002
+
8ae002
 /* Conversion function from UTF-8 to UTF-16.  */
8ae002
+#define BODY_FROM_HW(ASM)						\
8ae002
+  {									\
8ae002
+    ASM;								\
8ae002
+    if (__glibc_likely (inptr == inend)					\
8ae002
+	|| result == __GCONV_FULL_OUTPUT)				\
8ae002
+      break;								\
8ae002
+									\
8ae002
+    int i;								\
8ae002
+    for (i = 1; inptr + i < inend && i < 5; ++i)			\
8ae002
+      if ((inptr[i] & 0xc0) != 0x80)					\
8ae002
+	break;								\
8ae002
+									\
8ae002
+    if (__glibc_likely (inptr + i == inend				\
8ae002
+			&& result == __GCONV_EMPTY_INPUT))		\
8ae002
+      {									\
8ae002
+	result = __GCONV_INCOMPLETE_INPUT;				\
8ae002
+	break;								\
8ae002
+      }									\
8ae002
+    STANDARD_FROM_LOOP_ERR_HANDLER (i);					\
8ae002
+  }
8ae002
+
8ae002
+#define BODY_FROM_ETF3EH BODY_FROM_HW (HARDWARE_CONVERT ("cu12 %0, %1, 1"))
8ae002
+
8ae002
+#define HW_FROM_VX							\
8ae002
+  {									\
8ae002
+    register const unsigned char* pInput asm ("8") = inptr;		\
8ae002
+    register size_t inlen asm ("9") = inend - inptr;			\
8ae002
+    register unsigned char* pOutput asm ("10") = outptr;		\
8ae002
+    register size_t outlen asm("11") = outend - outptr;			\
8ae002
+    unsigned long tmp, tmp2, tmp3;					\
8ae002
+    asm volatile (".machine push\n\t"					\
8ae002
+		  ".machine \"z13\"\n\t"				\
8ae002
+		  ".machinemode \"zarch_nohighgprs\"\n\t"		\
8ae002
+		  "    vrepib %%v30,0x7f\n\t" /* For compare > 0x7f.  */ \
8ae002
+		  "    vrepib %%v31,0x20\n\t"				\
8ae002
+		  /* Loop which handles UTF-8 chars <=0x7f.  */		\
8ae002
+		  "0:  clgijl %[R_INLEN],16,20f\n\t"			\
8ae002
+		  "    clgijl %[R_OUTLEN],32,20f\n\t"			\
8ae002
+		  "1:  vl %%v16,0(%[R_IN])\n\t"				\
8ae002
+		  "    vstrcbs %%v17,%%v16,%%v30,%%v31\n\t"		\
8ae002
+		  "    jno 10f\n\t" /* Jump away if not all bytes are 1byte \
8ae002
+				       UTF8 chars.  */			\
8ae002
+		  /* Enlarge to UTF-16.  */				\
8ae002
+		  "    vuplhb %%v18,%%v16\n\t"				\
8ae002
+		  "    la %[R_IN],16(%[R_IN])\n\t"			\
8ae002
+		  "    vupllb %%v19,%%v16\n\t"				\
8ae002
+		  "    aghi %[R_INLEN],-16\n\t"				\
8ae002
+		  /* Store 32 bytes to buf_out.  */			\
8ae002
+		  "    vstm %%v18,%%v19,0(%[R_OUT])\n\t"		\
8ae002
+		  "    aghi %[R_OUTLEN],-32\n\t"			\
8ae002
+		  "    la %[R_OUT],32(%[R_OUT])\n\t"			\
8ae002
+		  "    clgijl %[R_INLEN],16,20f\n\t"			\
8ae002
+		  "    clgijl %[R_OUTLEN],32,20f\n\t"			\
8ae002
+		  "    j 1b\n\t"					\
8ae002
+		  "10:\n\t"						\
8ae002
+		  /* At least one byte is > 0x7f.			\
8ae002
+		     Store the preceding 1-byte chars.  */		\
8ae002
+		  "    vlgvb %[R_TMP],%%v17,7\n\t"			\
8ae002
+		  "    sllk %[R_TMP2],%[R_TMP],1\n\t" /* Compute highest \
8ae002
+							 index to store. */ \
8ae002
+		  "    llgfr %[R_TMP3],%[R_TMP2]\n\t"			\
8ae002
+		  "    ahi %[R_TMP2],-1\n\t"				\
8ae002
+		  "    jl 20f\n\t"					\
8ae002
+		  "    vuplhb %%v18,%%v16\n\t"				\
8ae002
+		  "    vstl %%v18,%[R_TMP2],0(%[R_OUT])\n\t"		\
8ae002
+		  "    ahi %[R_TMP2],-16\n\t"				\
8ae002
+		  "    jl 11f\n\t"					\
8ae002
+		  "    vupllb %%v19,%%v16\n\t"				\
8ae002
+		  "    vstl %%v19,%[R_TMP2],16(%[R_OUT])\n\t"		\
8ae002
+		  "11: \n\t" /* Update pointers.  */			\
8ae002
+		  "    la %[R_IN],0(%[R_TMP],%[R_IN])\n\t"		\
8ae002
+		  "    slgr %[R_INLEN],%[R_TMP]\n\t"			\
8ae002
+		  "    la %[R_OUT],0(%[R_TMP3],%[R_OUT])\n\t"		\
8ae002
+		  "    slgr %[R_OUTLEN],%[R_TMP3]\n\t"			\
8ae002
+		  /* Handle multibyte utf8-char with convert instruction. */ \
8ae002
+		  "20: cu12 %[R_OUT],%[R_IN],1\n\t"			\
8ae002
+		  "    jo 0b\n\t" /* Try vector implemenation again.  */ \
8ae002
+		  "    lochil %[R_RES],%[RES_OUT_FULL]\n\t" /* cc == 1.  */ \
8ae002
+		  "    lochih %[R_RES],%[RES_IN_ILL]\n\t" /* cc == 2.  */ \
8ae002
+		  ".machine pop"					\
8ae002
+		  : /* outputs */ [R_IN] "+a" (pInput)			\
8ae002
+		    , [R_INLEN] "+d" (inlen), [R_OUT] "+a" (pOutput)	\
8ae002
+		    , [R_OUTLEN] "+d" (outlen), [R_TMP] "=a" (tmp)	\
8ae002
+		    , [R_TMP2] "=d" (tmp2), [R_TMP3] "=a" (tmp3)	\
8ae002
+		    , [R_RES] "+d" (result)				\
8ae002
+		  : /* inputs */					\
8ae002
+		    [RES_OUT_FULL] "i" (__GCONV_FULL_OUTPUT)		\
8ae002
+		    , [RES_IN_ILL] "i" (__GCONV_ILLEGAL_INPUT)		\
8ae002
+		  : /* clobber list */ "memory", "cc"			\
8ae002
+		    ASM_CLOBBER_VR ("v16") ASM_CLOBBER_VR ("v17")	\
8ae002
+		    ASM_CLOBBER_VR ("v18") ASM_CLOBBER_VR ("v19")	\
8ae002
+		    ASM_CLOBBER_VR ("v30") ASM_CLOBBER_VR ("v31")	\
8ae002
+		  );							\
8ae002
+    inptr = pInput;							\
8ae002
+    outptr = pOutput;							\
8ae002
+  }
8ae002
+#define BODY_FROM_VX BODY_FROM_HW (HW_FROM_VX)
8ae002
+
8ae002
 
8ae002
-#define MIN_NEEDED_INPUT	MIN_NEEDED_FROM
8ae002
-#define MAX_NEEDED_INPUT	MAX_NEEDED_FROM
8ae002
-#define MIN_NEEDED_OUTPUT	MIN_NEEDED_TO
8ae002
-#define MAX_NEEDED_OUTPUT	MAX_NEEDED_TO
8ae002
-#define LOOPFCT			FROM_LOOP
8ae002
 /* The software implementation is based on the code in gconv_simple.c.  */
8ae002
-#define BODY								\
8ae002
+#define BODY_FROM_C							\
8ae002
   {									\
8ae002
-    if (GLRO (dl_hwcap) & HWCAP_S390_ETF3EH)				\
8ae002
-      {									\
8ae002
-	HARDWARE_CONVERT ("cu12 %0, %1, 1");				\
8ae002
-									\
8ae002
-	if (inptr != inend)						\
8ae002
-	  {								\
8ae002
-	    int i;							\
8ae002
-	    for (i = 1; inptr + i < inend; ++i)				\
8ae002
-	      if ((inptr[i] & 0xc0) != 0x80)				\
8ae002
-		break;							\
8ae002
-								\
8ae002
-	    if (__glibc_likely (inptr + i == inend))			      \
8ae002
-	      {								\
8ae002
-		result = __GCONV_INCOMPLETE_INPUT;			\
8ae002
-		break;							\
8ae002
-	      }								\
8ae002
-	    STANDARD_FROM_LOOP_ERR_HANDLER (i);				\
8ae002
-	  }								\
8ae002
-	continue;							\
8ae002
-    }									\
8ae002
-									\
8ae002
     /* Next input byte.  */						\
8ae002
     uint16_t ch = *inptr;						\
8ae002
 									\
8ae002
-    if (__glibc_likely (ch < 0x80))					      \
8ae002
+    if (__glibc_likely (ch < 0x80))					\
8ae002
       {									\
8ae002
 	/* One byte sequence.  */					\
8ae002
 	++inptr;							\
8ae002
@@ -230,13 +309,13 @@ gconv_end (struct __gconv_step *data)
8ae002
 	    cnt = 2;							\
8ae002
 	    ch &= 0x1f;							\
8ae002
 	  }								\
8ae002
-        else if (__glibc_likely ((ch & 0xf0) == 0xe0))			      \
8ae002
+	else if (__glibc_likely ((ch & 0xf0) == 0xe0))			\
8ae002
 	  {								\
8ae002
 	    /* We expect three bytes.  */				\
8ae002
 	    cnt = 3;							\
8ae002
 	    ch &= 0x0f;							\
8ae002
 	  }								\
8ae002
-	else if (__glibc_likely ((ch & 0xf8) == 0xf0))			      \
8ae002
+	else if (__glibc_likely ((ch & 0xf8) == 0xf0))			\
8ae002
 	  {								\
8ae002
 	    /* We expect four bytes.  */				\
8ae002
 	    cnt = 4;							\
8ae002
@@ -257,7 +336,7 @@ gconv_end (struct __gconv_step *data)
8ae002
 	    STANDARD_FROM_LOOP_ERR_HANDLER (i);				\
8ae002
 	  }								\
8ae002
 									\
8ae002
-	if (__glibc_unlikely (inptr + cnt > inend))			      \
8ae002
+	if (__glibc_unlikely (inptr + cnt > inend))			\
8ae002
 	  {								\
8ae002
 	    /* We don't have enough input.  But before we report	\
8ae002
 	       that check that all the bytes are correct.  */		\
8ae002
@@ -265,7 +344,7 @@ gconv_end (struct __gconv_step *data)
8ae002
 	      if ((inptr[i] & 0xc0) != 0x80)				\
8ae002
 		break;							\
8ae002
 									\
8ae002
-	    if (__glibc_likely (inptr + i == inend))			      \
8ae002
+	    if (__glibc_likely (inptr + i == inend))			\
8ae002
 	      {								\
8ae002
 		result = __GCONV_INCOMPLETE_INPUT;			\
8ae002
 		break;							\
8ae002
@@ -280,23 +359,31 @@ gconv_end (struct __gconv_step *data)
8ae002
 	       low) are needed.  */					\
8ae002
 	    uint16_t zabcd, high, low;					\
8ae002
 									\
8ae002
-	    if (__glibc_unlikely (outptr + 4 > outend))			      \
8ae002
+	    if (__glibc_unlikely (outptr + 4 > outend))			\
8ae002
 	      {								\
8ae002
 		/* Overflow in the output buffer.  */			\
8ae002
 		result = __GCONV_FULL_OUTPUT;				\
8ae002
 		break;							\
8ae002
 	      }								\
8ae002
 									\
8ae002
+	    /* Check if tail-bytes >= 0x80, < 0xc0.  */			\
8ae002
+	    for (i = 1; i < cnt; ++i)					\
8ae002
+	      {								\
8ae002
+		if ((inptr[i] & 0xc0) != 0x80)				\
8ae002
+		  /* This is an illegal encoding.  */			\
8ae002
+		  goto errout;						\
8ae002
+	      }								\
8ae002
+									\
8ae002
 	    /* See Principles of Operations cu12.  */			\
8ae002
 	    zabcd = (((inptr[0] & 0x7) << 2) |				\
8ae002
-                     ((inptr[1] & 0x30) >> 4)) - 1;			\
8ae002
+		     ((inptr[1] & 0x30) >> 4)) - 1;			\
8ae002
 									\
8ae002
 	    /* z-bit must be zero after subtracting 1.  */		\
8ae002
 	    if (zabcd & 0x10)						\
8ae002
 	      STANDARD_FROM_LOOP_ERR_HANDLER (4)			\
8ae002
 									\
8ae002
 	    high = (uint16_t)(0xd8 << 8);       /* high surrogate id */ \
8ae002
-	    high |= zabcd << 6;	                        /* abcd bits */	\
8ae002
+	    high |= zabcd << 6;                         /* abcd bits */	\
8ae002
 	    high |= (inptr[1] & 0xf) << 2;              /* efgh bits */	\
8ae002
 	    high |= (inptr[2] & 0x30) >> 4;               /* ij bits */	\
8ae002
 									\
8ae002
@@ -326,8 +413,19 @@ gconv_end (struct __gconv_step *data)
8ae002
 		ch <<= 6;						\
8ae002
 		ch |= byte & 0x3f;					\
8ae002
 	      }								\
8ae002
-	    inptr += cnt;						\
8ae002
 									\
8ae002
+	    /* If i < cnt, some trail byte was not >= 0x80, < 0xc0.	\
8ae002
+	       If cnt > 2 and ch < 2^(5*cnt-4), the wide character ch could \
8ae002
+	       have been represented with fewer than cnt bytes.  */	\
8ae002
+	    if (i < cnt || (cnt > 2 && (ch >> (5 * cnt - 4)) == 0)	\
8ae002
+		/* Do not accept UTF-16 surrogates.  */			\
8ae002
+		|| (ch >= 0xd800 && ch <= 0xdfff))			\
8ae002
+	      {								\
8ae002
+		/* This is an illegal encoding.  */			\
8ae002
+		goto errout;						\
8ae002
+	      }								\
8ae002
+									\
8ae002
+	    inptr += cnt;						\
8ae002
 	  }								\
8ae002
       }									\
8ae002
     /* Now adjust the pointers and store the result.  */		\
8ae002
@@ -335,43 +433,70 @@ gconv_end (struct __gconv_step *data)
8ae002
     outptr += sizeof (uint16_t);					\
8ae002
   }
8ae002
 
8ae002
+/* Generate loop-function with software implementation.  */
8ae002
+#define MIN_NEEDED_INPUT	MIN_NEEDED_FROM
8ae002
+#define MAX_NEEDED_INPUT	MAX_NEEDED_FROM
8ae002
+#define MIN_NEEDED_OUTPUT	MIN_NEEDED_TO
8ae002
+#define MAX_NEEDED_OUTPUT	MAX_NEEDED_TO
8ae002
+#define LOOPFCT			__from_utf8_loop_c
8ae002
+#define LOOP_NEED_FLAGS
8ae002
+#define BODY			BODY_FROM_C
8ae002
+#include <iconv/loop.c>
8ae002
+
8ae002
+/* Generate loop-function with hardware utf-convert instruction.  */
8ae002
+#define MIN_NEEDED_INPUT	MIN_NEEDED_FROM
8ae002
+#define MAX_NEEDED_INPUT	MAX_NEEDED_FROM
8ae002
+#define MIN_NEEDED_OUTPUT	MIN_NEEDED_TO
8ae002
+#define MAX_NEEDED_OUTPUT	MAX_NEEDED_TO
8ae002
+#define LOOPFCT			__from_utf8_loop_etf3eh
8ae002
 #define LOOP_NEED_FLAGS
8ae002
+#define BODY			BODY_FROM_ETF3EH
8ae002
 #include <iconv/loop.c>
8ae002
 
8ae002
+#if defined HAVE_S390_VX_ASM_SUPPORT
8ae002
+/* Generate loop-function with hardware vector and utf-convert instructions.  */
8ae002
+# define MIN_NEEDED_INPUT	MIN_NEEDED_FROM
8ae002
+# define MAX_NEEDED_INPUT	MAX_NEEDED_FROM
8ae002
+# define MIN_NEEDED_OUTPUT	MIN_NEEDED_TO
8ae002
+# define MAX_NEEDED_OUTPUT	MAX_NEEDED_TO
8ae002
+# define LOOPFCT		__from_utf8_loop_vx
8ae002
+# define LOOP_NEED_FLAGS
8ae002
+# define BODY			BODY_FROM_VX
8ae002
+# include <iconv/loop.c>
8ae002
+#endif
8ae002
+
8ae002
+
8ae002
+/* Generate ifunc'ed loop function.  */
8ae002
+__typeof(__from_utf8_loop_c)
8ae002
+__attribute__ ((ifunc ("__from_utf8_loop_resolver")))
8ae002
+__from_utf8_loop;
8ae002
+
8ae002
+static void *
8ae002
+__from_utf8_loop_resolver (unsigned long int dl_hwcap)
8ae002
+{
8ae002
+#if defined HAVE_S390_VX_ASM_SUPPORT
8ae002
+  if (dl_hwcap & HWCAP_S390_VX)
8ae002
+    return __from_utf8_loop_vx;
8ae002
+  else
8ae002
+#endif
8ae002
+  if (dl_hwcap & HWCAP_S390_ETF3EH)
8ae002
+    return __from_utf8_loop_etf3eh;
8ae002
+  else
8ae002
+    return __from_utf8_loop_c;
8ae002
+}
8ae002
+
8ae002
+strong_alias (__from_utf8_loop_c_single, __from_utf8_loop_single)
8ae002
+
8ae002
 /* Conversion from UTF-16 to UTF-8.  */
8ae002
 
8ae002
-#define MIN_NEEDED_INPUT	MIN_NEEDED_TO
8ae002
-#define MAX_NEEDED_INPUT	MAX_NEEDED_TO
8ae002
-#define MIN_NEEDED_OUTPUT	MIN_NEEDED_FROM
8ae002
-#define MAX_NEEDED_OUTPUT	MAX_NEEDED_FROM
8ae002
-#define LOOPFCT			TO_LOOP
8ae002
 /* The software routine is based on the functionality of the S/390
8ae002
    hardware instruction (cu21) as described in the Principles of
8ae002
    Operation.  */
8ae002
-#define BODY								\
8ae002
+#define BODY_TO_C							\
8ae002
   {									\
8ae002
-    /* The hardware instruction currently fails to report an error for	\
8ae002
-       isolated low surrogates so we have to disable the instruction	\
8ae002
-       until this gets resolved.  */					\
8ae002
-    if (0) /* (GLRO (dl_hwcap) & HWCAP_S390_ETF3EH) */			\
8ae002
-      {									\
8ae002
-	HARDWARE_CONVERT ("cu21 %0, %1, 1");				\
8ae002
-	if (inptr != inend)						\
8ae002
-	  {								\
8ae002
-	    /* Check if the third byte is				\
8ae002
-	       a valid start of a UTF-16 surrogate.  */			\
8ae002
-	    if (inend - inptr == 3 && (inptr[3] & 0xfc) != 0xdc)	\
8ae002
-	      STANDARD_TO_LOOP_ERR_HANDLER (3);				\
8ae002
-									\
8ae002
-	    result = __GCONV_INCOMPLETE_INPUT;				\
8ae002
-	    break;							\
8ae002
-	  }								\
8ae002
-	continue;							\
8ae002
-      }									\
8ae002
-									\
8ae002
     uint16_t c = get16 (inptr);						\
8ae002
 									\
8ae002
-    if (__glibc_likely (c <= 0x007f))					      \
8ae002
+    if (__glibc_likely (c <= 0x007f))					\
8ae002
       {									\
8ae002
 	/* Single byte UTF-8 char.  */					\
8ae002
 	*outptr = c & 0xff;						\
8ae002
@@ -379,20 +504,20 @@ gconv_end (struct __gconv_step *data)
8ae002
       }									\
8ae002
     else if (c >= 0x0080 && c <= 0x07ff)				\
8ae002
       {									\
8ae002
-        /* Two byte UTF-8 char.  */					\
8ae002
+	/* Two byte UTF-8 char.  */					\
8ae002
 									\
8ae002
-	if (__glibc_unlikely (outptr + 2 > outend))			      \
8ae002
+	if (__glibc_unlikely (outptr + 2 > outend))			\
8ae002
 	  {								\
8ae002
 	    /* Overflow in the output buffer.  */			\
8ae002
 	    result = __GCONV_FULL_OUTPUT;				\
8ae002
 	    break;							\
8ae002
 	  }								\
8ae002
 									\
8ae002
-        outptr[0] = 0xc0;						\
8ae002
-        outptr[0] |= c >> 6;						\
8ae002
+	outptr[0] = 0xc0;						\
8ae002
+	outptr[0] |= c >> 6;						\
8ae002
 									\
8ae002
-        outptr[1] = 0x80;						\
8ae002
-        outptr[1] |= c & 0x3f;						\
8ae002
+	outptr[1] = 0x80;						\
8ae002
+	outptr[1] |= c & 0x3f;						\
8ae002
 									\
8ae002
 	outptr += 2;							\
8ae002
       }									\
8ae002
@@ -400,7 +525,7 @@ gconv_end (struct __gconv_step *data)
8ae002
       {									\
8ae002
 	/* Three byte UTF-8 char.  */					\
8ae002
 									\
8ae002
-	if (__glibc_unlikely (outptr + 3 > outend))			      \
8ae002
+	if (__glibc_unlikely (outptr + 3 > outend))			\
8ae002
 	  {								\
8ae002
 	    /* Overflow in the output buffer.  */			\
8ae002
 	    result = __GCONV_FULL_OUTPUT;				\
8ae002
@@ -419,22 +544,22 @@ gconv_end (struct __gconv_step *data)
8ae002
       }									\
8ae002
     else if (c >= 0xd800 && c <= 0xdbff)				\
8ae002
       {									\
8ae002
-        /* Four byte UTF-8 char.  */					\
8ae002
+	/* Four byte UTF-8 char.  */					\
8ae002
 	uint16_t low, uvwxy;						\
8ae002
 									\
8ae002
-	if (__glibc_unlikely (outptr + 4 > outend))			      \
8ae002
+	if (__glibc_unlikely (outptr + 4 > outend))			\
8ae002
 	  {								\
8ae002
 	    /* Overflow in the output buffer.  */			\
8ae002
 	    result = __GCONV_FULL_OUTPUT;				\
8ae002
 	    break;							\
8ae002
 	  }								\
8ae002
-	inptr += 2;							\
8ae002
-	if (__glibc_unlikely (inptr + 2 > inend))			      \
8ae002
+	if (__glibc_unlikely (inptr + 4 > inend))			\
8ae002
 	  {								\
8ae002
 	    result = __GCONV_INCOMPLETE_INPUT;				\
8ae002
 	    break;							\
8ae002
 	  }								\
8ae002
 									\
8ae002
+	inptr += 2;							\
8ae002
 	low = get16 (inptr);						\
8ae002
 									\
8ae002
 	if ((low & 0xfc00) != 0xdc00)					\
8ae002
@@ -461,11 +586,221 @@ gconv_end (struct __gconv_step *data)
8ae002
       }									\
8ae002
     else								\
8ae002
       {									\
8ae002
-        STANDARD_TO_LOOP_ERR_HANDLER (2);				\
8ae002
+	STANDARD_TO_LOOP_ERR_HANDLER (2);				\
8ae002
       }									\
8ae002
     inptr += 2;								\
8ae002
   }
8ae002
-#define LOOP_NEED_FLAGS
8ae002
-#include <iconv/loop.c>
8ae002
+
8ae002
+#define BODY_TO_VX							\
8ae002
+  {									\
8ae002
+    size_t inlen  = inend - inptr;					\
8ae002
+    size_t outlen  = outend - outptr;					\
8ae002
+    unsigned long tmp, tmp2, tmp3;					\
8ae002
+    asm volatile (".machine push\n\t"					\
8ae002
+		  ".machine \"z13\"\n\t"				\
8ae002
+		  ".machinemode \"zarch_nohighgprs\"\n\t"		\
8ae002
+		  /* Setup to check for values <= 0x7f.  */		\
8ae002
+		  "    larl %[R_TMP],9f\n\t"				\
8ae002
+		  "    vlm %%v30,%%v31,0(%[R_TMP])\n\t"			\
8ae002
+		  /* Loop which handles UTF-16 chars <=0x7f.  */	\
8ae002
+		  "0:  clgijl %[R_INLEN],32,2f\n\t"			\
8ae002
+		  "    clgijl %[R_OUTLEN],16,2f\n\t"			\
8ae002
+		  "1:  vlm %%v16,%%v17,0(%[R_IN])\n\t"			\
8ae002
+		  "    lghi %[R_TMP2],0\n\t"				\
8ae002
+		  /* Check for > 1byte UTF-8 chars.  */			\
8ae002
+		  "    vstrchs %%v19,%%v16,%%v30,%%v31\n\t"		\
8ae002
+		  "    jno 10f\n\t" /* Jump away if not all bytes are 1byte \
8ae002
+				       UTF8 chars.  */			\
8ae002
+		  "    vstrchs %%v19,%%v17,%%v30,%%v31\n\t"		\
8ae002
+		  "    jno 11f\n\t" /* Jump away if not all bytes are 1byte \
8ae002
+				       UTF8 chars.  */			\
8ae002
+		  /* Shorten to UTF-8.  */				\
8ae002
+		  "    vpkh %%v18,%%v16,%%v17\n\t"			\
8ae002
+		  "    la %[R_IN],32(%[R_IN])\n\t"			\
8ae002
+		  "    aghi %[R_INLEN],-32\n\t"				\
8ae002
+		  /* Store 16 bytes to buf_out.  */			\
8ae002
+		  "    vst %%v18,0(%[R_OUT])\n\t"			\
8ae002
+		  "    aghi %[R_OUTLEN],-16\n\t"			\
8ae002
+		  "    la %[R_OUT],16(%[R_OUT])\n\t"			\
8ae002
+		  "    clgijl %[R_INLEN],32,2f\n\t"			\
8ae002
+		  "    clgijl %[R_OUTLEN],16,2f\n\t"			\
8ae002
+		  "    j 1b\n\t"					\
8ae002
+		  /* Setup to check for ch > 0x7f. (v30, v31)  */	\
8ae002
+		  "9:  .short 0x7f,0x7f,0x0,0x0,0x0,0x0,0x0,0x0\n\t"	\
8ae002
+		  "    .short 0x2000,0x2000,0x0,0x0,0x0,0x0,0x0,0x0\n\t" \
8ae002
+		  /* At least one byte is > 0x7f.			\
8ae002
+		     Store the preceding 1-byte chars.  */		\
8ae002
+		  "11: lghi %[R_TMP2],16\n\t" /* match was found in v17.  */ \
8ae002
+		  "10:\n\t"						\
8ae002
+		  "    vlgvb %[R_TMP],%%v19,7\n\t"			\
8ae002
+		  /* Shorten to UTF-8.  */				\
8ae002
+		  "    vpkh %%v18,%%v16,%%v17\n\t"			\
8ae002
+		  "    ar %[R_TMP],%[R_TMP2]\n\t" /* Number of in bytes.  */ \
8ae002
+		  "    srlg %[R_TMP3],%[R_TMP],1\n\t" /* Number of out bytes.  */ \
8ae002
+		  "    ahik %[R_TMP2],%[R_TMP3],-1\n\t" /* Highest index to store.  */ \
8ae002
+		  "    jl 13f\n\t"					\
8ae002
+		  "    vstl %%v18,%[R_TMP2],0(%[R_OUT])\n\t"		\
8ae002
+		  /* Update pointers.  */				\
8ae002
+		  "    la %[R_IN],0(%[R_TMP],%[R_IN])\n\t"		\
8ae002
+		  "    slgr %[R_INLEN],%[R_TMP]\n\t"			\
8ae002
+		  "    la %[R_OUT],0(%[R_TMP3],%[R_OUT])\n\t"		\
8ae002
+		  "    slgr %[R_OUTLEN],%[R_TMP3]\n\t"			\
8ae002
+		  "13: \n\t"						\
8ae002
+		  /* Calculate remaining uint16_t values in loaded vrs.  */ \
8ae002
+		  "    lghi %[R_TMP2],16\n\t"				\
8ae002
+		  "    slgr %[R_TMP2],%[R_TMP3]\n\t"			\
8ae002
+		  "    llh %[R_TMP],0(%[R_IN])\n\t"			\
8ae002
+		  "    aghi %[R_INLEN],-2\n\t"				\
8ae002
+		  "    j 22f\n\t"					\
8ae002
+		  /* Handle remaining bytes.  */			\
8ae002
+		  "2:  \n\t"						\
8ae002
+		  /* Zero, one or more bytes available?  */		\
8ae002
+		  "    clgfi %[R_INLEN],1\n\t"				\
8ae002
+		  "    locghie %[R_RES],%[RES_IN_FULL]\n\t" /* Only one byte.  */ \
8ae002
+		  "    jle 99f\n\t" /* End if less than two bytes.  */	\
8ae002
+		  /* Calculate remaining uint16_t values in inptr.  */	\
8ae002
+		  "    srlg %[R_TMP2],%[R_INLEN],1\n\t"			\
8ae002
+		  /* Handle multibyte utf8-char. */			\
8ae002
+		  "20: llh %[R_TMP],0(%[R_IN])\n\t"			\
8ae002
+		  "    aghi %[R_INLEN],-2\n\t"				\
8ae002
+		  /* Test if ch is 1-byte UTF-8 char.  */		\
8ae002
+		  "21: clijh %[R_TMP],0x7f,22f\n\t"			\
8ae002
+		  /* Handle 1-byte UTF-8 char.  */			\
8ae002
+		  "31: slgfi %[R_OUTLEN],1\n\t"				\
8ae002
+		  "    jl 90f \n\t"					\
8ae002
+		  "    stc %[R_TMP],0(%[R_OUT])\n\t"			\
8ae002
+		  "    la %[R_IN],2(%[R_IN])\n\t"			\
8ae002
+		  "    la %[R_OUT],1(%[R_OUT])\n\t"			\
8ae002
+		  "    brctg %[R_TMP2],20b\n\t"				\
8ae002
+		  "    j 0b\n\t" /* Switch to vx-loop.  */		\
8ae002
+		  /* Test if ch is 2-byte UTF-8 char.  */		\
8ae002
+		  "22: clfi %[R_TMP],0x7ff\n\t"				\
8ae002
+		  "    jh 23f\n\t"					\
8ae002
+		  /* Handle 2-byte UTF-8 char.  */			\
8ae002
+		  "32: slgfi %[R_OUTLEN],2\n\t"				\
8ae002
+		  "    jl 90f \n\t"					\
8ae002
+		  "    llill %[R_TMP3],0xc080\n\t"			\
8ae002
+		  "    la %[R_IN],2(%[R_IN])\n\t"			\
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],51,55,2\n\t" /* 1. byte.   */ \
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],58,63,0\n\t" /* 2. byte.   */ \
8ae002
+		  "    sth %[R_TMP3],0(%[R_OUT])\n\t"			\
8ae002
+		  "    la %[R_OUT],2(%[R_OUT])\n\t"			\
8ae002
+		  "    brctg %[R_TMP2],20b\n\t"				\
8ae002
+		  "    j 0b\n\t" /* Switch to vx-loop.  */		\
8ae002
+		  /* Test if ch is 3-byte UTF-8 char.  */		\
8ae002
+		  "23: clfi %[R_TMP],0xd7ff\n\t"			\
8ae002
+		  "    jh 24f\n\t"					\
8ae002
+		  /* Handle 3-byte UTF-8 char.  */			\
8ae002
+		  "33: slgfi %[R_OUTLEN],3\n\t"				\
8ae002
+		  "    jl 90f \n\t"					\
8ae002
+		  "    llilf %[R_TMP3],0xe08080\n\t"			\
8ae002
+		  "    la %[R_IN],2(%[R_IN])\n\t"			\
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],44,47,4\n\t" /* 1. byte.  */ \
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],50,55,2\n\t" /* 2. byte.  */ \
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],58,63,0\n\t" /* 3. byte.  */ \
8ae002
+		  "    stcm %[R_TMP3],7,0(%[R_OUT])\n\t"		\
8ae002
+		  "    la %[R_OUT],3(%[R_OUT])\n\t"			\
8ae002
+		  "    brctg %[R_TMP2],20b\n\t"				\
8ae002
+		  "    j 0b\n\t" /* Switch to vx-loop.  */		\
8ae002
+		  /* Test if ch is 4-byte UTF-8 char.  */		\
8ae002
+		  "24: clfi %[R_TMP],0xdfff\n\t"			\
8ae002
+		  "    jh 33b\n\t" /* Handle this 3-byte UTF-8 char.  */ \
8ae002
+		  "    clfi %[R_TMP],0xdbff\n\t"			\
8ae002
+		  "    locghih %[R_RES],%[RES_IN_ILL]\n\t"		\
8ae002
+		  "    jh 99f\n\t" /* Jump away if this is a low surrogate \
8ae002
+				      without a preceding high surrogate.  */ \
8ae002
+		  /* Handle 4-byte UTF-8 char.  */			\
8ae002
+		  "34: slgfi %[R_OUTLEN],4\n\t"				\
8ae002
+		  "    jl 90f \n\t"					\
8ae002
+		  "    slgfi %[R_INLEN],2\n\t"				\
8ae002
+		  "    locghil %[R_RES],%[RES_IN_FULL]\n\t"		\
8ae002
+		  "    jl 99f\n\t" /* Jump away if low surrogate is missing.  */ \
8ae002
+		  "    llilf %[R_TMP3],0xf0808080\n\t"			\
8ae002
+		  "    aghi %[R_TMP],0x40\n\t"				\
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],37,39,16\n\t" /* 1. byte: uvw  */ \
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],42,43,14\n\t" /* 2. byte: xy  */ \
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],44,47,14\n\t" /* 2. byte: efgh  */ \
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],50,51,12\n\t" /* 3. byte: ij */ \
8ae002
+		  "    llh %[R_TMP],2(%[R_IN])\n\t" /* Load low surrogate.  */ \
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],52,55,2\n\t" /* 3. byte: klmn  */ \
8ae002
+		  "    risbgn %[R_TMP3],%[R_TMP],58,63,0\n\t" /* 4. byte: opqrst  */ \
8ae002
+		  "    nilf %[R_TMP],0xfc00\n\t"			\
8ae002
+		  "    clfi %[R_TMP],0xdc00\n\t" /* Check if it starts with 0xdc00.  */ \
8ae002
+		  "    locghine %[R_RES],%[RES_IN_ILL]\n\t"		\
8ae002
+		  "    jne 99f\n\t" /* Jump away if low surrogate is invalid.  */ \
8ae002
+		  "    st %[R_TMP3],0(%[R_OUT])\n\t"			\
8ae002
+		  "    la %[R_IN],4(%[R_IN])\n\t"			\
8ae002
+		  "    la %[R_OUT],4(%[R_OUT])\n\t"			\
8ae002
+		  "    aghi %[R_TMP2],-2\n\t"				\
8ae002
+		  "    jh 20b\n\t"					\
8ae002
+		  "    j 0b\n\t" /* Switch to vx-loop.  */		\
8ae002
+		  /* Exit with __GCONV_FULL_OUTPUT.  */			\
8ae002
+		  "90: lghi %[R_RES],%[RES_OUT_FULL]\n\t"		\
8ae002
+		  "99: \n\t"						\
8ae002
+		  ".machine pop"					\
8ae002
+		  : /* outputs */ [R_IN] "+a" (inptr)			\
8ae002
+		    , [R_INLEN] "+d" (inlen), [R_OUT] "+a" (outptr)	\
8ae002
+		    , [R_OUTLEN] "+d" (outlen), [R_TMP] "=a" (tmp)	\
8ae002
+		    , [R_TMP2] "=d" (tmp2), [R_TMP3] "=a" (tmp3)	\
8ae002
+		    , [R_RES] "+d" (result)				\
8ae002
+		  : /* inputs */					\
8ae002
+		    [RES_OUT_FULL] "i" (__GCONV_FULL_OUTPUT)		\
8ae002
+		    , [RES_IN_ILL] "i" (__GCONV_ILLEGAL_INPUT)		\
8ae002
+		    , [RES_IN_FULL] "i" (__GCONV_INCOMPLETE_INPUT)	\
8ae002
+		  : /* clobber list */ "memory", "cc"			\
8ae002
+		    ASM_CLOBBER_VR ("v16") ASM_CLOBBER_VR ("v17")	\
8ae002
+		    ASM_CLOBBER_VR ("v18") ASM_CLOBBER_VR ("v19")	\
8ae002
+		    ASM_CLOBBER_VR ("v30") ASM_CLOBBER_VR ("v31")	\
8ae002
+		  );							\
8ae002
+    if (__glibc_likely (inptr == inend)					\
8ae002
+	|| result != __GCONV_ILLEGAL_INPUT)				\
8ae002
+      break;								\
8ae002
+									\
8ae002
+    STANDARD_TO_LOOP_ERR_HANDLER (2);					\
8ae002
+  }
8ae002
+
8ae002
+/* Generate loop-function with software implementation.  */
8ae002
+#define MIN_NEEDED_INPUT	MIN_NEEDED_TO
8ae002
+#define MAX_NEEDED_INPUT	MAX_NEEDED_TO
8ae002
+#define MIN_NEEDED_OUTPUT	MIN_NEEDED_FROM
8ae002
+#define MAX_NEEDED_OUTPUT	MAX_NEEDED_FROM
8ae002
+#if defined HAVE_S390_VX_ASM_SUPPORT
8ae002
+# define LOOPFCT		__to_utf8_loop_c
8ae002
+# define BODY                   BODY_TO_C
8ae002
+# define LOOP_NEED_FLAGS
8ae002
+# include <iconv/loop.c>
8ae002
+
8ae002
+/* Generate loop-function with software implementation.  */
8ae002
+# define MIN_NEEDED_INPUT	MIN_NEEDED_TO
8ae002
+# define MAX_NEEDED_INPUT	MAX_NEEDED_TO
8ae002
+# define MIN_NEEDED_OUTPUT	MIN_NEEDED_FROM
8ae002
+# define MAX_NEEDED_OUTPUT	MAX_NEEDED_FROM
8ae002
+# define LOOPFCT		__to_utf8_loop_vx
8ae002
+# define BODY                   BODY_TO_VX
8ae002
+# define LOOP_NEED_FLAGS
8ae002
+# include <iconv/loop.c>
8ae002
+
8ae002
+/* Generate ifunc'ed loop function.  */
8ae002
+__typeof(__to_utf8_loop_c)
8ae002
+__attribute__ ((ifunc ("__to_utf8_loop_resolver")))
8ae002
+__to_utf8_loop;
8ae002
+
8ae002
+static void *
8ae002
+__to_utf8_loop_resolver (unsigned long int dl_hwcap)
8ae002
+{
8ae002
+  if (dl_hwcap & HWCAP_S390_VX)
8ae002
+    return __to_utf8_loop_vx;
8ae002
+  else
8ae002
+    return __to_utf8_loop_c;
8ae002
+}
8ae002
+
8ae002
+strong_alias (__to_utf8_loop_c_single, __to_utf8_loop_single)
8ae002
+
8ae002
+#else
8ae002
+# define LOOPFCT		TO_LOOP
8ae002
+# define BODY                   BODY_TO_C
8ae002
+# define LOOP_NEED_FLAGS
8ae002
+# include <iconv/loop.c>
8ae002
+#endif /* !HAVE_S390_VX_ASM_SUPPORT  */
8ae002
 
8ae002
 #include <iconv/skeleton.c>
8ae002
-- 
8ae002
1.8.3.1
8ae002