@ CHECK: nop @ encoding: [0x00,0xf0,0x20,0xe3]
nop
-@ CHECK: dsb sy @ encoding: [0x4f,0xf0,0x7f,0xf5]
- dsb sy
-
-@ CHECK: dsb st @ encoding: [0x4e,0xf0,0x7f,0xf5]
- dsb st
-
-@ CHECK: dsb ish @ encoding: [0x4b,0xf0,0x7f,0xf5]
- dsb ish
-
-@ CHECK: dsb ishst @ encoding: [0x4a,0xf0,0x7f,0xf5]
- dsb ishst
-
-@ CHECK: dsb nsh @ encoding: [0x47,0xf0,0x7f,0xf5]
- dsb nsh
-
-@ CHECK: dsb nshst @ encoding: [0x46,0xf0,0x7f,0xf5]
- dsb nshst
-
-@ CHECK: dsb osh @ encoding: [0x43,0xf0,0x7f,0xf5]
- dsb osh
-
-@ CHECK: dsb oshst @ encoding: [0x42,0xf0,0x7f,0xf5]
- dsb oshst
-
@ CHECK: cpsie aif @ encoding: [0xc0,0x01,0x08,0xf1]
cpsie aif