search

c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
14 stars 1 forks source link

x86: lower cmpl to cmp #3

Closed MattWindsor91 closed 6 years ago

MattWindsor91 commented 6 years ago

Herd7 doesn't support cmpl (yet). This lowering should be fine if the source and destination are both 32-bit (which they invariably will be in our examples).

MattWindsor91 commented 6 years ago

Fixed in 6f9fb9ab56e8964222fac66cd2380ba4afe63e63.