Commit 0931ce84 authored by Mike Frysinger's avatar Mike Frysinger Committed by Bryan Wu

Blackfin arch: fix some bugs in lib/string.h functions found by our string testing modules

 - use ints for the return value rather than char since we actually return
   an int and we dont want it improperly being sign extended during the reload
   http://blackfin.uclinux.org/gf/project/uclinux-dist/tracker/?action=TrackerItemEdit&tracker_item_id=3525

 - if src is shorter than the requested number of copy bytes, we need to null
   pad the rest
   http://blackfin.uclinux.org/gf/project/uclinux-dist/tracker/?action=TrackerItemEdit&tracker_item_id=3524

 - mark these as __volatile__ and add memory to the clobber list so gcc does
   not optimize buffers around on us we may be using

 - rewrite asm code to be readable/maintainable
Signed-off-by: default avatarMike Frysinger <michael.frysinger@analog.com>
Signed-off-by: default avatarBryan Wu <bryan.wu@analog.com>
parent e62687f9
...@@ -9,13 +9,16 @@ extern inline char *strcpy(char *dest, const char *src) ...@@ -9,13 +9,16 @@ extern inline char *strcpy(char *dest, const char *src)
char *xdest = dest; char *xdest = dest;
char temp = 0; char temp = 0;
__asm__ __volatile__ __asm__ __volatile__ (
("1:\t%2 = B [%1++] (Z);\n\t" "1:"
"B [%0++] = %2;\n\t" "%2 = B [%1++] (Z);"
"CC = %2;\n\t" "B [%0++] = %2;"
"if cc jump 1b (bp);\n" "CC = %2;"
: "+&a" (dest), "+&a" (src), "=&d" (temp) "if cc jump 1b (bp);"
::"memory", "CC"); : "+&a" (dest), "+&a" (src), "=&d" (temp)
:
: "memory", "CC");
return xdest; return xdest;
} }
...@@ -28,37 +31,56 @@ extern inline char *strncpy(char *dest, const char *src, size_t n) ...@@ -28,37 +31,56 @@ extern inline char *strncpy(char *dest, const char *src, size_t n)
if (n == 0) if (n == 0)
return xdest; return xdest;
__asm__ __volatile__ __asm__ __volatile__ (
("1:\t%3 = B [%1++] (Z);\n\t" "1:"
"B [%0++] = %3;\n\t" "%3 = B [%1++] (Z);"
"CC = %3;\n\t" "B [%0++] = %3;"
"if ! cc jump 2f;\n\t" "CC = %3;"
"%2 += -1;\n\t" "if ! cc jump 2f;"
"CC = %2 == 0;\n\t" "%2 += -1;"
"if ! cc jump 1b (bp);\n" "CC = %2 == 0;"
"2:\n" "if ! cc jump 1b (bp);"
: "+&a" (dest), "+&a" (src), "+&da" (n), "=&d" (temp) "jump 4f;"
::"memory", "CC"); "2:"
/* if src is shorter than n, we need to null pad bytes now */
"%3 = 0;"
"3:"
"%2 += -1;"
"CC = %2 == 0;"
"if cc jump 4f;"
"B [%0++] = %3;"
"jump 3b;"
"4:"
: "+&a" (dest), "+&a" (src), "+&da" (n), "=&d" (temp)
:
: "memory", "CC");
return xdest; return xdest;
} }
#define __HAVE_ARCH_STRCMP #define __HAVE_ARCH_STRCMP
extern inline int strcmp(const char *cs, const char *ct) extern inline int strcmp(const char *cs, const char *ct)
{ {
char __res1, __res2; /* need to use int's here so the char's in the assembly don't get
* sign extended incorrectly when we don't want them to be
__asm__ */
("1:\t%2 = B[%0++] (Z);\n\t" /* get *cs */ int __res1, __res2;
"%3 = B[%1++] (Z);\n\t" /* get *ct */
"CC = %2 == %3;\n\t" /* compare a byte */ __asm__ __volatile__ (
"if ! cc jump 2f;\n\t" /* not equal, break out */ "1:"
"CC = %2;\n\t" /* at end of cs? */ "%2 = B[%0++] (Z);" /* get *cs */
"if cc jump 1b (bp);\n\t" /* no, keep going */ "%3 = B[%1++] (Z);" /* get *ct */
"jump.s 3f;\n" /* strings are equal */ "CC = %2 == %3;" /* compare a byte */
"2:\t%2 = %2 - %3;\n" /* *cs - *ct */ "if ! cc jump 2f;" /* not equal, break out */
"3:\n" "CC = %2;" /* at end of cs? */
: "+&a" (cs), "+&a" (ct), "=&d" (__res1), "=&d" (__res2) "if cc jump 1b (bp);" /* no, keep going */
: : "CC"); "jump.s 3f;" /* strings are equal */
"2:"
"%2 = %2 - %3;" /* *cs - *ct */
"3:"
: "+&a" (cs), "+&a" (ct), "=&d" (__res1), "=&d" (__res2)
:
: "memory", "CC");
return __res1; return __res1;
} }
...@@ -66,26 +88,35 @@ extern inline int strcmp(const char *cs, const char *ct) ...@@ -66,26 +88,35 @@ extern inline int strcmp(const char *cs, const char *ct)
#define __HAVE_ARCH_STRNCMP #define __HAVE_ARCH_STRNCMP
extern inline int strncmp(const char *cs, const char *ct, size_t count) extern inline int strncmp(const char *cs, const char *ct, size_t count)
{ {
char __res1, __res2; /* need to use int's here so the char's in the assembly don't get
* sign extended incorrectly when we don't want them to be
*/
int __res1, __res2;
if (!count) if (!count)
return 0; return 0;
__asm__
("1:\t%3 = B[%0++] (Z);\n\t" /* get *cs */ __asm__ __volatile__ (
"%4 = B[%1++] (Z);\n\t" /* get *ct */ "1:"
"CC = %3 == %4;\n\t" /* compare a byte */ "%3 = B[%0++] (Z);" /* get *cs */
"if ! cc jump 3f;\n\t" /* not equal, break out */ "%4 = B[%1++] (Z);" /* get *ct */
"CC = %3;\n\t" /* at end of cs? */ "CC = %3 == %4;" /* compare a byte */
"if ! cc jump 4f;\n\t" /* yes, all done */ "if ! cc jump 3f;" /* not equal, break out */
"%2 += -1;\n\t" /* no, adjust count */ "CC = %3;" /* at end of cs? */
"CC = %2 == 0;\n\t" "if ! cc jump 4f;" /* yes, all done */
"if ! cc jump 1b;\n" /* more to do, keep going */ "%2 += -1;" /* no, adjust count */
"2:\t%3 = 0;\n\t" /* strings are equal */ "CC = %2 == 0;"
"jump.s 4f;\n" "if ! cc jump 1b;" /* more to do, keep going */
"3:\t%3 = %3 - %4;\n" /* *cs - *ct */ "2:"
"4:" "%3 = 0;" /* strings are equal */
: "+&a" (cs), "+&a" (ct), "+&da" (count), "=&d" (__res1), "=&d" (__res2) "jump.s 4f;"
: : "CC"); "3:"
"%3 = %3 - %4;" /* *cs - *ct */
"4:"
: "+&a" (cs), "+&a" (ct), "+&da" (count), "=&d" (__res1), "=&d" (__res2)
:
: "memory", "CC");
return __res1; return __res1;
} }
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment