On 21 July 2017 at 14:50, Alex Bennée <alex.ben...@linaro.org> wrote: > Aurelien Jarno <aurel...@aurel32.net> writes: >> As said in another email, some architectures actually use more than one >> float_status. We therefore need to implement a solution like the one >> proposed by Richard. > > Ahh you mean more than one float_status for a given vCPU context?
Yep. ARM's cpu state struct has float_status fp_status; float_status standard_fp_status; which we use to handle (1) operations which use the state controlled by the FPSCR value and (2) operations which ignore the FPSCR and use the "Standard FPSCR Value" (generally Neon ops). More info in the comment in cpu.h... thanks -- PMM