Optimising ARM DMBs

[Tim Northover]

> It's not entirely the same. A DMB is removable if the previous statement was
> a DMB, or there has not been an instruction since the last DMB that warrants
> a new DMB. PreviousIsDMB seems to suggest that we only look at the previous
> instruction.

I actually think the name you chose is better than any of the
suggestions so far. "IsNextDMBRemovable" might be more grammatical,
but other than that it gets the point across.

Cheers.

Tim.