Closed swernli closed 2 years ago
This change updates the profiles that support integers to include zext and select instructions. It also fixes a typo in the integer output recording function signature.
zext
select
This change updates the profiles that support integers to include
zext
andselect
instructions. It also fixes a typo in the integer output recording function signature.