On Tue Jan 3 18:42:08 2023 +0000, Francisco Casas wrote:
Well, not all of them are mapped to float, there is also int and uint, so that adds a little more complexity to that alternative. I think we should keep it as it is, to focus on more important features, since:
- Most of the potentially deletable code is in
declare_predefined_types() and I think it is easy to identify.
- A proper implementation is far in sight, we not only have to modify
the write operations to all instructions that use minimum precision types, but we also have to do a lot of testing to identify the casting rules between these types.
- So far I have only seen Bug 21185 using minimum precision types.
I guess that's fair; it just doesn't sit great with me that pretty much 100% of this commit is a workaround :-/