tree dc0545b1a7a589e59f92798d474dd45f6784bc01
parent 6fcd43e342f4d96c423b8c288c4fce5967984125
author sewardj <sewardj@8f6e269a-dfd6-0310-a8e1-e2731360e62c> 1339716722 +0000
committer sewardj <sewardj@8f6e269a-dfd6-0310-a8e1-e2731360e62c> 1339716722 +0000

Fill in some missing AVX insns:

VANDPS = VEX.NDS.256.0F.WIG 54 /r
VANDNPD = VEX.NDS.256.66.0F.WIG 55 /r
ANDNPS = VEX.NDS.256.0F.WIG 55 /r
VORPD = VEX.NDS.256.66.0F.WIG 56 /r
VORPS = VEX.NDS.256.0F.WIG 56 /r
VXORPS = VEX.NDS.256.0F.WIG 57 /r
VDIVPS xmm3/m128, xmm2, xmm1 = VEX.NDS.128.0F.WIG 5E /r

Modified version of a patch by Jakub Jelinek, jakub@redhat.com
(bug 273475 comment 96)


git-svn-id: svn://svn.valgrind.org/vex/trunk@2383 8f6e269a-dfd6-0310-a8e1-e2731360e62c