| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | #include <linux/linkage.h> | 
|  | 2 | #include <asm/assembler.h> | 
|  | 3 | /* | 
|  | 4 | * Function: v4t_late_abort | 
|  | 5 | * | 
|  | 6 | * Params  : r2 = address of aborted instruction | 
|  | 7 | *         : r3 = saved SPSR | 
|  | 8 | * | 
|  | 9 | * Returns : r0 = address of abort | 
|  | 10 | *	   : r1 = FSR, bit 11 = write | 
|  | 11 | *	   : r2-r8 = corrupted | 
|  | 12 | *	   : r9 = preserved | 
|  | 13 | *	   : sp = pointer to registers | 
|  | 14 | * | 
|  | 15 | * Purpose : obtain information about current aborted instruction. | 
|  | 16 | * Note: we read user space.  This means we might cause a data | 
|  | 17 | * abort here if the I-TLB and D-TLB aren't seeing the same | 
|  | 18 | * picture.  Unfortunately, this does happen.  We live with it. | 
|  | 19 | */ | 
|  | 20 | ENTRY(v4t_late_abort) | 
|  | 21 | tst	r3, #PSR_T_BIT			@ check for thumb mode | 
| Hyok S. Choi | 0f45d7f | 2006-09-28 21:46:16 +0900 | [diff] [blame] | 22 | #ifdef CONFIG_CPU_CP15_MMU | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 23 | mrc	p15, 0, r1, c5, c0, 0		@ get FSR | 
|  | 24 | mrc	p15, 0, r0, c6, c0, 0		@ get FAR | 
| Hyok S. Choi | 0f45d7f | 2006-09-28 21:46:16 +0900 | [diff] [blame] | 25 | bic	r1, r1, #1 << 11 | 1 << 10	@ clear bits 11 and 10 of FSR | 
|  | 26 | #else | 
|  | 27 | mov	r0, #0				@ clear r0, r1 (no FSR/FAR) | 
|  | 28 | mov	r1, #0 | 
|  | 29 | #endif | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 30 | bne	.data_thumb_abort | 
|  | 31 | ldr	r8, [r2]			@ read arm instruction | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 32 | tst	r8, #1 << 20			@ L = 1 -> write? | 
|  | 33 | orreq	r1, r1, #1 << 11		@ yes. | 
|  | 34 | and	r7, r8, #15 << 24 | 
|  | 35 | add	pc, pc, r7, lsr #22		@ Now branch to the relevant processing routine | 
|  | 36 | nop | 
|  | 37 |  | 
|  | 38 | /* 0 */	b	.data_arm_lateldrhpost		@ ldrh	rd, [rn], #m/rm | 
|  | 39 | /* 1 */	b	.data_arm_lateldrhpre		@ ldrh	rd, [rn, #m/rm] | 
|  | 40 | /* 2 */	b	.data_unknown | 
|  | 41 | /* 3 */	b	.data_unknown | 
|  | 42 | /* 4 */	b	.data_arm_lateldrpostconst	@ ldr	rd, [rn], #m | 
|  | 43 | /* 5 */	b	.data_arm_lateldrpreconst	@ ldr	rd, [rn, #m] | 
|  | 44 | /* 6 */	b	.data_arm_lateldrpostreg	@ ldr	rd, [rn], rm | 
|  | 45 | /* 7 */	b	.data_arm_lateldrprereg		@ ldr	rd, [rn, rm] | 
|  | 46 | /* 8 */	b	.data_arm_ldmstm		@ ldm*a	rn, <rlist> | 
|  | 47 | /* 9 */	b	.data_arm_ldmstm		@ ldm*b	rn, <rlist> | 
|  | 48 | /* a */	b	.data_unknown | 
|  | 49 | /* b */	b	.data_unknown | 
|  | 50 | /* c */	mov	pc, lr				@ ldc	rd, [rn], #m	@ Same as ldr	rd, [rn], #m | 
|  | 51 | /* d */	mov	pc, lr				@ ldc	rd, [rn, #m] | 
|  | 52 | /* e */	b	.data_unknown | 
|  | 53 | /* f */ | 
|  | 54 | .data_unknown:	@ Part of jumptable | 
|  | 55 | mov	r0, r2 | 
|  | 56 | mov	r1, r8 | 
|  | 57 | mov	r2, sp | 
|  | 58 | bl	baddataabort | 
|  | 59 | b	ret_from_exception | 
|  | 60 |  | 
|  | 61 | .data_arm_ldmstm: | 
|  | 62 | tst	r8, #1 << 21			@ check writeback bit | 
|  | 63 | moveq	pc, lr				@ no writeback -> no fixup | 
|  | 64 | mov	r7, #0x11 | 
|  | 65 | orr	r7, r7, #0x1100 | 
|  | 66 | and	r6, r8, r7 | 
|  | 67 | and	r2, r8, r7, lsl #1 | 
|  | 68 | add	r6, r6, r2, lsr #1 | 
|  | 69 | and	r2, r8, r7, lsl #2 | 
|  | 70 | add	r6, r6, r2, lsr #2 | 
|  | 71 | and	r2, r8, r7, lsl #3 | 
|  | 72 | add	r6, r6, r2, lsr #3 | 
|  | 73 | add	r6, r6, r6, lsr #8 | 
|  | 74 | add	r6, r6, r6, lsr #4 | 
|  | 75 | and	r6, r6, #15			@ r6 = no. of registers to transfer. | 
|  | 76 | and	r5, r8, #15 << 16		@ Extract 'n' from instruction | 
|  | 77 | ldr	r7, [sp, r5, lsr #14]		@ Get register 'Rn' | 
|  | 78 | tst	r8, #1 << 23			@ Check U bit | 
|  | 79 | subne	r7, r7, r6, lsl #2		@ Undo increment | 
|  | 80 | addeq	r7, r7, r6, lsl #2		@ Undo decrement | 
|  | 81 | str	r7, [sp, r5, lsr #14]		@ Put register 'Rn' | 
|  | 82 | mov	pc, lr | 
|  | 83 |  | 
|  | 84 | .data_arm_lateldrhpre: | 
|  | 85 | tst	r8, #1 << 21			@ Check writeback bit | 
|  | 86 | moveq	pc, lr				@ No writeback -> no fixup | 
|  | 87 | .data_arm_lateldrhpost: | 
|  | 88 | and	r5, r8, #0x00f			@ get Rm / low nibble of immediate value | 
|  | 89 | tst	r8, #1 << 22			@ if (immediate offset) | 
|  | 90 | andne	r6, r8, #0xf00			@ { immediate high nibble | 
|  | 91 | orrne	r6, r5, r6, lsr #4		@   combine nibbles } else | 
|  | 92 | ldreq	r6, [sp, r5, lsl #2]		@ { load Rm value } | 
|  | 93 | .data_arm_apply_r6_and_rn: | 
|  | 94 | and	r5, r8, #15 << 16		@ Extract 'n' from instruction | 
|  | 95 | ldr	r7, [sp, r5, lsr #14]		@ Get register 'Rn' | 
|  | 96 | tst	r8, #1 << 23			@ Check U bit | 
|  | 97 | subne	r7, r7, r6			@ Undo incrmenet | 
|  | 98 | addeq	r7, r7, r6			@ Undo decrement | 
|  | 99 | str	r7, [sp, r5, lsr #14]		@ Put register 'Rn' | 
|  | 100 | mov	pc, lr | 
|  | 101 |  | 
|  | 102 | .data_arm_lateldrpreconst: | 
|  | 103 | tst	r8, #1 << 21			@ check writeback bit | 
|  | 104 | moveq	pc, lr				@ no writeback -> no fixup | 
|  | 105 | .data_arm_lateldrpostconst: | 
|  | 106 | movs	r2, r8, lsl #20			@ Get offset | 
|  | 107 | moveq	pc, lr				@ zero -> no fixup | 
|  | 108 | and	r5, r8, #15 << 16		@ Extract 'n' from instruction | 
|  | 109 | ldr	r7, [sp, r5, lsr #14]		@ Get register 'Rn' | 
|  | 110 | tst	r8, #1 << 23			@ Check U bit | 
|  | 111 | subne	r7, r7, r2, lsr #20		@ Undo increment | 
|  | 112 | addeq	r7, r7, r2, lsr #20		@ Undo decrement | 
|  | 113 | str	r7, [sp, r5, lsr #14]		@ Put register 'Rn' | 
|  | 114 | mov	pc, lr | 
|  | 115 |  | 
|  | 116 | .data_arm_lateldrprereg: | 
|  | 117 | tst	r8, #1 << 21			@ check writeback bit | 
|  | 118 | moveq	pc, lr				@ no writeback -> no fixup | 
|  | 119 | .data_arm_lateldrpostreg: | 
|  | 120 | and	r7, r8, #15			@ Extract 'm' from instruction | 
|  | 121 | ldr	r6, [sp, r7, lsl #2]		@ Get register 'Rm' | 
|  | 122 | mov	r5, r8, lsr #7			@ get shift count | 
|  | 123 | ands	r5, r5, #31 | 
|  | 124 | and	r7, r8, #0x70			@ get shift type | 
|  | 125 | orreq	r7, r7, #8			@ shift count = 0 | 
|  | 126 | add	pc, pc, r7 | 
|  | 127 | nop | 
|  | 128 |  | 
|  | 129 | mov	r6, r6, lsl r5			@ 0: LSL #!0 | 
|  | 130 | b	.data_arm_apply_r6_and_rn | 
|  | 131 | b	.data_arm_apply_r6_and_rn	@ 1: LSL #0 | 
|  | 132 | nop | 
|  | 133 | b	.data_unknown			@ 2: MUL? | 
|  | 134 | nop | 
|  | 135 | b	.data_unknown			@ 3: MUL? | 
|  | 136 | nop | 
|  | 137 | mov	r6, r6, lsr r5			@ 4: LSR #!0 | 
|  | 138 | b	.data_arm_apply_r6_and_rn | 
|  | 139 | mov	r6, r6, lsr #32			@ 5: LSR #32 | 
|  | 140 | b	.data_arm_apply_r6_and_rn | 
|  | 141 | b	.data_unknown			@ 6: MUL? | 
|  | 142 | nop | 
|  | 143 | b	.data_unknown			@ 7: MUL? | 
|  | 144 | nop | 
|  | 145 | mov	r6, r6, asr r5			@ 8: ASR #!0 | 
|  | 146 | b	.data_arm_apply_r6_and_rn | 
|  | 147 | mov	r6, r6, asr #32			@ 9: ASR #32 | 
|  | 148 | b	.data_arm_apply_r6_and_rn | 
|  | 149 | b	.data_unknown			@ A: MUL? | 
|  | 150 | nop | 
|  | 151 | b	.data_unknown			@ B: MUL? | 
|  | 152 | nop | 
|  | 153 | mov	r6, r6, ror r5			@ C: ROR #!0 | 
|  | 154 | b	.data_arm_apply_r6_and_rn | 
|  | 155 | mov	r6, r6, rrx			@ D: RRX | 
|  | 156 | b	.data_arm_apply_r6_and_rn | 
|  | 157 | b	.data_unknown			@ E: MUL? | 
|  | 158 | nop | 
|  | 159 | b	.data_unknown			@ F: MUL? | 
|  | 160 |  | 
|  | 161 | .data_thumb_abort: | 
|  | 162 | ldrh	r8, [r2]			@ read instruction | 
|  | 163 | tst	r8, #1 << 11			@ L = 1 -> write? | 
|  | 164 | orreq	r1, r1, #1 << 8			@ yes | 
|  | 165 | and	r7, r8, #15 << 12 | 
|  | 166 | add	pc, pc, r7, lsr #10		@ lookup in table | 
|  | 167 | nop | 
|  | 168 |  | 
|  | 169 | /* 0 */	b	.data_unknown | 
|  | 170 | /* 1 */	b	.data_unknown | 
|  | 171 | /* 2 */	b	.data_unknown | 
|  | 172 | /* 3 */	b	.data_unknown | 
|  | 173 | /* 4 */	b	.data_unknown | 
|  | 174 | /* 5 */	b	.data_thumb_reg | 
|  | 175 | /* 6 */	mov	pc, lr | 
|  | 176 | /* 7 */	mov	pc, lr | 
|  | 177 | /* 8 */	mov	pc, lr | 
|  | 178 | /* 9 */	mov	pc, lr | 
|  | 179 | /* A */	b	.data_unknown | 
|  | 180 | /* B */	b	.data_thumb_pushpop | 
|  | 181 | /* C */	b	.data_thumb_ldmstm | 
|  | 182 | /* D */	b	.data_unknown | 
|  | 183 | /* E */	b	.data_unknown | 
|  | 184 | /* F */	b	.data_unknown | 
|  | 185 |  | 
|  | 186 | .data_thumb_reg: | 
|  | 187 | tst	r8, #1 << 9 | 
|  | 188 | moveq	pc, lr | 
|  | 189 | tst	r8, #1 << 10			@ If 'S' (signed) bit is set | 
|  | 190 | movne	r1, #0				@ it must be a load instr | 
|  | 191 | mov	pc, lr | 
|  | 192 |  | 
|  | 193 | .data_thumb_pushpop: | 
|  | 194 | tst	r8, #1 << 10 | 
|  | 195 | beq	.data_unknown | 
|  | 196 | and	r6, r8, #0x55			@ hweight8(r8) + R bit | 
|  | 197 | and	r2, r8, #0xaa | 
|  | 198 | add	r6, r6, r2, lsr #1 | 
|  | 199 | and	r2, r6, #0xcc | 
|  | 200 | and	r6, r6, #0x33 | 
|  | 201 | add	r6, r6, r2, lsr #2 | 
|  | 202 | movs	r7, r8, lsr #9			@ C = r8 bit 8 (R bit) | 
|  | 203 | adc	r6, r6, r6, lsr #4		@ high + low nibble + R bit | 
|  | 204 | and	r6, r6, #15			@ number of regs to transfer | 
|  | 205 | ldr	r7, [sp, #13 << 2] | 
|  | 206 | tst	r8, #1 << 11 | 
|  | 207 | addeq	r7, r7, r6, lsl #2		@ increment SP if PUSH | 
|  | 208 | subne	r7, r7, r6, lsl #2		@ decrement SP if POP | 
|  | 209 | str	r7, [sp, #13 << 2] | 
|  | 210 | mov	pc, lr | 
|  | 211 |  | 
|  | 212 | .data_thumb_ldmstm: | 
|  | 213 | and	r6, r8, #0x55			@ hweight8(r8) | 
|  | 214 | and	r2, r8, #0xaa | 
|  | 215 | add	r6, r6, r2, lsr #1 | 
|  | 216 | and	r2, r6, #0xcc | 
|  | 217 | and	r6, r6, #0x33 | 
|  | 218 | add	r6, r6, r2, lsr #2 | 
|  | 219 | add	r6, r6, r6, lsr #4 | 
|  | 220 | and	r5, r8, #7 << 8 | 
|  | 221 | ldr	r7, [sp, r5, lsr #6] | 
|  | 222 | and	r6, r6, #15			@ number of regs to transfer | 
|  | 223 | sub	r7, r7, r6, lsl #2		@ always decrement | 
|  | 224 | str	r7, [sp, r5, lsr #6] | 
|  | 225 | mov	pc, lr |