#BEGIN_LEGAL
#
#Copyright (c) 2020 Intel Corporation
#
#  Licensed under the Apache License, Version 2.0 (the "License");
#  you may not use this file except in compliance with the License.
#  You may obtain a copy of the License at
#
#      http://www.apache.org/licenses/LICENSE-2.0
#
#  Unless required by applicable law or agreed to in writing, software
#  distributed under the License is distributed on an "AS IS" BASIS,
#  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
#  See the License for the specific language governing permissions and
#  limitations under the License.
#  
#END_LEGAL
INSTRUCTIONS()::

{
ICLASS    : PSMASH
CPL       : 0
CATEGORY  : SYSTEM
EXTENSION : SNP
ATTRIBUTES: AMDONLY
FLAGS     : MUST [ of-mod sf-mod zf-mod af-mod pf-mod ]
PATTERN   : 0x0F 0x01 MOD[0b11] MOD=3 REG[0b111] RM[0b111] f3_refining_prefix mode64
OPERANDS  : REG0=XED_REG_RAX:rw:IMPL
}


{
ICLASS    : PVALIDATE
CPL       : 0
CATEGORY  : SYSTEM
EXTENSION : SNP
ATTRIBUTES: AMDONLY
FLAGS     : MUST [ of-mod sf-mod zf-mod af-mod pf-mod cf-mod ]
PATTERN   : 0x0F 0x01 MOD[0b11] MOD=3 REG[0b111] RM[0b111] f2_refining_prefix
OPERANDS  : REG0=XED_REG_RAX:rw:IMPL REG1=XED_REG_ECX:r:IMPL REG2=XED_REG_EDX:r:IMPL
}


{
ICLASS    : RMPADJUST
CPL       : 0
CATEGORY  : SYSTEM
EXTENSION : SNP
ATTRIBUTES: AMDONLY
FLAGS     : MUST [ of-mod sf-mod zf-mod af-mod pf-mod  ]
PATTERN   : 0x0F 0x01 MOD[0b11] MOD=3 REG[0b111] RM[0b110] f3_refining_prefix mode64
OPERANDS  : REG0=XED_REG_RAX:rw:IMPL REG1=XED_REG_RCX:r:IMPL REG2=XED_REG_RDX:r:IMPL
}

{
ICLASS    : RMPUPDATE
CPL       : 0
CATEGORY  : SYSTEM
EXTENSION : SNP
ATTRIBUTES: AMDONLY
FLAGS     : MUST [ of-mod sf-mod zf-mod af-mod pf-mod  ]
PATTERN   : 0x0F 0x01 MOD[0b11] MOD=3 REG[0b111] RM[0b110] f2_refining_prefix mode64
OPERANDS  : REG0=XED_REG_RAX:rw:IMPL REG1=XED_REG_RCX:r:IMPL 
}
