[Qemu-devel] Checking underflow condition for FRCPE instr [AARCH64]

2014-08-08 Thread Gaurav Sharma
Hi, I am trying to test the floating point instruction for arm in qemu. For floating point reciprocal estimate instruction, for a64 i see a check for underflow condition in float64 HELPER(recpe_f64) method : else if (f64_exp = 1023 fpst-flush_to_zero) 1. how do we calculate the value to

Re: [Qemu-devel] Checking underflow condition for FRCPE instr [AARCH64]

2014-08-08 Thread Peter Maydell
On 8 August 2014 11:02, Gaurav Sharma gauravs.2...@gmail.com wrote: I am trying to test the floating point instruction for arm in qemu. For floating point reciprocal estimate instruction, for a64 i see a check for underflow condition in float64 HELPER(recpe_f64) method : else if (f64_exp =

Re: [Qemu-devel] Checking underflow condition for FRCPE instr [AARCH64]

2014-08-08 Thread Peter Maydell
On 8 August 2014 11:25, Peter Maydell peter.mayd...@linaro.org wrote: Since we've already dealt with the NaN and infinity and denormal cases by this point in the code, we know that value == (-1)^S * 2^(exp-1023) * 1.frac If you plug in the value == 2.0^1022 and work it out you'll find that

Re: [Qemu-devel] Checking underflow condition for FRCPE instr [AARCH64]

2014-08-08 Thread Gaurav Sharma
My bad, I was not specific. Actually, i am trying to run some test on qemu to verify some instructions. For which i build a binary and load it on qemu in my environment and test the output. In this case even i am not sure, if the output i get from qemu is correct or not. [Use case] [sample -