Mikael Starvik | 51533b6 | 2005-07-27 11:44:44 -0700 | [diff] [blame] | 1 | /* |
| 2 | * User address space access functions. |
| 3 | * The non-inlined parts of asm-cris/uaccess.h are here. |
| 4 | * |
| 5 | * Copyright (C) 2000, 2003 Axis Communications AB. |
| 6 | * |
| 7 | * Written by Hans-Peter Nilsson. |
| 8 | * Pieces used from memcpy, originally by Kenny Ranerup long time ago. |
| 9 | */ |
| 10 | |
| 11 | #include <asm/uaccess.h> |
| 12 | |
| 13 | /* Asm:s have been tweaked (within the domain of correctness) to give |
| 14 | satisfactory results for "gcc version 3.2.1 Axis release R53/1.53-v32". |
| 15 | |
| 16 | Check regularly... |
| 17 | |
| 18 | Note that for CRISv32, the PC saved at a bus-fault is the address |
| 19 | *at* the faulting instruction, with a special case for instructions |
| 20 | in delay slots: then it's the address of the branch. Note also that |
| 21 | in contrast to v10, a postincrement in the instruction is *not* |
| 22 | performed at a bus-fault; the register is seen having the original |
| 23 | value in fault handlers. */ |
| 24 | |
| 25 | |
| 26 | /* Copy to userspace. This is based on the memcpy used for |
| 27 | kernel-to-kernel copying; see "string.c". */ |
| 28 | |
| 29 | unsigned long |
| 30 | __copy_user (void __user *pdst, const void *psrc, unsigned long pn) |
| 31 | { |
| 32 | /* We want the parameters put in special registers. |
| 33 | Make sure the compiler is able to make something useful of this. |
| 34 | As it is now: r10 -> r13; r11 -> r11 (nop); r12 -> r12 (nop). |
| 35 | |
| 36 | FIXME: Comment for old gcc version. Check. |
Simon Arlott | 49b4ff3 | 2007-10-20 01:08:50 +0200 | [diff] [blame^] | 37 | If gcc was alright, it really would need no temporaries, and no |
Mikael Starvik | 51533b6 | 2005-07-27 11:44:44 -0700 | [diff] [blame] | 38 | stack space to save stuff on. */ |
| 39 | |
| 40 | register char *dst __asm__ ("r13") = pdst; |
| 41 | register const char *src __asm__ ("r11") = psrc; |
| 42 | register int n __asm__ ("r12") = pn; |
| 43 | register int retn __asm__ ("r10") = 0; |
| 44 | |
| 45 | |
| 46 | /* When src is aligned but not dst, this makes a few extra needless |
| 47 | cycles. I believe it would take as many to check that the |
| 48 | re-alignment was unnecessary. */ |
| 49 | if (((unsigned long) dst & 3) != 0 |
| 50 | /* Don't align if we wouldn't copy more than a few bytes; so we |
| 51 | don't have to check further for overflows. */ |
| 52 | && n >= 3) |
| 53 | { |
| 54 | if ((unsigned long) dst & 1) |
| 55 | { |
| 56 | __asm_copy_to_user_1 (dst, src, retn); |
| 57 | n--; |
| 58 | } |
| 59 | |
| 60 | if ((unsigned long) dst & 2) |
| 61 | { |
| 62 | __asm_copy_to_user_2 (dst, src, retn); |
| 63 | n -= 2; |
| 64 | } |
| 65 | } |
| 66 | |
| 67 | /* Movem is dirt cheap. The overheap is low enough to always use the |
| 68 | minimum possible block size as the threshold. */ |
| 69 | if (n >= 44) |
| 70 | { |
| 71 | /* For large copies we use 'movem'. */ |
| 72 | |
| 73 | /* It is not optimal to tell the compiler about clobbering any |
| 74 | registers; that will move the saving/restoring of those registers |
| 75 | to the function prologue/epilogue, and make non-movem sizes |
| 76 | suboptimal. */ |
| 77 | __asm__ volatile ("\ |
| 78 | ;; Check that the register asm declaration got right. \n\ |
| 79 | ;; The GCC manual explicitly says TRT will happen. \n\ |
| 80 | .ifnc %0%1%2%3,$r13$r11$r12$r10 \n\ |
| 81 | .err \n\ |
| 82 | .endif \n\ |
| 83 | \n\ |
| 84 | ;; Save the registers we'll use in the movem process \n\ |
| 85 | ;; on the stack. \n\ |
| 86 | subq 11*4,$sp \n\ |
| 87 | movem $r10,[$sp] \n\ |
| 88 | \n\ |
| 89 | ;; Now we've got this: \n\ |
| 90 | ;; r11 - src \n\ |
| 91 | ;; r13 - dst \n\ |
| 92 | ;; r12 - n \n\ |
| 93 | \n\ |
| 94 | ;; Update n for the first loop \n\ |
| 95 | subq 44,$r12 \n\ |
| 96 | 0: \n\ |
| 97 | movem [$r11+],$r10 \n\ |
| 98 | subq 44,$r12 \n\ |
| 99 | 1: bge 0b \n\ |
| 100 | movem $r10,[$r13+] \n\ |
| 101 | 3: \n\ |
| 102 | addq 44,$r12 ;; compensate for last loop underflowing n \n\ |
| 103 | \n\ |
| 104 | ;; Restore registers from stack \n\ |
| 105 | movem [$sp+],$r10 \n\ |
| 106 | 2: \n\ |
| 107 | .section .fixup,\"ax\" \n\ |
| 108 | 4: \n\ |
| 109 | ; When failing on any of the 1..44 bytes in a chunk, we adjust back the \n\ |
| 110 | ; source pointer and just drop through to the by-16 and by-4 loops to \n\ |
| 111 | ; get the correct number of failing bytes. This necessarily means a \n\ |
| 112 | ; few extra exceptions, but invalid user pointers shouldn't happen in \n\ |
| 113 | ; time-critical code anyway. \n\ |
| 114 | jump 3b \n\ |
| 115 | subq 44,$r11 \n\ |
| 116 | \n\ |
| 117 | .previous \n\ |
| 118 | .section __ex_table,\"a\" \n\ |
| 119 | .dword 1b,4b \n\ |
| 120 | .previous" |
| 121 | |
| 122 | /* Outputs */ : "=r" (dst), "=r" (src), "=r" (n), "=r" (retn) |
| 123 | /* Inputs */ : "0" (dst), "1" (src), "2" (n), "3" (retn)); |
| 124 | |
| 125 | } |
| 126 | |
| 127 | while (n >= 16) |
| 128 | { |
| 129 | __asm_copy_to_user_16 (dst, src, retn); |
| 130 | n -= 16; |
| 131 | } |
| 132 | |
| 133 | /* Having a separate by-four loops cuts down on cache footprint. |
| 134 | FIXME: Test with and without; increasing switch to be 0..15. */ |
| 135 | while (n >= 4) |
| 136 | { |
| 137 | __asm_copy_to_user_4 (dst, src, retn); |
| 138 | n -= 4; |
| 139 | } |
| 140 | |
| 141 | switch (n) |
| 142 | { |
| 143 | case 0: |
| 144 | break; |
| 145 | case 1: |
| 146 | __asm_copy_to_user_1 (dst, src, retn); |
| 147 | break; |
| 148 | case 2: |
| 149 | __asm_copy_to_user_2 (dst, src, retn); |
| 150 | break; |
| 151 | case 3: |
| 152 | __asm_copy_to_user_3 (dst, src, retn); |
| 153 | break; |
| 154 | } |
| 155 | |
| 156 | return retn; |
| 157 | } |
| 158 | |
| 159 | /* Copy from user to kernel, zeroing the bytes that were inaccessible in |
| 160 | userland. The return-value is the number of bytes that were |
| 161 | inaccessible. */ |
| 162 | |
| 163 | unsigned long |
| 164 | __copy_user_zeroing (void __user *pdst, const void *psrc, unsigned long pn) |
| 165 | { |
| 166 | /* We want the parameters put in special registers. |
| 167 | Make sure the compiler is able to make something useful of this. |
| 168 | As it is now: r10 -> r13; r11 -> r11 (nop); r12 -> r12 (nop). |
| 169 | |
| 170 | FIXME: Comment for old gcc version. Check. |
Simon Arlott | 49b4ff3 | 2007-10-20 01:08:50 +0200 | [diff] [blame^] | 171 | If gcc was alright, it really would need no temporaries, and no |
Mikael Starvik | 51533b6 | 2005-07-27 11:44:44 -0700 | [diff] [blame] | 172 | stack space to save stuff on. */ |
| 173 | |
| 174 | register char *dst __asm__ ("r13") = pdst; |
| 175 | register const char *src __asm__ ("r11") = psrc; |
| 176 | register int n __asm__ ("r12") = pn; |
| 177 | register int retn __asm__ ("r10") = 0; |
| 178 | |
| 179 | /* The best reason to align src is that we then know that a read-fault |
| 180 | was for aligned bytes; there's no 1..3 remaining good bytes to |
| 181 | pickle. */ |
| 182 | if (((unsigned long) src & 3) != 0) |
| 183 | { |
| 184 | if (((unsigned long) src & 1) && n != 0) |
| 185 | { |
| 186 | __asm_copy_from_user_1 (dst, src, retn); |
| 187 | n--; |
| 188 | } |
| 189 | |
| 190 | if (((unsigned long) src & 2) && n >= 2) |
| 191 | { |
| 192 | __asm_copy_from_user_2 (dst, src, retn); |
| 193 | n -= 2; |
| 194 | } |
| 195 | |
| 196 | /* We only need one check after the unalignment-adjustments, because |
| 197 | if both adjustments were done, either both or neither reference |
| 198 | had an exception. */ |
| 199 | if (retn != 0) |
| 200 | goto copy_exception_bytes; |
| 201 | } |
| 202 | |
| 203 | /* Movem is dirt cheap. The overheap is low enough to always use the |
| 204 | minimum possible block size as the threshold. */ |
| 205 | if (n >= 44) |
| 206 | { |
| 207 | /* It is not optimal to tell the compiler about clobbering any |
| 208 | registers; that will move the saving/restoring of those registers |
| 209 | to the function prologue/epilogue, and make non-movem sizes |
| 210 | suboptimal. */ |
| 211 | __asm__ volatile ("\ |
| 212 | .ifnc %0%1%2%3,$r13$r11$r12$r10 \n\ |
| 213 | .err \n\ |
| 214 | .endif \n\ |
| 215 | \n\ |
| 216 | ;; Save the registers we'll use in the movem process \n\ |
| 217 | ;; on the stack. \n\ |
| 218 | subq 11*4,$sp \n\ |
| 219 | movem $r10,[$sp] \n\ |
| 220 | \n\ |
| 221 | ;; Now we've got this: \n\ |
| 222 | ;; r11 - src \n\ |
| 223 | ;; r13 - dst \n\ |
| 224 | ;; r12 - n \n\ |
| 225 | \n\ |
| 226 | ;; Update n for the first loop \n\ |
| 227 | subq 44,$r12 \n\ |
| 228 | 0: \n\ |
| 229 | movem [$r11+],$r10 \n\ |
| 230 | \n\ |
| 231 | subq 44,$r12 \n\ |
| 232 | bge 0b \n\ |
| 233 | movem $r10,[$r13+] \n\ |
| 234 | \n\ |
| 235 | 4: \n\ |
| 236 | addq 44,$r12 ;; compensate for last loop underflowing n \n\ |
| 237 | \n\ |
| 238 | ;; Restore registers from stack \n\ |
| 239 | movem [$sp+],$r10 \n\ |
| 240 | .section .fixup,\"ax\" \n\ |
| 241 | \n\ |
| 242 | ;; Do not jump back into the loop if we fail. For some uses, we get a \n\ |
| 243 | ;; page fault somewhere on the line. Without checking for page limits, \n\ |
| 244 | ;; we don't know where, but we need to copy accurately and keep an \n\ |
| 245 | ;; accurate count; not just clear the whole line. To do that, we fall \n\ |
| 246 | ;; down in the code below, proceeding with smaller amounts. It should \n\ |
| 247 | ;; be kept in mind that we have to cater to code like what at one time \n\ |
| 248 | ;; was in fs/super.c: \n\ |
| 249 | ;; i = size - copy_from_user((void *)page, data, size); \n\ |
| 250 | ;; which would cause repeated faults while clearing the remainder of \n\ |
| 251 | ;; the SIZE bytes at PAGE after the first fault. \n\ |
| 252 | ;; A caveat here is that we must not fall through from a failing page \n\ |
| 253 | ;; to a valid page. \n\ |
| 254 | \n\ |
| 255 | 3: \n\ |
| 256 | jump 4b ;; Fall through, pretending the fault didn't happen. \n\ |
| 257 | nop \n\ |
| 258 | \n\ |
| 259 | .previous \n\ |
| 260 | .section __ex_table,\"a\" \n\ |
| 261 | .dword 0b,3b \n\ |
| 262 | .previous" |
| 263 | |
| 264 | /* Outputs */ : "=r" (dst), "=r" (src), "=r" (n), "=r" (retn) |
| 265 | /* Inputs */ : "0" (dst), "1" (src), "2" (n), "3" (retn)); |
| 266 | } |
| 267 | |
| 268 | /* Either we directly start copying here, using dword copying in a loop, |
| 269 | or we copy as much as possible with 'movem' and then the last block |
| 270 | (<44 bytes) is copied here. This will work since 'movem' will have |
| 271 | updated src, dst and n. (Except with failing src.) |
| 272 | |
| 273 | Since we want to keep src accurate, we can't use |
| 274 | __asm_copy_from_user_N with N != (1, 2, 4); it updates dst and |
| 275 | retn, but not src (by design; it's value is ignored elsewhere). */ |
| 276 | |
| 277 | while (n >= 4) |
| 278 | { |
| 279 | __asm_copy_from_user_4 (dst, src, retn); |
| 280 | n -= 4; |
| 281 | |
| 282 | if (retn) |
| 283 | goto copy_exception_bytes; |
| 284 | } |
| 285 | |
| 286 | /* If we get here, there were no memory read faults. */ |
| 287 | switch (n) |
| 288 | { |
| 289 | /* These copies are at least "naturally aligned" (so we don't have |
| 290 | to check each byte), due to the src alignment code before the |
| 291 | movem loop. The *_3 case *will* get the correct count for retn. */ |
| 292 | case 0: |
| 293 | /* This case deliberately left in (if you have doubts check the |
| 294 | generated assembly code). */ |
| 295 | break; |
| 296 | case 1: |
| 297 | __asm_copy_from_user_1 (dst, src, retn); |
| 298 | break; |
| 299 | case 2: |
| 300 | __asm_copy_from_user_2 (dst, src, retn); |
| 301 | break; |
| 302 | case 3: |
| 303 | __asm_copy_from_user_3 (dst, src, retn); |
| 304 | break; |
| 305 | } |
| 306 | |
| 307 | /* If we get here, retn correctly reflects the number of failing |
| 308 | bytes. */ |
| 309 | return retn; |
| 310 | |
| 311 | copy_exception_bytes: |
| 312 | /* We already have "retn" bytes cleared, and need to clear the |
| 313 | remaining "n" bytes. A non-optimized simple byte-for-byte in-line |
| 314 | memset is preferred here, since this isn't speed-critical code and |
| 315 | we'd rather have this a leaf-function than calling memset. */ |
| 316 | { |
| 317 | char *endp; |
| 318 | for (endp = dst + n; dst < endp; dst++) |
| 319 | *dst = 0; |
| 320 | } |
| 321 | |
| 322 | return retn + n; |
| 323 | } |
| 324 | |
| 325 | /* Zero userspace. */ |
| 326 | |
| 327 | unsigned long |
| 328 | __do_clear_user (void __user *pto, unsigned long pn) |
| 329 | { |
| 330 | /* We want the parameters put in special registers. |
| 331 | Make sure the compiler is able to make something useful of this. |
| 332 | As it is now: r10 -> r13; r11 -> r11 (nop); r12 -> r12 (nop). |
| 333 | |
| 334 | FIXME: Comment for old gcc version. Check. |
Simon Arlott | 49b4ff3 | 2007-10-20 01:08:50 +0200 | [diff] [blame^] | 335 | If gcc was alright, it really would need no temporaries, and no |
Mikael Starvik | 51533b6 | 2005-07-27 11:44:44 -0700 | [diff] [blame] | 336 | stack space to save stuff on. */ |
| 337 | |
| 338 | register char *dst __asm__ ("r13") = pto; |
| 339 | register int n __asm__ ("r12") = pn; |
| 340 | register int retn __asm__ ("r10") = 0; |
| 341 | |
| 342 | |
| 343 | if (((unsigned long) dst & 3) != 0 |
| 344 | /* Don't align if we wouldn't copy more than a few bytes. */ |
| 345 | && n >= 3) |
| 346 | { |
| 347 | if ((unsigned long) dst & 1) |
| 348 | { |
| 349 | __asm_clear_1 (dst, retn); |
| 350 | n--; |
| 351 | } |
| 352 | |
| 353 | if ((unsigned long) dst & 2) |
| 354 | { |
| 355 | __asm_clear_2 (dst, retn); |
| 356 | n -= 2; |
| 357 | } |
| 358 | } |
| 359 | |
| 360 | /* Decide which copying method to use. |
| 361 | FIXME: This number is from the "ordinary" kernel memset. */ |
| 362 | if (n >= 48) |
| 363 | { |
| 364 | /* For large clears we use 'movem' */ |
| 365 | |
| 366 | /* It is not optimal to tell the compiler about clobbering any |
| 367 | call-saved registers; that will move the saving/restoring of |
| 368 | those registers to the function prologue/epilogue, and make |
| 369 | non-movem sizes suboptimal. |
| 370 | |
| 371 | This method is not foolproof; it assumes that the "asm reg" |
| 372 | declarations at the beginning of the function really are used |
| 373 | here (beware: they may be moved to temporary registers). |
| 374 | This way, we do not have to save/move the registers around into |
| 375 | temporaries; we can safely use them straight away. |
| 376 | |
| 377 | If you want to check that the allocation was right; then |
| 378 | check the equalities in the first comment. It should say |
| 379 | something like "r13=r13, r11=r11, r12=r12". */ |
| 380 | __asm__ volatile ("\ |
| 381 | .ifnc %0%1%2,$r13$r12$r10 \n\ |
| 382 | .err \n\ |
| 383 | .endif \n\ |
| 384 | \n\ |
| 385 | ;; Save the registers we'll clobber in the movem process \n\ |
| 386 | ;; on the stack. Don't mention them to gcc, it will only be \n\ |
| 387 | ;; upset. \n\ |
| 388 | subq 11*4,$sp \n\ |
| 389 | movem $r10,[$sp] \n\ |
| 390 | \n\ |
| 391 | clear.d $r0 \n\ |
| 392 | clear.d $r1 \n\ |
| 393 | clear.d $r2 \n\ |
| 394 | clear.d $r3 \n\ |
| 395 | clear.d $r4 \n\ |
| 396 | clear.d $r5 \n\ |
| 397 | clear.d $r6 \n\ |
| 398 | clear.d $r7 \n\ |
| 399 | clear.d $r8 \n\ |
| 400 | clear.d $r9 \n\ |
| 401 | clear.d $r10 \n\ |
| 402 | clear.d $r11 \n\ |
| 403 | \n\ |
| 404 | ;; Now we've got this: \n\ |
| 405 | ;; r13 - dst \n\ |
| 406 | ;; r12 - n \n\ |
| 407 | \n\ |
| 408 | ;; Update n for the first loop \n\ |
| 409 | subq 12*4,$r12 \n\ |
| 410 | 0: \n\ |
| 411 | subq 12*4,$r12 \n\ |
| 412 | 1: \n\ |
| 413 | bge 0b \n\ |
| 414 | movem $r11,[$r13+] \n\ |
| 415 | \n\ |
| 416 | addq 12*4,$r12 ;; compensate for last loop underflowing n \n\ |
| 417 | \n\ |
| 418 | ;; Restore registers from stack \n\ |
| 419 | movem [$sp+],$r10 \n\ |
| 420 | 2: \n\ |
| 421 | .section .fixup,\"ax\" \n\ |
| 422 | 3: \n\ |
| 423 | movem [$sp],$r10 \n\ |
| 424 | addq 12*4,$r10 \n\ |
| 425 | addq 12*4,$r13 \n\ |
| 426 | movem $r10,[$sp] \n\ |
| 427 | jump 0b \n\ |
| 428 | clear.d $r10 \n\ |
| 429 | \n\ |
| 430 | .previous \n\ |
| 431 | .section __ex_table,\"a\" \n\ |
| 432 | .dword 1b,3b \n\ |
| 433 | .previous" |
| 434 | |
| 435 | /* Outputs */ : "=r" (dst), "=r" (n), "=r" (retn) |
| 436 | /* Inputs */ : "0" (dst), "1" (n), "2" (retn) |
| 437 | /* Clobber */ : "r11"); |
| 438 | } |
| 439 | |
| 440 | while (n >= 16) |
| 441 | { |
| 442 | __asm_clear_16 (dst, retn); |
| 443 | n -= 16; |
| 444 | } |
| 445 | |
| 446 | /* Having a separate by-four loops cuts down on cache footprint. |
| 447 | FIXME: Test with and without; increasing switch to be 0..15. */ |
| 448 | while (n >= 4) |
| 449 | { |
| 450 | __asm_clear_4 (dst, retn); |
| 451 | n -= 4; |
| 452 | } |
| 453 | |
| 454 | switch (n) |
| 455 | { |
| 456 | case 0: |
| 457 | break; |
| 458 | case 1: |
| 459 | __asm_clear_1 (dst, retn); |
| 460 | break; |
| 461 | case 2: |
| 462 | __asm_clear_2 (dst, retn); |
| 463 | break; |
| 464 | case 3: |
| 465 | __asm_clear_3 (dst, retn); |
| 466 | break; |
| 467 | } |
| 468 | |
| 469 | return retn; |
| 470 | } |