1 // RUN
: llvm-mc
-triple i386-unknown-unknown
--show-encoding
%s | FileCheck
%s
3 // CHECK
: vp2intersectd
%ymm4
, %ymm3
, %k6
4 // CHECK
: encoding
: [0x62,0xf2,0x67,0x28,0x68,0xf4]
5 vp2intersectd
%ymm4
, %ymm3
, %k6
7 // CHECK
: vp2intersectd
%xmm4
, %xmm3
, %k6
8 // CHECK
: encoding
: [0x62,0xf2,0x67,0x08,0x68,0xf4]
9 vp2intersectd
%xmm4
, %xmm3
, %k6
11 // CHECK
: vp2intersectd
268435456(%esp
,%esi
,8), %ymm3
, %k6
12 // CHECK
: encoding
: [0x62,0xf2,0x67,0x28,0x68,0xb4,0xf4,0x00,0x00,0x00,0x10]
13 vp2intersectd
268435456(%esp
,%esi
,8), %ymm3
, %k6
15 // CHECK
: vp2intersectd
291(%edi
,%eax
,4), %ymm3
, %k6
16 // CHECK
: encoding
: [0x62,0xf2,0x67,0x28,0x68,0xb4,0x87,0x23,0x01,0x00,0x00]
17 vp2intersectd
291(%edi
,%eax
,4), %ymm3
, %k6
19 // CHECK
: vp2intersectd
(%eax
){1to8
}, %ymm3
, %k6
20 // CHECK
: encoding
: [0x62,0xf2,0x67,0x38,0x68,0x30]
21 vp2intersectd
(%eax
){1to8
}, %ymm3
, %k6
23 // CHECK
: vp2intersectd
-1024(,%ebp
,2), %ymm3
, %k6
24 // CHECK
: encoding
: [0x62,0xf2,0x67,0x28,0x68,0x34,0x6d,0x00,0xfc,0xff,0xff]
25 vp2intersectd
-1024(,%ebp
,2), %ymm3
, %k6
27 // CHECK
: vp2intersectd
4064(%ecx
), %ymm3
, %k6
28 // CHECK
: encoding
: [0x62,0xf2,0x67,0x28,0x68,0x71,0x7f]
29 vp2intersectd
4064(%ecx
), %ymm3
, %k6
31 // CHECK
: vp2intersectd
-512(%edx
){1to8
}, %ymm3
, %k6
32 // CHECK
: encoding
: [0x62,0xf2,0x67,0x38,0x68,0x72,0x80]
33 vp2intersectd
-512(%edx
){1to8
}, %ymm3
, %k6
35 // CHECK
: vp2intersectd
268435456(%esp
,%esi
,8), %xmm3
, %k6
36 // CHECK
: encoding
: [0x62,0xf2,0x67,0x08,0x68,0xb4,0xf4,0x00,0x00,0x00,0x10]
37 vp2intersectd
268435456(%esp
,%esi
,8), %xmm3
, %k6
39 // CHECK
: vp2intersectd
291(%edi
,%eax
,4), %xmm3
, %k6
40 // CHECK
: encoding
: [0x62,0xf2,0x67,0x08,0x68,0xb4,0x87,0x23,0x01,0x00,0x00]
41 vp2intersectd
291(%edi
,%eax
,4), %xmm3
, %k6
43 // CHECK
: vp2intersectd
(%eax
){1to4
}, %xmm3
, %k6
44 // CHECK
: encoding
: [0x62,0xf2,0x67,0x18,0x68,0x30]
45 vp2intersectd
(%eax
){1to4
}, %xmm3
, %k6
47 // CHECK
: vp2intersectd
-512(,%ebp
,2), %xmm3
, %k6
48 // CHECK
: encoding
: [0x62,0xf2,0x67,0x08,0x68,0x34,0x6d,0x00,0xfe,0xff,0xff]
49 vp2intersectd
-512(,%ebp
,2), %xmm3
, %k6
51 // CHECK
: vp2intersectd
2032(%ecx
), %xmm3
, %k6
52 // CHECK
: encoding
: [0x62,0xf2,0x67,0x08,0x68,0x71,0x7f]
53 vp2intersectd
2032(%ecx
), %xmm3
, %k6
55 // CHECK
: vp2intersectd
-512(%edx
){1to4
}, %xmm3
, %k6
56 // CHECK
: encoding
: [0x62,0xf2,0x67,0x18,0x68,0x72,0x80]
57 vp2intersectd
-512(%edx
){1to4
}, %xmm3
, %k6
59 // CHECK
: vp2intersectq
%ymm4
, %ymm3
, %k6
60 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x28,0x68,0xf4]
61 vp2intersectq
%ymm4
, %ymm3
, %k6
63 // CHECK
: vp2intersectq
%xmm4
, %xmm3
, %k6
64 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x08,0x68,0xf4]
65 vp2intersectq
%xmm4
, %xmm3
, %k6
67 // CHECK
: vp2intersectq
268435456(%esp
,%esi
,8), %ymm3
, %k6
68 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x28,0x68,0xb4,0xf4,0x00,0x00,0x00,0x10]
69 vp2intersectq
268435456(%esp
,%esi
,8), %ymm3
, %k6
71 // CHECK
: vp2intersectq
291(%edi
,%eax
,4), %ymm3
, %k6
72 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x28,0x68,0xb4,0x87,0x23,0x01,0x00,0x00]
73 vp2intersectq
291(%edi
,%eax
,4), %ymm3
, %k6
75 // CHECK
: vp2intersectq
(%eax
){1to4
}, %ymm3
, %k6
76 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x38,0x68,0x30]
77 vp2intersectq
(%eax
){1to4
}, %ymm3
, %k6
79 // CHECK
: vp2intersectq
-1024(,%ebp
,2), %ymm3
, %k6
80 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x28,0x68,0x34,0x6d,0x00,0xfc,0xff,0xff]
81 vp2intersectq
-1024(,%ebp
,2), %ymm3
, %k6
83 // CHECK
: vp2intersectq
4064(%ecx
), %ymm3
, %k6
84 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x28,0x68,0x71,0x7f]
85 vp2intersectq
4064(%ecx
), %ymm3
, %k6
87 // CHECK
: vp2intersectq
-1024(%edx
){1to4
}, %ymm3
, %k6
88 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x38,0x68,0x72,0x80]
89 vp2intersectq
-1024(%edx
){1to4
}, %ymm3
, %k6
91 // CHECK
: vp2intersectq
268435456(%esp
,%esi
,8), %xmm3
, %k6
92 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x08,0x68,0xb4,0xf4,0x00,0x00,0x00,0x10]
93 vp2intersectq
268435456(%esp
,%esi
,8), %xmm3
, %k6
95 // CHECK
: vp2intersectq
291(%edi
,%eax
,4), %xmm3
, %k6
96 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x08,0x68,0xb4,0x87,0x23,0x01,0x00,0x00]
97 vp2intersectq
291(%edi
,%eax
,4), %xmm3
, %k6
99 // CHECK
: vp2intersectq
(%eax
){1to2
}, %xmm3
, %k6
100 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x18,0x68,0x30]
101 vp2intersectq
(%eax
){1to2
}, %xmm3
, %k6
103 // CHECK
: vp2intersectq
-512(,%ebp
,2), %xmm3
, %k6
104 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x08,0x68,0x34,0x6d,0x00,0xfe,0xff,0xff]
105 vp2intersectq
-512(,%ebp
,2), %xmm3
, %k6
107 // CHECK
: vp2intersectq
2032(%ecx
), %xmm3
, %k6
108 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x08,0x68,0x71,0x7f]
109 vp2intersectq
2032(%ecx
), %xmm3
, %k6
111 // CHECK
: vp2intersectq
-1024(%edx
){1to2
}, %xmm3
, %k6
112 // CHECK
: encoding
: [0x62,0xf2,0xe7,0x18,0x68,0x72,0x80]
113 vp2intersectq
-1024(%edx
){1to2
}, %xmm3
, %k6