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