14 @!(rt == r15) && rn == r15
15 @ && bits<0..1> (immediate) != 00
18 @rt == r15 && !(rn == r15)
19 @ && bits<0..1> (immediate) != 00
22 @rt == r15 && rn == r15
23 @ && bits<0..1> (immediate) == 00
26 @inITBlock && !(rt == 15) && !lastInITBlock
32 @inITBlock && rt == 15 && lastInITBlock
38 @inITBlock && !(rt == 15) && !lastInITBlock
44 @inITBlock && (rt == 15) && lastInITBlock
48 @!(rt == r15) && bits<0..1> (immediate) != 00
51 @rt == r15 && bits<0..1> (immediate) == 00
56 @inITBlock && !(rt == 15) && !lastInITBlock
62 @inITBlock && (rt == 15) && lastInITBlock
66 @!(rm == 13 || rm == 15)
71 @!(rt == 15 || rn == 15)
82 @!(rt == 15 || rm == 13 || rm == 15)