# RUN: llvm-mc -triple=aarch64 -mattr=+the -mattr=+d128 -disassemble %s | FileCheck %s
# RUN: llvm-mc -triple=aarch64 -mattr=+v8.9a -mattr=+the -mattr=+d128 -disassemble %s | FileCheck %s
# RUN: llvm-mc -triple=aarch64 -mattr=+v9.4a -mattr=+the -mattr=+d128 -disassemble %s | FileCheck %s
# RUN: not llvm-mc -triple=aarch64 -disassemble %s 2>&1 | FileCheck %s --check-prefix=ERROR-NO-THE
# RUN: not llvm-mc -triple=aarch64 -mattr=+v8.9a -disassemble %s 2>&1 | FileCheck %s --check-prefix=ERROR-NO-THE
# RUN: not llvm-mc -triple=aarch64 -mattr=+v9.4a -disassemble %s 2>&1 | FileCheck %s --check-prefix=ERROR-NO-THE
# RUN: not llvm-mc -triple=aarch64 -mattr=+the -disassemble %s 2>&1 | FileCheck %s --check-prefix=ERROR-NO-D128
# RUN: not llvm-mc -triple=aarch64 -mattr=+v8.9a -mattr=+the -disassemble %s 2>&1 | FileCheck %s --check-prefix=ERROR-NO-D128
# RUN: not llvm-mc -triple=aarch64 -mattr=+v9.4a -mattr=+the -disassemble %s 2>&1 | FileCheck %s --check-prefix=ERROR-NO-D128
[0xc3,0xd0,0x38,0xd5]
# CHECK: mrs x3, RCWMASK_EL1
[0xc1,0xd0,0x18,0xd5]
# CHECK: msr RCWMASK_EL1, x1
[0x63,0xd0,0x38,0xd5]
# CHECK: mrs x3, RCWSMASK_EL1
[0x61,0xd0,0x18,0xd5]
# CHECK: msr RCWSMASK_EL1, x1
[0x81,0x08,0x20,0x19]
# CHECK: rcwcas x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x08,0xa0,0x19]
# CHECK: rcwcasa x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x08,0xe0,0x19]
# CHECK: rcwcasal x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x08,0x60,0x19]
# CHECK: rcwcasl x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x0b,0x23,0x19]
# CHECK: rcwcas x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x0b,0xa3,0x19]
# CHECK: rcwcasa x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x0b,0xe3,0x19]
# CHECK: rcwcasal x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x0b,0x63,0x19]
# CHECK: rcwcasl x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x08,0x20,0x59]
# CHECK: rcwscas x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x08,0xa0,0x59]
# CHECK: rcwscasa x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x08,0xe0,0x59]
# CHECK: rcwscasal x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x08,0x60,0x59]
# CHECK: rcwscasl x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x0b,0x23,0x59]
# CHECK: rcwscas x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x0b,0xa3,0x59]
# CHECK: rcwscasa x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x0b,0xe3,0x59]
# CHECK: rcwscasal x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x0b,0x63,0x59]
# CHECK: rcwscasl x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x86,0x0c,0x20,0x19]
# CHECK: rcwcasp x0, x1, x6, x7, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x86,0x0c,0xa0,0x19]
# CHECK: rcwcaspa x0, x1, x6, x7, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x86,0x0c,0xe0,0x19]
# CHECK: rcwcaspal x0, x1, x6, x7, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x86,0x0c,0x60,0x19]
# CHECK: rcwcaspl x0, x1, x6, x7, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe6,0x0f,0x24,0x19]
# CHECK: rcwcasp x4, x5, x6, x7, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe6,0x0f,0xa4,0x19]
# CHECK: rcwcaspa x4, x5, x6, x7, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe6,0x0f,0xe4,0x19]
# CHECK: rcwcaspal x4, x5, x6, x7, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe6,0x0f,0x64,0x19]
# CHECK: rcwcaspl x4, x5, x6, x7, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x86,0x0c,0x20,0x59]
# CHECK: rcwscasp x0, x1, x6, x7, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x86,0x0c,0xa0,0x59]
# CHECK: rcwscaspa x0, x1, x6, x7, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x86,0x0c,0xe0,0x59]
# CHECK: rcwscaspal x0, x1, x6, x7, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x86,0x0c,0x60,0x59]
# CHECK: rcwscaspl x0, x1, x6, x7, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe6,0x0f,0x24,0x59]
# CHECK: rcwscasp x4, x5, x6, x7, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe6,0x0f,0xa4,0x59]
# CHECK: rcwscaspa x4, x5, x6, x7, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe6,0x0f,0xe4,0x59]
# CHECK: rcwscaspal x4, x5, x6, x7, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe6,0x0f,0x64,0x59]
# CHECK: rcwscaspl x4, x5, x6, x7, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0x90,0x20,0x38]
# CHECK: rcwclr x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x90,0xa0,0x38]
# CHECK: rcwclra x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x90,0xe0,0x38]
# CHECK: rcwclral x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x90,0x60,0x38]
# CHECK: rcwclrl x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x93,0x23,0x38]
# CHECK: rcwclr x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x93,0xa3,0x38]
# CHECK: rcwclra x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x93,0xe3,0x38]
# CHECK: rcwclral x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x93,0x63,0x38]
# CHECK: rcwclrl x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x90,0x20,0x78]
# CHECK: rcwsclr x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x90,0xa0,0x78]
# CHECK: rcwsclra x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x90,0xe0,0x78]
# CHECK: rcwsclral x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x90,0x60,0x78]
# CHECK: rcwsclrl x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x93,0x23,0x78]
# CHECK: rcwsclr x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x93,0xa3,0x78]
# CHECK: rcwsclra x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x93,0xe3,0x78]
# CHECK: rcwsclral x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0x93,0x63,0x78]
# CHECK: rcwsclrl x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0x90,0x20,0x19]
# CHECK: rcwclrp x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0x90,0xa0,0x19]
# CHECK: rcwclrpa x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0x90,0xe0,0x19]
# CHECK: rcwclrpal x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0x90,0x60,0x19]
# CHECK: rcwclrpl x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0x93,0x23,0x19]
# CHECK: rcwclrp x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0x93,0xa3,0x19]
# CHECK: rcwclrpa x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0x93,0xe3,0x19]
# CHECK: rcwclrpal x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0x93,0x63,0x19]
# CHECK: rcwclrpl x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0x90,0x20,0x59]
# CHECK: rcwsclrp x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0x90,0xa0,0x59]
# CHECK: rcwsclrpa x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0x90,0xe0,0x59]
# CHECK: rcwsclrpal x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0x90,0x60,0x59]
# CHECK: rcwsclrpl x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0x93,0x23,0x59]
# CHECK: rcwsclrp x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0x93,0xa3,0x59]
# CHECK: rcwsclrpa x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0x93,0xe3,0x59]
# CHECK: rcwsclrpal x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0x93,0x63,0x59]
# CHECK: rcwsclrpl x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xb0,0x20,0x38]
# CHECK: rcwset x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xb0,0xa0,0x38]
# CHECK: rcwseta x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xb0,0xe0,0x38]
# CHECK: rcwsetal x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xb0,0x60,0x38]
# CHECK: rcwsetl x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0x23,0x38]
# CHECK: rcwset x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0xa3,0x38]
# CHECK: rcwseta x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0xe3,0x38]
# CHECK: rcwsetal x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0x63,0x38]
# CHECK: rcwsetl x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xb0,0x20,0x78]
# CHECK: rcwsset x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xb0,0xa0,0x78]
# CHECK: rcwsseta x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xb0,0xe0,0x78]
# CHECK: rcwssetal x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xb0,0x60,0x78]
# CHECK: rcwssetl x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0x23,0x78]
# CHECK: rcwsset x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0xa3,0x78]
# CHECK: rcwsseta x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0xe3,0x78]
# CHECK: rcwssetal x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0x63,0x78]
# CHECK: rcwssetl x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xb0,0x20,0x19]
# CHECK: rcwsetp x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xb0,0xa0,0x19]
# CHECK: rcwsetpa x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xb0,0xe0,0x19]
# CHECK: rcwsetpal x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xb0,0x60,0x19]
# CHECK: rcwsetpl x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0x23,0x19]
# CHECK: rcwsetp x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0xa3,0x19]
# CHECK: rcwsetpa x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0xe3,0x19]
# CHECK: rcwsetpal x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0x63,0x19]
# CHECK: rcwsetpl x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xb0,0x20,0x59]
# CHECK: rcwssetp x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xb0,0xa0,0x59]
# CHECK: rcwssetpa x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xb0,0xe0,0x59]
# CHECK: rcwssetpal x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xb0,0x60,0x59]
# CHECK: rcwssetpl x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0x23,0x59]
# CHECK: rcwssetp x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0xa3,0x59]
# CHECK: rcwssetpa x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0xe3,0x59]
# CHECK: rcwssetpal x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xb3,0x63,0x59]
# CHECK: rcwssetpl x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xa0,0x20,0x38]
# CHECK: rcwswp x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xa0,0xa0,0x38]
# CHECK: rcwswpa x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xa0,0xe0,0x38]
# CHECK: rcwswpal x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xa0,0x60,0x38]
# CHECK: rcwswpl x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0x23,0x38]
# CHECK: rcwswp x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0xa3,0x38]
# CHECK: rcwswpa x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0xe3,0x38]
# CHECK: rcwswpal x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0x63,0x38]
# CHECK: rcwswpl x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xa0,0x20,0x78]
# CHECK: rcwsswp x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xa0,0xa0,0x78]
# CHECK: rcwsswpa x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xa0,0xe0,0x78]
# CHECK: rcwsswpal x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xa0,0x60,0x78]
# CHECK: rcwsswpl x0, x1, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0x23,0x78]
# CHECK: rcwsswp x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0xa3,0x78]
# CHECK: rcwsswpa x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0xe3,0x78]
# CHECK: rcwsswpal x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0x63,0x78]
# CHECK: rcwsswpl x3, x5, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
[0x81,0xa0,0x20,0x19]
# CHECK: rcwswpp x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xa0,0xa0,0x19]
# CHECK: rcwswppa x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xa0,0xe0,0x19]
# CHECK: rcwswppal x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xa0,0x60,0x19]
# CHECK: rcwswppl x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0x23,0x19]
# CHECK: rcwswpp x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0xa3,0x19]
# CHECK: rcwswppa x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0xe3,0x19]
# CHECK: rcwswppal x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0x63,0x19]
# CHECK: rcwswppl x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xa0,0x20,0x59]
# CHECK: rcwsswpp x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xa0,0xa0,0x59]
# CHECK: rcwsswppa x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xa0,0xe0,0x59]
# CHECK: rcwsswppal x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0x81,0xa0,0x60,0x59]
# CHECK: rcwsswppl x1, x0, [x4]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0x23,0x59]
# CHECK: rcwsswpp x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0xa3,0x59]
# CHECK: rcwsswppa x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0xe3,0x59]
# CHECK: rcwsswppal x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding
[0xe5,0xa3,0x63,0x59]
# CHECK: rcwsswppl x5, x3, [sp]
# ERROR-NO-THE: [[@LINE-2]]:2: warning: invalid instruction encoding
# ERROR-NO-D128: [[@LINE-3]]:2: warning: invalid instruction encoding