« Previous | Next » 

Revision 6aae3df1

ID6aae3df15dc31f3635efe6e4d4605a6f16888a1b

Added by Peter Maydell almost 10 years ago

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 <>
Signed-off-by: Aurelien Jarno <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences