libera/#sicl - IRC Chatlog
Search
4:21:35
beach
Sure, I can imagine such a situation. But I suspect I have not yet figured out all possibilities for call-site management.
4:22:24
beach
So far, I have considered only situations where the callee can change arbitrarily at some later point.
4:25:05
Bike
Oh, I guess with the results there is also a little concern. You could have a situation where the result of a call is always used in a context where an unboxed double would be better (e.g. (+ (the double-float (f)) another-double)). In that case the compiler would want to assume the result of f is unboxed, and the call site would either do something naturally resulting in an unboxed double, or type check and
4:25:37
Bike
So I guess I'd need to consider calls with unboxed results, which I don't do currently.
4:26:26
Bike
But this is all in the realm of optimizations rather than anything that would actually _need_ to change for a call site manager to work with Cleavir
14:35:30
jcowan
Well, I keep pointing out the advantages of NaN-boxing, which gives you double floats for free.
14:42:42
beach
So I think we have already taken into account the advantages of NaN-boxing when we made a decision to do something else.