Do there exist any ARM processors that implement the architecture version ARMv5TE (or ARMv5TEJ) yet also implement VFPv1 (as opposed to VFPv2)?
I am writing some assembly code for ARMv5TE and I would like to assume that if a VFP is present, it is VFPv2. Were there ever any processors shipped with this combination?
Looks like there is no such processors.
So, VFPv1 is implemented in ARM10200, which is ARMv5T (ARM10200 Datasheet, ARM10200™ Reference Device Product Overview). And only the next VFP10 revision (VPFv2) is available in ARMv5TE processors.
You can read more about VPF in Application Note 133. Using VFP with RVDS