ARM: VFP: fix emulation of second VFP instruction
authorRussell King <rmk+kernel@arm.linux.org.uk>
Mon, 25 Feb 2013 16:09:12 +0000 (16:09 +0000)
committerBen Hutchings <ben@decadent.org.uk>
Wed, 20 Mar 2013 15:03:17 +0000 (15:03 +0000)
commite1f3c390ec420adcd0e0b5723eba6c1c447a2d42
tree54e8bcb2438a1c9d886e0ea1624032d6afabf90e
parentae651768e63cb9007aadf9c807ff9d8e3daedf8d
ARM: VFP: fix emulation of second VFP instruction

commit 5e4ba617c1b584b2e376f31a63bd4e734109318a upstream.

Martin Storsjö reports that the sequence:

        ee312ac1        vsub.f32        s4, s3, s2
        ee702ac0        vsub.f32        s5, s1, s0
        e59f0028        ldr             r0, [pc, #40]
        ee111a90        vmov            r1, s3

on Raspberry Pi (implementor 41 architecture 1 part 20 variant b rev 5)
where s3 is a denormal and s2 is zero results in incorrect behaviour -
the instruction "vsub.f32 s5, s1, s0" is not executed:

        VFP: bounce: trigger ee111a90 fpexc d0000780
        VFP: emulate: INST=0xee312ac1 SCR=0x00000000
        ...

As we can see, the instruction triggering the exception is the "vmov"
instruction, and we emulate the "vsub.f32 s4, s3, s2" but fail to
properly take account of the FPEXC_FP2V flag in FPEXC.  This is because
the test for the second instruction register being valid is bogus, and
will always skip emulation of the second instruction.

Reported-by: Martin Storsjö <martin@martin.st>
Tested-by: Martin Storsjö <martin@martin.st>
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
arch/arm/vfp/vfpmodule.c