On Thu, Mar 22, 2018 at 14:41:05 +0800, Richard Henderson wrote:
> On 03/22/2018 01:57 PM, Emilio G. Cota wrote:
> >> Is there any especially good reason you want to not put this code into the
> >> normal softfloat function? Does it really many any measurable difference
> >> at
> >> all to force this code to be inlined into a helper?
(snip)
> Well, not quite. I meant putting all of the new code into softfloat.c,
I put all this in a separate file because I didn't want to spend time
trying to understand the licensing of softfloat. It isn't clear to
me whether what goes into softfloat.[ch] is only GPL'ed or also BSD'ed.
> and not
> attempting to inline any of it in target/cpu/foo_helper.c.
Unless I've made a mistake, I have not tried to inline anything in
target/*helper*.c
> The best written target helpers currently simply tail-call to softfloat.c.
> There are others that do so after minor argument adjustment. For these, I
> have
> had in my plans to rearrange things such that e.g. float32_add is called from
> TCG directly, with no other function calls at all.
Yes, this is definitely worth trying.
> For targets that cannot do that, I simply cannot bring myself to care about
> the
> final percentage points enough to want to introduce extra macros.
Agreed.
> Another thought re all of the soft_is_normal || soft_is_zero checks that
> you're
> performing. I think it would be nice if we could work with
> float*_unpack_canonical so that we don't have to duplicate work. E.g.
>
> /* Return true for float_class_normal && float_class_zero. */
> static inline bool is_finite(FloatClass c) { return c <= float_class_zero; }
>
> float32 float32_add(float32 a, float32 b, float_status *s)
> {
> FloatClass a_cls = float32_classify(a);
> FloatClass b_cls = float32_classify(b);
>
> if (is_finite(a_cls) && is_finite(b_cls) && ...) {
> /* do hardfp thing */
> }
>
> pa = float32_unpack(a, ca, s);
> pb = float32_unpack(b, cb, s);
> pr = addsub_floats(pa, pb, s, false);
> return float32_round_pack(pr, s);
> }
>
> Where float32_classify produces Normal/Zero/Inf/NaN and might avoid duplicate
> work within float32_unpack.
I'll look into this.
Thanks,
Emilio
