Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | NetWinder Floating Point Emulator |
| 3 | (c) Rebel.COM, 1998 |
| 4 | (c) 1998, 1999 Philip Blundell |
| 5 | |
| 6 | Direct questions, comments to Scott Bambrough <scottb@netwinder.org> |
| 7 | |
| 8 | This program is free software; you can redistribute it and/or modify |
| 9 | it under the terms of the GNU General Public License as published by |
| 10 | the Free Software Foundation; either version 2 of the License, or |
| 11 | (at your option) any later version. |
| 12 | |
| 13 | This program is distributed in the hope that it will be useful, |
| 14 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 16 | GNU General Public License for more details. |
| 17 | |
| 18 | You should have received a copy of the GNU General Public License |
| 19 | along with this program; if not, write to the Free Software |
| 20 | Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
| 21 | */ |
| 22 | |
Leif Lindholm | e7f626d | 2011-12-12 19:44:49 +0100 | [diff] [blame] | 23 | #include <asm/opcodes.h> |
| 24 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 25 | /* This is the kernel's entry point into the floating point emulator. |
| 26 | It is called from the kernel with code similar to this: |
| 27 | |
| 28 | sub r4, r5, #4 |
| 29 | ldrt r0, [r4] @ r0 = instruction |
| 30 | adrsvc al, r9, ret_from_exception @ r9 = normal FP return |
| 31 | adrsvc al, lr, fpundefinstr @ lr = undefined instr return |
| 32 | |
| 33 | get_current_task r10 |
| 34 | mov r8, #1 |
| 35 | strb r8, [r10, #TSK_USED_MATH] @ set current->used_math |
| 36 | add r10, r10, #TSS_FPESAVE @ r10 = workspace |
| 37 | ldr r4, .LC2 |
| 38 | ldr pc, [r4] @ Call FP emulator entry point |
| 39 | |
| 40 | The kernel expects the emulator to return via one of two possible |
| 41 | points of return it passes to the emulator. The emulator, if |
| 42 | successful in its emulation, jumps to ret_from_exception (passed in |
| 43 | r9) and the kernel takes care of returning control from the trap to |
| 44 | the user code. If the emulator is unable to emulate the instruction, |
| 45 | it returns via _fpundefinstr (passed via lr) and the kernel halts the |
| 46 | user program with a core dump. |
| 47 | |
| 48 | On entry to the emulator r10 points to an area of private FP workspace |
| 49 | reserved in the thread structure for this process. This is where the |
| 50 | emulator saves its registers across calls. The first word of this area |
| 51 | is used as a flag to detect the first time a process uses floating point, |
| 52 | so that the emulator startup cost can be avoided for tasks that don't |
| 53 | want it. |
| 54 | |
| 55 | This routine does three things: |
| 56 | |
| 57 | 1) The kernel has created a struct pt_regs on the stack and saved the |
| 58 | user registers into it. See /usr/include/asm/proc/ptrace.h for details. |
| 59 | |
| 60 | 2) It calls EmulateAll to emulate a floating point instruction. |
| 61 | EmulateAll returns 1 if the emulation was successful, or 0 if not. |
| 62 | |
| 63 | 3) If an instruction has been emulated successfully, it looks ahead at |
| 64 | the next instruction. If it is a floating point instruction, it |
| 65 | executes the instruction, without returning to user space. In this |
| 66 | way it repeatedly looks ahead and executes floating point instructions |
| 67 | until it encounters a non floating point instruction, at which time it |
| 68 | returns via _fpreturn. |
| 69 | |
| 70 | This is done to reduce the effect of the trap overhead on each |
| 71 | floating point instructions. GCC attempts to group floating point |
| 72 | instructions to allow the emulator to spread the cost of the trap over |
| 73 | several floating point instructions. */ |
| 74 | |
Catalin Marinas | c1f438f | 2007-09-25 15:21:00 +0100 | [diff] [blame] | 75 | #include <asm/asm-offsets.h> |
| 76 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 77 | .globl nwfpe_enter |
| 78 | nwfpe_enter: |
| 79 | mov r4, lr @ save the failure-return addresses |
| 80 | mov sl, sp @ we access the registers via 'sl' |
| 81 | |
Catalin Marinas | c1f438f | 2007-09-25 15:21:00 +0100 | [diff] [blame] | 82 | ldr r5, [sp, #S_PC] @ get contents of PC; |
| 83 | mov r6, r0 @ save the opcode |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 84 | emulate: |
Catalin Marinas | c1f438f | 2007-09-25 15:21:00 +0100 | [diff] [blame] | 85 | ldr r1, [sp, #S_PSR] @ fetch the PSR |
Leif Lindholm | e7f626d | 2011-12-12 19:44:49 +0100 | [diff] [blame] | 86 | bl arm_check_condition @ check the condition |
| 87 | cmp r0, #ARM_OPCODE_CONDTEST_PASS @ condition passed? |
Catalin Marinas | c1f438f | 2007-09-25 15:21:00 +0100 | [diff] [blame] | 88 | |
| 89 | @ if condition code failed to match, next insn |
Leif Lindholm | e7f626d | 2011-12-12 19:44:49 +0100 | [diff] [blame] | 90 | bne next @ get the next instruction; |
Catalin Marinas | c1f438f | 2007-09-25 15:21:00 +0100 | [diff] [blame] | 91 | |
| 92 | mov r0, r6 @ prepare for EmulateAll() |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 93 | bl EmulateAll @ emulate the instruction |
| 94 | cmp r0, #0 @ was emulation successful |
| 95 | moveq pc, r4 @ no, return failure |
| 96 | |
| 97 | next: |
| 98 | .Lx1: ldrt r6, [r5], #4 @ get the next instruction and |
| 99 | @ increment PC |
| 100 | |
| 101 | and r2, r6, #0x0F000000 @ test for FP insns |
| 102 | teq r2, #0x0C000000 |
| 103 | teqne r2, #0x0D000000 |
| 104 | teqne r2, #0x0E000000 |
| 105 | movne pc, r9 @ return ok if not a fp insn |
| 106 | |
Catalin Marinas | c1f438f | 2007-09-25 15:21:00 +0100 | [diff] [blame] | 107 | str r5, [sp, #S_PC] @ update PC copy in regs |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 108 | |
| 109 | mov r0, r6 @ save a copy |
Catalin Marinas | c1f438f | 2007-09-25 15:21:00 +0100 | [diff] [blame] | 110 | b emulate @ check condition and emulate |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 111 | |
| 112 | @ We need to be prepared for the instructions at .Lx1 and .Lx2 |
| 113 | @ to fault. Emit the appropriate exception gunk to fix things up. |
| 114 | @ ??? For some reason, faults can happen at .Lx2 even with a |
| 115 | @ plain LDR instruction. Weird, but it seems harmless. |
Russell King | 4260415 | 2010-04-19 10:15:03 +0100 | [diff] [blame] | 116 | .pushsection .fixup,"ax" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 117 | .align 2 |
| 118 | .Lfix: mov pc, r9 @ let the user eat segfaults |
Russell King | 4260415 | 2010-04-19 10:15:03 +0100 | [diff] [blame] | 119 | .popsection |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 120 | |
Russell King | 4260415 | 2010-04-19 10:15:03 +0100 | [diff] [blame] | 121 | .pushsection __ex_table,"a" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 122 | .align 3 |
| 123 | .long .Lx1, .Lfix |
Russell King | 4260415 | 2010-04-19 10:15:03 +0100 | [diff] [blame] | 124 | .popsection |