| 1 | /*
|
| 2 | * arch/xtensa/kernel/align.S
|
| 3 | *
|
| 4 | * Handle unalignment and load/store exceptions.
|
| 5 | *
|
| 6 | * This file is subject to the terms and conditions of the GNU General
|
| 7 | * Public License. See the file "COPYING" in the main directory of
|
| 8 | * this archive for more details.
|
| 9 | *
|
| 10 | * Copyright (C) 2001 - 2005 Tensilica, Inc.
|
| 11 | * Copyright (C) 2014 Cadence Design Systems Inc.
|
| 12 | *
|
| 13 | * Rewritten by Chris Zankel <chris@zankel.net>
|
| 14 | *
|
| 15 | * Based on work from Joe Taylor <joe@tensilica.com, joetylr@yahoo.com>
|
| 16 | * and Marc Gauthier <marc@tensilica.com, marc@alimni.uwaterloo.ca>
|
| 17 | */
|
| 18 |
|
| 19 | |
| 20 | |
| 21 | |
| 22 | |
| 23 | |
| 24 | |
| 25 | |
| 26 | |
| 27 |
|
| 28 | |
| 29 | |
| 30 | |
| 31 |
|
| 32 | |
| 33 | |
| 34 | |
| 35 |
|
| 36 | |
| 37 | |
| 38 | |
| 39 |
|
| 40 | |
| 41 | |
| 42 | |
| 43 |
|
| 44 | /* Big and little endian 16-bit values are located in
|
| 45 | * different halves of a register. HWORD_START helps to
|
| 46 | * abstract the notion of extracting a 16-bit value from a
|
| 47 | * register.
|
| 48 | * We also have to define new shifting instructions because
|
| 49 | * lsb and msb are on 'opposite' ends in a register for
|
| 50 | * different endian machines.
|
| 51 | *
|
| 52 | * Assume a memory region in ascending address:
|
| 53 | * 0 1 2 3|4 5 6 7
|
| 54 | *
|
| 55 | * When loading one word into a register, the content of that register is:
|
| 56 | * LE 3 2 1 0, 7 6 5 4
|
| 57 | * BE 0 1 2 3, 4 5 6 7
|
| 58 | *
|
| 59 | * Masking the bits of the higher/lower address means:
|
| 60 | * LE X X 0 0, 0 0 X X
|
| 61 | * BE 0 0 X X, X X 0 0
|
| 62 | *
|
| 63 | * Shifting to higher/lower addresses, means:
|
| 64 | * LE shift left / shift right
|
| 65 | * BE shift right / shift left
|
| 66 | *
|
| 67 | * Extracting 16 bits from a 32 bit reg. value to higher/lower address means:
|
| 68 | * LE mask 0 0 X X / shift left
|
| 69 | * BE shift left / mask 0 0 X X
|
| 70 | */
|
| 71 |
|
| 72 | |
| 73 |
|
| 74 | |
| 75 | |
| 76 | |
| 77 | |
| 78 |
|
| 79 | .macro __ssa8r r; ssa8l \r; .endm
|
| 80 | .macro __sh r, s; srl \r, \s; .endm
|
| 81 | .macro __sl r, s; sll \r, \s; .endm
|
| 82 | .macro __exth r, s; extui \r, \s, 0, 16; .endm
|
| 83 | .macro __extl r, s; slli \r, \s, 16; .endm
|
| 84 |
|
| 85 | |
| 86 |
|
| 87 | |
| 88 | |
| 89 | |
| 90 | |
| 91 |
|
| 92 | .macro __ssa8r r; ssa8b \r; .endm
|
| 93 | .macro __sh r, s; sll \r, \s; .endm
|
| 94 | .macro __sl r, s; srl \r, \s; .endm
|
| 95 | .macro __exth r, s; slli \r, \s, 16; .endm
|
| 96 | .macro __extl r, s; extui \r, \s, 0, 16; .endm
|
| 97 |
|
| 98 | |
| 99 |
|
| 100 | /*
|
| 101 | * xxxx xxxx = imm8 field
|
| 102 | * yyyy = imm4 field
|
| 103 | * ssss = s field
|
| 104 | * tttt = t field
|
| 105 | *
|
| 106 | * 16 0
|
| 107 | * -------------------
|
| 108 | * L32I.N yyyy ssss tttt 1000
|
| 109 | * S32I.N yyyy ssss tttt 1001
|
| 110 | *
|
| 111 | * 23 0
|
| 112 | * -----------------------------
|
| 113 | * L8UI xxxx xxxx 0000 ssss tttt 0010
|
| 114 | * L16UI xxxx xxxx 0001 ssss tttt 0010
|
| 115 | * L32I xxxx xxxx 0010 ssss tttt 0010
|
| 116 | * XXX 0011 ssss tttt 0010
|
| 117 | * XXX 0100 ssss tttt 0010
|
| 118 | * S16I xxxx xxxx 0101 ssss tttt 0010
|
| 119 | * S32I xxxx xxxx 0110 ssss tttt 0010
|
| 120 | * XXX 0111 ssss tttt 0010
|
| 121 | * XXX 1000 ssss tttt 0010
|
| 122 | * L16SI xxxx xxxx 1001 ssss tttt 0010
|
| 123 | * XXX 1010 0010
|
| 124 | * **L32AI xxxx xxxx 1011 ssss tttt 0010 unsupported
|
| 125 | * XXX 1100 0010
|
| 126 | * XXX 1101 0010
|
| 127 | * XXX 1110 0010
|
| 128 | * **S32RI xxxx xxxx 1111 ssss tttt 0010 unsupported
|
| 129 | * -----------------------------
|
| 130 | * ^ ^ ^
|
| 131 | * sub-opcode (NIBBLE_R) -+ | |
|
| 132 | * t field (NIBBLE_T) -----------+ |
|
| 133 | * major opcode (NIBBLE_OP0) --------------+
|
| 134 | */
|
| 135 |
|
| 136 | |
| 137 | |
| 138 | |
| 139 | |
| 140 | |
| 141 |
|
| 142 | |
| 143 | |
| 144 | |
| 145 | |
| 146 | |
| 147 |
|
| 148 | |
| 149 | |
| 150 | |
| 151 |
|
| 152 | /*
|
| 153 | * Entry condition:
|
| 154 | *
|
| 155 | * a0: trashed, original value saved on stack (PT_AREG0)
|
| 156 | * a1: a1
|
| 157 | * a2: new stack pointer, original in DEPC
|
| 158 | * a3: a3
|
| 159 | * depc: a2, original value saved on stack (PT_DEPC)
|
| 160 | * excsave_1: dispatch table
|
| 161 | *
|
| 162 | * PT_DEPC >= VALID_DOUBLE_EXCEPTION_ADDRESS: double exception, DEPC
|
| 163 | * < VALID_DOUBLE_EXCEPTION_ADDRESS: regular exception
|
| 164 | */
|
| 165 |
|
| 166 | .literal_position
|
| 167 | |
| 168 | ENTRY(fast_load_store)
|
| 169 |
|
| 170 | call0 .Lsave_and_load_instruction
|
| 171 |
|
| 172 | /* Analyze the instruction (load or store?). */
|
| 173 |
|
| 174 | extui a0, a4, INSN_OP0, 4 |
| 175 |
|
| 176 | |
| 177 | _beqi a0, OP0_L32I_N, 1f |
| 178 | |
| 179 | bnei a0, OP0_LSAI, .Linvalid_instruction
|
| 180 | /* 'store indicator bit' set, jump */
|
| 181 | bbsi.l a4, OP1_SI_BIT + INSN_OP1, .Linvalid_instruction
|
| 182 |
|
| 183 | 1:
|
| 184 | movi a3, ~3
|
| 185 | and a3, a3, a8 |
| 186 |
|
| 187 | __ssa8 a8
|
| 188 |
|
| 189 | |
| 190 | /* l32e can't be used here even when it's available. */
|
| 191 | rsr a6, ps
|
| 192 | bbci.l a6, PS_UM_BIT, 1f |
| 193 | movi a5, 8
|
| 194 | access_ok a3, a5, a6, a2, .Linvalid_instruction
|
| 195 | 1:
|
| 196 | |
| 197 | l32i a5, a3, 0
|
| 198 | l32i a6, a3, 4
|
| 199 | __src_b a3, a5, a6 |
| 200 |
|
| 201 | |
| 202 | addi a7, a7, 2 |
| 203 | _beqi a0, OP0_L32I_N, .Lload_w |
| 204 | addi a7, a7, 1
|
| 205 | |
| 206 | addi a7, a7, 3
|
| 207 | |
| 208 |
|
| 209 | extui a5, a4, INSN_OP1, 4
|
| 210 | _beqi a5, OP1_L32I, .Lload_w
|
| 211 | bnei a5, OP1_L8UI, .Lload16
|
| 212 | extui a3, a3, 0, 8
|
| 213 | j .Lload_w
|
| 214 |
|
| 215 | ENDPROC(fast_load_store)
|
| 216 | |
| 217 |
|
| 218 | /*
|
| 219 | * Entry condition:
|
| 220 | *
|
| 221 | * a0: trashed, original value saved on stack (PT_AREG0)
|
| 222 | * a1: a1
|
| 223 | * a2: new stack pointer, original in DEPC
|
| 224 | * a3: a3
|
| 225 | * depc: a2, original value saved on stack (PT_DEPC)
|
| 226 | * excsave_1: dispatch table
|
| 227 | *
|
| 228 | * PT_DEPC >= VALID_DOUBLE_EXCEPTION_ADDRESS: double exception, DEPC
|
| 229 | * < VALID_DOUBLE_EXCEPTION_ADDRESS: regular exception
|
| 230 | */
|
| 231 |
|
| 232 | |
| 233 | ENTRY(fast_unaligned)
|
| 234 |
|
| 235 | call0 .Lsave_and_load_instruction
|
| 236 |
|
| 237 | /* Analyze the instruction (load or store?). */
|
| 238 |
|
| 239 | extui a5, a4, INSN_OP0, 4 |
| 240 |
|
| 241 | |
| 242 | _beqi a5, OP0_L32I_N, .Lload |
| 243 | addi a6, a5, -OP0_S32I_N
|
| 244 | _beqz a6, .Lstore |
| 245 | |
| 246 | /* 'store indicator bit' not set, jump */
|
| 247 | _bbci.l a4, OP1_SI_BIT + INSN_OP1, .Lload
|
| 248 |
|
| 249 | |
| 250 |
|
| 251 | /* Store: Jump to table entry to get the value in the source register.*/
|
| 252 |
|
| 253 | .Lstore:movi a5, .Lstore_table |
| 254 | extui a6, a4, INSN_T, 4 |
| 255 | addx8 a5, a6, a5
|
| 256 | jx a5 |
| 257 | |
| 258 | |
| 259 |
|
| 260 | /* Load: Load memory address. */
|
| 261 |
|
| 262 | .Lload: movi a3, ~3
|
| 263 | and a3, a3, a8 |
| 264 |
|
| 265 | __ssa8 a8
|
| 266 | |
| 267 | addi a3, a3, 8
|
| 268 | l32e a5, a3, -8
|
| 269 | l32e a6, a3, -4
|
| 270 | |
| 271 | l32i a5, a3, 0
|
| 272 | l32i a6, a3, 4
|
| 273 | |
| 274 | __src_b a3, a5, a6 |
| 275 |
|
| 276 | |
| 277 | addi a7, a7, 2 |
| 278 |
|
| 279 | extui a5, a4, INSN_OP0, 4
|
| 280 | _beqi a5, OP0_L32I_N, .Lload_w |
| 281 |
|
| 282 | addi a7, a7, 1
|
| 283 | |
| 284 | addi a7, a7, 3
|
| 285 | |
| 286 |
|
| 287 | extui a5, a4, INSN_OP1, 4
|
| 288 | _beqi a5, OP1_L32I, .Lload_w |
| 289 | |
| 290 | |
| 291 | .Lload16:
|
| 292 | extui a3, a3, 0, 16 |
| 293 | _beqi a5, OP1_L16UI, .Lload_w
|
| 294 | addi a5, a5, -OP1_L16SI
|
| 295 | _bnez a5, .Linvalid_instruction
|
| 296 |
|
| 297 | /* sign extend value */
|
| 298 | |
| 299 | sext a3, a3, 15
|
| 300 | |
| 301 | slli a3, a3, 16
|
| 302 | srai a3, a3, 16
|
| 303 | |
| 304 |
|
| 305 | /* Set target register. */
|
| 306 |
|
| 307 | .Lload_w:
|
| 308 | extui a4, a4, INSN_T, 4 |
| 309 | movi a5, .Lload_table
|
| 310 | addx8 a4, a4, a5
|
| 311 | jx a4 |
| 312 |
|
| 313 | .align 8
|
| 314 | .Lload_table:
|
| 315 | s32i a3, a2, PT_AREG0; _j .Lexit; .align 8
|
| 316 | mov a1, a3; _j .Lexit; .align 8 |
| 317 | s32i a3, a2, PT_AREG2; _j .Lexit; .align 8
|
| 318 | s32i a3, a2, PT_AREG3; _j .Lexit; .align 8
|
| 319 | s32i a3, a2, PT_AREG4; _j .Lexit; .align 8
|
| 320 | s32i a3, a2, PT_AREG5; _j .Lexit; .align 8
|
| 321 | s32i a3, a2, PT_AREG6; _j .Lexit; .align 8
|
| 322 | s32i a3, a2, PT_AREG7; _j .Lexit; .align 8
|
| 323 | s32i a3, a2, PT_AREG8; _j .Lexit; .align 8
|
| 324 | mov a9, a3 ; _j .Lexit; .align 8
|
| 325 | mov a10, a3 ; _j .Lexit; .align 8
|
| 326 | mov a11, a3 ; _j .Lexit; .align 8
|
| 327 | mov a12, a3 ; _j .Lexit; .align 8
|
| 328 | mov a13, a3 ; _j .Lexit; .align 8
|
| 329 | mov a14, a3 ; _j .Lexit; .align 8
|
| 330 | mov a15, a3 ; _j .Lexit; .align 8
|
| 331 | |
| 332 | |
| 333 | .Lstore_table:
|
| 334 | l32i a3, a2, PT_AREG0; _j .Lstore_w; .align 8
|
| 335 | mov a3, a1; _j .Lstore_w; .align 8 |
| 336 | l32i a3, a2, PT_AREG2; _j .Lstore_w; .align 8
|
| 337 | l32i a3, a2, PT_AREG3; _j .Lstore_w; .align 8
|
| 338 | l32i a3, a2, PT_AREG4; _j .Lstore_w; .align 8
|
| 339 | l32i a3, a2, PT_AREG5; _j .Lstore_w; .align 8
|
| 340 | l32i a3, a2, PT_AREG6; _j .Lstore_w; .align 8
|
| 341 | l32i a3, a2, PT_AREG7; _j .Lstore_w; .align 8
|
| 342 | l32i a3, a2, PT_AREG8; _j .Lstore_w; .align 8
|
| 343 | mov a3, a9 ; _j .Lstore_w; .align 8
|
| 344 | mov a3, a10 ; _j .Lstore_w; .align 8
|
| 345 | mov a3, a11 ; _j .Lstore_w; .align 8
|
| 346 | mov a3, a12 ; _j .Lstore_w; .align 8
|
| 347 | mov a3, a13 ; _j .Lstore_w; .align 8
|
| 348 | mov a3, a14 ; _j .Lstore_w; .align 8
|
| 349 | mov a3, a15 ; _j .Lstore_w; .align 8
|
| 350 | |
| 351 |
|
| 352 | /* We cannot handle this exception. */
|
| 353 |
|
| 354 | .extern _kernel_exception
|
| 355 | .Linvalid_instruction:
|
| 356 |
|
| 357 | movi a4, 0
|
| 358 | rsr a3, excsave1
|
| 359 | s32i a4, a3, EXC_TABLE_FIXUP
|
| 360 |
|
| 361 | /* Restore a4...a8 and SAR, set SP, and jump to default exception. */
|
| 362 |
|
| 363 | l32i a0, a2, PT_SAR
|
| 364 | l32i a8, a2, PT_AREG8
|
| 365 | l32i a7, a2, PT_AREG7
|
| 366 | l32i a6, a2, PT_AREG6
|
| 367 | l32i a5, a2, PT_AREG5
|
| 368 | l32i a4, a2, PT_AREG4
|
| 369 | wsr a0, sar
|
| 370 | mov a1, a2
|
| 371 |
|
| 372 | rsr a0, ps
|
| 373 | bbsi.l a0, PS_UM_BIT, 2f |
| 374 |
|
| 375 | movi a0, _kernel_exception
|
| 376 | jx a0
|
| 377 |
|
| 378 | 2: movi a0, _user_exception
|
| 379 | jx a0
|
| 380 |
|
| 381 | |
| 382 |
|
| 383 | |
| 384 | .Lstore_w:
|
| 385 | movi a6, 0 |
| 386 |
|
| 387 | |
| 388 | addi a7, a7, 2 |
| 389 |
|
| 390 | extui a5, a4, INSN_OP0, 4 |
| 391 | addi a5, a5, -OP0_S32I_N
|
| 392 | _beqz a5, 1f |
| 393 |
|
| 394 | addi a7, a7, 1 |
| 395 | |
| 396 | addi a7, a7, 3 |
| 397 | |
| 398 |
|
| 399 | extui a5, a4, INSN_OP1, 4 |
| 400 | _beqi a5, OP1_S32I, 1f |
| 401 | _bnei a5, OP1_S16I, .Linvalid_instruction
|
| 402 |
|
| 403 | movi a5, -1
|
| 404 | __extl a3, a3 |
| 405 | __exth a6, a5 |
| 406 |
|
| 407 | /* Get memory address */
|
| 408 |
|
| 409 | 1:
|
| 410 | movi a4, ~3
|
| 411 | and a4, a4, a8 |
| 412 |
|
| 413 | /* Insert value into memory */
|
| 414 |
|
| 415 | movi a5, -1 |
| 416 | |
| 417 | addi a4, a4, 8
|
| 418 | |
| 419 |
|
| 420 | __ssa8r a8
|
| 421 | __src_b a8, a5, a6 |
| 422 | __src_b a6, a6, a5 |
| 423 | |
| 424 | l32e a5, a4, -8
|
| 425 | |
| 426 | l32i a5, a4, 0 |
| 427 | |
| 428 | and a5, a5, a8 |
| 429 | __sh a8, a3 |
| 430 | or a5, a5, a8 |
| 431 | |
| 432 | s32e a5, a4, -8
|
| 433 | l32e a8, a4, -4
|
| 434 | |
| 435 | s32i a5, a4, 0 |
| 436 | l32i a8, a4, 4 |
| 437 | |
| 438 | __sl a5, a3
|
| 439 | and a6, a8, a6
|
| 440 | or a6, a6, a5
|
| 441 | |
| 442 | s32e a6, a4, -4
|
| 443 | |
| 444 | s32i a6, a4, 4
|
| 445 | |
| 446 | |
| 447 |
|
| 448 | .Lexit:
|
| 449 | |
| 450 | rsr a4, lend |
| 451 | bne a7, a4, 1f
|
| 452 | rsr a4, lcount |
| 453 | beqz a4, 1f
|
| 454 | addi a4, a4, -1 |
| 455 | rsr a7, lbeg |
| 456 | wsr a4, lcount
|
| 457 | |
| 458 |
|
| 459 | 1: wsr a7, epc1 |
| 460 |
|
| 461 | /* Update icount if we're single-stepping in userspace. */
|
| 462 | rsr a4, icountlevel
|
| 463 | beqz a4, 1f
|
| 464 | bgeui a4, LOCKLEVEL + 1, 1f
|
| 465 | rsr a4, icount
|
| 466 | addi a4, a4, 1
|
| 467 | wsr a4, icount
|
| 468 | 1:
|
| 469 | movi a4, 0
|
| 470 | rsr a3, excsave1
|
| 471 | s32i a4, a3, EXC_TABLE_FIXUP
|
| 472 |
|
| 473 | /* Restore working register */
|
| 474 |
|
| 475 | l32i a0, a2, PT_SAR
|
| 476 | l32i a8, a2, PT_AREG8
|
| 477 | l32i a7, a2, PT_AREG7
|
| 478 | l32i a6, a2, PT_AREG6
|
| 479 | l32i a5, a2, PT_AREG5
|
| 480 | l32i a4, a2, PT_AREG4
|
| 481 | l32i a3, a2, PT_AREG3
|
| 482 |
|
| 483 | /* restore SAR and return */
|
| 484 |
|
| 485 | wsr a0, sar
|
| 486 | l32i a0, a2, PT_AREG0
|
| 487 | l32i a2, a2, PT_AREG2
|
| 488 | rfe
|
| 489 |
|
| 490 | .align 4
|
| 491 | .Lsave_and_load_instruction:
|
| 492 |
|
| 493 | /* Save some working register */
|
| 494 |
|
| 495 | s32i a3, a2, PT_AREG3
|
| 496 | s32i a4, a2, PT_AREG4
|
| 497 | s32i a5, a2, PT_AREG5
|
| 498 | s32i a6, a2, PT_AREG6
|
| 499 | s32i a7, a2, PT_AREG7
|
| 500 | s32i a8, a2, PT_AREG8
|
| 501 |
|
| 502 | rsr a4, depc
|
| 503 | s32i a4, a2, PT_AREG2
|
| 504 |
|
| 505 | rsr a5, sar
|
| 506 | s32i a5, a2, PT_SAR
|
| 507 |
|
| 508 | rsr a3, excsave1
|
| 509 | movi a4, fast_unaligned_fixup
|
| 510 | s32i a4, a3, EXC_TABLE_FIXUP
|
| 511 |
|
| 512 | rsr a8, excvaddr # load unaligned memory address
|
| 513 |
|
| 514 | /* Now, identify one of the following load/store instructions.
|
| 515 | *
|
| 516 | * The only possible danger of a double exception on the
|
| 517 | * following l32i instructions is kernel code in vmalloc
|
| 518 | * memory. The processor was just executing at the EPC_1
|
| 519 | * address, and indeed, already fetched the instruction. That
|
| 520 | * guarantees a TLB mapping, which hasn't been replaced by
|
| 521 | * this unaligned exception handler that uses only static TLB
|
| 522 | * mappings. However, high-level interrupt handlers might
|
| 523 | * modify TLB entries, so for the generic case, we register a
|
| 524 | * TABLE_FIXUP handler here, too.
|
| 525 | */
|
| 526 |
|
| 527 | /* a3...a6 saved on stack, a2 = SP */
|
| 528 |
|
| 529 | /* Extract the instruction that caused the unaligned access. */
|
| 530 |
|
| 531 | rsr a7, epc1 |
| 532 | movi a3, ~3
|
| 533 | and a3, a3, a7 |
| 534 |
|
| 535 | l32i a4, a3, 0 |
| 536 | l32i a5, a3, 4
|
| 537 |
|
| 538 | __ssa8 a7
|
| 539 | __src_b a4, a4, a5 |
| 540 |
|
| 541 | ret
|
| 542 |
|
| 543 | ENDPROC(fast_unaligned)
|
| 544 |
|
| 545 | ENTRY(fast_unaligned_fixup)
|
| 546 |
|
| 547 | l32i a2, a3, EXC_TABLE_DOUBLE_SAVE
|
| 548 | wsr a3, excsave1
|
| 549 |
|
| 550 | l32i a8, a2, PT_AREG8
|
| 551 | l32i a7, a2, PT_AREG7
|
| 552 | l32i a6, a2, PT_AREG6
|
| 553 | l32i a5, a2, PT_AREG5
|
| 554 | l32i a4, a2, PT_SAR
|
| 555 | l32i a0, a2, PT_AREG2
|
| 556 | wsr a4, sar
|
| 557 | wsr a0, depc |
| 558 | l32i a4, a2, PT_AREG4
|
| 559 |
|
| 560 | rsr a0, exccause
|
| 561 | s32i a0, a2, PT_DEPC |
| 562 |
|
| 563 | rsr a0, ps
|
| 564 | bbsi.l a0, PS_UM_BIT, 1f |
| 565 |
|
| 566 | rsr a0, exccause
|
| 567 | addx4 a0, a0, a3 |
| 568 | l32i a0, a0, EXC_TABLE_FAST_KERNEL |
| 569 | l32i a3, a2, PT_AREG3
|
| 570 | jx a0
|
| 571 | 1:
|
| 572 | rsr a0, exccause
|
| 573 | addx4 a0, a0, a3 |
| 574 | l32i a0, a0, EXC_TABLE_FAST_USER |
| 575 | l32i a3, a2, PT_AREG3
|
| 576 | jx a0
|
| 577 |
|
| 578 | ENDPROC(fast_unaligned_fixup)
|
| 579 | |