Displaying 1 result from an estimated 1 matches for "failureordering".
2014 Mar 07
3
[LLVMdev] [RFC] Add second "failure" AtomicOrdering to cmpxchg instruction
...al pair
of "success"
Semantically, I would like to enforce the constraints in the standards:
+ failure <= success
+ failure != Release
+ failure != AcquireRelease.
Before the DAG, I suggest completely removing getOrdering from
CmpXchgInst, in favour of getSuccessOrdering and getFailureOrdering to
avoid errors. In the DAG, getOrdering would still exist and return the
success ordering, which I believe would make existing targets
conservatively correct. AtomicSDNode would add getFailureOrdering,
used only by ATOMIC_CMP_SWAP nodes.
Existing bitcode files would obviously be supported, and re...