SjoerdMeijer added a comment. Oops, thanks for reviewing/checking! This shows we also need more tests for dsb and dmb; currently regression tests check only for incorrect immediate values and not the option. https://reviews.llvm.org/D32227