On Fri Nov 17 09:38:09 2023 +0000, Giovanni Mascellani wrote:
I think this test is slightly more powerful if `aa` has type `float4` instead of `uint4`, so that it is checked that `-1u` is indeed parsed as an unsigned expression (because if it's not the cast to `float` will give `-1` rather than `UINT_MAX`). Also, I'd test for a number which is in range for `uint` but not for `int`, like three billions.
Good idea, it is indeed as you say.
I also added an additional test for 3 billions.