Skip to content
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

No representation of predicates in rizin #29

Open
Rot127 opened this issue Sep 30, 2021 · 0 comments
Open

No representation of predicates in rizin #29

Rot127 opened this issue Sep 30, 2021 · 0 comments
Labels
enhancement New feature or request rizin Involves changes to the rizin core source

Comments

@Rot127
Copy link
Member

Rot127 commented Sep 30, 2021

Rizin only supports conditionals which are not compatible with the predicate registers of the Hexagon architecture.

The Pu registers are interpreted like this:

If a scalar instruction uses it: The least significant bit determines the truth value. 1 = true, 0 = false.

If a vector instruction uses it: Each bit in the Pu register corresponds to a truth value of a single vector. 1 = true, 0 = false.

The condition, on which the instruction is executed, is stored in RzTypeCond RzAnalysisOp.cond. But non of the types in RzTypeCond match with the interpretation of the Pu register.

@Rot127 Rot127 added enhancement New feature or request rizin Involves changes to the rizin core source labels Sep 30, 2021
@Rot127 Rot127 changed the title Representation of predicates in rizin No representation of predicates in rizin Oct 1, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request rizin Involves changes to the rizin core source
Projects
None yet
Development

No branches or pull requests

1 participant