xref: /freebsd/contrib/llvm-project/llvm/lib/Target/X86/X86InstrVMX.td (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
10b57cec5SDimitry Andric//===-- X86InstrVMX.td - VMX Instruction Set Extension -----*- tablegen -*-===//
20b57cec5SDimitry Andric//
30b57cec5SDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric// See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric//
70b57cec5SDimitry Andric//===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric//
90b57cec5SDimitry Andric// This file describes the instructions that make up the Intel VMX instruction
100b57cec5SDimitry Andric// set.
110b57cec5SDimitry Andric//
120b57cec5SDimitry Andric//===----------------------------------------------------------------------===//
130b57cec5SDimitry Andric
140b57cec5SDimitry Andric//===----------------------------------------------------------------------===//
150b57cec5SDimitry Andric// VMX instructions
160b57cec5SDimitry Andric
170b57cec5SDimitry Andriclet SchedRW = [WriteSystem] in {
180b57cec5SDimitry Andric// 66 0F 38 80
190b57cec5SDimitry Andricdef INVEPT32 : I<0x80, MRMSrcMem, (outs), (ins GR32:$src1, i128mem:$src2),
20cb14a3feSDimitry Andric               "invept\t{$src2, $src1|$src1, $src2}", []>, T8, PD,
210b57cec5SDimitry Andric               Requires<[Not64BitMode]>;
220b57cec5SDimitry Andricdef INVEPT64 : I<0x80, MRMSrcMem, (outs), (ins GR64:$src1, i128mem:$src2),
23cb14a3feSDimitry Andric               "invept\t{$src2, $src1|$src1, $src2}", []>, T8, PD,
240b57cec5SDimitry Andric               Requires<[In64BitMode]>;
255f757f3fSDimitry Andricdef INVEPT64_EVEX : I<0xF0, MRMSrcMem, (outs), (ins GR64:$src1, i128mem:$src2),
265f757f3fSDimitry Andric                      "invept\t{$src2, $src1|$src1, $src2}", []>,
27*0fca6ea1SDimitry Andric                    EVEX, NoCD8, T_MAP4, XS, WIG, Requires<[In64BitMode]>;
280b57cec5SDimitry Andric
290b57cec5SDimitry Andric// 66 0F 38 81
300b57cec5SDimitry Andricdef INVVPID32 : I<0x81, MRMSrcMem, (outs), (ins GR32:$src1, i128mem:$src2),
31cb14a3feSDimitry Andric                "invvpid\t{$src2, $src1|$src1, $src2}", []>, T8, PD,
320b57cec5SDimitry Andric                Requires<[Not64BitMode]>;
330b57cec5SDimitry Andricdef INVVPID64 : I<0x81, MRMSrcMem, (outs), (ins GR64:$src1, i128mem:$src2),
34cb14a3feSDimitry Andric                "invvpid\t{$src2, $src1|$src1, $src2}", []>, T8, PD,
350b57cec5SDimitry Andric                Requires<[In64BitMode]>;
365f757f3fSDimitry Andricdef INVVPID64_EVEX : I<0xF1, MRMSrcMem, (outs), (ins GR64:$src1, i128mem:$src2),
375f757f3fSDimitry Andric                       "invvpid\t{$src2, $src1|$src1, $src2}", []>,
38*0fca6ea1SDimitry Andric                     EVEX, NoCD8, T_MAP4, XS, WIG, Requires<[In64BitMode]>;
390b57cec5SDimitry Andric
400b57cec5SDimitry Andric// 0F 01 C1
410b57cec5SDimitry Andricdef VMCALL : I<0x01, MRM_C1, (outs), (ins), "vmcall", []>, TB;
420b57cec5SDimitry Andricdef VMCLEARm : I<0xC7, MRM6m, (outs), (ins i64mem:$vmcs),
43cb14a3feSDimitry Andric  "vmclear\t$vmcs", []>, TB, PD;
440b57cec5SDimitry Andric
450b57cec5SDimitry Andric// OF 01 D4
46cb14a3feSDimitry Andricdef VMFUNC : I<0x01, MRM_D4, (outs), (ins), "vmfunc", []>, TB;
470b57cec5SDimitry Andric
480b57cec5SDimitry Andric// 0F 01 C2
490b57cec5SDimitry Andricdef VMLAUNCH : I<0x01, MRM_C2, (outs), (ins), "vmlaunch", []>, TB;
500b57cec5SDimitry Andric
510b57cec5SDimitry Andric// 0F 01 C3
520b57cec5SDimitry Andricdef VMRESUME : I<0x01, MRM_C3, (outs), (ins), "vmresume", []>, TB;
530b57cec5SDimitry Andricdef VMPTRLDm : I<0xC7, MRM6m, (outs), (ins i64mem:$vmcs),
54cb14a3feSDimitry Andric  "vmptrld\t$vmcs", []>, TB;
550b57cec5SDimitry Andricdef VMPTRSTm : I<0xC7, MRM7m, (outs), (ins i64mem:$vmcs),
56cb14a3feSDimitry Andric  "vmptrst\t$vmcs", []>, TB;
570b57cec5SDimitry Andricdef VMREAD64rr : I<0x78, MRMDestReg, (outs GR64:$dst), (ins GR64:$src),
58cb14a3feSDimitry Andric  "vmread{q}\t{$src, $dst|$dst, $src}", []>, TB, Requires<[In64BitMode]>;
590b57cec5SDimitry Andricdef VMREAD32rr : I<0x78, MRMDestReg, (outs GR32:$dst), (ins GR32:$src),
60cb14a3feSDimitry Andric  "vmread{l}\t{$src, $dst|$dst, $src}", []>, TB, Requires<[Not64BitMode]>;
610b57cec5SDimitry Andric
620b57cec5SDimitry Andriclet mayStore = 1 in {
630b57cec5SDimitry Andricdef VMREAD64mr : I<0x78, MRMDestMem, (outs), (ins i64mem:$dst, GR64:$src),
64cb14a3feSDimitry Andric  "vmread{q}\t{$src, $dst|$dst, $src}", []>, TB, Requires<[In64BitMode]>;
650b57cec5SDimitry Andricdef VMREAD32mr : I<0x78, MRMDestMem, (outs), (ins i32mem:$dst, GR32:$src),
66cb14a3feSDimitry Andric  "vmread{l}\t{$src, $dst|$dst, $src}", []>, TB, Requires<[Not64BitMode]>;
670b57cec5SDimitry Andric} // mayStore
680b57cec5SDimitry Andric
690b57cec5SDimitry Andricdef VMWRITE64rr : I<0x79, MRMSrcReg, (outs GR64:$dst), (ins GR64:$src),
70cb14a3feSDimitry Andric  "vmwrite{q}\t{$src, $dst|$dst, $src}", []>, TB, Requires<[In64BitMode]>;
710b57cec5SDimitry Andricdef VMWRITE32rr : I<0x79, MRMSrcReg, (outs GR32:$dst), (ins GR32:$src),
72cb14a3feSDimitry Andric  "vmwrite{l}\t{$src, $dst|$dst, $src}", []>, TB, Requires<[Not64BitMode]>;
730b57cec5SDimitry Andric
740b57cec5SDimitry Andriclet mayLoad = 1 in {
750b57cec5SDimitry Andricdef VMWRITE64rm : I<0x79, MRMSrcMem, (outs GR64:$dst), (ins i64mem:$src),
76cb14a3feSDimitry Andric  "vmwrite{q}\t{$src, $dst|$dst, $src}", []>, TB, Requires<[In64BitMode]>;
770b57cec5SDimitry Andricdef VMWRITE32rm : I<0x79, MRMSrcMem, (outs GR32:$dst), (ins i32mem:$src),
78cb14a3feSDimitry Andric  "vmwrite{l}\t{$src, $dst|$dst, $src}", []>, TB, Requires<[Not64BitMode]>;
790b57cec5SDimitry Andric} // mayLoad
800b57cec5SDimitry Andric
810b57cec5SDimitry Andric// 0F 01 C4
820b57cec5SDimitry Andricdef VMXOFF : I<0x01, MRM_C4, (outs), (ins), "vmxoff", []>, TB;
830b57cec5SDimitry Andricdef VMXON : I<0xC7, MRM6m, (outs), (ins i64mem:$vmxon),
84cb14a3feSDimitry Andric  "vmxon\t$vmxon", []>, TB, XS;
850b57cec5SDimitry Andric} // SchedRW
86