diff options
-rw-r--r-- | insns.dat | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -1979,13 +1979,9 @@ VBLENDPD ymmreg,ymmreg*,ymmrm256,imm8 [rvmi: vex.nds.256.66.0f3a 0d /r ib] AVX, VBLENDPS xmmreg,xmmreg*,xmmrm128,imm8 [rvmi: vex.nds.128.66.0f3a 0c /r ib] AVX,SANDYBRIDGE VBLENDPS ymmreg,ymmreg*,ymmrm256,imm8 [rvmi: vex.nds.256.66.0f3a 0c /r ib] AVX,SANDYBRIDGE VBLENDVPD xmmreg,xmmreg,xmmrm128,xmmreg [rvms: vex.nds.128.66.0f3a.w0 4b /r /is4] AVX,SANDYBRIDGE -VBLENDVPD xmmreg,xmmrm128,xmm0 [rm-: vex.128.66.0f38 15 /r] AVX,SANDYBRIDGE ; ??? VBLENDVPD ymmreg,ymmreg,ymmrm256,ymmreg [rvms: vex.nds.256.66.0f3a.w0 4b /r /is4] AVX,SANDYBRIDGE -VBLENDVPD ymmreg,ymmrm256,ymm0 [rm-: vex.256.66.0f38 15 /r] AVX,SANDYBRIDGE ; ??? VBLENDVPS xmmreg,xmmreg,xmmrm128,xmmreg [rvms: vex.nds.128.66.0f3a.w0 4a /r /is4] AVX,SANDYBRIDGE -VBLENDVPS xmmreg,xmmrm128,xmm0 [rm-: vex.128.66.0f38 14 /r] AVX,SANDYBRIDGE ; ??? VBLENDVPS ymmreg,ymmreg,ymmrm256,ymmreg [rvms: vex.nds.256.66.0f3a.w0 4a /r /is4] AVX,SANDYBRIDGE -VBLENDVPD ymmreg,ymmrm256,ymm0 [rm-: vex.256.66.0f38 14 /r] AVX,SANDYBRIDGE ; ??? VBROADCASTSS xmmreg,mem32 [rm: vex.128.66.0f38.w0 18 /r] AVX,SANDYBRIDGE VBROADCASTSS ymmreg,mem32 [rm: vex.256.66.0f38.w0 18 /r] AVX,SANDYBRIDGE VBROADCASTSD ymmreg,mem64 [rm: vex.256.66.0f38.w0 19 /r] AVX,SANDYBRIDGE |