On Mon Jun 26 09:13:02 2023 +0000, Giovanni Mascellani wrote:
Thanks, that's ok for me. Notice that we're not dealing with a lot of complications that come with floating point numbers. For example, SM1-3 doesn't allow infinities or NaNs (AFAIU), so I'm not sure of what should happen if the dot folding results in one of those. However, most of the constant folding code doesn't care, so I'm ignoring the issue for the time being. Also, we usually keep `switch` cases separated with newlines.
Do we know how consistent handling of special float values is? Maybe we should have some helpers for multiplication/addition that will handle this depending on profile.