On Fri Mar 17 21:23:59 2023 +0000, Matteo Bruni wrote:
Right, I guess I was wondering if an integer expression is converted or just bitwise reinterpreted to float for float variables and, in either case, whether that is explicit (e.g. itof) or implicit. Ideally we'd have integer expression tests both for the integer variable (i.e. probably no conversion at all, but you never know...) and the float variable case.
We do know when there is a conversion for a given expression. The reason this was no split further was because single integer division uses all of these.