On 11/27/18 1:07 PM, Alistair Francis wrote: > + OPC_FENCE_RW_RW = 0x0330000f, > + OPC_FENCE_R_R = 0x0220000f, > + OPC_FENCE_W_R = 0x0120000f, > + OPC_FENCE_R_W = 0x0210000f, > + OPC_FENCE_W_W = 0x0110000f, > + OPC_FENCE_R_RW = 0x0230000f, > + OPC_FENCE_RW_W = 0x0310000f,
A full compliment would have 9 alternatives, surely? Perhaps better to just fill in the fields when emitting? Otherwise, Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~