search

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography
MIT License
271 stars 55 forks source link

Add x86 instructions RORX, SARX, SHRX, SHLX #824

Closed vbgl closed 5 months ago

vbgl commented 6 months ago

Shifts & rotations that:

  1. do not affect flags
  2. may have different source & destination
vbgl commented 5 months ago

No. Randomized test of the semantics of instructions currently only works for ARM. Moreover, there is no satisfying method for sampling arguments that are immediate values (such as last operand of RORX).