13 @ !(rt == r15) && (rn == r15)
14 @ && bits<0..1> (immediate) != 00
17 @ (rt == r15) && !(rn == r15)
18 @ && bits<0..1> (immediate) != 00
21 @ ((rt == r15) && ((rn == r15)
22 @ && (bits<0..1> (immediate) == 00)))
27 @rt == r15 && (bits<0..1> (immediate) == 00)
30 @(!rt == r15) && bits<0..1> (immediate) != 00
35 @!wback && (n == t || n == 15)
39 @wback && !(n == t || n == 15)
47 @!wback && (n == t || n == 15)
51 @wback && !(n == t || n == 15)
56 @!wback && (n == t || n == 15)
60 @wback && !(n == t || n == 15)