On 05/31/2016 11:39 AM, Pranith Kumar wrote:
+    /* System instructions.  */
+    DMB_ISH         = 0xd5033bbf,
...
+    case INDEX_op_mb:
+        tcg_out32(s, DMB_ISH);
+        break;

With the flags argument, this needs to be split.

DMB_ISH = 0xd5033b8f
DMB_RD  = 0x00000010
DMB_WR  = 0x00000020

        if (a0 == TCG_MB_READ) {
                a0 = DMB_RD;
        } else if (a0 == TCG_MB_WRITE) {
                a0 = DMB_WR;
        } else {
                a0 = DMB_RD | DMB_WR;
        }
        tcg_out32(s, DMB_ISH | a0);



r~

Reply via email to