@ CHECK: isb sy @ encoding: [0xbf,0xf3,0x6f,0x8f]
+@------------------------------------------------------------------------------
+@ IT
+@------------------------------------------------------------------------------
+@ Test encodings of a few full IT blocks, not just the IT instruction
+
+ iteet eq
+ addeq r0, r1, r2
+ nopne
+ subne r5, r6, r7
+ addeq r1, r2, #4
+
+@ CHECK: iteet eq @ encoding: [0x0d,0xbf]
+@ CHECK: addeq r0, r1, r2 @ encoding: [0x88,0x18]
+@ CHECK: nopne @ encoding: [0x00,0xbf]
+@ CHECK: subne r5, r6, r7 @ encoding: [0xf5,0x1b]
+@ CHECK: addeq r1, r2, #4 @ encoding: [0x11,0x1d]
+
+
@------------------------------------------------------------------------------
@ LDMIA
@------------------------------------------------------------------------------
@ CHECK: pli [sp, r2] @ encoding: [0x1d,0xf9,0x02,0xf0]
-@------------------------------------------------------------------------------
-@ IT
-@------------------------------------------------------------------------------
-@ Test encodings of a few full IT blocks, not just the IT instruction
-
- iteet eq
- addeq r0, r1, r2
- nopne
- subne r5, r6, r7
- addeq r1, r2, #4
-
-@ CHECK: iteet eq @ encoding: [0x0d,0xbf]
-@ CHECK: addeq r0, r1, r2 @ encoding: [0x88,0x18]
-@ CHECK: nopne @ encoding: [0x00,0xbf]
-@ CHECK: subne r5, r6, r7 @ encoding: [0xf5,0x1b]
-@ CHECK: addeq r1, r2, #4 @ encoding: [0x11,0x1d]
-
@------------------------------------------------------------------------------
@ SUB (register)
@------------------------------------------------------------------------------