1# RUN: llvm-mc --disassemble %s -triple powerpc64-unknown-unknown -mcpu=e500 -mattr=+spe | FileCheck %s 2 3# CHECK: rfdi 40x4c 0x00 0x00 0x4e 5# CHECK: rfmci 60x4c 0x00 0x00 0x4c 7# CHECK: evlddx 14, 21, 28 80x11 0xd5 0xe3 0x00 9# CHECK: evldwx 14, 21, 28 100x11 0xd5 0xe3 0x02 11# CHECK: evldhx 14, 21, 28 120x11 0xd5 0xe3 0x04 13# CHECK: evlhhesplatx 14, 21, 28 140x11 0xd5 0xe3 0x08 15# CHECK: evlhhousplatx 14, 21, 28 160x11 0xd5 0xe3 0x0c 17# CHECK: evlhhossplatx 14, 21, 28 180x11 0xd5 0xe3 0x0e 19# CHECK: evlwhex 14, 21, 28 200x11 0xd5 0xe3 0x10 21# CHECK: evlwhoux 14, 21, 28 220x11 0xd5 0xe3 0x14 23# CHECK: evlwhosx 14, 21, 28 240x11 0xd5 0xe3 0x16 25# CHECK: evlwwsplatx 14, 21, 28 260x11 0xd5 0xe3 0x18 27# CHECK: evlwhsplatx 14, 21, 28 280x11 0xd5 0xe3 0x1c 29# CHECK: evmergehi 14, 21, 28 300x11 0xd5 0xe2 0x2c 31# CHECK: evmergelo 14, 21, 28 320x11 0xd5 0xe2 0x2d 33# CHECK: evmergehilo 14, 21, 28 340x11 0xd5 0xe2 0x2e 35# CHECK: evmergelohi 14, 21, 28 360x11 0xd5 0xe2 0x2f 37# CHECK: brinc 14, 22, 19 380x11 0xd6 0x9a 0x0f 39# CHECK: evabs 14, 22 400x11 0xd6 0x02 0x08 41# CHECK: evaddsmiaaw 14, 22 420x11 0xd6 0x04 0xc9 43# CHECK: evaddssiaaw 14, 22 440x11 0xd6 0x04 0xc1 45# CHECK: evaddusiaaw 14, 22 460x11 0xd6 0x04 0xc0 47# CHECK: evaddumiaaw 14, 22 480x11 0xd6 0x04 0xc8 49# CHECK: evaddw 14, 22, 19 500x11 0xd6 0x9a 0x00 51# CHECK: evaddiw 14, 29, 19 520x11 0xd3 0xea 0x02 53# CHECK: evand 14, 22, 19 540x11 0xd6 0x9a 0x11 55# CHECK: evandc 14, 22, 19 560x11 0xd6 0x9a 0x12 57# CHECK: evcmpeq 3, 22, 19 580x11 0x96 0x9a 0x34 59# CHECK: evcmpgts 3, 22, 19 600x11 0x96 0x9a 0x31 61# CHECK: evcmpgtu 3, 22, 19 620x11 0x96 0x9a 0x30 63# CHECK: evcmplts 3, 22, 19 640x11 0x96 0x9a 0x33 65# CHECK: evcmpltu 3, 22, 19 660x11 0x96 0x9a 0x32 67# CHECK: evcntlsw 14, 22 680x11 0xd6 0x02 0x0e 69# CHECK: evcntlzw 14, 22 700x11 0xd6 0x02 0x0d 71# CHECK: evdivws 14, 22, 19 720x11 0xd6 0x9c 0xc6 73# CHECK: evdivwu 14, 22, 19 740x11 0xd6 0x9c 0xc7 75# CHECK: eveqv 14, 22, 19 760x11 0xd6 0x9a 0x19 77# CHECK: evextsb 14, 22 780x11 0xd6 0x02 0x0a 79# CHECK: evextsh 14, 22 800x11 0xd6 0x02 0x0b 81# CHECK: evmhegsmfaa 14, 22, 19 820x11 0xd6 0x9d 0x2b 83# CHECK: evmhegsmfan 14, 22, 19 840x11 0xd6 0x9d 0xab 85# CHECK: evmhegsmiaa 14, 22, 19 860x11 0xd6 0x9d 0x29 87# CHECK: evmhegsmian 14, 22, 19 880x11 0xd6 0x9d 0xa9 89# CHECK: evmhegumiaa 14, 22, 19 900x11 0xd6 0x9d 0x28 91# CHECK: evmhegumian 14, 22, 19 920x11 0xd6 0x9d 0xa8 93# CHECK: evmhesmf 14, 22, 19 940x11 0xd6 0x9c 0x0b 95# CHECK: evmhesmfa 14, 22, 19 960x11 0xd6 0x9c 0x2b 97# CHECK: evmhesmfaaw 14, 22, 19 980x11 0xd6 0x9d 0x0b 99# CHECK: evmhesmfanw 14, 22, 19 1000x11 0xd6 0x9d 0x8b 101# CHECK: evmhesmi 14, 22, 19 1020x11 0xd6 0x9c 0x09 103# CHECK: evmhesmia 14, 22, 19 1040x11 0xd6 0x9c 0x29 105# CHECK: evmhesmiaaw 14, 22, 19 1060x11 0xd6 0x9d 0x09 107# CHECK: evmhesmianw 14, 22, 19 1080x11 0xd6 0x9d 0x89 109# CHECK: evmhessf 14, 22, 19 1100x11 0xd6 0x9c 0x03 111# CHECK: evmhessfa 14, 22, 19 1120x11 0xd6 0x9c 0x23 113# CHECK: evmhessfaaw 14, 22, 19 1140x11 0xd6 0x9d 0x03 115# CHECK: evmhessfanw 14, 22, 19 1160x11 0xd6 0x9d 0x83 117# CHECK: evmhessiaaw 14, 22, 19 1180x11 0xd6 0x9d 0x01 119# CHECK: evmhessianw 14, 22, 19 1200x11 0xd6 0x9d 0x81 121# CHECK: evmheumi 14, 22, 19 1220x11 0xd6 0x9c 0x08 123# CHECK: evmheumia 14, 22, 19 1240x11 0xd6 0x9c 0x28 125# CHECK: evmheumiaaw 14, 22, 19 1260x11 0xd6 0x9d 0x08 127# CHECK: evmheumianw 14, 22, 19 1280x11 0xd6 0x9d 0x88 129# CHECK: evmheusiaaw 14, 22, 19 1300x11 0xd6 0x9d 0x00 131# CHECK: evmheusianw 14, 22, 19 1320x11 0xd6 0x9d 0x80 133# CHECK: evmhogsmfaa 14, 22, 19 1340x11 0xd6 0x9d 0x2f 135# CHECK: evmhogsmfan 14, 22, 19 1360x11 0xd6 0x9d 0xaf 137# CHECK: evmhogsmiaa 14, 22, 19 1380x11 0xd6 0x9d 0x2d 139# CHECK: evmhogsmian 14, 22, 19 1400x11 0xd6 0x9d 0xad 141# CHECK: evmhogumiaa 14, 22, 19 1420x11 0xd6 0x9d 0x2c 143# CHECK: evmhogumian 14, 22, 19 1440x11 0xd6 0x9d 0xac 145# CHECK: evmhosmf 14, 22, 19 1460x11 0xd6 0x9c 0x0f 147# CHECK: evmhosmfa 14, 22, 19 1480x11 0xd6 0x9c 0x2f 149# CHECK: evmhosmfaaw 14, 22, 19 1500x11 0xd6 0x9d 0x0f 151# CHECK: evmhosmfanw 14, 22, 19 1520x11 0xd6 0x9d 0x8f 153# CHECK: evmhosmi 14, 22, 19 1540x11 0xd6 0x9c 0x0d 155# CHECK: evmhosmia 14, 22, 19 1560x11 0xd6 0x9c 0x2d 157# CHECK: evmhosmiaaw 14, 22, 19 1580x11 0xd6 0x9d 0x0d 159# CHECK: evmhosmianw 14, 22, 19 1600x11 0xd6 0x9d 0x8d 161# CHECK: evmhossf 14, 22, 19 1620x11 0xd6 0x9c 0x07 163# CHECK: evmhossfa 14, 22, 19 1640x11 0xd6 0x9c 0x27 165# CHECK: evmhossfaaw 14, 22, 19 1660x11 0xd6 0x9d 0x07 167# CHECK: evmhossfanw 14, 22, 19 1680x11 0xd6 0x9d 0x87 169# CHECK: evmhossiaaw 14, 22, 19 1700x11 0xd6 0x9d 0x05 171# CHECK: evmhossianw 14, 22, 19 1720x11 0xd6 0x9d 0x85 173# CHECK: evmhoumi 14, 22, 19 1740x11 0xd6 0x9c 0x0c 175# CHECK: evmhoumia 14, 22, 19 1760x11 0xd6 0x9c 0x2c 177# CHECK: evmhoumiaaw 14, 22, 19 1780x11 0xd6 0x9d 0x0c 179# CHECK: evmhoumianw 14, 22, 19 1800x11 0xd6 0x9d 0x8c 181# CHECK: evmhousiaaw 14, 22, 19 1820x11 0xd6 0x9d 0x04 183# CHECK: evmhousianw 14, 22, 19 1840x11 0xd6 0x9d 0x84 185# CHECK: evmwhsmf 14, 22, 19 1860x11 0xd6 0x9c 0x4f 187# CHECK: evmwhsmfa 14, 22, 19 1880x11 0xd6 0x9c 0x6f 189# CHECK: evmwhsmi 14, 22, 19 1900x11 0xd6 0x9c 0x4d 191# CHECK: evmwhsmia 14, 22, 19 1920x11 0xd6 0x9c 0x6d 193# CHECK: evmwhssf 14, 22, 19 1940x11 0xd6 0x9c 0x47 195# CHECK: evmwhssfa 14, 22, 19 1960x11 0xd6 0x9c 0x67 197# CHECK: evmwhumi 14, 22, 19 1980x11 0xd6 0x9c 0x4c 199# CHECK: evmwhumia 14, 22, 19 2000x11 0xd6 0x9c 0x6c 201# CHECK: evmwlsmiaaw 14, 22, 19 2020x11 0xd6 0x9d 0x49 203# CHECK: evmwlsmianw 14, 22, 19 2040x11 0xd6 0x9d 0xc9 205# CHECK: evmwlssiaaw 14, 22, 19 2060x11 0xd6 0x9d 0x41 207# CHECK: evmwlssianw 14, 22, 19 2080x11 0xd6 0x9d 0xc1 209# CHECK: evmwlumi 14, 22, 19 2100x11 0xd6 0x9c 0x48 211# CHECK: evmwlumia 14, 22, 19 2120x11 0xd6 0x9c 0x68 213# CHECK: evmwlumiaaw 14, 22, 19 2140x11 0xd6 0x9d 0x48 215# CHECK: evmwlumianw 14, 22, 19 2160x11 0xd6 0x9d 0xc8 217# CHECK: evmwlusiaaw 14, 22, 19 2180x11 0xd6 0x9d 0x40 219# CHECK: evmwlusianw 14, 22, 19 2200x11 0xd6 0x9d 0xc0 221# CHECK: evmwsmf 14, 22, 19 2220x11 0xd6 0x9c 0x5b 223# CHECK: evmwsmfa 14, 22, 19 2240x11 0xd6 0x9c 0x7b 225# CHECK: evmwsmfaa 14, 22, 19 2260x11 0xd6 0x9d 0x5b 227# CHECK: evmwsmfan 14, 22, 19 2280x11 0xd6 0x9d 0xdb 229# CHECK: evmwsmi 14, 22, 19 2300x11 0xd6 0x9c 0x59 231# CHECK: evmwsmia 14, 22, 19 2320x11 0xd6 0x9c 0x79 233# CHECK: evmwsmiaa 14, 22, 19 2340x11 0xd6 0x9d 0x59 235# CHECK: evmwsmian 14, 22, 19 2360x11 0xd6 0x9d 0xd9 237# CHECK: evmwssf 14, 22, 19 2380x11 0xd6 0x9c 0x53 239# CHECK: evmwssfa 14, 22, 19 2400x11 0xd6 0x9c 0x73 241# CHECK: evmwssfaa 14, 22, 19 2420x11 0xd6 0x9d 0x53 243# CHECK: evmwssfan 14, 22, 19 2440x11 0xd6 0x9d 0xd3 245# CHECK: evmwumi 14, 22, 19 2460x11 0xd6 0x9c 0x58 247# CHECK: evmwumia 14, 22, 19 2480x11 0xd6 0x9c 0x78 249# CHECK: evmwumiaa 14, 22, 19 2500x11 0xd6 0x9d 0x58 251# CHECK: evmwumian 14, 22, 19 2520x11 0xd6 0x9d 0xd8 253# CHECK: evnand 14, 22, 19 2540x11 0xd6 0x9a 0x1e 255# CHECK: evneg 14, 22 2560x11 0xd6 0x02 0x09 257# CHECK: evnor 14, 22, 19 2580x11 0xd6 0x9a 0x18 259# CHECK: evor 14, 22, 19 2600x11 0xd6 0x9a 0x17 261# CHECK: evorc 14, 22, 19 2620x11 0xd6 0x9a 0x1b 263# CHECK: evrlwi 14, 29, 19 2640x11 0xdd 0x9a 0x2a 265# CHECK: evrlw 14, 22, 19 2660x11 0xd6 0x9a 0x28 267# CHECK: evrndw 14, 22 2680x11 0xd6 0x02 0x0c 269# CHECK: evslwi 14, 29, 19 2700x11 0xdd 0x9a 0x26 271# CHECK: evslw 14, 22, 19 2720x11 0xd6 0x9a 0x24 273# CHECK: evsplatfi 14, -13 2740x11 0xd3 0x02 0x2b 275# CHECK: evsplati 14, -13 2760x11 0xd3 0x02 0x29 277# CHECK: evsrwis 14, 29, 19 2780x11 0xdd 0x9a 0x23 279# CHECK: evsrwiu 14, 29, 19 2800x11 0xdd 0x9a 0x22 281# CHECK: evsrws 14, 22, 19 2820x11 0xd6 0x9a 0x21 283# CHECK: evsrwu 14, 22, 19 2840x11 0xd6 0x9a 0x20 285# CHECK: evstddx 14, 22, 19 2860x11 0xd6 0x9b 0x20 287# CHECK: evstdhx 14, 22, 19 2880x11 0xd6 0x9b 0x24 289# CHECK: evstdwx 14, 22, 19 2900x11 0xd6 0x9b 0x22 291# CHECK: evstwhex 14, 22, 19 2920x11 0xd6 0x9b 0x30 293# CHECK: evstwhox 14, 22, 19 2940x11 0xd6 0x9b 0x34 295# CHECK: evstwwex 14, 22, 19 2960x11 0xd6 0x9b 0x38 297# CHECK: evstwwox 14, 22, 19 2980x11 0xd6 0x9b 0x3c 299# CHECK: evsubfssiaaw 14, 22 3000x11 0xd6 0x04 0xc3 301# CHECK: evsubfsmiaaw 14, 22 3020x11 0xd6 0x04 0xcb 303# CHECK: evsubfumiaaw 14, 22 3040x11 0xd6 0x04 0xca 305# CHECK: evsubfusiaaw 14, 22 3060x11 0xd6 0x04 0xc2 307# CHECK: evsubfw 14, 22, 19 3080x11 0xd6 0x9a 0x04 309# CHECK: evsubifw 14, 29, 19 3100x11 0xdd 0x9a 0x06 311# CHECK: evxor 14, 22, 19 3120x11 0xd6 0x9a 0x16 313# CHECK: evldd 14, 0(27) 3140x11 0xdb 0x03 0x01 315# CHECK: evldd 14, 248(27) 3160x11 0xdb 0xfb 0x01 317# CHECK: evldd 14, 248(9) 3180x11 0xc9 0xfb 0x01 319# CHECK: evldw 14, 0(27) 3200x11 0xdb 0x03 0x03 321# CHECK: evldw 14, 248(27) 3220x11 0xdb 0xfb 0x03 323# CHECK: evldw 14, 248(9) 3240x11 0xc9 0xfb 0x03 325# CHECK: evldh 14, 0(27) 3260x11 0xdb 0x03 0x05 327# CHECK: evldh 14, 248(27) 3280x11 0xdb 0xfb 0x05 329# CHECK: evldh 14, 248(9) 3300x11 0xc9 0xfb 0x05 331# CHECK: evlhhesplat 14, 0(27) 3320x11 0xdb 0x03 0x09 333# CHECK: evlhhousplat 14, 0(27) 3340x11 0xdb 0x03 0x0d 335# CHECK: evlhhousplat 14, 62(27) 3360x11 0xdb 0xfb 0x0d 337# CHECK: evlhhousplat 14, 62(9) 3380x11 0xc9 0xfb 0x0d 339# CHECK: evlhhossplat 14, 0(27) 3400x11 0xdb 0x03 0x0f 341# CHECK: evlhhossplat 14, 62(27) 3420x11 0xdb 0xfb 0x0f 343# CHECK: evlhhossplat 14, 62(9) 3440x11 0xc9 0xfb 0x0f 345# CHECK: evlwhe 14, 0(27) 3460x11 0xdb 0x03 0x11 347# CHECK: evlwhe 14, 124(27) 3480x11 0xdb 0xfb 0x11 349# CHECK: evlwhe 14, 124(9) 3500x11 0xc9 0xfb 0x11 351# CHECK: evlwhou 14, 0(27) 3520x11 0xdb 0x03 0x15 353# CHECK: evlwhou 14, 124(27) 3540x11 0xdb 0xfb 0x15 355# CHECK: evlwhou 14, 124(9) 3560x11 0xc9 0xfb 0x15 357# CHECK: evlwhos 14, 0(27) 3580x11 0xdb 0x03 0x17 359# CHECK: evlwhos 14, 124(27) 3600x11 0xdb 0xfb 0x17 361# CHECK: evlwhos 14, 124(9) 3620x11 0xc9 0xfb 0x17 363# CHECK: evlwwsplat 14, 0(27) 3640x11 0xdb 0x03 0x19 365# CHECK: evlwwsplat 14, 124(27) 3660x11 0xdb 0xfb 0x19 367# CHECK: evlwwsplat 14, 124(9) 3680x11 0xc9 0xfb 0x19 369# CHECK: evlwhsplat 14, 0(27) 3700x11 0xdb 0x03 0x1d 371# CHECK: evlwhsplat 14, 124(27) 3720x11 0xdb 0xfb 0x1d 373# CHECK: evlwhsplat 14, 124(9) 3740x11 0xc9 0xfb 0x1d 375# CHECK: evstdd 14, 0(27) 3760x11 0xdb 0x03 0x21 377# CHECK: evstdd 14, 248(27) 3780x11 0xdb 0xfb 0x21 379# CHECK: evstdd 14, 248(9) 3800x11 0xc9 0xfb 0x21 381# CHECK: evstdh 14, 0(27) 3820x11 0xdb 0x03 0x25 383# CHECK: evstdh 14, 248(27) 3840x11 0xdb 0xfb 0x25 385# CHECK: evstdh 14, 248(9) 3860x11 0xc9 0xfb 0x25 387# CHECK: evstdw 14, 0(27) 3880x11 0xdb 0x03 0x23 389# CHECK: evstdw 14, 248(27) 3900x11 0xdb 0xfb 0x23 391# CHECK: evstdw 14, 248(9) 3920x11 0xc9 0xfb 0x23 393# CHECK: evstwhe 14, 0(27) 3940x11 0xdb 0x03 0x31 395# CHECK: evstwhe 14, 124(27) 3960x11 0xdb 0xfb 0x31 397# CHECK: evstwhe 14, 124(9) 3980x11 0xc9 0xfb 0x31 399# CHECK: evstwho 14, 0(27) 4000x11 0xdb 0x03 0x35 401# CHECK: evstwho 14, 124(27) 4020x11 0xdb 0xfb 0x35 403# CHECK: evstwho 14, 124(9) 4040x11 0xc9 0xfb 0x35 405# CHECK: evstwwe 14, 0(27) 4060x11 0xdb 0x03 0x39 407# CHECK: evstwwe 14, 124(27) 4080x11 0xdb 0xfb 0x39 409# CHECK: evstwwe 14, 124(9) 4100x11 0xc9 0xfb 0x39 411# CHECK: evstwwo 14, 0(27) 4120x11 0xdb 0x03 0x3d 413# CHECK: evstwwo 14, 124(27) 4140x11 0xdb 0xfb 0x3d 415# CHECK: evstwwo 14, 124(9) 4160x11 0xc9 0xfb 0x3d 417# CHECK: efdabs 3, 4 4180x10 0x64 0x02 0xe4 419# CHECK: efdadd 3, 4, 5 4200x10 0x64 0x2a 0xe0 421# CHECK: efdcfs 3, 4 4220x10 0x60 0x22 0xef 423# CHECK: efdcfsf 5, 6 4240x10 0xa0 0x32 0xf3 425# CHECK: efdcfsi 5, 6 4260x10 0xa0 0x32 0xf1 427# CHECK: efdcfsid 10, 14 4280x11 0x40 0x72 0xe3 429# CHECK: efdcfuf 5, 8 4300x10 0xa0 0x42 0xf2 431# CHECK: efdcfui 6, 9 4320x10 0xc0 0x4a 0xf0 433# CHECK: efdcfuid 7, 10 4340x10 0xe0 0x52 0xe2 435# CHECK: efdcmpeq 3, 3, 8 4360x11 0x83 0x42 0xee 437# CHECK: efdcmpgt 4, 7, 3 4380x12 0x07 0x1a 0xec 439# CHECK: efdcmplt 2, 3, 4 4400x11 0x03 0x22 0xed 441# CHECK: efdctsf 5, 3 4420x10 0xa0 0x1a 0xf7 443# CHECK: efdctsi 6, 4 4440x10 0xc0 0x22 0xf5 445# CHECK: efdctsidz 3, 4 4460x10 0x60 0x22 0xeb 447# CHECK: efdctsiz 3, 4 4480x10 0x60 0x22 0xfa 449# CHECK: efdctuf 5, 8 4500x10 0xa0 0x42 0xf6 451# CHECK: efdctui 9, 10 4520x11 0x20 0x52 0xf4 453# CHECK: efdctuidz 3, 8 4540x10 0x60 0x42 0xea 455# CHECK: efdctuiz 5, 17 4560x10 0xa0 0x8a 0xf8 457# CHECK: efddiv 3, 4, 5 4580x10 0x64 0x2a 0xe9 459# CHECK: efdmul 0, 3, 8 4600x10 0x03 0x42 0xe8 461# CHECK: efdnabs 3, 23 4620x10 0x77 0x02 0xe5 463# CHECK: efdneg 3, 22 4640x10 0x76 0x02 0xe6 465# CHECK: efdsub 3, 4, 6 4660x10 0x64 0x32 0xe1 467# CHECK: efdtsteq 3, 4, 5 4680x11 0x84 0x2a 0xfe 469# CHECK: efdtstgt 3, 3, 6 4700x11 0x83 0x32 0xfc 471# CHECK: efdtstlt 4, 0, 3 4720x12 0x00 0x1a 0xfd 473# CHECK: efsabs 3, 4 4740x10 0x64 0x02 0xc4 475# CHECK: efsadd 3, 4, 5 4760x10 0x64 0x2a 0xc0 477# CHECK: efscfsf 5, 6 4780x10 0xa0 0x32 0xd3 479# CHECK: efscfsi 5, 6 4800x10 0xa0 0x32 0xd1 481# CHECK: efscfuf 5, 8 4820x10 0xa0 0x42 0xd2 483# CHECK: efscfui 6, 9 4840x10 0xc0 0x4a 0xd0 485# CHECK: efscmpeq 3, 3, 8 4860x11 0x83 0x42 0xce 487# CHECK: efscmpgt 4, 7, 3 4880x12 0x07 0x1a 0xcc 489# CHECK: efscmplt 2, 3, 4 4900x11 0x03 0x22 0xcd 491# CHECK: efsctsf 5, 3 4920x10 0xa0 0x1a 0xd7 493# CHECK: efsctsi 6, 4 4940x10 0xc0 0x22 0xd5 495# CHECK: efsctsiz 3, 4 4960x10 0x60 0x22 0xda 497# CHECK: efsctuf 5, 8 4980x10 0xa0 0x42 0xd6 499# CHECK: efsctui 9, 10 5000x11 0x20 0x52 0xd4 501# CHECK: efsctuiz 5, 17 5020x10 0xa0 0x8a 0xd8 503# CHECK: efsdiv 3, 4, 5 5040x10 0x64 0x2a 0xc9 505# CHECK: efsmul 0, 3, 8 5060x10 0x03 0x42 0xc8 507# CHECK: efsnabs 3, 23 5080x10 0x77 0x02 0xc5 509# CHECK: efsneg 3, 22 5100x10 0x76 0x02 0xc6 511# CHECK: efssub 3, 4, 6 5120x10 0x64 0x32 0xc1 513# CHECK: efststeq 3, 4, 5 5140x11 0x84 0x2a 0xde 515# CHECK: efststgt 3, 3, 6 5160x11 0x83 0x32 0xdc 517# CHECK: efststlt 4, 0, 3 5180x12 0x00 0x1a 0xdd 519