10 @rt == r15 && rn == r15
11 @ && bits<0..1> (immediate) != 00
14 @inITBlock && rt == 15 && !lastInITBlock
23 @inITBlock && rt == 15 && !lastInITBlock
29 @rt == r15 && bits<0..1> (immediate) != 00
34 @inITBlock && rt == 15 && !lastInITBlock
55 @rt == 15 || rm == 13 || rm == 15