Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(46)

Issues Search
    My Issues | Starred     Open | Closed | All

Side by Side Diff: src/trusted/validator_ragel/instruction_definitions/xmm_instructions.def

Issue 697143002: enable packed double precision 3 operand mem/simd register avx1 instructions. (Closed) Base URL: svn://svn.chromium.org/native_client/trunk/src/native_client
Patch Set: Created 6 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « src/trusted/validator_ragel/gen/validator_x86_64.xml ('k') | src/trusted/validator_ragel/proof_tools_templates.py » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 # Copyright (c) 2011 The Native Client Authors. All rights reserved. 1 # Copyright (c) 2011 The Native Client Authors. All rights reserved.
2 # Use of this source code is governed by a BSD-style license that can be 2 # Use of this source code is governed by a BSD-style license that can be
3 # found in the LICENSE file. 3 # found in the LICENSE file.
4 ################################################################################ 4 ################################################################################
5 # This file describes instructions from AMD64 Architecture Programmer's Manual 5 # This file describes instructions from AMD64 Architecture Programmer's Manual
6 # Volume 4: 128-Bit and 256-Bit Media Instructions 6 # Volume 4: 128-Bit and 256-Bit Media Instructions
7 ################################################################################ 7 ################################################################################
8 # File format: see def_format.py 8 # File format: see def_format.py
9 ######## ADDPD/VADDPD ########################################################## 9 ######## ADDPD/VADDPD ##########################################################
10 addpd Wpd Vpd, 0x66 0x0f 0x58, CPUFeature_SSE2 10 addpd Wpd Vpd, 0x66 0x0f 0x58, CPUFeature_SSE2
11 vaddpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x58, 11 vaddpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x58
12 CPUFeature_AVX disabled_untested
13 ######## ADDPS/VADDPS ########################################################## 12 ######## ADDPS/VADDPS ##########################################################
14 addps Wps Vps, 0x0f 0x58, CPUFeature_SSE 13 addps Wps Vps, 0x0f 0x58, CPUFeature_SSE
15 vaddps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x58, 14 vaddps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x58,
16 CPUFeature_AVX disabled_untested 15 CPUFeature_AVX disabled_untested
17 ######## ADDSD/VADDSD ########################################################## 16 ######## ADDSD/VADDSD ##########################################################
18 addsd Wsd Vsd, 0xf2 0x0f 0x58, CPUFeature_SSE2 17 addsd Wsd Vsd, 0xf2 0x0f 0x58, CPUFeature_SSE2
19 vaddsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x58, 18 vaddsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x58,
20 CPUFeature_AVX disabled_untested 19 CPUFeature_AVX disabled_untested
21 ######## ADDSS/VADDSS ########################################################## 20 ######## ADDSS/VADDSS ##########################################################
22 addss Wss Vss, 0xf3 0x0f 0x58, CPUFeature_SSE 21 addss Wss Vss, 0xf3 0x0f 0x58, CPUFeature_SSE
23 vaddss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x58, 22 vaddss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x58,
24 CPUFeature_AVX disabled_untested 23 CPUFeature_AVX disabled_untested
25 ######## ADDSUBPD/VADDSUBPD #################################################### 24 ######## ADDSUBPD/VADDSUBPD ####################################################
26 addsubpd Wpd Vpd, 0x66 0x0f 0xd0, CPUFeature_SSE2 25 addsubpd Wpd Vpd, 0x66 0x0f 0xd0, CPUFeature_SSE2
27 vaddsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0xd0, 26 vaddsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0xd0, CPUFeature_AVX
28 CPUFeature_AVX disabled_untested
29 ######## ADDSUBPS/VADDSUBPS #################################################### 27 ######## ADDSUBPS/VADDSUBPS ####################################################
30 addsubps Wps Vps, 0xf2 0x0f 0xd0, CPUFeature_SSE 28 addsubps Wps Vps, 0xf2 0x0f 0xd0, CPUFeature_SSE
31 vaddsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0xd0, 29 vaddsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0xd0,
32 CPUFeature_AVX disabled_untested 30 CPUFeature_AVX disabled_untested
33 ######## AESDEC/VAESDEC ######################################################## 31 ######## AESDEC/VAESDEC ########################################################
34 aesdec Wo Vo, 0x66 0x0f 0x38 0xde, CPUFeature_AES 32 aesdec Wo Vo, 0x66 0x0f 0x38 0xde, CPUFeature_AES
35 vaesdec Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xde, CPUFeature_AESAVX 33 vaesdec Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xde, CPUFeature_AESAVX
36 ######## AESDECLAST/VAESDECLAST ################################################ 34 ######## AESDECLAST/VAESDECLAST ################################################
37 aesdeclast Wo Vo, 0x66 0x0f 0x38 0xdf, CPUFeature_AES 35 aesdeclast Wo Vo, 0x66 0x0f 0x38 0xdf, CPUFeature_AES
38 vaesdeclast Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xdf, CPUFeature_AESAVX 36 vaesdeclast Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xdf, CPUFeature_AESAVX
39 ######## AESENC/VAESENC ######################################################## 37 ######## AESENC/VAESENC ########################################################
40 aesenc Wo Vo, 0x66 0x0f 0x38 0xdc, CPUFeature_AES 38 aesenc Wo Vo, 0x66 0x0f 0x38 0xdc, CPUFeature_AES
41 vaesenc Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xdc, CPUFeature_AESAVX 39 vaesenc Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xdc, CPUFeature_AESAVX
42 ######## AESENCLAST/VAESENCLAST ################################################ 40 ######## AESENCLAST/VAESENCLAST ################################################
43 aesenclast Wo Vo, 0x66 0x0f 0x38 0xdd, CPUFeature_AES 41 aesenclast Wo Vo, 0x66 0x0f 0x38 0xdd, CPUFeature_AES
44 vaesenclast Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xdd, CPUFeature_AESAVX 42 vaesenclast Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xdd, CPUFeature_AESAVX
45 ######## AESIMC/VAESIMC ######################################################## 43 ######## AESIMC/VAESIMC ########################################################
46 aesimc Wo Vo, 0x66 0x0f 0x38 0xdb, CPUFeature_AES 44 aesimc Wo Vo, 0x66 0x0f 0x38 0xdb, CPUFeature_AES
47 vaesimc Wo Vo, 0xc4 RXB.00010 x.src.0.01 0xdb, CPUFeature_AESAVX 45 vaesimc Wo Vo, 0xc4 RXB.00010 x.src.0.01 0xdb, CPUFeature_AESAVX
48 ######## AESKEYGENASSIST/VAESKEYGENASSIST ###################################### 46 ######## AESKEYGENASSIST/VAESKEYGENASSIST ######################################
49 aeskeygenassist Ib Wo Vo, 0x66 0x0f 0x3a 0xdf, CPUFeature_AES 47 aeskeygenassist Ib Wo Vo, 0x66 0x0f 0x3a 0xdf, CPUFeature_AES
50 vaeskeygenassist Ib Wo Vo, 0xc4 RXB.00011 x.src.0.01 0xdf, CPUFeature_AESAVX 48 vaeskeygenassist Ib Wo Vo, 0xc4 RXB.00011 x.src.0.01 0xdf, CPUFeature_AESAVX
51 ######## ANDNPD/VANDNPD ######################################################## 49 ######## ANDNPD/VANDNPD ########################################################
52 andnpd Wpd Vpd, 0x66 0x0f 0x55, CPUFeature_SSE2 50 andnpd Wpd Vpd, 0x66 0x0f 0x55, CPUFeature_SSE2
53 vandnpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x55, 51 vandnpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x55, CPUFeature_AVX
54 CPUFeature_AVX disabled_untested
55 ######## ANDNPS/VANDNPS ######################################################## 52 ######## ANDNPS/VANDNPS ########################################################
56 andnps Wps Vps, 0x0f 0x55, CPUFeature_SSE 53 andnps Wps Vps, 0x0f 0x55, CPUFeature_SSE
57 vandnps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x55, 54 vandnps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x55,
58 CPUFeature_AVX disabled_untested 55 CPUFeature_AVX disabled_untested
59 ######## ANDPD/VANDPD ########################################################## 56 ######## ANDPD/VANDPD ##########################################################
60 andpd Wpd Vpd, 0x66 0x0f 0x54, CPUFeature_SSE2 57 andpd Wpd Vpd, 0x66 0x0f 0x54, CPUFeature_SSE2
61 vandpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x54, 58 vandpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x54, CPUFeature_AVX
62 CPUFeature_AVX disabled_untested
63 ######## ANDPS/VANDPS ########################################################## 59 ######## ANDPS/VANDPS ##########################################################
64 andps Wps Vps, 0x0f 0x54, CPUFeature_SSE 60 andps Wps Vps, 0x0f 0x54, CPUFeature_SSE
65 vandps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x54, 61 vandps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x54,
66 CPUFeature_AVX disabled_untested 62 CPUFeature_AVX disabled_untested
67 ######## BLENDPD/VBLENDPD ###################################################### 63 ######## BLENDPD/VBLENDPD ######################################################
68 blendpd Ib Wpd Vpd, 0x66 0x0f 0x3a 0x0d, CPUFeature_SSE41 64 blendpd Ib Wpd Vpd, 0x66 0x0f 0x3a 0x0d, CPUFeature_SSE41
69 vblendpd Ib Wpdx Hpdx Vpdx, 0xc4 RXB.00011 x.src.L.01 0x0d, 65 vblendpd Ib Wpdx Hpdx Vpdx, 0xc4 RXB.00011 x.src.L.01 0x0d,
70 CPUFeature_AVX disabled_untested 66 CPUFeature_AVX disabled_untested
71 ######## BLENDPS/VBLENDPS ###################################################### 67 ######## BLENDPS/VBLENDPS ######################################################
72 blendps Ib Wps Vps, 0x66 0x0f 0x3a 0x0c, CPUFeature_SSE41 68 blendps Ib Wps Vps, 0x66 0x0f 0x3a 0x0c, CPUFeature_SSE41
(...skipping 390 matching lines...) Expand 10 before | Expand all | Expand 10 after
463 ######## CVTTSD2SI/VCVTTSD2SI ################################################## 459 ######## CVTTSD2SI/VCVTTSD2SI ##################################################
464 cvttsd2si Wsd Gy, 0xf2 0x0f 0x2c, CPUFeature_SSE2 460 cvttsd2si Wsd Gy, 0xf2 0x0f 0x2c, CPUFeature_SSE2
465 vcvttsd2si Wsd Gy, 0xc4 RXB.00001 W.1111.x.11 0x2c, 461 vcvttsd2si Wsd Gy, 0xc4 RXB.00001 W.1111.x.11 0x2c,
466 CPUFeature_AVX disabled_untested 462 CPUFeature_AVX disabled_untested
467 ######## CVTTSS2SI/VCVTTSS2SI ################################################## 463 ######## CVTTSS2SI/VCVTTSS2SI ##################################################
468 cvttss2si Wss Gy, 0xf3 0x0f 0x2c, CPUFeature_SSE 464 cvttss2si Wss Gy, 0xf3 0x0f 0x2c, CPUFeature_SSE
469 vcvttss2si Wss Gy, 0xc4 RXB.00001 W.1111.x.10 0x2c, 465 vcvttss2si Wss Gy, 0xc4 RXB.00001 W.1111.x.10 0x2c,
470 CPUFeature_AVX disabled_untested 466 CPUFeature_AVX disabled_untested
471 ######## DIVPD/VDIVPD ########################################################## 467 ######## DIVPD/VDIVPD ##########################################################
472 divpd Wpd Vpd, 0x66 0x0f 0x5e, CPUFeature_SSE2 468 divpd Wpd Vpd, 0x66 0x0f 0x5e, CPUFeature_SSE2
473 vdivpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5e, 469 vdivpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5e, CPUFeature_AVX
474 CPUFeature_AVX disabled_untested
475 ######## DIVPS/VDIVPS ########################################################## 470 ######## DIVPS/VDIVPS ##########################################################
476 divps Wps Vps, 0x0f 0x5e, CPUFeature_SSE 471 divps Wps Vps, 0x0f 0x5e, CPUFeature_SSE
477 vdivps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5e, 472 vdivps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5e,
478 CPUFeature_AVX disabled_untested 473 CPUFeature_AVX disabled_untested
479 ######## DIVSD/VDIVSD ########################################################## 474 ######## DIVSD/VDIVSD ##########################################################
480 divsd Wsd Vsd, 0xf2 0x0f 0x5e, CPUFeature_SSE2 475 divsd Wsd Vsd, 0xf2 0x0f 0x5e, CPUFeature_SSE2
481 vdivsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5e, 476 vdivsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5e,
482 CPUFeature_AVX disabled_untested 477 CPUFeature_AVX disabled_untested
483 ######## DIVSS/VDIVSS ########################################################## 478 ######## DIVSS/VDIVSS ##########################################################
484 divss Wss Vss, 0xf3 0x0f 0x5e, CPUFeature_SSE 479 divss Wss Vss, 0xf3 0x0f 0x5e, CPUFeature_SSE
(...skipping 12 matching lines...) Expand all
497 extractps Ib Vps Ry, 0x66 0x0f 0x3a 0x17, CPUFeature_SSE41 492 extractps Ib Vps Ry, 0x66 0x0f 0x3a 0x17, CPUFeature_SSE41
498 vextractps Ib Vps Mss, 0xc4 RXB.00011 x.1111.0.01 0x17, 493 vextractps Ib Vps Mss, 0xc4 RXB.00011 x.1111.0.01 0x17,
499 CPUFeature_AVX disabled_untested 494 CPUFeature_AVX disabled_untested
500 ######## EXTRQ ################################################################# 495 ######## EXTRQ #################################################################
501 # This instruction is perfectly safe but it's disallowed because xed does not 496 # This instruction is perfectly safe but it's disallowed because xed does not
502 # know it 497 # know it
503 extrq ib Ib Uq, 0x66 0x0f 0x78 /0, CPUFeature_SSE4A nacl-forbidden 498 extrq ib Ib Uq, 0x66 0x0f 0x78 /0, CPUFeature_SSE4A nacl-forbidden
504 extrq Uq Vq, 0x66 0x0f 0x79, CPUFeature_SSE4A 499 extrq Uq Vq, 0x66 0x0f 0x79, CPUFeature_SSE4A
505 ######## HADDPD/VHADDPD ######################################################## 500 ######## HADDPD/VHADDPD ########################################################
506 haddpd Wpd Vpd, 0x66 0x0f 0x7c, CPUFeature_SSE3 501 haddpd Wpd Vpd, 0x66 0x0f 0x7c, CPUFeature_SSE3
507 vhaddpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x7c, 502 vhaddpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x7c, CPUFeature_AVX
508 CPUFeature_AVX disabled_untested
509 ######## HADDPS/VHADDPS ######################################################## 503 ######## HADDPS/VHADDPS ########################################################
510 haddps Wps Vps, 0xf2 0x0f 0x7c, CPUFeature_SSE3 504 haddps Wps Vps, 0xf2 0x0f 0x7c, CPUFeature_SSE3
511 vhaddps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0x7c, 505 vhaddps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0x7c,
512 CPUFeature_AVX disabled_untested 506 CPUFeature_AVX disabled_untested
513 ######## HSUBPD/VHSUBPD ######################################################## 507 ######## HSUBPD/VHSUBPD ########################################################
514 hsubpd Wpd Vpd, 0x66 0x0f 0x7d, CPUFeature_SSE3 508 hsubpd Wpd Vpd, 0x66 0x0f 0x7d, CPUFeature_SSE3
515 vhsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x7d, 509 vhsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x7d, CPUFeature_AVX
516 CPUFeature_AVX disabled_untested
517 ######## HSUBPS/VHSUBPS ######################################################## 510 ######## HSUBPS/VHSUBPS ########################################################
518 hsubps Wps Vps, 0xf2 0x0f 0x7d, CPUFeature_SSE3 511 hsubps Wps Vps, 0xf2 0x0f 0x7d, CPUFeature_SSE3
519 vhsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0x7d, 512 vhsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0x7d,
520 CPUFeature_AVX disabled_untested 513 CPUFeature_AVX disabled_untested
521 ######## INSERTPS/VINSERTPS #################################################### 514 ######## INSERTPS/VINSERTPS ####################################################
522 insertps Ib Md Vps, 0x66 0x0f 0x3a 0x21, CPUFeature_SSE41 515 insertps Ib Md Vps, 0x66 0x0f 0x3a 0x21, CPUFeature_SSE41
523 insertps Ib Uo Vps, 0x66 0x0f 0x3a 0x21, CPUFeature_SSE41 516 insertps Ib Uo Vps, 0x66 0x0f 0x3a 0x21, CPUFeature_SSE41
524 vinsertps Ib Md Ho Vo, 0xc4 RXB.00011 x.src.0.01 0x21, 517 vinsertps Ib Md Ho Vo, 0xc4 RXB.00011 x.src.0.01 0x21,
525 CPUFeature_AVX disabled_untested 518 CPUFeature_AVX disabled_untested
526 vinsertps Ib Uo Ho Vo, 0xc4 RXB.00011 x.src.0.01 0x21, 519 vinsertps Ib Uo Ho Vo, 0xc4 RXB.00011 x.src.0.01 0x21,
(...skipping 10 matching lines...) Expand all
537 ######## LDMXCSR/VLDMXCSR ###################################################### 530 ######## LDMXCSR/VLDMXCSR ######################################################
538 ldmxcsr Md, 0x0f 0xae /2, CPUFeature_SSE 531 ldmxcsr Md, 0x0f 0xae /2, CPUFeature_SSE
539 vldmxcsr Md, 0xc4 RXB.00001 x.1111.0.00 0xae /2, 532 vldmxcsr Md, 0xc4 RXB.00001 x.1111.0.00 0xae /2,
540 CPUFeature_AVX disabled_untested 533 CPUFeature_AVX disabled_untested
541 ######## MASKMOVDQU/VMASKMOVDQU ################################################ 534 ######## MASKMOVDQU/VMASKMOVDQU ################################################
542 maskmovdqu Upb Vpb, 0x66 0x0f 0xf7, CPUFeature_SSE2 nacl-amd64-forbidden 535 maskmovdqu Upb Vpb, 0x66 0x0f 0xf7, CPUFeature_SSE2 nacl-amd64-forbidden
543 vmaskmovdqu Upb Vpb, 0xc4 RXB.00001 x.1111.0.01 0xf7, 536 vmaskmovdqu Upb Vpb, 0xc4 RXB.00001 x.1111.0.01 0xf7,
544 CPUFeature_AVX disabled_untested nacl-amd64-forbidden 537 CPUFeature_AVX disabled_untested nacl-amd64-forbidden
545 ######## MAXPD/VMAXPD ########################################################## 538 ######## MAXPD/VMAXPD ##########################################################
546 maxpd Wpd Vpd, 0x66 0x0f 0x5f, CPUFeature_SSE2 539 maxpd Wpd Vpd, 0x66 0x0f 0x5f, CPUFeature_SSE2
547 vmaxpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5f, 540 vmaxpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5f, CPUFeature_AVX
548 CPUFeature_AVX disabled_untested
549 ######## MAXPS/VMAXPS ########################################################## 541 ######## MAXPS/VMAXPS ##########################################################
550 maxps Wps Vps, 0x0f 0x5f, CPUFeature_SSE 542 maxps Wps Vps, 0x0f 0x5f, CPUFeature_SSE
551 vmaxps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5f, 543 vmaxps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5f,
552 CPUFeature_AVX disabled_untested 544 CPUFeature_AVX disabled_untested
553 ######## MAXSD/VMAXSD ########################################################## 545 ######## MAXSD/VMAXSD ##########################################################
554 maxsd Wsd Vsd, 0xf2 0x0f 0x5f, CPUFeature_SSE2 546 maxsd Wsd Vsd, 0xf2 0x0f 0x5f, CPUFeature_SSE2
555 vmaxsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5f, 547 vmaxsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5f,
556 CPUFeature_AVX disabled_untested 548 CPUFeature_AVX disabled_untested
557 ######## MAXSS/VMAXSS ########################################################## 549 ######## MAXSS/VMAXSS ##########################################################
558 maxss Wss Vss, 0xf3 0x0f 0x5f, CPUFeature_SSE 550 maxss Wss Vss, 0xf3 0x0f 0x5f, CPUFeature_SSE
559 vmaxss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x5f, 551 vmaxss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x5f,
560 CPUFeature_AVX disabled_untested 552 CPUFeature_AVX disabled_untested
561 ######## MINPD/VMINPD ########################################################## 553 ######## MINPD/VMINPD ##########################################################
562 minpd Wpd Vpd, 0x66 0x0f 0x5d, CPUFeature_SSE2 554 minpd Wpd Vpd, 0x66 0x0f 0x5d, CPUFeature_SSE2
563 vminpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5d, 555 vminpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5d, CPUFeature_AVX
564 CPUFeature_AVX disabled_untested
565 ######## MINPS/VMINPS ########################################################## 556 ######## MINPS/VMINPS ##########################################################
566 minps Wps Vps, 0x0f 0x5d, CPUFeature_SSE 557 minps Wps Vps, 0x0f 0x5d, CPUFeature_SSE
567 vminps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5d, 558 vminps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5d,
568 CPUFeature_AVX disabled_untested 559 CPUFeature_AVX disabled_untested
569 ######## MINSD/VMINSD ########################################################## 560 ######## MINSD/VMINSD ##########################################################
570 minsd Wsd Vsd, 0xf2 0x0f 0x5d, CPUFeature_SSE2 561 minsd Wsd Vsd, 0xf2 0x0f 0x5d, CPUFeature_SSE2
571 vminsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5d, 562 vminsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5d,
572 CPUFeature_AVX disabled_untested 563 CPUFeature_AVX disabled_untested
573 ######## MINSS/VMINSS ########################################################## 564 ######## MINSS/VMINSS ##########################################################
574 minss Wss Vss, 0xf3 0x0f 0x5d, CPUFeature_SSE 565 minss Wss Vss, 0xf3 0x0f 0x5d, CPUFeature_SSE
(...skipping 195 matching lines...) Expand 10 before | Expand all | Expand 10 after
770 vmovups Wpsx Vpsx, 0xc4 RXB.00001 x.1111.L.00 0x10, 761 vmovups Wpsx Vpsx, 0xc4 RXB.00001 x.1111.L.00 0x10,
771 CPUFeature_AVX disabled_untested 762 CPUFeature_AVX disabled_untested
772 vmovups Vpsx Wpsx, 0xc4 RXB.00001 x.1111.L.00 0x11, 763 vmovups Vpsx Wpsx, 0xc4 RXB.00001 x.1111.L.00 0x11,
773 CPUFeature_AVX disabled_untested 764 CPUFeature_AVX disabled_untested
774 ######## MPSADBW/VMPSADBW ###################################################### 765 ######## MPSADBW/VMPSADBW ######################################################
775 mpsadbw Ib Wpk Vpk, 0x66 0x0f 0x3a 0x42, CPUFeature_SSE41 766 mpsadbw Ib Wpk Vpk, 0x66 0x0f 0x3a 0x42, CPUFeature_SSE41
776 vmpsadbw Ib Wpk Hpk Vpi, 0xc4 RXB.00011 x.src.0.01 0x42, 767 vmpsadbw Ib Wpk Hpk Vpi, 0xc4 RXB.00011 x.src.0.01 0x42,
777 CPUFeature_AVX disabled_untested 768 CPUFeature_AVX disabled_untested
778 ######## MULPD/VMULPD ########################################################## 769 ######## MULPD/VMULPD ##########################################################
779 mulpd Wpd Vpd, 0x66 0x0f 0x59, CPUFeature_SSE2 770 mulpd Wpd Vpd, 0x66 0x0f 0x59, CPUFeature_SSE2
780 vmulpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x59, 771 vmulpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x59, CPUFeature_AVX
781 CPUFeature_AVX disabled_untested
782 ######## MULPS/VMULPS ########################################################## 772 ######## MULPS/VMULPS ##########################################################
783 mulps Wps Vps, 0x0f 0x59, CPUFeature_SSE 773 mulps Wps Vps, 0x0f 0x59, CPUFeature_SSE
784 vmulps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x59, 774 vmulps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x59,
785 CPUFeature_AVX disabled_untested 775 CPUFeature_AVX disabled_untested
786 ######## MULSD/VMULSD ########################################################## 776 ######## MULSD/VMULSD ##########################################################
787 mulsd Wsd Vsd, 0xf2 0x0f 0x59, CPUFeature_SSE2 777 mulsd Wsd Vsd, 0xf2 0x0f 0x59, CPUFeature_SSE2
788 vmulsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x59, 778 vmulsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x59,
789 CPUFeature_AVX disabled_untested 779 CPUFeature_AVX disabled_untested
790 ######## MULSS/VMULSS ########################################################## 780 ######## MULSS/VMULSS ##########################################################
791 mulss Wps Vss, 0xf3 0x0f 0x59, CPUFeature_SSE 781 mulss Wps Vss, 0xf3 0x0f 0x59, CPUFeature_SSE
792 vmulss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x59, 782 vmulss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x59,
793 CPUFeature_AVX disabled_untested 783 CPUFeature_AVX disabled_untested
794 ######## ORPD/VORPD ############################################################ 784 ######## ORPD/VORPD ############################################################
795 orpd Wpd Vpd, 0x66 0x0f 0x56, CPUFeature_SSE2 785 orpd Wpd Vpd, 0x66 0x0f 0x56, CPUFeature_SSE2
796 vorpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x56, 786 vorpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x56, CPUFeature_AVX
797 CPUFeature_AVX disabled_untested
798 ######## ORPS/VORPS ############################################################ 787 ######## ORPS/VORPS ############################################################
799 orps Wpd Vpd, 0x0f 0x56, CPUFeature_SSE 788 orps Wpd Vpd, 0x0f 0x56, CPUFeature_SSE
800 vorps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x56, 789 vorps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x56,
801 CPUFeature_AVX disabled_untested 790 CPUFeature_AVX disabled_untested
802 ######## PABSB/VPABSB ########################################################## 791 ######## PABSB/VPABSB ##########################################################
803 pabsb Wpk Vpk, 0x66 0x0f 0x38 0x1c, CPUFeature_SSSE3 792 pabsb Wpk Vpk, 0x66 0x0f 0x38 0x1c, CPUFeature_SSSE3
804 vpabsb Wpk Vpk, 0xc4 RXB.00010 x.1111.0.01 0x1c, 793 vpabsb Wpk Vpk, 0xc4 RXB.00010 x.1111.0.01 0x1c,
805 CPUFeature_AVX disabled_untested 794 CPUFeature_AVX disabled_untested
806 ######## PABSD/VPABSD ########################################################## 795 ######## PABSD/VPABSD ##########################################################
807 pabsd Wpj Vpj, 0x66 0x0f 0x38 0x1e, CPUFeature_SSSE3 796 pabsd Wpj Vpj, 0x66 0x0f 0x38 0x1e, CPUFeature_SSSE3
(...skipping 634 matching lines...) Expand 10 before | Expand all | Expand 10 after
1442 ######## SQRTSS/VSQRTSS ######################################################## 1431 ######## SQRTSS/VSQRTSS ########################################################
1443 sqrtss Wss Vss, 0xf3 0x0f 0x51, CPUFeature_SSE 1432 sqrtss Wss Vss, 0xf3 0x0f 0x51, CPUFeature_SSE
1444 vsqrtss Wss Ho Vo, 0xc4 RXB.00001 x.src.x.10 0x51, 1433 vsqrtss Wss Ho Vo, 0xc4 RXB.00001 x.src.x.10 0x51,
1445 CPUFeature_AVX disabled_untested 1434 CPUFeature_AVX disabled_untested
1446 ######## LDMXCSR/VLDMXCSR ###################################################### 1435 ######## LDMXCSR/VLDMXCSR ######################################################
1447 stmxcsr Md, 0x0f 0xae /3, CPUFeature_SSE 1436 stmxcsr Md, 0x0f 0xae /3, CPUFeature_SSE
1448 vstmxcsr Md, 0xc4 RXB.00001 x.1111.0.00 0xae /3, 1437 vstmxcsr Md, 0xc4 RXB.00001 x.1111.0.00 0xae /3,
1449 CPUFeature_AVX disabled_untested 1438 CPUFeature_AVX disabled_untested
1450 ######## SUBPD/VSUBPD ########################################################## 1439 ######## SUBPD/VSUBPD ##########################################################
1451 subpd Wpd Vpd, 0x66 0x0f 0x5c, CPUFeature_SSE2 1440 subpd Wpd Vpd, 0x66 0x0f 0x5c, CPUFeature_SSE2
1452 vsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5c, 1441 vsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5c, CPUFeature_AVX
1453 CPUFeature_AVX disabled_untested
1454 ######## SUBPS/VSUBPS ########################################################## 1442 ######## SUBPS/VSUBPS ##########################################################
1455 subps Wps Vps, 0x0f 0x5c, CPUFeature_SSE 1443 subps Wps Vps, 0x0f 0x5c, CPUFeature_SSE
1456 vsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5c, 1444 vsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5c,
1457 CPUFeature_AVX disabled_untested 1445 CPUFeature_AVX disabled_untested
1458 ######## SUBSD/VSUBSD ########################################################## 1446 ######## SUBSD/VSUBSD ##########################################################
1459 subsd Wsd Vsd, 0xf2 0x0f 0x5c, CPUFeature_SSE2 1447 subsd Wsd Vsd, 0xf2 0x0f 0x5c, CPUFeature_SSE2
1460 vsubsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5c, 1448 vsubsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5c,
1461 CPUFeature_AVX disabled_untested 1449 CPUFeature_AVX disabled_untested
1462 ######## SUBSS/VSUBSS ########################################################## 1450 ######## SUBSS/VSUBSS ##########################################################
1463 subss Wss Vss, 0xf3 0x0f 0x5c, CPUFeature_SSE 1451 subss Wss Vss, 0xf3 0x0f 0x5c, CPUFeature_SSE
1464 vsubss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x5c, 1452 vsubss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x5c,
1465 CPUFeature_AVX disabled_untested 1453 CPUFeature_AVX disabled_untested
1466 ######## UCOMISD/VUCOMISD ###################################################### 1454 ######## UCOMISD/VUCOMISD ######################################################
1467 ucomisd Wsd Vsd, 0x66 0x0f 0x2e, CPUFeature_SSE2 1455 ucomisd Wsd Vsd, 0x66 0x0f 0x2e, CPUFeature_SSE2
1468 vucomisd Wsd Vsd, 0xc4 RXB.00001 x.src.x.01 0x2e, 1456 vucomisd Wsd Vsd, 0xc4 RXB.00001 x.src.x.01 0x2e,
1469 CPUFeature_AVX disabled_untested 1457 CPUFeature_AVX disabled_untested
1470 ######## UCOMISS/VUCOMISS ###################################################### 1458 ######## UCOMISS/VUCOMISS ######################################################
1471 ucomiss Wsd Vsd, 0x0f 0x2e, CPUFeature_SSE 1459 ucomiss Wsd Vsd, 0x0f 0x2e, CPUFeature_SSE
1472 vucomiss Wsd Vsd, 0xc4 RXB.00001 x.src.x.00 0x2e, 1460 vucomiss Wsd Vsd, 0xc4 RXB.00001 x.src.x.00 0x2e,
1473 CPUFeature_AVX disabled_untested 1461 CPUFeature_AVX disabled_untested
1474 ######## UNPCKHPD/VUNPCKHPD #################################################### 1462 ######## UNPCKHPD/VUNPCKHPD ####################################################
1475 unpckhpd Wq Vpd, 0x66 0x0f 0x15, CPUFeature_SSE2 1463 unpckhpd Wq Vpd, 0x66 0x0f 0x15, CPUFeature_SSE2
1476 vunpckhpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x15, 1464 vunpckhpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x15, CPUFeature_AVX
1477 CPUFeature_AVX disabled_untested
1478 ######## UNPCKHPS/VUNPCKHPS #################################################### 1465 ######## UNPCKHPS/VUNPCKHPS ####################################################
1479 unpckhps Wps Vps, 0x0f 0x15, CPUFeature_SSE 1466 unpckhps Wps Vps, 0x0f 0x15, CPUFeature_SSE
1480 vunpckhps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x15, 1467 vunpckhps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x15,
1481 CPUFeature_AVX disabled_untested 1468 CPUFeature_AVX disabled_untested
1482 ######## UNPCKLPD/VUNPCKLPD #################################################### 1469 ######## UNPCKLPD/VUNPCKLPD ####################################################
1483 unpcklpd Wq Vpd, 0x66 0x0f 0x14, CPUFeature_SSE2 1470 unpcklpd Wq Vpd, 0x66 0x0f 0x14, CPUFeature_SSE2
1484 vunpcklpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x14, 1471 vunpcklpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x14, CPUFeature_AVX
1485 CPUFeature_AVX disabled_untested
1486 ######## UNPCKLPS/VUNPCKLPS #################################################### 1472 ######## UNPCKLPS/VUNPCKLPS ####################################################
1487 unpcklps Wps Vps, 0x0f 0x14, CPUFeature_SSE 1473 unpcklps Wps Vps, 0x0f 0x14, CPUFeature_SSE
1488 vunpcklps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x14, 1474 vunpcklps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x14,
1489 CPUFeature_AVX disabled_untested 1475 CPUFeature_AVX disabled_untested
1490 ######## VBROADCASTF128 ######################################################## 1476 ######## VBROADCASTF128 ########################################################
1491 vbroadcastf128 Mo Vdo, 0xc4 RXB.00010 0.1111.1.01 0x1a, 1477 vbroadcastf128 Mo Vdo, 0xc4 RXB.00010 0.1111.1.01 0x1a,
1492 CPUFeature_AVX disabled_untested 1478 CPUFeature_AVX disabled_untested
1493 ######## VBROADCASTSD ########################################################## 1479 ######## VBROADCASTSD ##########################################################
1494 vbroadcastsd Msd Vdo, 0xc4 RXB.00010 0.1111.1.01 0x19, 1480 vbroadcastsd Msd Vdo, 0xc4 RXB.00010 0.1111.1.01 0x19,
1495 CPUFeature_AVX disabled_untested 1481 CPUFeature_AVX disabled_untested
(...skipping 463 matching lines...) Expand 10 before | Expand all | Expand 10 after
1959 CPUFeature_AVX disabled_untested 1945 CPUFeature_AVX disabled_untested
1960 ######## VTESTPS ############################################################### 1946 ######## VTESTPS ###############################################################
1961 vtestps Wpsx Vpsx, 0xc4 RXB.00010 0.1111.L.01 0x0e, 1947 vtestps Wpsx Vpsx, 0xc4 RXB.00010 0.1111.L.01 0x0e,
1962 CPUFeature_AVX disabled_untested 1948 CPUFeature_AVX disabled_untested
1963 ######## VZEROALL ############################################################## 1949 ######## VZEROALL ##############################################################
1964 vzeroall, 0xc4 RXB.00001 x.1111.1.00 0x77, CPUFeature_AVX 1950 vzeroall, 0xc4 RXB.00001 x.1111.1.00 0x77, CPUFeature_AVX
1965 ######## VZEROUPPER ############################################################ 1951 ######## VZEROUPPER ############################################################
1966 vzeroupper, 0xc4 RXB.00001 x.1111.0.00 0x77, CPUFeature_AVX 1952 vzeroupper, 0xc4 RXB.00001 x.1111.0.00 0x77, CPUFeature_AVX
1967 ######## XORPD/VXORPD ########################################################## 1953 ######## XORPD/VXORPD ##########################################################
1968 xorpd Wpd Vpd, 0x66 0x0f 0x57, CPUFeature_SSE2 1954 xorpd Wpd Vpd, 0x66 0x0f 0x57, CPUFeature_SSE2
1969 vxorpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x57, 1955 vxorpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x57, CPUFeature_AVX
1970 CPUFeature_AVX disabled_untested
1971 ######## XORPS/VXORPS ########################################################## 1956 ######## XORPS/VXORPS ##########################################################
1972 xorps Wpd Vpd, 0x0f 0x57, CPUFeature_SSE 1957 xorps Wpd Vpd, 0x0f 0x57, CPUFeature_SSE
1973 vxorps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x57, 1958 vxorps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x57,
1974 CPUFeature_AVX disabled_untested 1959 CPUFeature_AVX disabled_untested
1975 ######## XGETBV ################################################################ 1960 ######## XGETBV ################################################################
1976 xgetbv, 0x0f 0x01 0xd0, CPUFeature_FXSR 1961 xgetbv, 0x0f 0x01 0xd0, CPUFeature_FXSR
1977 ######## XRSTOR ################################################################ 1962 ######## XRSTOR ################################################################
1978 xrstor Msx, 0x0f 0xae /5, norexw CPUFeature_FXSR 1963 xrstor Msx, 0x0f 0xae /5, norexw CPUFeature_FXSR
1979 xrstor64 Msx, rexw 0x0f 0xae /5, amd64 CPUFeature_FXSR 1964 xrstor64 Msx, rexw 0x0f 0xae /5, amd64 CPUFeature_FXSR
1980 ######## XSAVE ################################################################# 1965 ######## XSAVE #################################################################
1981 xsave Msx, 0x0f 0xae /4, norexw CPUFeature_FXSR 1966 xsave Msx, 0x0f 0xae /4, norexw CPUFeature_FXSR
1982 xsave64 Msx, rexw 0x0f 0xae /4, amd64 CPUFeature_FXSR 1967 xsave64 Msx, rexw 0x0f 0xae /4, amd64 CPUFeature_FXSR
1983 ######## XSAVEOPT ############################################################## 1968 ######## XSAVEOPT ##############################################################
1984 xsaveopt Msx, 0x0f 0xae /6, norexw CPUFeature_FXSR 1969 xsaveopt Msx, 0x0f 0xae /6, norexw CPUFeature_FXSR
1985 xsaveopt64 Msx, rexw 0x0f 0xae /6, amd64 CPUFeature_FXSR 1970 xsaveopt64 Msx, rexw 0x0f 0xae /6, amd64 CPUFeature_FXSR
1986 ######## XSETBV ################################################################ 1971 ######## XSETBV ################################################################
1987 xsetbv, 0x0f 0x01 0xd1, CPUFeature_FXSR nacl-forbidden 1972 xsetbv, 0x0f 0x01 0xd1, CPUFeature_FXSR nacl-forbidden
1988 ################################################################################ 1973 ################################################################################
OLDNEW
« no previous file with comments | « src/trusted/validator_ragel/gen/validator_x86_64.xml ('k') | src/trusted/validator_ragel/proof_tools_templates.py » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698