# RUN: llvm-mc -triple aarch64 -disassemble -mattr=+tlbiw -mattr=+xs < %s | FileCheck --check-prefix=CHECK-TLBIW --check-prefix=CHECK-XS %s
# RUN: llvm-mc -triple aarch64 -disassemble -mattr=+tlbiw < %s | FileCheck --check-prefix=CHECK-TLBIW --check-prefix=CHECK-NO-XS-TLBIW %s
# RUN: llvm-mc -triple aarch64 -disassemble < %s | FileCheck --check-prefix=CHECK-NO-TLBIW --check-prefix=CHECK-NO-XS-TLBIW %s

[0x5f,0x86,0x0c,0xd5]
# CHECK-TLBIW: tlbi vmallws2e1
# CHECK-NO-TLBIW: sys #4, c8, c6, #2

[0x5f,0x82,0x0c,0xd5]
# CHECK-TLBIW: tlbi vmallws2e1is
# CHECK-NO-TLBIW: sys #4, c8, c2, #2

[0x5f,0x85,0x0c,0xd5]
# CHECK-TLBIW: tlbi vmallws2e1os
# CHECK-NO-TLBIW: sys #4, c8, c5, #2

[0x5f,0x96,0x0c,0xd5]
# CHECK-XS: tlbi vmallws2e1nxs
# CHECK-NO-XS-TLBIW: sys #4, c9, c6, #2

[0x5f,0x92,0x0c,0xd5]
# CHECK-XS: tlbi vmallws2e1isnxs
# CHECK-NO-XS-TLBIW: sys #4, c9, c2, #2

[0x5f,0x95,0x0c,0xd5]
# CHECK-XS: tlbi vmallws2e1osnxs
# CHECK-NO-XS-TLBIW: sys #4, c9, c5, #2