1 // RUN
: llvm-mc
-triple x86_64-unknown-unknown
--show-encoding
%s | FileCheck
%s
3 // CHECK
: cmovael
%r13d
, %r13d
4 // CHECK
: encoding
: [0x45,0x0f,0x43,0xed]
7 // CHECK
: cmoval
%r13d
, %r13d
8 // CHECK
: encoding
: [0x45,0x0f,0x47,0xed]
11 // CHECK
: cmovbel
%r13d
, %r13d
12 // CHECK
: encoding
: [0x45,0x0f,0x46,0xed]
15 // CHECK
: cmovbl
%r13d
, %r13d
16 // CHECK
: encoding
: [0x45,0x0f,0x42,0xed]
19 // CHECK
: cmovel
%r13d
, %r13d
20 // CHECK
: encoding
: [0x45,0x0f,0x44,0xed]
23 // CHECK
: cmovgel
%r13d
, %r13d
24 // CHECK
: encoding
: [0x45,0x0f,0x4d,0xed]
27 // CHECK
: cmovgl
%r13d
, %r13d
28 // CHECK
: encoding
: [0x45,0x0f,0x4f,0xed]
31 // CHECK
: cmovlel
%r13d
, %r13d
32 // CHECK
: encoding
: [0x45,0x0f,0x4e,0xed]
35 // CHECK
: cmovll
%r13d
, %r13d
36 // CHECK
: encoding
: [0x45,0x0f,0x4c,0xed]
39 // CHECK
: cmovnel
%r13d
, %r13d
40 // CHECK
: encoding
: [0x45,0x0f,0x45,0xed]
43 // CHECK
: cmovnol
%r13d
, %r13d
44 // CHECK
: encoding
: [0x45,0x0f,0x41,0xed]
47 // CHECK
: cmovnpl
%r13d
, %r13d
48 // CHECK
: encoding
: [0x45,0x0f,0x4b,0xed]
51 // CHECK
: cmovnsl
%r13d
, %r13d
52 // CHECK
: encoding
: [0x45,0x0f,0x49,0xed]
55 // CHECK
: cmovol
%r13d
, %r13d
56 // CHECK
: encoding
: [0x45,0x0f,0x40,0xed]
59 // CHECK
: cmovpl
%r13d
, %r13d
60 // CHECK
: encoding
: [0x45,0x0f,0x4a,0xed]
63 // CHECK
: cmovsl
%r13d
, %r13d
64 // CHECK
: encoding
: [0x45,0x0f,0x48,0xed]
67 // CHECK
: fcmovbe
%st(4), %st
68 // CHECK
: encoding
: [0xda,0xd4]
71 // CHECK
: fcmovb
%st(4), %st
72 // CHECK
: encoding
: [0xda,0xc4]
75 // CHECK
: fcmove
%st(4), %st
76 // CHECK
: encoding
: [0xda,0xcc]
79 // CHECK
: fcmovnbe
%st(4), %st
80 // CHECK
: encoding
: [0xdb,0xd4]
83 // CHECK
: fcmovnb
%st(4), %st
84 // CHECK
: encoding
: [0xdb,0xc4]
87 // CHECK
: fcmovne
%st(4), %st
88 // CHECK
: encoding
: [0xdb,0xcc]
91 // CHECK
: fcmovnu
%st(4), %st
92 // CHECK
: encoding
: [0xdb,0xdc]
95 // CHECK
: fcmovu
%st(4), %st
96 // CHECK
: encoding
: [0xda,0xdc]
99 // CHECK
: fcomi
%st(4)
100 // CHECK
: encoding
: [0xdb,0xf4]
103 // CHECK
: fcompi
%st(4)
104 // CHECK
: encoding
: [0xdf,0xf4]
107 // CHECK
: fucomi
%st(4)
108 // CHECK
: encoding
: [0xdb,0xec]
111 // CHECK
: fucompi
%st(4)
112 // CHECK
: encoding
: [0xdf,0xec]
116 // CHECK
: encoding
: [0x0f,0x34]
120 // CHECK
: encoding
: [0x0f,0x35]
124 // CHECK
: encoding
: [0x48,0x0f,0x35]
128 // CHECK
: encoding
: [0x0f,0x0b]