JIT: more optimizing of float ops based on known input characteristics

If the inputs are both float singles, and the top half is known to be identical
to the bottom half, we can use packed arithmetic instead of scalar to skip
the movddup.

This is slower on a few rather old CPUs, plus the Atom+Silvermont, so detect
Atom and disable it in that case.
JIT: minor cleanup, avoid MOVSD where MOVAPD will do

Avoids false dependencies.
JIT: fix possible binding mistake in fmaddXX