Pertanyaan yang diberi tag x86-64

Saya berjuang dengan Bagian 5.1.2.4 dari Standar C11, khususnya semantik Release / Acquire. Saya perhatikan bahwa https://preshing.com/20120913/acquire-and-release-semantics/ (antara lain) menyatakan bahwa: ... Rilis semantik mencegah penyusunan ulang memori dari rilis-rilis dengan operasi baca...

Pertimbangkan kode C ini: void foo(void); long bar(long x) { foo(); return x; } Ketika saya mengompilasinya di GCC 9.3 dengan salah satu -O3atau -Os, saya mendapatkan ini: bar: push r12 mov r12, rdi call foo mov rax, r12 pop r12 ret Output dari dentang identik kecuali untuk memilih...