85 lines
861 B
Plaintext
85 lines
861 B
Plaintext
# THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi :set ro:
|
|
# Generated from: i386/amd64-avx-mpx.xml
|
|
name:amd64_avx_mpx
|
|
xmltarget:amd64-avx-mpx.xml
|
|
expedite:rbp,rsp,rip
|
|
64:rax
|
|
64:rbx
|
|
64:rcx
|
|
64:rdx
|
|
64:rsi
|
|
64:rdi
|
|
64:rbp
|
|
64:rsp
|
|
64:r8
|
|
64:r9
|
|
64:r10
|
|
64:r11
|
|
64:r12
|
|
64:r13
|
|
64:r14
|
|
64:r15
|
|
64:rip
|
|
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
|
|
128:xmm8
|
|
128:xmm9
|
|
128:xmm10
|
|
128:xmm11
|
|
128:xmm12
|
|
128:xmm13
|
|
128:xmm14
|
|
128:xmm15
|
|
32:mxcsr
|
|
128:ymm0h
|
|
128:ymm1h
|
|
128:ymm2h
|
|
128:ymm3h
|
|
128:ymm4h
|
|
128:ymm5h
|
|
128:ymm6h
|
|
128:ymm7h
|
|
128:ymm8h
|
|
128:ymm9h
|
|
128:ymm10h
|
|
128:ymm11h
|
|
128:ymm12h
|
|
128:ymm13h
|
|
128:ymm14h
|
|
128:ymm15h
|
|
128:bnd0raw
|
|
128:bnd1raw
|
|
128:bnd2raw
|
|
128:bnd3raw
|
|
64:bndcfgu
|
|
64:bndstatus
|