| # THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi :set ro: |
| # Generated from: i386/i386-avx512-linux.xml |
| name:i386_avx512_linux |
| xmltarget:i386-avx512-linux.xml |
| expedite:ebp,esp,eip |
| 32:eax |
| 32:ecx |
| 32:edx |
| 32:ebx |
| 32:esp |
| 32:ebp |
| 32:esi |
| 32:edi |
| 32:eip |
| 32:eflags |
| 32:cs |
| 32:ss |
| 32:ds |
| 32:es |
| 32:fs |
| 32:gs |
| 80:st0 |
| 80:st1 |
| 80:st2 |
| 80:st3 |
| 80:st4 |
| 80:st5 |
| 80:st6 |
| 80:st7 |
| 32:fctrl |
| 32:fstat |
| 32:ftag |
| 32:fiseg |
| 32:fioff |
| 32:foseg |
| 32:fooff |
| 32:fop |
| 128:xmm0 |
| 128:xmm1 |
| 128:xmm2 |
| 128:xmm3 |
| 128:xmm4 |
| 128:xmm5 |
| 128:xmm6 |
| 128:xmm7 |
| 32:mxcsr |
| 32:orig_eax |
| 128:ymm0h |
| 128:ymm1h |
| 128:ymm2h |
| 128:ymm3h |
| 128:ymm4h |
| 128:ymm5h |
| 128:ymm6h |
| 128:ymm7h |
| 128:bnd0raw |
| 128:bnd1raw |
| 128:bnd2raw |
| 128:bnd3raw |
| 64:bndcfgu |
| 64:bndstatus |
| 64:k0 |
| 64:k1 |
| 64:k2 |
| 64:k3 |
| 64:k4 |
| 64:k5 |
| 64:k6 |
| 64:k7 |
| 256:zmm0h |
| 256:zmm1h |
| 256:zmm2h |
| 256:zmm3h |
| 256:zmm4h |
| 256:zmm5h |
| 256:zmm6h |
| 256:zmm7h |