search for: scevudiv

Displaying 1 result from an estimated 1 matches for "scevudiv".

2018 Aug 02
2
SCEVUDiv simplification
Hello, I noticed that our SCEVUDiv does not simplify anything when the RHS is not a constant. Is that because there is a potential issue with division by zero being simplified? For instance, would it be okay to simplify: ((%i * %n)<nuw> /u %n) into: %i The way I see it, if %n is 0, then that division is undefined and we ca...