On Thu Feb 15 11:41:30 2024 +0000, Giovanni Mascellani wrote:
It's ok for now, but it would be nice if this would eventually become another optimization pass, so that it covers other cases of double floors (or double whatever other idempotent operation).
I wrote this part to ensure that the transform_ir() call using this pass doesn't return true every time it is called, in case it is used in a loop, but it makes sense to also have a pass to lower idempotent functions.