tests/one_shot.v · 12bec4d549d8f344668306e3573dd3b983ce6f5b · Abel Nieto / Iris

Forked from Iris / Iris

5937 commits behind the upstream repository.

5 years ago

Ralf Jung authored 5 years ago

This is the name used by x86 (CMPXCHG) and LLVM.  Also reorder the result (value
first, boolean second) for consistency with LLVM, because why not.

12bec4d5

Ralf Jung authored 5 years ago

This is the name used by x86 (CMPXCHG) and LLVM.  Also reorder the result (value
first, boolean second) for consistency with LLVM, because why not.