Revision 6aae3df1
ID | 6aae3df15dc31f3635efe6e4d4605a6f16888a1b |
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>
Files
- added
- modified
- copied
- renamed
- deleted