tree 12d7b40ab2dc9fef43bc3bf0b08917d1eb712316
parent dda3ec490cf6a5927a9c6829654481101bfeda61
author Peter Maydell <peter.maydell@linaro.org> 1300117033 +0000
committer Aurelien Jarno <aurelien@aurel32.net> 1300777147 +0100

target-arm: use make_float32() to make constant floats for VRSQRTS

The preferred way to create a constant floating point value is to use
make_float32() rather than doing a runtime int32_to_float32().
Convert the code in the VRSQRTS helper to work this way.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>