# RUN: not llvm-mc -disassemble -triple=thumbv8.1m.main-none-eabi -show-encoding %s 2> %t | FileCheck %s
# RUN: FileCheck --check-prefix=ERROR < %t %s

[0x52 0xea 0x22 0x9e]
# CHECK: cinc lr, r2, lo  @ encoding: [0x52,0xea,0x22,0x9e]

[0x57 0xea 0x47 0x9e]
# CHECK: cinc lr, r7, pl  @ encoding: [0x57,0xea,0x47,0x9e]

[0x5c 0xea 0x3c 0xae]
# CHECK: cinv lr, r12, hs  @ encoding: [0x5c,0xea,0x3c,0xae]

[0x5a 0xea 0x3a 0xbe]
# CHECK: cneg lr, r10, hs  @ encoding: [0x5a,0xea,0x3a,0xbe]

[0x59 0xea 0x7b 0x89]
# CHECK: csel r9, r9, r11, vc  @ encoding: [0x59,0xea,0x7b,0x89]

[0x5f 0xea 0x1f 0x9e]
# CHECK: cset lr, eq  @ encoding: [0x5f,0xea,0x1f,0x9e]

[0x5f 0xea 0x3f 0xae]
# CHECK: csetm lr, hs  @ encoding: [0x5f,0xea,0x3f,0xae]

[0x5a 0xea 0xd7 0x9e]
# CHECK: csinc lr, r10, r7, le  @ encoding: [0x5a,0xea,0xd7,0x9e]

[0x55 0xea 0x2f 0xae]
# CHECK: csinv lr, r5, zr, hs  @ encoding: [0x55,0xea,0x2f,0xae]

[0x52 0xea 0x42 0xae]
# CHECK: cinv lr, r2, pl  @ encoding: [0x52,0xea,0x42,0xae]

[0x51 0xea 0x7b 0xbe]
# CHECK: csneg lr, r1, r11, vc  @ encoding: [0x51,0xea,0x7b,0xbe]

[0x50,0xea,0x01,0x80]
# CHECK: csel r0, r0, r1, eq @ encoding: [0x50,0xea,0x01,0x80]

[0x51,0xea,0x02,0x8d]
# CHECK: csel sp, r1, r2, eq @ encoding: [0x51,0xea,0x02,0x8d]
# ERROR: [[@LINE-2]]:2: warning: potentially undefined instruction encoding

[0x5d,0xea,0x02,0x80]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x51,0xea,0x0d,0x80]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5f,0xea,0x0d,0x83]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0x22 0x9e]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0x47 0x9e]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0x3c 0xae]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0x3a 0xbe]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0x7b 0x89]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0x1f 0x9e]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0x3f 0xae]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0xd7 0x9e]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0x2f 0xae]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0x42 0xae]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x5d 0xea 0x7b 0xbe]
# ERROR: [[@LINE-1]]:2: warning: invalid instruction encoding

[0x52 0xea 0x22 0x9d]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding

[0x57 0xea 0x47 0x9d]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding

[0x5c 0xea 0x3c 0xad]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding

[0x5a 0xea 0x3a 0xbd]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding

[0x59 0xea 0x7b 0x8d]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding

[0x5f 0xea 0x1f 0x9d]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding

[0x5f 0xea 0x3f 0xad]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding

[0x5a 0xea 0xd7 0x9d]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding

[0x55 0xea 0x2f 0xad]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding

[0x52 0xea 0x42 0xad]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding

[0x51 0xea 0x7b 0xbd]
# ERROR: [[@LINE-1]]:2: warning: potentially undefined instruction encoding