1 # RUN: llvm-mc --disassemble %s -triple powerpc64-unknown-unknown -mcpu=e500 -mattr=+spe | FileCheck %s 2 3 # CHECK: rfdi 4 0x4c 0x00 0x00 0x4e 5 # CHECK: rfmci 6 0x4c 0x00 0x00 0x4c 7 # CHECK: evlddx 14, 21, 28 8 0x11 0xd5 0xe3 0x00 9 # CHECK: evldwx 14, 21, 28 10 0x11 0xd5 0xe3 0x02 11 # CHECK: evldhx 14, 21, 28 12 0x11 0xd5 0xe3 0x04 13 # CHECK: evlhhesplatx 14, 21, 28 14 0x11 0xd5 0xe3 0x08 15 # CHECK: evlhhousplatx 14, 21, 28 16 0x11 0xd5 0xe3 0x0c 17 # CHECK: evlhhossplatx 14, 21, 28 18 0x11 0xd5 0xe3 0x0e 19 # CHECK: evlwhex 14, 21, 28 20 0x11 0xd5 0xe3 0x10 21 # CHECK: evlwhoux 14, 21, 28 22 0x11 0xd5 0xe3 0x14 23 # CHECK: evlwhosx 14, 21, 28 24 0x11 0xd5 0xe3 0x16 25 # CHECK: evlwwsplatx 14, 21, 28 26 0x11 0xd5 0xe3 0x18 27 # CHECK: evlwhsplatx 14, 21, 28 28 0x11 0xd5 0xe3 0x1c 29 # CHECK: evmergehi 14, 21, 28 30 0x11 0xd5 0xe2 0x2c 31 # CHECK: evmergelo 14, 21, 28 32 0x11 0xd5 0xe2 0x2d 33 # CHECK: evmergehilo 14, 21, 28 34 0x11 0xd5 0xe2 0x2e 35 # CHECK: evmergelohi 14, 21, 28 36 0x11 0xd5 0xe2 0x2f 37 # CHECK: brinc 14, 22, 19 38 0x11 0xd6 0x9a 0x0f 39 # CHECK: evabs 14, 22 40 0x11 0xd6 0x02 0x08 41 # CHECK: evaddsmiaaw 14, 22 42 0x11 0xd6 0x04 0xc9 43 # CHECK: evaddssiaaw 14, 22 44 0x11 0xd6 0x04 0xc1 45 # CHECK: evaddusiaaw 14, 22 46 0x11 0xd6 0x04 0xc0 47 # CHECK: evaddumiaaw 14, 22 48 0x11 0xd6 0x04 0xc8 49 # CHECK: evaddw 14, 22, 19 50 0x11 0xd6 0x9a 0x00 51 # CHECK: evaddiw 14, 29, 19 52 0x11 0xd3 0xea 0x02 53 # CHECK: evand 14, 22, 19 54 0x11 0xd6 0x9a 0x11 55 # CHECK: evandc 14, 22, 19 56 0x11 0xd6 0x9a 0x12 57 # CHECK: evcmpeq 3, 22, 19 58 0x11 0x96 0x9a 0x34 59 # CHECK: evcmpgts 3, 22, 19 60 0x11 0x96 0x9a 0x31 61 # CHECK: evcmpgtu 3, 22, 19 62 0x11 0x96 0x9a 0x30 63 # CHECK: evcmplts 3, 22, 19 64 0x11 0x96 0x9a 0x33 65 # CHECK: evcmpltu 3, 22, 19 66 0x11 0x96 0x9a 0x32 67 # CHECK: evcntlsw 14, 22 68 0x11 0xd6 0x02 0x0e 69 # CHECK: evcntlzw 14, 22 70 0x11 0xd6 0x02 0x0d 71 # CHECK: evdivws 14, 22, 19 72 0x11 0xd6 0x9c 0xc6 73 # CHECK: evdivwu 14, 22, 19 74 0x11 0xd6 0x9c 0xc7 75 # CHECK: eveqv 14, 22, 19 76 0x11 0xd6 0x9a 0x19 77 # CHECK: evextsb 14, 22 78 0x11 0xd6 0x02 0x0a 79 # CHECK: evextsh 14, 22 80 0x11 0xd6 0x02 0x0b 81 # CHECK: evmhegsmfaa 14, 22, 19 82 0x11 0xd6 0x9d 0x2b 83 # CHECK: evmhegsmfan 14, 22, 19 84 0x11 0xd6 0x9d 0xab 85 # CHECK: evmhegsmiaa 14, 22, 19 86 0x11 0xd6 0x9d 0x29 87 # CHECK: evmhegsmian 14, 22, 19 88 0x11 0xd6 0x9d 0xa9 89 # CHECK: evmhegumiaa 14, 22, 19 90 0x11 0xd6 0x9d 0x28 91 # CHECK: evmhegumian 14, 22, 19 92 0x11 0xd6 0x9d 0xa8 93 # CHECK: evmhesmf 14, 22, 19 94 0x11 0xd6 0x9c 0x0b 95 # CHECK: evmhesmfa 14, 22, 19 96 0x11 0xd6 0x9c 0x2b 97 # CHECK: evmhesmfaaw 14, 22, 19 98 0x11 0xd6 0x9d 0x0b 99 # CHECK: evmhesmfanw 14, 22, 19 100 0x11 0xd6 0x9d 0x8b 101 # CHECK: evmhesmi 14, 22, 19 102 0x11 0xd6 0x9c 0x09 103 # CHECK: evmhesmia 14, 22, 19 104 0x11 0xd6 0x9c 0x29 105 # CHECK: evmhesmiaaw 14, 22, 19 106 0x11 0xd6 0x9d 0x09 107 # CHECK: evmhesmianw 14, 22, 19 108 0x11 0xd6 0x9d 0x89 109 # CHECK: evmhessf 14, 22, 19 110 0x11 0xd6 0x9c 0x03 111 # CHECK: evmhessfa 14, 22, 19 112 0x11 0xd6 0x9c 0x23 113 # CHECK: evmhessfaaw 14, 22, 19 114 0x11 0xd6 0x9d 0x03 115 # CHECK: evmhessfanw 14, 22, 19 116 0x11 0xd6 0x9d 0x83 117 # CHECK: evmhessiaaw 14, 22, 19 118 0x11 0xd6 0x9d 0x01 119 # CHECK: evmhessianw 14, 22, 19 120 0x11 0xd6 0x9d 0x81 121 # CHECK: evmheumi 14, 22, 19 122 0x11 0xd6 0x9c 0x08 123 # CHECK: evmheumia 14, 22, 19 124 0x11 0xd6 0x9c 0x28 125 # CHECK: evmheumiaaw 14, 22, 19 126 0x11 0xd6 0x9d 0x08 127 # CHECK: evmheumianw 14, 22, 19 128 0x11 0xd6 0x9d 0x88 129 # CHECK: evmheusiaaw 14, 22, 19 130 0x11 0xd6 0x9d 0x00 131 # CHECK: evmheusianw 14, 22, 19 132 0x11 0xd6 0x9d 0x80 133 # CHECK: evmhogsmfaa 14, 22, 19 134 0x11 0xd6 0x9d 0x2f 135 # CHECK: evmhogsmfan 14, 22, 19 136 0x11 0xd6 0x9d 0xaf 137 # CHECK: evmhogsmiaa 14, 22, 19 138 0x11 0xd6 0x9d 0x2d 139 # CHECK: evmhogsmian 14, 22, 19 140 0x11 0xd6 0x9d 0xad 141 # CHECK: evmhogumiaa 14, 22, 19 142 0x11 0xd6 0x9d 0x2c 143 # CHECK: evmhogumian 14, 22, 19 144 0x11 0xd6 0x9d 0xac 145 # CHECK: evmhosmf 14, 22, 19 146 0x11 0xd6 0x9c 0x0f 147 # CHECK: evmhosmfa 14, 22, 19 148 0x11 0xd6 0x9c 0x2f 149 # CHECK: evmhosmfaaw 14, 22, 19 150 0x11 0xd6 0x9d 0x0f 151 # CHECK: evmhosmfanw 14, 22, 19 152 0x11 0xd6 0x9d 0x8f 153 # CHECK: evmhosmi 14, 22, 19 154 0x11 0xd6 0x9c 0x0d 155 # CHECK: evmhosmia 14, 22, 19 156 0x11 0xd6 0x9c 0x2d 157 # CHECK: evmhosmiaaw 14, 22, 19 158 0x11 0xd6 0x9d 0x0d 159 # CHECK: evmhosmianw 14, 22, 19 160 0x11 0xd6 0x9d 0x8d 161 # CHECK: evmhossf 14, 22, 19 162 0x11 0xd6 0x9c 0x07 163 # CHECK: evmhossfa 14, 22, 19 164 0x11 0xd6 0x9c 0x27 165 # CHECK: evmhossfaaw 14, 22, 19 166 0x11 0xd6 0x9d 0x07 167 # CHECK: evmhossfanw 14, 22, 19 168 0x11 0xd6 0x9d 0x87 169 # CHECK: evmhossiaaw 14, 22, 19 170 0x11 0xd6 0x9d 0x05 171 # CHECK: evmhossianw 14, 22, 19 172 0x11 0xd6 0x9d 0x85 173 # CHECK: evmhoumi 14, 22, 19 174 0x11 0xd6 0x9c 0x0c 175 # CHECK: evmhoumia 14, 22, 19 176 0x11 0xd6 0x9c 0x2c 177 # CHECK: evmhoumiaaw 14, 22, 19 178 0x11 0xd6 0x9d 0x0c 179 # CHECK: evmhoumianw 14, 22, 19 180 0x11 0xd6 0x9d 0x8c 181 # CHECK: evmhousiaaw 14, 22, 19 182 0x11 0xd6 0x9d 0x04 183 # CHECK: evmhousianw 14, 22, 19 184 0x11 0xd6 0x9d 0x84 185 # CHECK: evmwhsmf 14, 22, 19 186 0x11 0xd6 0x9c 0x4f 187 # CHECK: evmwhsmfa 14, 22, 19 188 0x11 0xd6 0x9c 0x6f 189 # CHECK: evmwhsmi 14, 22, 19 190 0x11 0xd6 0x9c 0x4d 191 # CHECK: evmwhsmia 14, 22, 19 192 0x11 0xd6 0x9c 0x6d 193 # CHECK: evmwhssf 14, 22, 19 194 0x11 0xd6 0x9c 0x47 195 # CHECK: evmwhssfa 14, 22, 19 196 0x11 0xd6 0x9c 0x67 197 # CHECK: evmwhumi 14, 22, 19 198 0x11 0xd6 0x9c 0x4c 199 # CHECK: evmwhumia 14, 22, 19 200 0x11 0xd6 0x9c 0x6c 201 # CHECK: evmwlsmiaaw 14, 22, 19 202 0x11 0xd6 0x9d 0x49 203 # CHECK: evmwlsmianw 14, 22, 19 204 0x11 0xd6 0x9d 0xc9 205 # CHECK: evmwlssiaaw 14, 22, 19 206 0x11 0xd6 0x9d 0x41 207 # CHECK: evmwlssianw 14, 22, 19 208 0x11 0xd6 0x9d 0xc1 209 # CHECK: evmwlumi 14, 22, 19 210 0x11 0xd6 0x9c 0x48 211 # CHECK: evmwlumia 14, 22, 19 212 0x11 0xd6 0x9c 0x68 213 # CHECK: evmwlumiaaw 14, 22, 19 214 0x11 0xd6 0x9d 0x48 215 # CHECK: evmwlumianw 14, 22, 19 216 0x11 0xd6 0x9d 0xc8 217 # CHECK: evmwlusiaaw 14, 22, 19 218 0x11 0xd6 0x9d 0x40 219 # CHECK: evmwlusianw 14, 22, 19 220 0x11 0xd6 0x9d 0xc0 221 # CHECK: evmwsmf 14, 22, 19 222 0x11 0xd6 0x9c 0x5b 223 # CHECK: evmwsmfa 14, 22, 19 224 0x11 0xd6 0x9c 0x7b 225 # CHECK: evmwsmfaa 14, 22, 19 226 0x11 0xd6 0x9d 0x5b 227 # CHECK: evmwsmfan 14, 22, 19 228 0x11 0xd6 0x9d 0xdb 229 # CHECK: evmwsmi 14, 22, 19 230 0x11 0xd6 0x9c 0x59 231 # CHECK: evmwsmia 14, 22, 19 232 0x11 0xd6 0x9c 0x79 233 # CHECK: evmwsmiaa 14, 22, 19 234 0x11 0xd6 0x9d 0x59 235 # CHECK: evmwsmian 14, 22, 19 236 0x11 0xd6 0x9d 0xd9 237 # CHECK: evmwssf 14, 22, 19 238 0x11 0xd6 0x9c 0x53 239 # CHECK: evmwssfa 14, 22, 19 240 0x11 0xd6 0x9c 0x73 241 # CHECK: evmwssfaa 14, 22, 19 242 0x11 0xd6 0x9d 0x53 243 # CHECK: evmwssfan 14, 22, 19 244 0x11 0xd6 0x9d 0xd3 245 # CHECK: evmwumi 14, 22, 19 246 0x11 0xd6 0x9c 0x58 247 # CHECK: evmwumia 14, 22, 19 248 0x11 0xd6 0x9c 0x78 249 # CHECK: evmwumiaa 14, 22, 19 250 0x11 0xd6 0x9d 0x58 251 # CHECK: evmwumian 14, 22, 19 252 0x11 0xd6 0x9d 0xd8 253 # CHECK: evnand 14, 22, 19 254 0x11 0xd6 0x9a 0x1e 255 # CHECK: evneg 14, 22 256 0x11 0xd6 0x02 0x09 257 # CHECK: evnor 14, 22, 19 258 0x11 0xd6 0x9a 0x18 259 # CHECK: evor 14, 22, 19 260 0x11 0xd6 0x9a 0x17 261 # CHECK: evorc 14, 22, 19 262 0x11 0xd6 0x9a 0x1b 263 # CHECK: evrlwi 14, 29, 19 264 0x11 0xdd 0x9a 0x2a 265 # CHECK: evrlw 14, 22, 19 266 0x11 0xd6 0x9a 0x28 267 # CHECK: evrndw 14, 22 268 0x11 0xd6 0x02 0x0c 269 # CHECK: evslwi 14, 29, 19 270 0x11 0xdd 0x9a 0x26 271 # CHECK: evslw 14, 22, 19 272 0x11 0xd6 0x9a 0x24 273 # CHECK: evsplatfi 14, -13 274 0x11 0xd3 0x02 0x2b 275 # CHECK: evsplati 14, -13 276 0x11 0xd3 0x02 0x29 277 # CHECK: evsrwis 14, 29, 19 278 0x11 0xdd 0x9a 0x23 279 # CHECK: evsrwiu 14, 29, 19 280 0x11 0xdd 0x9a 0x22 281 # CHECK: evsrws 14, 22, 19 282 0x11 0xd6 0x9a 0x21 283 # CHECK: evsrwu 14, 22, 19 284 0x11 0xd6 0x9a 0x20 285 # CHECK: evstddx 14, 22, 19 286 0x11 0xd6 0x9b 0x20 287 # CHECK: evstdhx 14, 22, 19 288 0x11 0xd6 0x9b 0x24 289 # CHECK: evstdwx 14, 22, 19 290 0x11 0xd6 0x9b 0x22 291 # CHECK: evstwhex 14, 22, 19 292 0x11 0xd6 0x9b 0x30 293 # CHECK: evstwhox 14, 22, 19 294 0x11 0xd6 0x9b 0x34 295 # CHECK: evstwwex 14, 22, 19 296 0x11 0xd6 0x9b 0x38 297 # CHECK: evstwwox 14, 22, 19 298 0x11 0xd6 0x9b 0x3c 299 # CHECK: evsubfssiaaw 14, 22 300 0x11 0xd6 0x04 0xc3 301 # CHECK: evsubfsmiaaw 14, 22 302 0x11 0xd6 0x04 0xcb 303 # CHECK: evsubfumiaaw 14, 22 304 0x11 0xd6 0x04 0xca 305 # CHECK: evsubfusiaaw 14, 22 306 0x11 0xd6 0x04 0xc2 307 # CHECK: evsubfw 14, 22, 19 308 0x11 0xd6 0x9a 0x04 309 # CHECK: evsubifw 14, 29, 19 310 0x11 0xdd 0x9a 0x06 311 # CHECK: evxor 14, 22, 19 312 0x11 0xd6 0x9a 0x16 313 # CHECK: evldd 14, 0(27) 314 0x11 0xdb 0x03 0x01 315 # CHECK: evldd 14, 248(27) 316 0x11 0xdb 0xfb 0x01 317 # CHECK: evldd 14, 248(9) 318 0x11 0xc9 0xfb 0x01 319 # CHECK: evldw 14, 0(27) 320 0x11 0xdb 0x03 0x03 321 # CHECK: evldw 14, 248(27) 322 0x11 0xdb 0xfb 0x03 323 # CHECK: evldw 14, 248(9) 324 0x11 0xc9 0xfb 0x03 325 # CHECK: evldh 14, 0(27) 326 0x11 0xdb 0x03 0x05 327 # CHECK: evldh 14, 248(27) 328 0x11 0xdb 0xfb 0x05 329 # CHECK: evldh 14, 248(9) 330 0x11 0xc9 0xfb 0x05 331 # CHECK: evlhhesplat 14, 0(27) 332 0x11 0xdb 0x03 0x09 333 # CHECK: evlhhousplat 14, 0(27) 334 0x11 0xdb 0x03 0x0d 335 # CHECK: evlhhousplat 14, 62(27) 336 0x11 0xdb 0xfb 0x0d 337 # CHECK: evlhhousplat 14, 62(9) 338 0x11 0xc9 0xfb 0x0d 339 # CHECK: evlhhossplat 14, 0(27) 340 0x11 0xdb 0x03 0x0f 341 # CHECK: evlhhossplat 14, 62(27) 342 0x11 0xdb 0xfb 0x0f 343 # CHECK: evlhhossplat 14, 62(9) 344 0x11 0xc9 0xfb 0x0f 345 # CHECK: evlwhe 14, 0(27) 346 0x11 0xdb 0x03 0x11 347 # CHECK: evlwhe 14, 124(27) 348 0x11 0xdb 0xfb 0x11 349 # CHECK: evlwhe 14, 124(9) 350 0x11 0xc9 0xfb 0x11 351 # CHECK: evlwhou 14, 0(27) 352 0x11 0xdb 0x03 0x15 353 # CHECK: evlwhou 14, 124(27) 354 0x11 0xdb 0xfb 0x15 355 # CHECK: evlwhou 14, 124(9) 356 0x11 0xc9 0xfb 0x15 357 # CHECK: evlwhos 14, 0(27) 358 0x11 0xdb 0x03 0x17 359 # CHECK: evlwhos 14, 124(27) 360 0x11 0xdb 0xfb 0x17 361 # CHECK: evlwhos 14, 124(9) 362 0x11 0xc9 0xfb 0x17 363 # CHECK: evlwwsplat 14, 0(27) 364 0x11 0xdb 0x03 0x19 365 # CHECK: evlwwsplat 14, 124(27) 366 0x11 0xdb 0xfb 0x19 367 # CHECK: evlwwsplat 14, 124(9) 368 0x11 0xc9 0xfb 0x19 369 # CHECK: evlwhsplat 14, 0(27) 370 0x11 0xdb 0x03 0x1d 371 # CHECK: evlwhsplat 14, 124(27) 372 0x11 0xdb 0xfb 0x1d 373 # CHECK: evlwhsplat 14, 124(9) 374 0x11 0xc9 0xfb 0x1d 375 # CHECK: evstdd 14, 0(27) 376 0x11 0xdb 0x03 0x21 377 # CHECK: evstdd 14, 248(27) 378 0x11 0xdb 0xfb 0x21 379 # CHECK: evstdd 14, 248(9) 380 0x11 0xc9 0xfb 0x21 381 # CHECK: evstdh 14, 0(27) 382 0x11 0xdb 0x03 0x25 383 # CHECK: evstdh 14, 248(27) 384 0x11 0xdb 0xfb 0x25 385 # CHECK: evstdh 14, 248(9) 386 0x11 0xc9 0xfb 0x25 387 # CHECK: evstdw 14, 0(27) 388 0x11 0xdb 0x03 0x23 389 # CHECK: evstdw 14, 248(27) 390 0x11 0xdb 0xfb 0x23 391 # CHECK: evstdw 14, 248(9) 392 0x11 0xc9 0xfb 0x23 393 # CHECK: evstwhe 14, 0(27) 394 0x11 0xdb 0x03 0x31 395 # CHECK: evstwhe 14, 124(27) 396 0x11 0xdb 0xfb 0x31 397 # CHECK: evstwhe 14, 124(9) 398 0x11 0xc9 0xfb 0x31 399 # CHECK: evstwho 14, 0(27) 400 0x11 0xdb 0x03 0x35 401 # CHECK: evstwho 14, 124(27) 402 0x11 0xdb 0xfb 0x35 403 # CHECK: evstwho 14, 124(9) 404 0x11 0xc9 0xfb 0x35 405 # CHECK: evstwwe 14, 0(27) 406 0x11 0xdb 0x03 0x39 407 # CHECK: evstwwe 14, 124(27) 408 0x11 0xdb 0xfb 0x39 409 # CHECK: evstwwe 14, 124(9) 410 0x11 0xc9 0xfb 0x39 411 # CHECK: evstwwo 14, 0(27) 412 0x11 0xdb 0x03 0x3d 413 # CHECK: evstwwo 14, 124(27) 414 0x11 0xdb 0xfb 0x3d 415 # CHECK: evstwwo 14, 124(9) 416 0x11 0xc9 0xfb 0x3d 417 # CHECK: efdabs 3, 4 418 0x10 0x64 0x02 0xe4 419 # CHECK: efdadd 3, 4, 5 420 0x10 0x64 0x2a 0xe0 421 # CHECK: efdcfs 3, 4 422 0x10 0x60 0x22 0xef 423 # CHECK: efdcfsf 5, 6 424 0x10 0xa0 0x32 0xf3 425 # CHECK: efdcfsi 5, 6 426 0x10 0xa0 0x32 0xf1 427 # CHECK: efdcfsid 10, 14 428 0x11 0x40 0x72 0xe3 429 # CHECK: efdcfuf 5, 8 430 0x10 0xa0 0x42 0xf2 431 # CHECK: efdcfui 6, 9 432 0x10 0xc0 0x4a 0xf0 433 # CHECK: efdcfuid 7, 10 434 0x10 0xe0 0x52 0xe2 435 # CHECK: efdcmpeq 3, 3, 8 436 0x11 0x83 0x42 0xee 437 # CHECK: efdcmpgt 4, 7, 3 438 0x12 0x07 0x1a 0xec 439 # CHECK: efdcmplt 2, 3, 4 440 0x11 0x03 0x22 0xed 441 # CHECK: efdctsf 5, 3 442 0x10 0xa0 0x1a 0xf7 443 # CHECK: efdctsi 6, 4 444 0x10 0xc0 0x22 0xf5 445 # CHECK: efdctsidz 3, 4 446 0x10 0x60 0x22 0xeb 447 # CHECK: efdctsiz 3, 4 448 0x10 0x60 0x22 0xfa 449 # CHECK: efdctuf 5, 8 450 0x10 0xa0 0x42 0xf6 451 # CHECK: efdctui 9, 10 452 0x11 0x20 0x52 0xf4 453 # CHECK: efdctuidz 3, 8 454 0x10 0x60 0x42 0xea 455 # CHECK: efdctuiz 5, 17 456 0x10 0xa0 0x8a 0xf8 457 # CHECK: efddiv 3, 4, 5 458 0x10 0x64 0x2a 0xe9 459 # CHECK: efdmul 0, 3, 8 460 0x10 0x03 0x42 0xe8 461 # CHECK: efdnabs 3, 23 462 0x10 0x77 0x02 0xe5 463 # CHECK: efdneg 3, 22 464 0x10 0x76 0x02 0xe6 465 # CHECK: efdsub 3, 4, 6 466 0x10 0x64 0x32 0xe1 467 # CHECK: efdtsteq 3, 4, 5 468 0x11 0x84 0x2a 0xfe 469 # CHECK: efdtstgt 3, 3, 6 470 0x11 0x83 0x32 0xfc 471 # CHECK: efdtstlt 4, 0, 3 472 0x12 0x00 0x1a 0xfd 473 # CHECK: efsabs 3, 4 474 0x10 0x64 0x02 0xc4 475 # CHECK: efsadd 3, 4, 5 476 0x10 0x64 0x2a 0xc0 477 # CHECK: efscfsf 5, 6 478 0x10 0xa0 0x32 0xd3 479 # CHECK: efscfsi 5, 6 480 0x10 0xa0 0x32 0xd1 481 # CHECK: efscfuf 5, 8 482 0x10 0xa0 0x42 0xd2 483 # CHECK: efscfui 6, 9 484 0x10 0xc0 0x4a 0xd0 485 # CHECK: efscmpeq 3, 3, 8 486 0x11 0x83 0x42 0xce 487 # CHECK: efscmpgt 4, 7, 3 488 0x12 0x07 0x1a 0xcc 489 # CHECK: efscmplt 2, 3, 4 490 0x11 0x03 0x22 0xcd 491 # CHECK: efsctsf 5, 3 492 0x10 0xa0 0x1a 0xd7 493 # CHECK: efsctsi 6, 4 494 0x10 0xc0 0x22 0xd5 495 # CHECK: efsctsiz 3, 4 496 0x10 0x60 0x22 0xda 497 # CHECK: efsctuf 5, 8 498 0x10 0xa0 0x42 0xd6 499 # CHECK: efsctui 9, 10 500 0x11 0x20 0x52 0xd4 501 # CHECK: efsctuiz 5, 17 502 0x10 0xa0 0x8a 0xd8 503 # CHECK: efsdiv 3, 4, 5 504 0x10 0x64 0x2a 0xc9 505 # CHECK: efsmul 0, 3, 8 506 0x10 0x03 0x42 0xc8 507 # CHECK: efsnabs 3, 23 508 0x10 0x77 0x02 0xc5 509 # CHECK: efsneg 3, 22 510 0x10 0x76 0x02 0xc6 511 # CHECK: efssub 3, 4, 6 512 0x10 0x64 0x32 0xc1 513 # CHECK: efststeq 3, 4, 5 514 0x11 0x84 0x2a 0xde 515 # CHECK: efststgt 3, 3, 6 516 0x11 0x83 0x32 0xdc 517 # CHECK: efststlt 4, 0, 3 518 0x12 0x00 0x1a 0xdd 519
