While working on FileCheck producing better diagnostics in D53710,
I noticed that this test case is broken in a few different ways, and
wanted to check the changes I made (because there are few things I
don't understand here).
The problem was that labels vfp-CHECK and novfp-CHECK where not
checked, so the test wasn't doing anything. Replacing this with just vfp
and novfp revealed a test failure in the novfp case: it was actually
producing vadd.f32 s0, s0, s0 and not using the GPR registers. But I
don't see how we can ever get GPR registers here, thus I don't think
this test makes much sense, and I have just removed it.