|
 |
8ae002 |
From cddea07761373ce92dc75e8306212d71fa2043ba Mon Sep 17 00:00:00 2001
|
|
|
8ae002 |
From: Stefan Liebler <stli@linux.vnet.ibm.com>
|
|
|
8ae002 |
Date: Mon, 7 Nov 2016 17:18:39 +0100
|
|
|
8ae002 |
Subject: [PATCH 15/17] S390: Fix utf32 to utf16 handling of low surrogates
|
|
|
8ae002 |
(disable cu42).
|
|
|
8ae002 |
|
|
|
8ae002 |
Upstream commit a42a95c43133d69b1108f582cffa0f6986a9c3da
|
|
|
8ae002 |
|
|
|
8ae002 |
According to the latest Unicode standard, a conversion from/to UTF-xx has
|
|
|
8ae002 |
to report an error if the character value is in range of an utf16 surrogate
|
|
|
8ae002 |
(0xd800..0xdfff). See https://sourceware.org/ml/libc-help/2015-12/msg00015.html.
|
|
|
8ae002 |
|
|
|
8ae002 |
Thus the cu42 instruction, which converts from utf32 to utf16, has to be
|
|
|
8ae002 |
disabled because it does not report an error in case of a value in range of
|
|
|
8ae002 |
a low surrogate (0xdc00..0xdfff). The etf3eh variant is removed and the c,
|
|
|
8ae002 |
vector variant is adjusted to handle the value in range of an utf16 low
|
|
|
8ae002 |
surrogate correctly.
|
|
|
8ae002 |
|
|
|
8ae002 |
ChangeLog:
|
|
|
8ae002 |
|
|
|
8ae002 |
* sysdeps/s390/utf16-utf32-z9.c: Disable cu42 instruction and report
|
|
|
8ae002 |
an error in case of a value in range of an utf16 low surrogate.
|
|
|
8ae002 |
---
|
|
|
8ae002 |
sysdeps/s390/utf16-utf32-z9.c | 155 +++++++++++++++++-------------------------
|
|
|
8ae002 |
1 file changed, 62 insertions(+), 93 deletions(-)
|
|
|
8ae002 |
|
|
|
8ae002 |
diff --git a/sysdeps/s390/utf16-utf32-z9.c b/sysdeps/s390/utf16-utf32-z9.c
|
|
|
8ae002 |
index 8d42ab8..5d2ac44 100644
|
|
|
8ae002 |
--- a/sysdeps/s390/utf16-utf32-z9.c
|
|
|
8ae002 |
+++ b/sysdeps/s390/utf16-utf32-z9.c
|
|
|
8ae002 |
@@ -145,42 +145,6 @@ gconv_end (struct __gconv_step *data)
|
|
|
8ae002 |
free (data->__data);
|
|
|
8ae002 |
}
|
|
|
8ae002 |
|
|
|
8ae002 |
-/* The macro for the hardware loop. This is used for both
|
|
|
8ae002 |
- directions. */
|
|
|
8ae002 |
-#define HARDWARE_CONVERT(INSTRUCTION) \
|
|
|
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 cc = 0; \
|
|
|
8ae002 |
- \
|
|
|
8ae002 |
- __asm__ __volatile__ (".machine push \n\t" \
|
|
|
8ae002 |
- ".machine \"z9-109\" \n\t" \
|
|
|
8ae002 |
- ".machinemode \"zarch_nohighgprs\"\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 |
- cc >>= 28; \
|
|
|
8ae002 |
- \
|
|
|
8ae002 |
- if (cc == 1) \
|
|
|
8ae002 |
- { \
|
|
|
8ae002 |
- result = __GCONV_FULL_OUTPUT; \
|
|
|
8ae002 |
- } \
|
|
|
8ae002 |
- else if (cc == 2) \
|
|
|
8ae002 |
- { \
|
|
|
8ae002 |
- result = __GCONV_ILLEGAL_INPUT; \
|
|
|
8ae002 |
- } \
|
|
|
8ae002 |
- }
|
|
|
8ae002 |
-
|
|
|
8ae002 |
#define PREPARE_LOOP \
|
|
|
8ae002 |
enum direction dir = ((struct utf16_data *) step->__data)->dir; \
|
|
|
8ae002 |
int emit_bom = ((struct utf16_data *) step->__data)->emit_bom; \
|
|
|
8ae002 |
@@ -310,7 +274,7 @@ gconv_end (struct __gconv_step *data)
|
|
|
8ae002 |
" slgr %[R_OUTLEN],%[R_TMP3]\n\t" \
|
|
|
8ae002 |
/* Calculate remaining uint16_t values in loaded vrs. */ \
|
|
|
8ae002 |
"12: lghi %[R_TMP2],16\n\t" \
|
|
|
8ae002 |
- " sgr %[R_TMP2],%[R_TMP]\n\t" \
|
|
|
8ae002 |
+ " slgr %[R_TMP2],%[R_TMP]\n\t" \
|
|
|
8ae002 |
" srl %[R_TMP2],1\n\t" \
|
|
|
8ae002 |
" llh %[R_TMP],0(%[R_IN])\n\t" \
|
|
|
8ae002 |
" aghi %[R_OUTLEN],-4\n\t" \
|
|
|
8ae002 |
@@ -437,7 +401,7 @@ strong_alias (__from_utf16_loop_c_single, __from_utf16_loop_single)
|
|
|
8ae002 |
uint32_t c = get32 (inptr); \
|
|
|
8ae002 |
\
|
|
|
8ae002 |
if (__builtin_expect (c <= 0xd7ff, 1) \
|
|
|
8ae002 |
- || (c >=0xdc00 && c <= 0xffff)) \
|
|
|
8ae002 |
+ || (c > 0xdfff && c <= 0xffff)) \
|
|
|
8ae002 |
{ \
|
|
|
8ae002 |
/* Two UTF-16 chars. */ \
|
|
|
8ae002 |
put16 (outptr, c); \
|
|
|
8ae002 |
@@ -475,29 +439,10 @@ strong_alias (__from_utf16_loop_c_single, __from_utf16_loop_single)
|
|
|
8ae002 |
inptr += 4; \
|
|
|
8ae002 |
}
|
|
|
8ae002 |
|
|
|
8ae002 |
-#define BODY_TO_ETF3EH \
|
|
|
8ae002 |
- { \
|
|
|
8ae002 |
- HARDWARE_CONVERT ("cu42 %0, %1"); \
|
|
|
8ae002 |
- \
|
|
|
8ae002 |
- if (__glibc_likely (inptr == inend) \
|
|
|
8ae002 |
- || result == __GCONV_FULL_OUTPUT) \
|
|
|
8ae002 |
- break; \
|
|
|
8ae002 |
- \
|
|
|
8ae002 |
- if (inptr + 4 > inend) \
|
|
|
8ae002 |
- { \
|
|
|
8ae002 |
- result = __GCONV_INCOMPLETE_INPUT; \
|
|
|
8ae002 |
- break; \
|
|
|
8ae002 |
- } \
|
|
|
8ae002 |
- \
|
|
|
8ae002 |
- STANDARD_TO_LOOP_ERR_HANDLER (4); \
|
|
|
8ae002 |
- }
|
|
|
8ae002 |
-
|
|
|
8ae002 |
#define BODY_TO_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 |
+ 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 |
@@ -509,8 +454,8 @@ strong_alias (__from_utf16_loop_c_single, __from_utf16_loop_single)
|
|
|
8ae002 |
CONVERT_32BIT_SIZE_T ([R_OUTLEN]) \
|
|
|
8ae002 |
/* Loop which handles UTF-16 chars \
|
|
|
8ae002 |
ch < 0xd800 || (ch > 0xdfff && ch < 0x10000). */ \
|
|
|
8ae002 |
- "0: clgijl %[R_INLEN],32,20f\n\t" \
|
|
|
8ae002 |
- " clgijl %[R_OUTLEN],16,20f\n\t" \
|
|
|
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 |
/* Shorten to UTF-16. */ \
|
|
|
8ae002 |
@@ -526,9 +471,15 @@ strong_alias (__from_utf16_loop_c_single, __from_utf16_loop_single)
|
|
|
8ae002 |
" aghi %[R_INLEN],-32\n\t" \
|
|
|
8ae002 |
" aghi %[R_OUTLEN],-16\n\t" \
|
|
|
8ae002 |
" la %[R_OUT],16(%[R_OUT])\n\t" \
|
|
|
8ae002 |
- " clgijl %[R_INLEN],32,20f\n\t" \
|
|
|
8ae002 |
- " clgijl %[R_OUTLEN],16,20f\n\t" \
|
|
|
8ae002 |
+ " clgijl %[R_INLEN],32,2f\n\t" \
|
|
|
8ae002 |
+ " clgijl %[R_OUTLEN],16,2f\n\t" \
|
|
|
8ae002 |
" j 1b\n\t" \
|
|
|
8ae002 |
+ /* Calculate remaining uint32_t values in inptr. */ \
|
|
|
8ae002 |
+ "2: \n\t" \
|
|
|
8ae002 |
+ " clgije %[R_INLEN],0,99f\n\t" \
|
|
|
8ae002 |
+ " clgijl %[R_INLEN],4,92f\n\t" \
|
|
|
8ae002 |
+ " srlg %[R_TMP2],%[R_INLEN],2\n\t" \
|
|
|
8ae002 |
+ " j 20f\n\t" \
|
|
|
8ae002 |
/* Setup to check for ch >= 0xd800 && ch <= 0xdfff \
|
|
|
8ae002 |
and check for ch >= 0x10000. (v30, v31) */ \
|
|
|
8ae002 |
"9: .long 0xd800,0xdfff,0x10000,0x10000\n\t" \
|
|
|
8ae002 |
@@ -540,21 +491,59 @@ strong_alias (__from_utf16_loop_c_single, __from_utf16_loop_single)
|
|
|
8ae002 |
" agr %[R_TMP],%[R_TMP2]\n\t" \
|
|
|
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 20f\n\t" \
|
|
|
8ae002 |
+ " jl 12f\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 |
- /* Handles UTF16 surrogates with convert instruction. */ \
|
|
|
8ae002 |
- "20: cu42 %[R_OUT],%[R_IN]\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 |
+ /* Calculate remaining uint32_t values in vrs. */ \
|
|
|
8ae002 |
+ "12: lghi %[R_TMP2],8\n\t" \
|
|
|
8ae002 |
+ " srlg %[R_TMP3],%[R_TMP3],1\n\t" \
|
|
|
8ae002 |
+ " slgr %[R_TMP2],%[R_TMP3]\n\t" \
|
|
|
8ae002 |
+ /* Handle remaining UTF-32 characters. */ \
|
|
|
8ae002 |
+ "20: l %[R_TMP],0(%[R_IN])\n\t" \
|
|
|
8ae002 |
+ " aghi %[R_INLEN],-4\n\t" \
|
|
|
8ae002 |
+ /* Test if ch is 2byte UTF-16 char. */ \
|
|
|
8ae002 |
+ " clfi %[R_TMP],0xffff\n\t" \
|
|
|
8ae002 |
+ " jh 21f\n\t" \
|
|
|
8ae002 |
+ /* Handle 2 byte UTF16 char. */ \
|
|
|
8ae002 |
+ " lgr %[R_TMP3],%[R_TMP]\n\t" \
|
|
|
8ae002 |
+ " nilf %[R_TMP],0xf800\n\t" \
|
|
|
8ae002 |
+ " clfi %[R_TMP],0xd800\n\t" \
|
|
|
8ae002 |
+ " je 91f\n\t" /* Do not accept UTF-16 surrogates. */ \
|
|
|
8ae002 |
+ " slgfi %[R_OUTLEN],2\n\t" \
|
|
|
8ae002 |
+ " jl 90f \n\t" \
|
|
|
8ae002 |
+ " sth %[R_TMP3],0(%[R_OUT])\n\t" \
|
|
|
8ae002 |
+ " la %[R_IN],4(%[R_IN])\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 4byte UTF-16 char. */ \
|
|
|
8ae002 |
+ "21: clfi %[R_TMP],0x10ffff\n\t" \
|
|
|
8ae002 |
+ " jh 91f\n\t" /* ch > 0x10ffff is not allowed! */ \
|
|
|
8ae002 |
+ /* Handle 4 byte UTF16 char. */ \
|
|
|
8ae002 |
+ " slgfi %[R_OUTLEN],4\n\t" \
|
|
|
8ae002 |
+ " jl 90f \n\t" \
|
|
|
8ae002 |
+ " slfi %[R_TMP],0x10000\n\t" /* zabcd = uvwxy - 1. */ \
|
|
|
8ae002 |
+ " llilf %[R_TMP3],0xd800dc00\n\t" \
|
|
|
8ae002 |
+ " la %[R_IN],4(%[R_IN])\n\t" \
|
|
|
8ae002 |
+ " risbgn %[R_TMP3],%[R_TMP],38,47,6\n\t" /* High surrogate. */ \
|
|
|
8ae002 |
+ " risbgn %[R_TMP3],%[R_TMP],54,63,0\n\t" /* Low surrogate. */ \
|
|
|
8ae002 |
+ " st %[R_TMP3],0(%[R_OUT])\n\t" \
|
|
|
8ae002 |
+ " la %[R_OUT],4(%[R_OUT])\n\t" \
|
|
|
8ae002 |
+ " brctg %[R_TMP2],20b\n\t" \
|
|
|
8ae002 |
+ " j 0b\n\t" /* Switch to vx-loop. */ \
|
|
|
8ae002 |
+ "92: lghi %[R_RES],%[RES_IN_FULL]\n\t" \
|
|
|
8ae002 |
+ " j 99f\n\t" \
|
|
|
8ae002 |
+ "91: lghi %[R_RES],%[RES_IN_ILL]\n\t" \
|
|
|
8ae002 |
+ " j 99f\n\t" \
|
|
|
8ae002 |
+ "90: lghi %[R_RES],%[RES_OUT_FULL]\n\t" \
|
|
|
8ae002 |
+ "99: \n\t" \
|
|
|
8ae002 |
".machine pop" \
|
|
|
8ae002 |
- : /* outputs */ [R_IN] "+a" (pInput) \
|
|
|
8ae002 |
- , [R_INLEN] "+d" (inlen), [R_OUT] "+a" (pOutput) \
|
|
|
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 |
@@ -567,17 +556,10 @@ strong_alias (__from_utf16_loop_c_single, __from_utf16_loop_single)
|
|
|
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 |
if (__glibc_likely (inptr == inend) \
|
|
|
8ae002 |
- || result == __GCONV_FULL_OUTPUT) \
|
|
|
8ae002 |
+ || result != __GCONV_ILLEGAL_INPUT) \
|
|
|
8ae002 |
break; \
|
|
|
8ae002 |
- if (inptr + 4 > inend) \
|
|
|
8ae002 |
- { \
|
|
|
8ae002 |
- result = __GCONV_INCOMPLETE_INPUT; \
|
|
|
8ae002 |
- break; \
|
|
|
8ae002 |
- } \
|
|
|
8ae002 |
+ \
|
|
|
8ae002 |
STANDARD_TO_LOOP_ERR_HANDLER (4); \
|
|
|
8ae002 |
}
|
|
|
8ae002 |
|
|
|
8ae002 |
@@ -590,15 +572,6 @@ strong_alias (__from_utf16_loop_c_single, __from_utf16_loop_single)
|
|
|
8ae002 |
#define BODY BODY_TO_C
|
|
|
8ae002 |
#include <iconv/loop.c>
|
|
|
8ae002 |
|
|
|
8ae002 |
-/* Generate loop-function with hardware utf-convert instruction. */
|
|
|
8ae002 |
-#define MIN_NEEDED_INPUT MIN_NEEDED_TO
|
|
|
8ae002 |
-#define MIN_NEEDED_OUTPUT MIN_NEEDED_FROM
|
|
|
8ae002 |
-#define MAX_NEEDED_OUTPUT MAX_NEEDED_FROM
|
|
|
8ae002 |
-#define LOOPFCT __to_utf16_loop_etf3eh
|
|
|
8ae002 |
-#define LOOP_NEED_FLAGS
|
|
|
8ae002 |
-#define BODY BODY_TO_ETF3EH
|
|
|
8ae002 |
-#include <iconv/loop.c>
|
|
|
8ae002 |
-
|
|
|
8ae002 |
#if defined HAVE_S390_VX_ASM_SUPPORT
|
|
|
8ae002 |
/* Generate loop-function with hardware vector instructions. */
|
|
|
8ae002 |
# define MIN_NEEDED_INPUT MIN_NEEDED_TO
|
|
|
8ae002 |
@@ -623,10 +596,6 @@ __to_utf16_loop_resolver (unsigned long int dl_hwcap)
|
|
|
8ae002 |
return __to_utf16_loop_vx;
|
|
|
8ae002 |
else
|
|
|
8ae002 |
#endif
|
|
|
8ae002 |
- if (dl_hwcap & HWCAP_S390_ZARCH && dl_hwcap & HWCAP_S390_HIGH_GPRS
|
|
|
8ae002 |
- && dl_hwcap & HWCAP_S390_ETF3EH)
|
|
|
8ae002 |
- return __to_utf16_loop_etf3eh;
|
|
|
8ae002 |
- else
|
|
|
8ae002 |
return __to_utf16_loop_c;
|
|
|
8ae002 |
}
|
|
|
8ae002 |
|
|
|
8ae002 |
--
|
|
|
8ae002 |
1.8.3.1
|
|
|
8ae002 |
|