1/* Copyright (C) 2003 Free Software Foundation. 2 3 Ensure that builtin mempcpy and stpcpy perform correctly. 4 5 Written by Jakub Jelinek, 21/05/2003. */ 6 7extern void abort (void); 8typedef __SIZE_TYPE__ size_t; 9extern void *mempcpy (void *, const void *, size_t); 10extern int memcmp (const void *, const void *, size_t); 11extern int inside_main; 12 13long buf1[64]; 14char *buf2 = (char *) (buf1 + 32); 15long buf5[20]; 16char buf7[20]; 17 18void 19__attribute__((noinline)) 20test (long *buf3, char *buf4, char *buf6, int n) 21{ 22 int i = 0; 23 24 /* These should probably be handled by store_by_pieces on most arches. */ 25 if (mempcpy (buf1, "ABCDEFGHI", 9) != (char *) buf1 + 9 26 || memcmp (buf1, "ABCDEFGHI\0", 11)) 27 abort (); 28 29 if (mempcpy (buf1, "abcdefghijklmnopq", 17) != (char *) buf1 + 17 30 || memcmp (buf1, "abcdefghijklmnopq\0", 19)) 31 abort (); 32 33 if (__builtin_mempcpy (buf3, "ABCDEF", 6) != (char *) buf1 + 6 34 || memcmp (buf1, "ABCDEFghijklmnopq\0", 19)) 35 abort (); 36 37 if (__builtin_mempcpy (buf3, "a", 1) != (char *) buf1 + 1 38 || memcmp (buf1, "aBCDEFghijklmnopq\0", 19)) 39 abort (); 40 41 if (mempcpy ((char *) buf3 + 2, "bcd" + ++i, 2) != (char *) buf1 + 4 42 || memcmp (buf1, "aBcdEFghijklmnopq\0", 19) 43 || i != 1) 44 abort (); 45 46 /* These should probably be handled by move_by_pieces on most arches. */ 47 if (mempcpy ((char *) buf3 + 4, buf5, 6) != (char *) buf1 + 10 48 || memcmp (buf1, "aBcdRSTUVWklmnopq\0", 19)) 49 abort (); 50 51 if (__builtin_mempcpy ((char *) buf1 + ++i + 8, (char *) buf5 + 1, 1) 52 != (char *) buf1 + 11 53 || memcmp (buf1, "aBcdRSTUVWSlmnopq\0", 19) 54 || i != 2) 55 abort (); 56 57 if (mempcpy ((char *) buf3 + 14, buf6, 2) != (char *) buf1 + 16 58 || memcmp (buf1, "aBcdRSTUVWSlmnrsq\0", 19)) 59 abort (); 60 61 if (mempcpy (buf3, buf5, 8) != (char *) buf1 + 8 62 || memcmp (buf1, "RSTUVWXYVWSlmnrsq\0", 19)) 63 abort (); 64 65 if (mempcpy (buf3, buf5, 17) != (char *) buf1 + 17 66 || memcmp (buf1, "RSTUVWXYZ01234567\0", 19)) 67 abort (); 68 69 __builtin_memcpy (buf3, "aBcdEFghijklmnopq\0", 19); 70 71 /* These should be handled either by movmemendM or mempcpy 72 call. */ 73 if (mempcpy ((char *) buf3 + 4, buf5, n + 6) != (char *) buf1 + 10 74 || memcmp (buf1, "aBcdRSTUVWklmnopq\0", 19)) 75 abort (); 76 77 if (__builtin_mempcpy ((char *) buf1 + ++i + 8, (char *) buf5 + 1, n + 1) 78 != (char *) buf1 + 12 79 || memcmp (buf1, "aBcdRSTUVWkSmnopq\0", 19) 80 || i != 3) 81 abort (); 82 83 if (mempcpy ((char *) buf3 + 14, buf6, n + 2) != (char *) buf1 + 16 84 || memcmp (buf1, "aBcdRSTUVWkSmnrsq\0", 19)) 85 abort (); 86 87 i = 1; 88 89 /* These might be handled by store_by_pieces. */ 90 if (mempcpy (buf2, "ABCDEFGHI", 9) != buf2 + 9 91 || memcmp (buf2, "ABCDEFGHI\0", 11)) 92 abort (); 93 94 if (mempcpy (buf2, "abcdefghijklmnopq", 17) != buf2 + 17 95 || memcmp (buf2, "abcdefghijklmnopq\0", 19)) 96 abort (); 97 98 if (__builtin_mempcpy (buf4, "ABCDEF", 6) != buf2 + 6 99 || memcmp (buf2, "ABCDEFghijklmnopq\0", 19)) 100 abort (); 101 102 if (__builtin_mempcpy (buf4, "a", 1) != buf2 + 1 103 || memcmp (buf2, "aBCDEFghijklmnopq\0", 19)) 104 abort (); 105 106 if (mempcpy (buf4 + 2, "bcd" + i++, 2) != buf2 + 4 107 || memcmp (buf2, "aBcdEFghijklmnopq\0", 19) 108 || i != 2) 109 abort (); 110 111 /* These might be handled by move_by_pieces. */ 112 if (mempcpy (buf4 + 4, buf7, 6) != buf2 + 10 113 || memcmp (buf2, "aBcdRSTUVWklmnopq\0", 19)) 114 abort (); 115 116 if (__builtin_mempcpy (buf2 + i++ + 8, buf7 + 1, 1) 117 != buf2 + 11 118 || memcmp (buf2, "aBcdRSTUVWSlmnopq\0", 19) 119 || i != 3) 120 abort (); 121 122 if (mempcpy (buf4 + 14, buf6, 2) != buf2 + 16 123 || memcmp (buf2, "aBcdRSTUVWSlmnrsq\0", 19)) 124 abort (); 125 126 __builtin_memcpy (buf4, "aBcdEFghijklmnopq\0", 19); 127 128 /* These should be handled either by movmemendM or mempcpy 129 call. */ 130 if (mempcpy (buf4 + 4, buf7, n + 6) != buf2 + 10 131 || memcmp (buf2, "aBcdRSTUVWklmnopq\0", 19)) 132 abort (); 133 134 if (__builtin_mempcpy (buf2 + i++ + 8, buf7 + 1, n + 1) 135 != buf2 + 12 136 || memcmp (buf2, "aBcdRSTUVWkSmnopq\0", 19) 137 || i != 4) 138 abort (); 139 140 if (mempcpy (buf4 + 14, buf6, n + 2) != buf2 + 16 141 || memcmp (buf2, "aBcdRSTUVWkSmnrsq\0", 19)) 142 abort (); 143} 144 145void 146main_test (void) 147{ 148 /* All these tests are allowed to call mempcpy/stpcpy. */ 149 inside_main = 0; 150 __builtin_memcpy (buf5, "RSTUVWXYZ0123456789", 20); 151 __builtin_memcpy (buf7, "RSTUVWXYZ0123456789", 20); 152 test (buf1, buf2, "rstuvwxyz", 0); 153} 154