<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/101176>101176</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
             C11 memory model memory_order_acq_rel  semantics should be lowered to acq_rel in IR 
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          UmeshKalappa0
      </td>
    </tr>
</table>

<pre>
    The following case 
https://godbolt.org/z/8aj1esMsn

was inconsistent with https://llvm.org/docs/Atomics.html i.e 

AcquireRelease (acq_rel in IR) provides both an Acquire and a Release barrier (for fences and operations which both read and write memory).

instead it emits monotic .


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxcUsFu2zAM_Rr5QtSQZaeODz5kKwIMwy7Fdi5kiY5ZyGIqyjW6rx-SONi6CwWB7z08ks-K0Cki9mr3Re2eCrvkiVP_a0aZvttgz2eri4H9R_9zQhg5BF4pnsBZQVD6SenDlPNZVH1Q5qjM8cR-4JBLTidljr-VOe7ta4XyQ-INfqurFaDoOApJxphhpTzBZ6kQ3udNx7MTZY6HzDM5Kac8B6Dy7uBWD-5toYTPGPBqzuyte3tJGIAifHtWpoNz4nfyKDBwnsBG2DhgowcLd-pgUyJMF4mRE4wYHcoVw2dMNhNHgXUiN92EElp_ba-JMsKMM6cPZbryX3sUJV9wlAFnygIzR87k4BOq8H3tu7qzBfZVa0zdVLUxxdR3u0rX3fjozOjG7lFXXu_MWNWts5VvEQvqjTaNbmtdGb1vTGn3Y-1aPdaNbtudaVSjcbYUyvteCxJZsK90VbWPRbADBrnmwJiIK1y7yphLLFJ_IT0My0lUowNJlr8ymXLAHr5W1TY6zOwxbJ8XTh7Ty_0WIDjbmMkJyMRL8DAgBF4xoYfM8OlmUCwp9P8FjPK0DKXjeYvI9jycE7-iy8ocr84vedlGe-_NnwAAAP__irzxKA">