Re: [MirageOS-devel] unsigned integers

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

On 07/09/2016 14:50, Anil Madhavapeddy wrote:
> The optimisation of the use of builtin functions would probably be drowned 
> out by the extra 2 value allocations happening because a tuple is being 
> returned.
> 
> Would it be crazy to pass in a bool ref that could be reused to check for 
> overflow?

Are we afraid of allocation?  Surely, a global bool ref could be used,
and it even might be safe considering single threading.  But then we'd
need to allocate the tuple on the Caml side (is that cheaper?) or
provide an awkward API (add : t -> t -> t, carry : bool) reminding me of
unix errno (which I have no plans to replicate).


better allocate than having a messed up API,

hannes

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel