274 lines · plain
1// RUN: not llvm-mc -triple aarch64-none-linux-gnu -show-encoding -mattr=+v8.4a,+xs < %s 2>%t | FileCheck %s2// RUN: FileCheck --check-prefix=CHECK-ERR %s < %t3// RUN: not llvm-mc -triple aarch64-none-linux-gnu -show-encoding -mattr=+v8.7a < %s 2>%t | FileCheck %s4// RUN: FileCheck --check-prefix=CHECK-ERR %s < %t5// RUN: not llvm-mc -triple aarch64-none-linux-gnu -mattr=+v8.4a < %s 2> %t6// RUN: FileCheck --check-prefixes=CHECK-ERR,CHECK-NO-XS-ERR %s < %t7 8 dsb #169 dsb #2010 dsb #2411 dsb #2812 dsb oshnxs13 dsb nshnxs14 dsb ishnxs15 dsb synxs16// CHECK: dsb oshnxs // encoding: [0x3f,0x32,0x03,0xd5]17// CHECK: dsb nshnxs // encoding: [0x3f,0x36,0x03,0xd5]18// CHECK: dsb ishnxs // encoding: [0x3f,0x3a,0x03,0xd5]19// CHECK: dsb synxs // encoding: [0x3f,0x3e,0x03,0xd5]20// CHECK: dsb oshnxs // encoding: [0x3f,0x32,0x03,0xd5]21// CHECK: dsb nshnxs // encoding: [0x3f,0x36,0x03,0xd5]22// CHECK: dsb ishnxs // encoding: [0x3f,0x3a,0x03,0xd5]23// CHECK: dsb synxs // encoding: [0x3f,0x3e,0x03,0xd5]24// CHECK-NO-XS-ERR: [[@LINE-16]]:3: error: instruction requires: xs25// CHECK-NO-XS-ERR: [[@LINE-16]]:3: error: instruction requires: xs26// CHECK-NO-XS-ERR: [[@LINE-16]]:3: error: instruction requires: xs27// CHECK-NO-XS-ERR: [[@LINE-16]]:3: error: instruction requires: xs28// CHECK-NO-XS-ERR: [[@LINE-16]]:3: error: instruction requires: xs29// CHECK-NO-XS-ERR: [[@LINE-16]]:3: error: instruction requires: xs30// CHECK-NO-XS-ERR: [[@LINE-16]]:3: error: instruction requires: xs31// CHECK-NO-XS-ERR: [[@LINE-16]]:3: error: instruction requires: xs32 33 dsb #1734 dsb nshstnxs35// CHECK-ERR: [[@LINE-2]]:8: error: barrier operand out of range36// CHECK-ERR: [[@LINE-2]]:7: error: invalid barrier option name37 38 tlbi ipas2e1isnxs, x139 tlbi ipas2le1isnxs, x140 tlbi vmalle1isnxs41 tlbi alle2isnxs42 tlbi alle3isnxs43 tlbi vae1isnxs, x144 tlbi vae2isnxs, x145 tlbi vae3isnxs, x146 tlbi aside1isnxs, x147 tlbi vaae1isnxs, x148 tlbi alle1isnxs49 tlbi vale1isnxs, x150 tlbi vale2isnxs, x151 tlbi vale3isnxs, x152 tlbi vmalls12e1isnxs53 tlbi vaale1isnxs, x154 tlbi ipas2e1nxs, x155 tlbi ipas2le1nxs, x156 tlbi vmalle1nxs57 tlbi alle2nxs58 tlbi alle3nxs59 tlbi vae1nxs, x160 tlbi vae2nxs, x161 tlbi vae3nxs, x162 tlbi aside1nxs, x163 tlbi vaae1nxs, x164 tlbi alle1nxs65 tlbi vale1nxs, x166 tlbi vale2nxs, x167 tlbi vale3nxs, x168 tlbi vmalls12e1nxs69 tlbi vaale1nxs, x170// CHECK: tlbi ipas2e1isnxs, x1 // encoding: [0x21,0x90,0x0c,0xd5]71// CHECK: tlbi ipas2le1isnxs, x1 // encoding: [0xa1,0x90,0x0c,0xd5]72// CHECK: tlbi vmalle1isnxs // encoding: [0x1f,0x93,0x08,0xd5]73// CHECK: tlbi alle2isnxs // encoding: [0x1f,0x93,0x0c,0xd5]74// CHECK: tlbi alle3isnxs // encoding: [0x1f,0x93,0x0e,0xd5]75// CHECK: tlbi vae1isnxs, x1 // encoding: [0x21,0x93,0x08,0xd5]76// CHECK: tlbi vae2isnxs, x1 // encoding: [0x21,0x93,0x0c,0xd5]77// CHECK: tlbi vae3isnxs, x1 // encoding: [0x21,0x93,0x0e,0xd5]78// CHECK: tlbi aside1isnxs, x1 // encoding: [0x41,0x93,0x08,0xd5]79// CHECK: tlbi vaae1isnxs, x1 // encoding: [0x61,0x93,0x08,0xd5]80// CHECK: tlbi alle1isnxs // encoding: [0x9f,0x93,0x0c,0xd5]81// CHECK: tlbi vale1isnxs, x1 // encoding: [0xa1,0x93,0x08,0xd5]82// CHECK: tlbi vale2isnxs, x1 // encoding: [0xa1,0x93,0x0c,0xd5]83// CHECK: tlbi vale3isnxs, x1 // encoding: [0xa1,0x93,0x0e,0xd5]84// CHECK: tlbi vmalls12e1isnxs // encoding: [0xdf,0x93,0x0c,0xd5]85// CHECK: tlbi vaale1isnxs, x1 // encoding: [0xe1,0x93,0x08,0xd5]86// CHECK: tlbi ipas2e1nxs, x1 // encoding: [0x21,0x94,0x0c,0xd5]87// CHECK: tlbi ipas2le1nxs, x1 // encoding: [0xa1,0x94,0x0c,0xd5]88// CHECK: tlbi vmalle1nxs // encoding: [0x1f,0x97,0x08,0xd5]89// CHECK: tlbi alle2nxs // encoding: [0x1f,0x97,0x0c,0xd5]90// CHECK: tlbi alle3nxs // encoding: [0x1f,0x97,0x0e,0xd5]91// CHECK: tlbi vae1nxs, x1 // encoding: [0x21,0x97,0x08,0xd5]92// CHECK: tlbi vae2nxs, x1 // encoding: [0x21,0x97,0x0c,0xd5]93// CHECK: tlbi vae3nxs, x1 // encoding: [0x21,0x97,0x0e,0xd5]94// CHECK: tlbi aside1nxs, x1 // encoding: [0x41,0x97,0x08,0xd5]95// CHECK: tlbi vaae1nxs, x1 // encoding: [0x61,0x97,0x08,0xd5]96// CHECK: tlbi alle1nxs // encoding: [0x9f,0x97,0x0c,0xd5]97// CHECK: tlbi vale1nxs, x1 // encoding: [0xa1,0x97,0x08,0xd5]98// CHECK: tlbi vale2nxs, x1 // encoding: [0xa1,0x97,0x0c,0xd5]99// CHECK: tlbi vale3nxs, x1 // encoding: [0xa1,0x97,0x0e,0xd5]100// CHECK: tlbi vmalls12e1nxs // encoding: [0xdf,0x97,0x0c,0xd5]101// CHECK: tlbi vaale1nxs, x1 // encoding: [0xe1,0x97,0x08,0xd5]102// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI IPAS2E1ISnXS requires: xs103// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI IPAS2LE1ISnXS requires: xs104// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VMALLE1ISnXS requires: xs105// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI ALLE2ISnXS requires: xs106// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI ALLE3ISnXS requires: xs107// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VAE1ISnXS requires: xs108// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VAE2ISnXS requires: xs109// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VAE3ISnXS requires: xs110// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI ASIDE1ISnXS requires: xs111// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VAAE1ISnXS requires: xs112// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI ALLE1ISnXS requires: xs113// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VALE1ISnXS requires: xs114// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VALE2ISnXS requires: xs115// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VALE3ISnXS requires: xs116// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VMALLS12E1ISnXS requires: xs117// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VAALE1ISnXS requires: xs118// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI IPAS2E1nXS requires: xs119// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI IPAS2LE1nXS requires: xs120// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VMALLE1nXS requires: xs121// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI ALLE2nXS requires: xs122// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI ALLE3nXS requires: xs123// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VAE1nXS requires: xs124// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VAE2nXS requires: xs125// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VAE3nXS requires: xs126// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI ASIDE1nXS requires: xs127// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VAAE1nXS requires: xs128// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI ALLE1nXS requires: xs129// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VALE1nXS requires: xs130// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VALE2nXS requires: xs131// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VALE2nXS requires: xs132// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VALE3nXS requires: xs133// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VMALLS12E1nXS requires: xs134// CHECK_NO_XS_ERR: [[@LINE-64]]:8: error: TLBI VAALE1nXS requires: xs135 136 tlbi vmalle1osnxs137 tlbi vae1osnxs, x1138 tlbi aside1osnxs, x1139 tlbi vaae1osnxs, x1140 tlbi vale1osnxs, x1141 tlbi vaale1osnxs, x1142 tlbi ipas2e1osnxs, x1143 tlbi ipas2le1osnxs, x1144 tlbi vae2osnxs, x1145 tlbi vale2osnxs, x1146 tlbi vmalls12e1osnxs147 tlbi vae3osnxs, x1148 tlbi vale3osnxs, x1149 tlbi alle2osnxs150 tlbi alle1osnxs151 tlbi alle3osnxs152 tlbi rvae1nxs, x1153 tlbi rvaae1nxs, x1154 tlbi rvale1nxs, x1155 tlbi rvaale1nxs, x1156 tlbi rvae1isnxs, x1157 tlbi rvaae1isnxs, x1158 tlbi rvale1isnxs, x1159 tlbi rvaale1isnxs, x1160 tlbi rvae1osnxs, x1161 tlbi rvaae1osnxs, x1162 tlbi rvale1osnxs, x1163 tlbi rvaale1osnxs, x1164 tlbi ripas2e1isnxs, x1165 tlbi ripas2le1isnxs, x1166 tlbi ripas2e1nxs, x1167 tlbi ripas2le1nxs, x1168 tlbi ripas2e1osnxs, x1169 tlbi ripas2le1osnxs, x1170 tlbi rvae2nxs, x1171 tlbi rvale2nxs, x1172 tlbi rvae2isnxs, x1173 tlbi rvale2isnxs, x1174 tlbi rvae2osnxs, x1175 tlbi rvale2osnxs, x1176 tlbi rvae3nxs, x1177 tlbi rvale3nxs, x1178 tlbi rvae3isnxs, x1179 tlbi rvale3isnxs, x1180 tlbi rvae3osnxs, x1181 tlbi rvale3osnxs, x1182// CHECK: tlbi vmalle1osnxs // encoding: [0x1f,0x91,0x08,0xd5]183// CHECK: tlbi vae1osnxs, x1 // encoding: [0x21,0x91,0x08,0xd5]184// CHECK: tlbi aside1osnxs, x1 // encoding: [0x41,0x91,0x08,0xd5]185// CHECK: tlbi vaae1osnxs, x1 // encoding: [0x61,0x91,0x08,0xd5]186// CHECK: tlbi vale1osnxs, x1 // encoding: [0xa1,0x91,0x08,0xd5]187// CHECK: tlbi vaale1osnxs, x1 // encoding: [0xe1,0x91,0x08,0xd5]188// CHECK: tlbi ipas2e1osnxs, x1 // encoding: [0x01,0x94,0x0c,0xd5]189// CHECK: tlbi ipas2le1osnxs, x1 // encoding: [0x81,0x94,0x0c,0xd5]190// CHECK: tlbi vae2osnxs, x1 // encoding: [0x21,0x91,0x0c,0xd5]191// CHECK: tlbi vale2osnxs, x1 // encoding: [0xa1,0x91,0x0c,0xd5]192// CHECK: tlbi vmalls12e1osnxs // encoding: [0xdf,0x91,0x0c,0xd5]193// CHECK: tlbi vae3osnxs, x1 // encoding: [0x21,0x91,0x0e,0xd5]194// CHECK: tlbi vale3osnxs, x1 // encoding: [0xa1,0x91,0x0e,0xd5]195// CHECK: tlbi alle2osnxs // encoding: [0x1f,0x91,0x0c,0xd5]196// CHECK: tlbi alle1osnxs // encoding: [0x9f,0x91,0x0c,0xd5]197// CHECK: tlbi alle3osnxs // encoding: [0x1f,0x91,0x0e,0xd5]198// CHECK: tlbi rvae1nxs, x1 // encoding: [0x21,0x96,0x08,0xd5]199// CHECK: tlbi rvaae1nxs, x1 // encoding: [0x61,0x96,0x08,0xd5]200// CHECK: tlbi rvale1nxs, x1 // encoding: [0xa1,0x96,0x08,0xd5]201// CHECK: tlbi rvaale1nxs, x1 // encoding: [0xe1,0x96,0x08,0xd5]202// CHECK: tlbi rvae1isnxs, x1 // encoding: [0x21,0x92,0x08,0xd5]203// CHECK: tlbi rvaae1isnxs, x1 // encoding: [0x61,0x92,0x08,0xd5]204// CHECK: tlbi rvale1isnxs, x1 // encoding: [0xa1,0x92,0x08,0xd5]205// CHECK: tlbi rvaale1isnxs, x1 // encoding: [0xe1,0x92,0x08,0xd5]206// CHECK: tlbi rvae1osnxs, x1 // encoding: [0x21,0x95,0x08,0xd5]207// CHECK: tlbi rvaae1osnxs, x1 // encoding: [0x61,0x95,0x08,0xd5]208// CHECK: tlbi rvale1osnxs, x1 // encoding: [0xa1,0x95,0x08,0xd5]209// CHECK: tlbi rvaale1osnxs, x1 // encoding: [0xe1,0x95,0x08,0xd5]210// CHECK: tlbi ripas2e1isnxs, x1 // encoding: [0x41,0x90,0x0c,0xd5]211// CHECK: tlbi ripas2le1isnxs, x1 // encoding: [0xc1,0x90,0x0c,0xd5]212// CHECK: tlbi ripas2e1nxs, x1 // encoding: [0x41,0x94,0x0c,0xd5]213// CHECK: tlbi ripas2le1nxs, x1 // encoding: [0xc1,0x94,0x0c,0xd5]214// CHECK: tlbi ripas2e1osnxs, x1 // encoding: [0x61,0x94,0x0c,0xd5]215// CHECK: tlbi ripas2le1osnxs, x1 // encoding: [0xe1,0x94,0x0c,0xd5]216// CHECK: tlbi rvae2nxs, x1 // encoding: [0x21,0x96,0x0c,0xd5]217// CHECK: tlbi rvale2nxs, x1 // encoding: [0xa1,0x96,0x0c,0xd5]218// CHECK: tlbi rvae2isnxs, x1 // encoding: [0x21,0x92,0x0c,0xd5]219// CHECK: tlbi rvale2isnxs, x1 // encoding: [0xa1,0x92,0x0c,0xd5]220// CHECK: tlbi rvae2osnxs, x1 // encoding: [0x21,0x95,0x0c,0xd5]221// CHECK: tlbi rvale2osnxs, x1 // encoding: [0xa1,0x95,0x0c,0xd5]222// CHECK: tlbi rvae3nxs, x1 // encoding: [0x21,0x96,0x0e,0xd5]223// CHECK: tlbi rvale3nxs, x1 // encoding: [0xa1,0x96,0x0e,0xd5]224// CHECK: tlbi rvae3isnxs, x1 // encoding: [0x21,0x92,0x0e,0xd5]225// CHECK: tlbi rvale3isnxs, x1 // encoding: [0xa1,0x92,0x0e,0xd5]226// CHECK: tlbi rvae3osnxs, x1 // encoding: [0x21,0x95,0x0e,0xd5]227// CHECK: tlbi rvale3osnxs, x1 // encoding: [0xa1,0x95,0x0e,0xd5]228// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI VMALLE1OSnXS requires: tlb-rmi, xs229// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI VAE1OSnXS requires: tlb-rmi, xs230// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI ASIDE1OSnXS requires: tlb-rmi, xs231// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI VAAE1OSnXS requires: tlb-rmi, xs232// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI VALE1OSnXS requires: tlb-rmi, xs233// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI VAALE1OSnXS requires: tlb-rmi, xs234// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI IPAS2E1OSnXS requires: tlb-rmi, xs235// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI IPAS2LE1OSnXS requires: tlb-rmi, xs236// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI VAE2OSnXS requires: tlb-rmi, xs237// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI VALE2OSnXS requires: tlb-rmi, xs238// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI VMALLS12E1OSnXS requires: tlb-rmi, xs239// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI VAE3OSnXS requires: tlb-rmi, xs240// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI VALE3OSnXS requires: tlb-rmi, xs241// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI ALLE2OSnXS requires: tlb-rmi, xs242// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI ALLE1OSnXS requires: tlb-rmi, xs243// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI ALLE3OSnXS requires: tlb-rmi, xs244// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAE1nXS requires: tlb-rmi, xs245// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAAE1nXS requires: tlb-rmi, xs246// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVALE1nXS requires: tlb-rmi, xs247// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAALE1nXS requires: tlb-rmi, xs248// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAE1ISnXS requires: tlb-rmi, xs249// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAAE1ISnXS requires: tlb-rmi, xs250// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVALE1ISnXS requires: tlb-rmi, xs251// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAALE1ISnXS requires: tlb-rmi, xs252// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAE1OSnXS requires: tlb-rmi, xs253// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAAE1OSnXS requires: tlb-rmi, xs254// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVALE1OSnXS requires: tlb-rmi, xs255// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAALE1OSnXS requires: tlb-rmi, xs256// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RIPAS2E1ISnXS requires: tlb-rmi, xs257// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RIPAS2LE1ISnXS requires: tlb-rmi, xs258// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RIPAS2E1nXS requires: tlb-rmi, xs259// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RIPAS2LE1nXS requires: tlb-rmi, xs260// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RIPAS2E1OSnXS requires: tlb-rmi, xs261// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RIPAS2LE1OSnXS requires: tlb-rmi, xs262// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAE2nXS requires: tlb-rmi, xs263// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVALE2nXS requires: tlb-rmi, xs264// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAE2ISnXS requires: tlb-rmi, xs265// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVALE2ISnXS requires: tlb-rmi, xs266// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAE2OSnXS requires: tlb-rmi, xs267// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVALE2OSnXS requires: tlb-rmi, xs268// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAE3nXS requires: tlb-rmi, xs269// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVALE3nXS requires: tlb-rmi, xs270// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAE3ISnXS requires: tlb-rmi, xs271// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVALE3ISnXS requires: tlb-rmi, xs272// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVAE3OSnXS requires: tlb-rmi, xs273// CHECK_NO_XS_ERR: [[@LINE-92]]:8: error: TLBI RVALE3OSnXS requires: tlb-rmi, xs274