You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Using the modulo operand is the likely reason for bugs with some programs as we do not have a customized version of it. It results in platin failures and single-path failures because it has an unbounded loop.
This issue tracks fixing this. The best solution is providing our own modulo function in Compiler-RT (umodXi3).
The text was updated successfully, but these errors were encountered:
Using the modulo operand is the likely reason for bugs with some programs as we do not have a customized version of it. It results in platin failures and single-path failures because it has an unbounded loop.
This issue tracks fixing this. The best solution is providing our own modulo function in Compiler-RT (
umodXi3
).The text was updated successfully, but these errors were encountered: