tests/heap_lang.v · 12bec4d549d8f344668306e3573dd3b983ce6f5b · Pierre Roux / Iris

Forked from Iris / Iris

Source project has a limited visibility.

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.