On Wed May 24 15:17:35 2023 +0000, Francisco Casas wrote:
You are right, I forgot about `HALF`. Also, we may want to keep the lowering for `DOUBLE`s, but that made me realize it is perhaps better to change the name of the pass to `lower_non_float_dot()`.
The code should probably be checking a positive condition and not a negative one, really.