| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* | 
|  | 2 | *  linux/arch/arm/vfp/vfphw.S | 
|  | 3 | * | 
|  | 4 | *  Copyright (C) 2004 ARM Limited. | 
|  | 5 | *  Written by Deep Blue Solutions Limited. | 
|  | 6 | * | 
|  | 7 | * This program is free software; you can redistribute it and/or modify | 
|  | 8 | * it under the terms of the GNU General Public License version 2 as | 
|  | 9 | * published by the Free Software Foundation. | 
|  | 10 | * | 
|  | 11 | * This code is called from the kernel's undefined instruction trap. | 
|  | 12 | * r9 holds the return address for successful handling. | 
|  | 13 | * lr holds the return address for unrecognised instructions. | 
|  | 14 | * r10 points at the start of the private FP workspace in the thread structure | 
|  | 15 | * sp points to a struct pt_regs (as defined in include/asm/proc/ptrace.h) | 
|  | 16 | */ | 
|  | 17 | #include <asm/thread_info.h> | 
|  | 18 | #include <asm/vfpmacros.h> | 
|  | 19 | #include "../kernel/entry-header.S" | 
|  | 20 |  | 
|  | 21 | .macro	DBGSTR, str | 
|  | 22 | #ifdef DEBUG | 
|  | 23 | stmfd	sp!, {r0-r3, ip, lr} | 
|  | 24 | add	r0, pc, #4 | 
|  | 25 | bl	printk | 
|  | 26 | b	1f | 
|  | 27 | .asciz  "<7>VFP: \str\n" | 
|  | 28 | .balign 4 | 
|  | 29 | 1:	ldmfd	sp!, {r0-r3, ip, lr} | 
|  | 30 | #endif | 
|  | 31 | .endm | 
|  | 32 |  | 
|  | 33 | .macro  DBGSTR1, str, arg | 
|  | 34 | #ifdef DEBUG | 
|  | 35 | stmfd	sp!, {r0-r3, ip, lr} | 
|  | 36 | mov	r1, \arg | 
|  | 37 | add	r0, pc, #4 | 
|  | 38 | bl	printk | 
|  | 39 | b	1f | 
|  | 40 | .asciz  "<7>VFP: \str\n" | 
|  | 41 | .balign 4 | 
|  | 42 | 1:	ldmfd	sp!, {r0-r3, ip, lr} | 
|  | 43 | #endif | 
|  | 44 | .endm | 
|  | 45 |  | 
|  | 46 | .macro  DBGSTR3, str, arg1, arg2, arg3 | 
|  | 47 | #ifdef DEBUG | 
|  | 48 | stmfd	sp!, {r0-r3, ip, lr} | 
|  | 49 | mov	r3, \arg3 | 
|  | 50 | mov	r2, \arg2 | 
|  | 51 | mov	r1, \arg1 | 
|  | 52 | add	r0, pc, #4 | 
|  | 53 | bl	printk | 
|  | 54 | b	1f | 
|  | 55 | .asciz  "<7>VFP: \str\n" | 
|  | 56 | .balign 4 | 
|  | 57 | 1:	ldmfd	sp!, {r0-r3, ip, lr} | 
|  | 58 | #endif | 
|  | 59 | .endm | 
|  | 60 |  | 
|  | 61 |  | 
|  | 62 | @ VFP hardware support entry point. | 
|  | 63 | @ | 
|  | 64 | @  r0  = faulted instruction | 
|  | 65 | @  r2  = faulted PC+4 | 
|  | 66 | @  r9  = successful return | 
|  | 67 | @  r10 = vfp_state union | 
| Catalin Marinas | c642846 | 2007-01-24 18:47:08 +0100 | [diff] [blame] | 68 | @  r11 = CPU number | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 69 | @  lr  = failure return | 
|  | 70 |  | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 71 | ENTRY(vfp_support_entry) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 72 | DBGSTR3	"instr %08x pc %08x state %p", r0, r2, r10 | 
|  | 73 |  | 
|  | 74 | VFPFMRX	r1, FPEXC		@ Is the VFP enabled? | 
|  | 75 | DBGSTR1	"fpexc %08x", r1 | 
| Russell King | 228adef | 2007-07-18 09:37:10 +0100 | [diff] [blame] | 76 | tst	r1, #FPEXC_EN | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 77 | bne	look_for_VFP_exceptions	@ VFP is already enabled | 
|  | 78 |  | 
|  | 79 | DBGSTR1 "enable %x", r10 | 
|  | 80 | ldr	r3, last_VFP_context_address | 
| Russell King | 228adef | 2007-07-18 09:37:10 +0100 | [diff] [blame] | 81 | orr	r1, r1, #FPEXC_EN	@ user FPEXC has the enable bit set | 
| Catalin Marinas | c642846 | 2007-01-24 18:47:08 +0100 | [diff] [blame] | 82 | ldr	r4, [r3, r11, lsl #2]	@ last_VFP_context pointer | 
| Russell King | 228adef | 2007-07-18 09:37:10 +0100 | [diff] [blame] | 83 | bic	r5, r1, #FPEXC_EX	@ make sure exceptions are disabled | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 84 | cmp	r4, r10 | 
|  | 85 | beq	check_for_exception	@ we are returning to the same | 
|  | 86 | @ process, so the registers are | 
|  | 87 | @ still there.  In this case, we do | 
|  | 88 | @ not want to drop a pending exception. | 
|  | 89 |  | 
|  | 90 | VFPFMXR	FPEXC, r5		@ enable VFP, disable any pending | 
|  | 91 | @ exceptions, so we can get at the | 
|  | 92 | @ rest of it | 
|  | 93 |  | 
| Catalin Marinas | c642846 | 2007-01-24 18:47:08 +0100 | [diff] [blame] | 94 | #ifndef CONFIG_SMP | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 95 | @ Save out the current registers to the old thread state | 
| Catalin Marinas | c642846 | 2007-01-24 18:47:08 +0100 | [diff] [blame] | 96 | @ No need for SMP since this is not done lazily | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 97 |  | 
|  | 98 | DBGSTR1	"save old state %p", r4 | 
|  | 99 | cmp	r4, #0 | 
|  | 100 | beq	no_old_VFP_process | 
| Catalin Marinas | 25ebee0 | 2007-09-25 15:22:24 +0100 | [diff] [blame] | 101 | VFPFSTMIA r4, r5		@ save the working registers | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 102 | VFPFMRX	r5, FPSCR		@ current status | 
| Catalin Marinas | c98929c | 2007-11-22 18:32:01 +0100 | [diff] [blame] | 103 | tst	r1, #FPEXC_EX		@ is there additional state to save? | 
| Catalin Marinas | 24b647a | 2008-11-06 13:23:08 +0000 | [diff] [blame] | 104 | beq	1f | 
|  | 105 | VFPFMRX	r6, FPINST		@ FPINST (only if FPEXC.EX is set) | 
|  | 106 | tst	r1, #FPEXC_FP2V		@ is there an FPINST2 to read? | 
|  | 107 | beq	1f | 
|  | 108 | VFPFMRX	r8, FPINST2		@ FPINST2 if needed (and present) | 
|  | 109 | 1: | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 110 | stmia	r4, {r1, r5, r6, r8}	@ save FPEXC, FPSCR, FPINST, FPINST2 | 
|  | 111 | @ and point r4 at the word at the | 
|  | 112 | @ start of the register dump | 
| Catalin Marinas | c642846 | 2007-01-24 18:47:08 +0100 | [diff] [blame] | 113 | #endif | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 114 |  | 
|  | 115 | no_old_VFP_process: | 
|  | 116 | DBGSTR1	"load state %p", r10 | 
| Catalin Marinas | c642846 | 2007-01-24 18:47:08 +0100 | [diff] [blame] | 117 | str	r10, [r3, r11, lsl #2]	@ update the last_VFP_context pointer | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 118 | @ Load the saved state back into the VFP | 
| Catalin Marinas | 25ebee0 | 2007-09-25 15:22:24 +0100 | [diff] [blame] | 119 | VFPFLDMIA r10, r5		@ reload the working registers while | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 120 | @ FPEXC is in a safe state | 
| Catalin Marinas | 80ed3547 | 2006-03-25 21:58:00 +0000 | [diff] [blame] | 121 | ldmia	r10, {r1, r5, r6, r8}	@ load FPEXC, FPSCR, FPINST, FPINST2 | 
| Catalin Marinas | c98929c | 2007-11-22 18:32:01 +0100 | [diff] [blame] | 122 | tst	r1, #FPEXC_EX		@ is there additional state to restore? | 
| Catalin Marinas | 24b647a | 2008-11-06 13:23:08 +0000 | [diff] [blame] | 123 | beq	1f | 
|  | 124 | VFPFMXR	FPINST, r6		@ restore FPINST (only if FPEXC.EX is set) | 
|  | 125 | tst	r1, #FPEXC_FP2V		@ is there an FPINST2 to write? | 
|  | 126 | beq	1f | 
|  | 127 | VFPFMXR	FPINST2, r8		@ FPINST2 if needed (and present) | 
|  | 128 | 1: | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 129 | VFPFMXR	FPSCR, r5		@ restore status | 
|  | 130 |  | 
|  | 131 | check_for_exception: | 
| Russell King | 228adef | 2007-07-18 09:37:10 +0100 | [diff] [blame] | 132 | tst	r1, #FPEXC_EX | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 133 | bne	process_exception	@ might as well handle the pending | 
|  | 134 | @ exception before retrying branch | 
|  | 135 | @ out before setting an FPEXC that | 
|  | 136 | @ stops us reading stuff | 
|  | 137 | VFPFMXR	FPEXC, r1		@ restore FPEXC last | 
|  | 138 | sub	r2, r2, #4 | 
|  | 139 | str	r2, [sp, #S_PC]		@ retry the instruction | 
|  | 140 | mov	pc, r9			@ we think we have handled things | 
|  | 141 |  | 
|  | 142 |  | 
|  | 143 | look_for_VFP_exceptions: | 
| Catalin Marinas | c98929c | 2007-11-22 18:32:01 +0100 | [diff] [blame] | 144 | @ Check for synchronous or asynchronous exception | 
|  | 145 | tst	r1, #FPEXC_EX | FPEXC_DEX | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 146 | bne	process_exception | 
| Catalin Marinas | c98929c | 2007-11-22 18:32:01 +0100 | [diff] [blame] | 147 | @ On some implementations of the VFP subarch 1, setting FPSCR.IXE | 
|  | 148 | @ causes all the CDP instructions to be bounced synchronously without | 
|  | 149 | @ setting the FPEXC.EX bit | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 150 | VFPFMRX	r5, FPSCR | 
| Catalin Marinas | c98929c | 2007-11-22 18:32:01 +0100 | [diff] [blame] | 151 | tst	r5, #FPSCR_IXE | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 152 | bne	process_exception | 
|  | 153 |  | 
|  | 154 | @ Fall into hand on to next handler - appropriate coproc instr | 
|  | 155 | @ not recognised by VFP | 
|  | 156 |  | 
|  | 157 | DBGSTR	"not VFP" | 
|  | 158 | mov	pc, lr | 
|  | 159 |  | 
|  | 160 | process_exception: | 
|  | 161 | DBGSTR	"bounce" | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 162 | mov	r2, sp			@ nothing stacked - regdump is at TOS | 
|  | 163 | mov	lr, r9			@ setup for a return to the user code. | 
|  | 164 |  | 
|  | 165 | @ Now call the C code to package up the bounce to the support code | 
|  | 166 | @   r0 holds the trigger instruction | 
|  | 167 | @   r1 holds the FPEXC value | 
|  | 168 | @   r2 pointer to register dump | 
| Catalin Marinas | c98929c | 2007-11-22 18:32:01 +0100 | [diff] [blame] | 169 | b	VFP_bounce		@ we have handled this - the support | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 170 | @ code will raise an exception if | 
|  | 171 | @ required. If not, the user code will | 
|  | 172 | @ retry the faulted instruction | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 173 | ENDPROC(vfp_support_entry) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 174 |  | 
| Ben Dooks | fc0b7a2 | 2008-12-18 12:26:54 +0100 | [diff] [blame] | 175 | #if defined(CONFIG_SMP) || defined(CONFIG_PM) | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 176 | ENTRY(vfp_save_state) | 
| Catalin Marinas | c642846 | 2007-01-24 18:47:08 +0100 | [diff] [blame] | 177 | @ Save the current VFP state | 
|  | 178 | @ r0 - save location | 
|  | 179 | @ r1 - FPEXC | 
|  | 180 | DBGSTR1	"save VFP state %p", r0 | 
| Catalin Marinas | 25ebee0 | 2007-09-25 15:22:24 +0100 | [diff] [blame] | 181 | VFPFSTMIA r0, r2		@ save the working registers | 
| Catalin Marinas | c642846 | 2007-01-24 18:47:08 +0100 | [diff] [blame] | 182 | VFPFMRX	r2, FPSCR		@ current status | 
| Catalin Marinas | c98929c | 2007-11-22 18:32:01 +0100 | [diff] [blame] | 183 | tst	r1, #FPEXC_EX		@ is there additional state to save? | 
| Catalin Marinas | 24b647a | 2008-11-06 13:23:08 +0000 | [diff] [blame] | 184 | beq	1f | 
|  | 185 | VFPFMRX	r3, FPINST		@ FPINST (only if FPEXC.EX is set) | 
|  | 186 | tst	r1, #FPEXC_FP2V		@ is there an FPINST2 to read? | 
|  | 187 | beq	1f | 
|  | 188 | VFPFMRX	r12, FPINST2		@ FPINST2 if needed (and present) | 
|  | 189 | 1: | 
| Catalin Marinas | c642846 | 2007-01-24 18:47:08 +0100 | [diff] [blame] | 190 | stmia	r0, {r1, r2, r3, r12}	@ save FPEXC, FPSCR, FPINST, FPINST2 | 
|  | 191 | mov	pc, lr | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 192 | ENDPROC(vfp_save_state) | 
| Catalin Marinas | c642846 | 2007-01-24 18:47:08 +0100 | [diff] [blame] | 193 | #endif | 
|  | 194 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 195 | last_VFP_context_address: | 
|  | 196 | .word	last_VFP_context | 
|  | 197 |  | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 198 | ENTRY(vfp_get_float) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 199 | add	pc, pc, r0, lsl #3 | 
|  | 200 | mov	r0, r0 | 
|  | 201 | .irp	dr,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 | 
|  | 202 | mrc	p10, 0, r0, c\dr, c0, 0	@ fmrs	r0, s0 | 
|  | 203 | mov	pc, lr | 
|  | 204 | mrc	p10, 0, r0, c\dr, c0, 4	@ fmrs	r0, s1 | 
|  | 205 | mov	pc, lr | 
|  | 206 | .endr | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 207 | ENDPROC(vfp_get_float) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 208 |  | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 209 | ENTRY(vfp_put_float) | 
| Daniel Jacobowitz | 0355b3e | 2006-08-30 15:06:39 +0100 | [diff] [blame] | 210 | add	pc, pc, r1, lsl #3 | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 211 | mov	r0, r0 | 
|  | 212 | .irp	dr,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 | 
| Daniel Jacobowitz | 0355b3e | 2006-08-30 15:06:39 +0100 | [diff] [blame] | 213 | mcr	p10, 0, r0, c\dr, c0, 0	@ fmsr	r0, s0 | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 214 | mov	pc, lr | 
| Daniel Jacobowitz | 0355b3e | 2006-08-30 15:06:39 +0100 | [diff] [blame] | 215 | mcr	p10, 0, r0, c\dr, c0, 4	@ fmsr	r0, s1 | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 216 | mov	pc, lr | 
|  | 217 | .endr | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 218 | ENDPROC(vfp_put_float) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 219 |  | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 220 | ENTRY(vfp_get_double) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 221 | add	pc, pc, r0, lsl #3 | 
|  | 222 | mov	r0, r0 | 
|  | 223 | .irp	dr,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 | 
| Russell King | 1a6be26 | 2006-06-21 13:51:41 +0100 | [diff] [blame] | 224 | fmrrd	r0, r1, d\dr | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 225 | mov	pc, lr | 
|  | 226 | .endr | 
| Catalin Marinas | 25ebee0 | 2007-09-25 15:22:24 +0100 | [diff] [blame] | 227 | #ifdef CONFIG_VFPv3 | 
|  | 228 | @ d16 - d31 registers | 
|  | 229 | .irp	dr,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 | 
|  | 230 | mrrc	p11, 3, r0, r1, c\dr	@ fmrrd	r0, r1, d\dr | 
|  | 231 | mov	pc, lr | 
|  | 232 | .endr | 
|  | 233 | #endif | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 234 |  | 
| Catalin Marinas | 25ebee0 | 2007-09-25 15:22:24 +0100 | [diff] [blame] | 235 | @ virtual register 16 (or 32 if VFPv3) for compare with zero | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 236 | mov	r0, #0 | 
|  | 237 | mov	r1, #0 | 
|  | 238 | mov	pc, lr | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 239 | ENDPROC(vfp_get_double) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 240 |  | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 241 | ENTRY(vfp_put_double) | 
| Daniel Jacobowitz | 0355b3e | 2006-08-30 15:06:39 +0100 | [diff] [blame] | 242 | add	pc, pc, r2, lsl #3 | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 243 | mov	r0, r0 | 
|  | 244 | .irp	dr,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 | 
| Daniel Jacobowitz | 0355b3e | 2006-08-30 15:06:39 +0100 | [diff] [blame] | 245 | fmdrr	d\dr, r0, r1 | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 246 | mov	pc, lr | 
|  | 247 | .endr | 
| Catalin Marinas | 25ebee0 | 2007-09-25 15:22:24 +0100 | [diff] [blame] | 248 | #ifdef CONFIG_VFPv3 | 
|  | 249 | @ d16 - d31 registers | 
|  | 250 | .irp	dr,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 | 
|  | 251 | mcrr	p11, 3, r1, r2, c\dr	@ fmdrr	r1, r2, d\dr | 
|  | 252 | mov	pc, lr | 
|  | 253 | .endr | 
|  | 254 | #endif | 
| Catalin Marinas | 93ed397 | 2008-08-28 11:22:32 +0100 | [diff] [blame] | 255 | ENDPROC(vfp_put_double) |