Added binop forms of sign and zero flags

lifting-bits / remill

Library for lifting machine code to LLVM bitcode

Apache License 2.0

1.22k stars 141 forks source link

Added binop forms of sign and zero flags #567

Closed 2over12 closed 2 years ago

2over12 commented 2 years ago

This pull request adds binary operator forms of the sign flag and zero flag. These binary forms track the potential candidate compared values. This change comes along with a requirement in anvill that all flag hints provide candidate compared values in order to bypass potential truncation etc.