78 lines
809 B
Plaintext
78 lines
809 B
Plaintext
# THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi :set ro:
|
|
# Generated from: i386/i386-avx-mpx-avx512-pku.xml
|
|
name:i386_avx_mpx_avx512_pku
|
|
xmltarget:i386-avx-mpx-avx512-pku.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
|
|
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
|
|
32:pkru
|