search

c4-project / c4f

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

x86: handle SETE/TESTB #51

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 5 years ago

At least one litmus test translation contains the stanza:

sete %AL
testb %AL, %AL
jne L3

This appears to be a very clumsy way of saying:

In other words, je L3.

I'm not sure how this should generalise to other possible instances of this pattern, but a pass to detect entirely the specific version above and swap it out wouldn't be too hard.

MattWindsor91 commented 4 years ago

Closing this as we've dropped X86 assembly support.