On 05/31/2016 11:39 AM, Pranith Kumar wrote:
+#define HWSYNC XO31(598) +#define LWSYNC (HWSYNC | (1u << 21))
...
+ case INDEX_op_mb: + /* ??? Do we want SEQ_CST or ACQ_REL memory model. */ + tcg_out32(s, HWSYNC); + break;
With the flags argument, this needs to be
#define EIEIO XO31(854)
a0 = args[0];
if (a0 == TCG_MB_WRITE) {
tcg_out32(s, EIEIO);
} else if (a1 == TCG_MB_READ) {
tcg_out32(s, LWSYNC);
} else {
tcg_out32(s, HWSYNC);
}
r~
