-
Notifications
You must be signed in to change notification settings - Fork 74
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
About Float Point Instructions #59
Comments
It looks it is a Triton issue, as you can see Triton is not generating symbolic expressions for those instructions. So we can't check if they are symbolic or not :( We hope in the future the Triton support for floating instructions will be better. |
Yes. It is a Triton issue. It looks they will not support recently :( Thanks. |
We should show some warnings when Ponce finds unsupported instructions so the user can know without use the "Add comments with symbolic expression" if an instruction is supported. |
Right. Here is our list of supported instructions. The problem with floating point is that SMT solvers cannot deal with expressions which contain both theories bit-vector and floating-point. This behavior is a real problem for us due to the SSA-form. Example:
@0ca, regarding #400, I will return a boolean value to let you catch unsupported instructions. Cheers, |
Done, thank you for the help! |
I just try one float-point computing code. Some float-point instruction are missing.
@0ca @illera88 Will you try to add more float point instructions support or other solutions? I also saw some words about float point instructions in Triton website (5.1 - Few words about floating-point instructions) .
The text was updated successfully, but these errors were encountered: