Blame - llvm/test/MC/Disassembler/X86/simple-tests.txt - toolchain/llvm-project

blob: a29ae5c3cd385e9795c95ffa061b233bd7f54920 [file] [log] [blame]

Chris Lattner	f6d4129	2009-12-22 07:01:12 +0000	[diff] [blame]	1	# RUN: llvm-mc --disassemble %s -triple=x86_64-apple-darwin9 \| FileCheck %s
Chris Lattner	dc9845b	2009-12-22 06:37:58 +0000	[diff] [blame]	2
				3	# CHECK: int $33
				4	0xCD 0x21
				5
				6	# CHECK: int $33
				7	0xCD 0x21
				8
Craig Topper	6491c80	2012-02-27 01:54:29 +0000	[diff] [blame]	9	# CHECK: jrcxz -127
				10	0xe3 0x81
				11
				12	# CHECK: jecxz -127
				13	0x67 0xe3 0x81
Chris Lattner	dc9845b	2009-12-22 06:37:58 +0000	[diff] [blame]	14
				15	# CHECK: addb %al, (%rax)
Chris Lattner	dd0c01b	2009-12-22 06:56:51 +0000	[diff] [blame]	16	0 0
Chris Lattner	dc9845b	2009-12-22 06:37:58 +0000	[diff] [blame]	17
				18	# CHECK: callq -1234
				19	0xe8 0x2e 0xfb 0xff 0xff
				20
Chris Lattner	34749d8	2010-02-12 23:46:48 +0000	[diff] [blame]	21	# CHECK: lfence
				22	0x0f 0xae 0xe8
				23
				24	# CHECK: mfence
				25	0x0f 0xae 0xf0
				26
				27	# CHECK: monitor
				28	0x0f 0x01 0xc8
				29
				30	# CHECK: mwait
				31	0x0f 0x01 0xc9
				32
				33	# CHECK: vmcall
				34	0x0f 0x01 0xc1
Chris Lattner	140caa7	2010-02-13 00:41:14 +0000	[diff] [blame]	35
Craig Topper	66a3597	2012-02-19 01:39:49 +0000	[diff] [blame]	36	# CHECK: vmfunc
				37	0x0f 0x01 0xd4
				38
Chris Lattner	140caa7	2010-02-13 00:41:14 +0000	[diff] [blame]	39	# CHECK: vmlaunch
				40	0x0f 0x01 0xc2
				41
				42	# CHECK: vmresume
				43	0x0f 0x01 0xc3
				44
				45	# CHECK: vmxoff
				46	0x0f 0x01 0xc4
				47
				48	# CHECK: swapgs
Chris Lattner	f83726f	2010-02-13 03:42:24 +0000	[diff] [blame]	49	0x0f 0x01 0xf8
				50
				51	# CHECK: rdtscp
Kevin Enderby	d2030e3	2010-03-08 22:17:26 +0000	[diff] [blame]	52	0x0f 0x01 0xf9
				53
				54	# CHECK: vmxon
				55	0xf3 0x0f 0xc7 0x30
				56
				57	# CHECK: vmptrld
				58	0x0f 0xc7 0x30
				59
				60	# CHECK: vmptrst
				61	0x0f 0xc7 0x38
Chris Lattner	5495c8e	2010-04-17 17:22:06 +0000	[diff] [blame]	62
Craig Topper	ed7aa46	2012-02-18 08:19:49 +0000	[diff] [blame]	63	# CHECK: vmrun
				64	0x0f 0x01 0xd8
				65
				66	# CHECK: vmmcall
				67	0x0f 0x01 0xd9
				68
				69	# CHECK: vmload
				70	0x0f 0x01 0xda
				71
				72	# CHECK: vmsave
				73	0x0f 0x01 0xdb
				74
				75	# CHECK: stgi
				76	0x0f 0x01 0xdc
				77
				78	# CHECK: clgi
				79	0x0f 0x01 0xdd
				80
				81	# CHECK: skinit
				82	0x0f 0x01 0xde
				83
				84	# CHECK: invlpga
				85	0x0f 0x01 0xdf
				86
Chris Lattner	5495c8e	2010-04-17 17:22:06 +0000	[diff] [blame]	87	# CHECK: movl $0, -4(%rbp)
				88	0xc7 0x45 0xfc 0x00 0x00 0x00 0x00
Sean Callanan	e7e1cf9	2010-05-06 20:59:00 +0000	[diff] [blame]	89
				90	# CHECK: movq %cr0, %rcx
				91	0x0f 0x20 0xc1
Chris Lattner	55595fb	2010-07-13 04:23:55 +0000	[diff] [blame]	92
				93	# CHECK: leal 4(%rsp), %ecx
Sean Callanan	6296bbb	2010-10-05 00:21:40 +0000	[diff] [blame]	94	0x8d 0x4c 0x24 0x04
				95
				96	# CHECK: enter $1, $2
				97	0xc8 0x01 0x00 0x02
Sean Callanan	9f6c622	2010-10-22 01:24:11 +0000	[diff] [blame]	98
				99	# CHECK: movw $47416, -66(%rbp)
				100	0x66 0xc7 0x45 0xbe 0x38 0xb9
Sean Callanan	f2f4837	2011-03-15 01:32:46 +0000	[diff] [blame]	101
				102	# CHECK: vaddpd %ymm13, %ymm1, %ymm0
				103	0xc4 0xc1 0x75 0x58 0xc5
				104
				105	# CHECK: vaddps %ymm3, %ymm1, %ymm0
				106	0xc5 0xf4 0x58 0xc3
Craig Topper	ba6c2a5	2011-08-19 05:28:50 +0000	[diff] [blame]	107
				108	# CHECK: vandpd %ymm13, %ymm1, %ymm0
				109	0xc4 0xc1 0x75 0x54 0xc5
				110
				111	# CHECK: vandps %ymm3, %ymm1, %ymm0
				112	0xc5 0xf4 0x54 0xc3
Craig Topper	e154183	2011-08-25 06:57:46 +0000	[diff] [blame]	113
				114	# CHECK: vzeroall
				115	0xc5 0xfc 0x77
				116
				117	# CHECK: vcvtps2pd %xmm0, %ymm0
				118	0xc5 0xfc 0x5a 0xc0
Craig Topper	76e3e0b	2011-08-25 07:42:00 +0000	[diff] [blame]	119
				120	# CHECK: vandps (%rdx), %xmm1, %xmm7
				121	0xc5 0xf0 0x54 0x3a
Craig Topper	c66d50d	2011-08-26 04:49:29 +0000	[diff] [blame]	122
Craig Topper	4f1c725	2013-01-06 20:39:29 +0000	[diff] [blame]	123	# CHECK: vcvtss2si %xmm0, %eax
Craig Topper	c66d50d	2011-08-26 04:49:29 +0000	[diff] [blame]	124	0xc5 0xfa 0x2d 0xc0
				125
Craig Topper	4f1c725	2013-01-06 20:39:29 +0000	[diff] [blame]	126	# CHECK: vcvtsd2si %xmm0, %eax
Craig Topper	c66d50d	2011-08-26 04:49:29 +0000	[diff] [blame]	127	0xc5 0xfb 0x2d 0xc0
				128
Craig Topper	4f1c725	2013-01-06 20:39:29 +0000	[diff] [blame]	129	# CHECK: vcvtsd2si %xmm0, %rax
Craig Topper	c66d50d	2011-08-26 04:49:29 +0000	[diff] [blame]	130	0xc4 0xe1 0xfb 0x2d 0xc0
Craig Topper	4f2fba1	2011-08-30 07:09:35 +0000	[diff] [blame]	131
Craig Topper	ed59dd3	2013-09-30 02:46:36 +0000	[diff] [blame^]	132	# CHECK: vcvtsd2si %xmm0, %rax
				133	0xc4 0xe1 0xff 0x2d 0xc0
				134
Craig Topper	4f2fba1	2011-08-30 07:09:35 +0000	[diff] [blame]	135	# CHECK: vmaskmovpd %xmm0, %xmm1, (%rax)
				136	0xc4 0xe2 0x71 0x2f 0x00
Craig Topper	94ce535	2011-09-02 04:17:54 +0000	[diff] [blame]	137
				138	# CHECK: vmovapd %xmm0, %xmm2
				139	0xc5 0xf9 0x28 0xd0
Kevin Enderby	5b03f72	2011-09-02 20:01:23 +0000	[diff] [blame]	140
				141	# Check X86 immediates print as signed values by default. radr://8795217
				142	# CHECK: andq $-16, %rsp
				143	0x48 0x83 0xe4 0xf0
				144
				145	# Check these special case instructions that the immediate is not sign-extend.
				146	# CHECK: blendps $129, %xmm2, %xmm1
				147	0x66 0x0f 0x3a 0x0c 0xca 0x81
				148
				149	# CHECK: blendpd $129, %xmm2, %xmm1
				150	0x66 0x0f 0x3a 0x0d 0xca 0x81
				151
				152	# CHECK: pblendw $129, %xmm2, %xmm1
				153	0x66 0x0f 0x3a 0x0e 0xca 0x81
				154
				155	# CHECK: mpsadbw $129, %xmm2, %xmm1
				156	0x66 0x0f 0x3a 0x42 0xca 0x81
				157
				158	# CHECK: dpps $129, %xmm2, %xmm1
				159	0x66 0x0f 0x3a 0x40 0xca 0x81
				160
				161	# CHECK: dppd $129, %xmm2, %xmm1
				162	0x66 0x0f 0x3a 0x41 0xca 0x81
				163
				164	# CHECK: insertps $129, %xmm2, %xmm1
				165	0x66 0x0f 0x3a 0x21 0xca 0x81
				166
				167	# CHECK: vblendps $129, %ymm2, %ymm5, %ymm1
				168	0xc4 0xe3 0x55 0x0c 0xca 0x81
				169
				170	# CHECK: vblendps $129, (%rax), %ymm5, %ymm1
				171	0xc4 0xe3 0x55 0x0c 0x08 0x81
				172
				173	# CHECK: vblendpd $129, %ymm2, %ymm5, %ymm1
				174	0xc4 0xe3 0x55 0x0d 0xca 0x81
				175
				176	# CHECK: vblendpd $129, (%rax), %ymm5, %ymm1
				177	0xc4 0xe3 0x55 0x0d 0x08 0x81
				178
				179	# CHECK: vpblendw $129, %xmm2, %xmm5, %xmm1
				180	0xc4 0xe3 0x51 0x0e 0xca 0x81
				181
				182	# CHECK: vmpsadbw $129, %xmm2, %xmm5, %xmm1
				183	0xc4 0xe3 0x51 0x42 0xca 0x81
				184
				185	# CHECK: vdpps $129, %ymm2, %ymm5, %ymm1
				186	0xc4 0xe3 0x55 0x40 0xca 0x81
				187
				188	# CHECK: vdpps $129, (%rax), %ymm5, %ymm1
				189	0xc4 0xe3 0x55 0x40 0x08 0x81
				190
				191	# CHECK: vdppd $129, %xmm2, %xmm5, %xmm1
				192	0xc4 0xe3 0x51 0x41 0xca 0x81
				193
				194	# CHECK: vinsertps $129, %xmm3, %xmm2, %xmm1
				195	0xc4 0xe3 0x69 0x21 0xcb 0x81
Craig Topper	a948cb9	2011-09-11 20:23:20 +0000	[diff] [blame]	196
				197	# CHECK: pause
				198	0xf3 0x90
Craig Topper	a88e356	2011-09-11 21:41:45 +0000	[diff] [blame]	199
				200	# CHECK: addl %eax, %edi
				201	0x01 0xc7
				202
				203	# CHECK: addl %edi, %eax
				204	0x03 0xc7
				205
				206	# CHECK: movl %eax, %edi
				207	0x89 0xc7
				208
				209	# CHECK: movl %edi, %eax
				210	0x8b 0xc7
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	211
				212	# CHECK: movups %xmm1, %xmm0
				213	0x0f 0x10 0xc1
				214
				215	# CHECK: movups %xmm0, %xmm1
				216	0x0f 0x11 0xc1
				217
				218	# CHECK: movaps %xmm1, %xmm0
				219	0x0f 0x28 0xc1
				220
				221	# CHECK: movaps %xmm0, %xmm1
				222	0x0f 0x29 0xc1
				223
				224	# CHECK: movupd %xmm1, %xmm0
				225	0x66 0x0f 0x10 0xc1
				226
				227	# CHECK: movupd %xmm0, %xmm1
				228	0x66 0x0f 0x11 0xc1
				229
				230	# CHECK: movapd %xmm1, %xmm0
				231	0x66 0x0f 0x28 0xc1
				232
				233	# CHECK: movapd %xmm0, %xmm1
				234	0x66 0x0f 0x29 0xc1
				235
				236	# CHECK: vmovups %xmm1, %xmm0
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	237	0xc5 0xf8 0x10 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	238
				239	# CHECK: vmovups %xmm0, %xmm1
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	240	0xc5 0xf8 0x11 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	241
				242	# CHECK: vmovaps %xmm1, %xmm0
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	243	0xc5 0xf8 0x28 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	244
				245	# CHECK: vmovaps %xmm0, %xmm1
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	246	0xc5 0xf8 0x29 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	247
				248	# CHECK: vmovupd %xmm1, %xmm0
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	249	0xc5 0xf9 0x10 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	250
				251	# CHECK: vmovupd %xmm0, %xmm1
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	252	0xc5 0xf9 0x11 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	253
				254	# CHECK: vmovapd %xmm1, %xmm0
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	255	0xc5 0xf9 0x28 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	256
				257	# CHECK: vmovapd %xmm0, %xmm1
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	258	0xc5 0xf9 0x29 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	259
				260	# CHECK: vmovups %ymm1, %ymm0
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	261	0xc5 0xfc 0x10 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	262
				263	# CHECK: vmovups %ymm0, %ymm1
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	264	0xc5 0xfc 0x11 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	265
Craig Topper	ed59dd3	2013-09-30 02:46:36 +0000	[diff] [blame^]	266	# CHECK: vmovups %ymm0, %ymm1
				267	0xc4 0xe1 0xfc 0x11 0xc1
				268
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	269	# CHECK: vmovaps %ymm1, %ymm0
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	270	0xc5 0xfc 0x28 0xc1
Craig Topper	48f2b36	2011-09-11 23:19:54 +0000	[diff] [blame]	271
				272	# CHECK: vmovaps %ymm0, %ymm1
Craig Topper	e98d8a5	2011-09-13 06:54:58 +0000	[diff] [blame]	273	0xc5 0xfc 0x29 0xc1
				274
				275	# CHECK: movdqa %xmm1, %xmm0
				276	0x66 0x0f 0x6f 0xc1
				277
				278	# CHECK: movdqa %xmm0, %xmm1
				279	0x66 0x0f 0x7f 0xc1
				280
				281	# CHECK: movdqu %xmm1, %xmm0
				282	0xf3 0x0f 0x6f 0xc1
				283
				284	# CHECK: movdqu %xmm0, %xmm1
				285	0xf3 0x0f 0x7f 0xc1
				286
				287	# CHECK: vmovdqa %xmm1, %xmm0
				288	0xc5 0xf9 0x6f 0xc1
				289
				290	# CHECK: vmovdqa %xmm0, %xmm1
				291	0xc5 0xf9 0x7f 0xc1
				292
				293	# CHECK: vmovdqa %ymm1, %ymm0
				294	0xc5 0xfd 0x6f 0xc1
				295
				296	# CHECK: vmovdqa %ymm0, %ymm1
				297	0xc5 0xfd 0x7f 0xc1
				298
				299	# CHECK: vmovdqu %xmm1, %xmm0
				300	0xc5 0xfa 0x6f 0xc1
				301
				302	# CHECK: vmovdqu %xmm0, %xmm1
				303	0xc5 0xfa 0x7f 0xc1
				304
				305	# CHECK: vmovdqu %ymm1, %ymm0
				306	0xc5 0xfe 0x6f 0xc1
				307
				308	# CHECK: vmovdqu %ymm0, %ymm1
				309	0xc5 0xfe 0x7f 0xc1
Craig Topper	96e00e5	2011-09-14 05:55:28 +0000	[diff] [blame]	310
				311	# CHECK: vblendvps %xmm4, %xmm1, %xmm2, %xmm3
				312	0xc4 0xe3 0x69 0x4a 0xd9 0x41
Craig Topper	ee8157c	2011-09-14 06:41:26 +0000	[diff] [blame]	313
				314	# CHECK: vroundpd $0, %xmm0, %xmm0
				315	0xc4 0xe3 0x79 0x09 0xc0 0x00
				316
				317	# CHECK: vroundps $0, %xmm0, %xmm0
				318	0xc4 0xe3 0x79 0x08 0xc0 0x00
				319
				320	# CHECK: vroundpd $0, %ymm0, %ymm0
				321	0xc4 0xe3 0x7d 0x09 0xc0 0x00
				322
				323	# CHECK: vroundps $0, %ymm0, %ymm0
				324	0xc4 0xe3 0x7d 0x08 0xc0 0x00
				325
				326	# CHECK: vroundss $0, %xmm0, %xmm0, %xmm0
				327	0xc4 0xe3 0x79 0x0a 0xc0 0x00
				328
				329	# CHECK: vroundsd $0, %xmm0, %xmm0, %xmm0
				330	0xc4 0xe3 0x79 0x0b 0xc0 0x00
Craig Topper	88cb33e	2011-10-01 19:54:56 +0000	[diff] [blame]	331
				332	# CHECK: crc32b %al, %eax
				333	0xf2 0x0f 0x38 0xf0 0xc0
				334
				335	# CHECK: crc32w %ax, %eax
				336	0x66 0xf2 0x0f 0x38 0xf1 0xc0
				337
				338	# CHECK: crc32l %eax, %eax
				339	0xf2 0x0f 0x38 0xf1 0xc0
				340
				341	# CHECK: crc32q %rax, %rax
				342	0xf2 0x48 0x0f 0x38 0xf1 0xc0
Craig Topper	d07a59f	2011-10-01 21:20:14 +0000	[diff] [blame]	343
				344	# CHECK: invept (%rax), %rax
				345	0x66 0x0f 0x38 0x80 0x00
				346
				347	# CHECK: invvpid (%rax), %rax
				348	0x66 0x0f 0x38 0x81 0x00
Craig Topper	21c3365	2011-10-02 16:56:09 +0000	[diff] [blame]	349
Craig Topper	0ae8d4d	2011-10-16 07:05:40 +0000	[diff] [blame]	350	# CHECK: invpcid (%rax), %rax
				351	0x66 0x0f 0x38 0x82 0x00
				352
Craig Topper	7aea69d	2011-10-02 21:08:12 +0000	[diff] [blame]	353	# CHECK: nop
				354	0x90
				355
Craig Topper	21c3365	2011-10-02 16:56:09 +0000	[diff] [blame]	356	# CHECK: xchgl %r8d, %eax
				357	0x41 0x90
Craig Topper	7aea69d	2011-10-02 21:08:12 +0000	[diff] [blame]	358
				359	# CHECK: xchgq %r8, %rax
				360	0x49 0x90
				361
				362	# CHECK: addb $0, %al
				363	0x04 0x00
				364
				365	# CHECK: addw $0, %ax
				366	0x66 0x05 0x00 0x00
				367
				368	# CHECK: addl $0, %eax
				369	0x05 0x00 0x00 0x00 0x00
				370
				371	# CHECK: addq $0, %rax
				372	0x48 0x05 0x00 0x00 0x00 0x00
				373
				374	# CHECK: adcb $0, %al
				375	0x14 0x00
				376
				377	# CHECK: adcw $0, %ax
				378	0x66 0x15 0x00 0x00
				379
				380	# CHECK: adcl $0, %eax
				381	0x15 0x00 0x00 0x00 0x00
				382
				383	# CHECK: adcq $0, %rax
				384	0x48 0x15 0x00 0x00 0x00 0x00
				385
				386	# CHECK: cmpb $0, %al
				387	0x3c 0x00
				388
				389	# CHECK: cmpw $0, %ax
				390	0x66 0x3d 0x00 0x00
				391
				392	# CHECK: cmpl $0, %eax
				393	0x3d 0x00 0x00 0x00 0x00
				394
				395	# CHECK: cmpq $0, %rax
				396	0x48 0x3d 0x00 0x00 0x00 0x00
				397
				398	# CHECK: testb $0, %al
				399	0xa8 0x00
				400
				401	# CHECK: testw $0, %ax
				402	0x66 0xa9 0x00 0x00
				403
				404	# CHECK: testl $0, %eax
				405	0xa9 0x00 0x00 0x00 0x00
				406
				407	# CHECK: testq $0, %rax
				408	0x48 0xa9 0x00 0x00 0x00 0x00
Craig Topper	0d0be47	2011-10-03 08:14:29 +0000	[diff] [blame]	409
				410	# CHECK: vaddps %xmm3, %xmm15, %xmm0
				411	0xc4 0xe1 0x00 0x58 0xc3
Craig Topper	786bdb9	2011-10-03 17:28:23 +0000	[diff] [blame]	412
				413	# CHECK: movbel (%rax), %eax
				414	0x0f 0x38 0xf0 0x00
				415
				416	# CHECK: movbel %eax, (%rax)
				417	0x0f 0x38 0xf1 0x00
				418
				419	# CHECK: movbew (%rax), %ax
				420	0x66 0x0f 0x38 0xf0 0x00
				421
				422	# CHECK: movbew %ax, (%rax)
				423	0x66 0x0f 0x38 0xf1 0x00
				424
				425	# CHECK: movbeq (%rax), %rax
				426	0x48 0x0f 0x38 0xf0 0x00
				427
				428	# CHECK: movbeq %rax, (%rax)
				429	0x48 0x0f 0x38 0xf1 0x00
				430
				431	# CHECK: rdrandw %ax
				432	0x66 0x0f 0xc7 0xf0
				433
				434	# CHECK: rdrandl %eax
				435	0x0f 0xc7 0xf0
				436
				437	# CHECK: rdrandq %rax
				438	0x48 0x0f 0xc7 0xf0
Craig Topper	f18c896	2011-10-04 06:30:42 +0000	[diff] [blame]	439
				440	# CHECK: vroundss $0, %xmm0, %xmm0, %xmm0
				441	0xc4 0xe3 0x7d 0x0a 0xc0 0x00
				442
				443	# CHECK: vroundsd $0, %xmm0, %xmm0, %xmm0
				444	0xc4 0xe3 0x7d 0x0b 0xc0 0x00
				445
Craig Topper	4f1c725	2013-01-06 20:39:29 +0000	[diff] [blame]	446	# CHECK: vcvtsd2si %xmm0, %eax
Craig Topper	f18c896	2011-10-04 06:30:42 +0000	[diff] [blame]	447	0xc4 0xe1 0x7f 0x2d 0xc0
				448
Craig Topper	4f1c725	2013-01-06 20:39:29 +0000	[diff] [blame]	449	# CHECK: vcvtsd2si %xmm0, %rax
Craig Topper	f18c896	2011-10-04 06:30:42 +0000	[diff] [blame]	450	0xc4 0xe1 0xff 0x2d 0xc0
				451
				452	# CHECK: vucomisd %xmm1, %xmm0
				453	0xc5 0xfd 0x2e 0xc1
				454
				455	# CHECK: vucomiss %xmm1, %xmm0
				456	0xc5 0xfc 0x2e 0xc1
				457
				458	# CHECK: vcomisd %xmm1, %xmm0
				459	0xc5 0xfd 0x2f 0xc1
				460
				461	# CHECK: vcomiss %xmm1, %xmm0
				462	0xc5 0xfc 0x2f 0xc1
				463
				464	# CHECK: vaddss %xmm1, %xmm0, %xmm0
				465	0xc5 0xfe 0x58 0xc1
Craig Topper	bf13676	2011-10-07 05:53:50 +0000	[diff] [blame]	466
				467	# CHECK: xsave (%rax)
				468	0x0f 0xae 0x20
				469
				470	# CHECK: xrstor (%rax)
				471	0x0f 0xae 0x28
				472
				473	# CHECK: xsaveopt (%rax)
				474	0x0f 0xae 0x30
Craig Topper	d9cfddc	2011-10-07 07:02:24 +0000	[diff] [blame]	475
Craig Topper	fe9179f	2011-10-09 07:31:39 +0000	[diff] [blame]	476	# CHECK: rdfsbasel %eax
Craig Topper	d9cfddc	2011-10-07 07:02:24 +0000	[diff] [blame]	477	0xf3 0x0f 0xae 0xc0
				478
Craig Topper	fe9179f	2011-10-09 07:31:39 +0000	[diff] [blame]	479	# CHECK: rdgsbasel %eax
Craig Topper	d9cfddc	2011-10-07 07:02:24 +0000	[diff] [blame]	480	0xf3 0x0f 0xae 0xc8
				481
Craig Topper	fe9179f	2011-10-09 07:31:39 +0000	[diff] [blame]	482	# CHECK: wrfsbasel %eax
Craig Topper	d9cfddc	2011-10-07 07:02:24 +0000	[diff] [blame]	483	0xf3 0x0f 0xae 0xd0
				484
Craig Topper	fe9179f	2011-10-09 07:31:39 +0000	[diff] [blame]	485	# CHECK: wrgsbasel %eax
Craig Topper	d9cfddc	2011-10-07 07:02:24 +0000	[diff] [blame]	486	0xf3 0x0f 0xae 0xd8
				487
Craig Topper	fe9179f	2011-10-09 07:31:39 +0000	[diff] [blame]	488	# CHECK: rdfsbaseq %rax
Craig Topper	d9cfddc	2011-10-07 07:02:24 +0000	[diff] [blame]	489	0xf3 0x48 0x0f 0xae 0xc0
				490
Craig Topper	fe9179f	2011-10-09 07:31:39 +0000	[diff] [blame]	491	# CHECK: rdgsbaseq %rax
Craig Topper	d9cfddc	2011-10-07 07:02:24 +0000	[diff] [blame]	492	0xf3 0x48 0x0f 0xae 0xc8
				493
Craig Topper	fe9179f	2011-10-09 07:31:39 +0000	[diff] [blame]	494	# CHECK: wrfsbaseq %rax
Craig Topper	d9cfddc	2011-10-07 07:02:24 +0000	[diff] [blame]	495	0xf3 0x48 0x0f 0xae 0xd0
				496
Craig Topper	fe9179f	2011-10-09 07:31:39 +0000	[diff] [blame]	497	# CHECK: wrgsbaseq %rax
Craig Topper	d9cfddc	2011-10-07 07:02:24 +0000	[diff] [blame]	498	0xf3 0x48 0x0f 0xae 0xd8
Craig Topper	fe9179f	2011-10-09 07:31:39 +0000	[diff] [blame]	499
				500	# CHECK: vcvtph2ps %xmm0, %xmm0
				501	0xc4 0xe2 0x79 0x13 0xc0
				502
				503	# CHECK: vcvtph2ps (%rax), %xmm0
				504	0xc4 0xe2 0x79 0x13 0x00
				505
				506	# CHECK: vcvtph2ps %xmm0, %ymm0
				507	0xc4 0xe2 0x7d 0x13 0xc0
				508
				509	# CHECK: vcvtph2ps (%rax), %ymm0
				510	0xc4 0xe2 0x7d 0x13 0x00
				511
				512	# CHECK: vcvtps2ph $0, %xmm0, %xmm0
				513	0xc4 0xe3 0x79 0x1d 0xc0 0x00
				514
				515	# CHECK: vcvtps2ph $0, %xmm0, (%rax)
				516	0xc4 0xe3 0x79 0x1d 0x00 0x00
				517
				518	# CHECK: vcvtps2ph $0, %ymm0, %xmm0
				519	0xc4 0xe3 0x7d 0x1d 0xc0 0x00
				520
				521	# CHECK: vcvtps2ph $0, %ymm0, (%rax)
				522	0xc4 0xe3 0x7d 0x1d 0x00 0x00
Craig Topper	a697852	2011-10-11 04:34:23 +0000	[diff] [blame]	523
				524	# CHECK: popcntl %eax, %eax
				525	0xf3 0x0f 0xb8 0xc0
				526
				527	# CHECK: popcntw %ax, %ax
				528	0x66 0xf3 0x0f 0xb8 0xc0
				529
				530	# CHECK: popcntq %rax, %rax
				531	0xf3 0x48 0x0f 0xb8 0xc0
Craig Topper	271064e	2011-10-11 06:44:02 +0000	[diff] [blame]	532
				533	# CHECK: lzcntl %eax, %eax
				534	0xf3 0x0f 0xbd 0xc0
				535
				536	# CHECK: lzcntw %ax, %ax
				537	0x66 0xf3 0x0f 0xbd 0xc0
				538
				539	# CHECK: lzcntq %rax, %rax
				540	0xf3 0x48 0x0f 0xbd 0xc0
Craig Topper	3657fe4	2011-10-14 03:21:46 +0000	[diff] [blame]	541
				542	# CHECK: tzcntl %eax, %eax
				543	0xf3 0x0f 0xbc 0xc0
				544
				545	# CHECK: tzcntw %ax, %ax
				546	0x66 0xf3 0x0f 0xbc 0xc0
				547
				548	# CHECK: tzcntq %rax, %rax
				549	0xf3 0x48 0x0f 0xbc 0xc0
Craig Topper	965de2c	2011-10-14 07:06:56 +0000	[diff] [blame]	550
				551	# CHECK: andnl %ecx, %r15d, %eax
				552	0xc4 0xe2 0x00 0xf2 0xc1
				553
				554	# CHECK: andnq %rax, %r15, %rax
				555	0xc4 0xe2 0x80 0xf2 0xc0
				556
				557	# CHECK: andnl (%rax), %r15d, %eax
				558	0xc4 0xe2 0x00 0xf2 0x00
				559
				560	# CHECK: andnq (%rax), %r15, %rax
				561	0xc4 0xe2 0x80 0xf2 0x00
Craig Topper	27ad125	2011-10-15 20:46:47 +0000	[diff] [blame]	562
				563	# CHECK: blsrl (%rax), %r15d
				564	0xc4 0xe2 0x00 0xf3 0x08
				565
				566	# CHECK: blsrq (%rax), %r15
				567	0xc4 0xe2 0x80 0xf3 0x08
				568
				569	# CHECK: blsmskl (%rax), %r15d
				570	0xc4 0xe2 0x00 0xf3 0x10
				571
				572	# CHECK: blsmskq (%rax), %r15
				573	0xc4 0xe2 0x80 0xf3 0x10
				574
				575	# CHECK: blsil (%rax), %r15d
				576	0xc4 0xe2 0x00 0xf3 0x18
				577
				578	# CHECK: blsiq (%rax), %r15
				579	0xc4 0xe2 0x80 0xf3 0x18
Craig Topper	25ea4e5	2011-10-16 03:51:13 +0000	[diff] [blame]	580
				581	# CHECK: bextrl %r12d, (%rax), %r10d
				582	0xc4 0x62 0x18 0xf7 0x10
				583
				584	# CHECK: bextrl %r12d, %r11d, %r10d
				585	0xc4 0x42 0x18 0xf7 0xd3
				586
				587	# CHECK: bextrq %r12, (%rax), %r10
				588	0xc4 0x62 0x98 0xf7 0x10
				589
				590	# CHECK: bextrq %r12, %r11, %r10
				591	0xc4 0x42 0x98 0xf7 0xd3
Craig Topper	aea148c	2011-10-16 07:55:05 +0000	[diff] [blame]	592
				593	# CHECK: bzhil %r12d, (%rax), %r10d
				594	0xc4 0x62 0x18 0xf5 0x10
				595
				596	# CHECK: bzhil %r12d, %r11d, %r10d
				597	0xc4 0x42 0x18 0xf5 0xd3
				598
				599	# CHECK: bzhiq %r12, (%rax), %r10
				600	0xc4 0x62 0x98 0xf5 0x10
				601
				602	# CHECK: bzhiq %r12, %r11, %r10
				603	0xc4 0x42 0x98 0xf5 0xd3
Craig Topper	96fa597	2011-10-16 16:50:08 +0000	[diff] [blame]	604
Craig Topper	ef309c3	2011-10-19 07:48:35 +0000	[diff] [blame]	605	# CHECK: pextl %r12d, %r11d, %r10d
Craig Topper	96fa597	2011-10-16 16:50:08 +0000	[diff] [blame]	606	0xc4 0x42 0x22 0xf5 0xd4
				607
Craig Topper	ef309c3	2011-10-19 07:48:35 +0000	[diff] [blame]	608	# CHECK: pextl (%rax), %r11d, %r10d
Craig Topper	96fa597	2011-10-16 16:50:08 +0000	[diff] [blame]	609	0xc4 0x62 0x22 0xf5 0x10
				610
Craig Topper	ef309c3	2011-10-19 07:48:35 +0000	[diff] [blame]	611	# CHECK: pextq %r12, %r11, %r10
Craig Topper	96fa597	2011-10-16 16:50:08 +0000	[diff] [blame]	612	0xc4 0x42 0xa2 0xf5 0xd4
				613
Craig Topper	ef309c3	2011-10-19 07:48:35 +0000	[diff] [blame]	614	# CHECK: pextq (%rax), %r11, %r10
Craig Topper	96fa597	2011-10-16 16:50:08 +0000	[diff] [blame]	615	0xc4 0x62 0xa2 0xf5 0x10
				616
				617	# CHECK: pdepl %r12d, %r11d, %r10d
				618	0xc4 0x42 0x23 0xf5 0xd4
				619
				620	# CHECK: pdepl (%rax), %r11d, %r10d
				621	0xc4 0x62 0x23 0xf5 0x10
				622
				623	# CHECK: pdepq %r12, %r11, %r10
				624	0xc4 0x42 0xa3 0xf5 0xd4
				625
				626	# CHECK: pdepq (%rax), %r11, %r10
				627	0xc4 0x62 0xa3 0xf5 0x10
Craig Topper	e94d277	2011-10-23 00:33:32 +0000	[diff] [blame]	628
				629	# CHECK: mulxl %r12d, %r11d, %r10d
				630	0xc4 0x42 0x23 0xf6 0xd4
				631
				632	# CHECK: mulxl (%rax), %r11d, %r10d
				633	0xc4 0x62 0x23 0xf6 0x10
				634
				635	# CHECK: mulxq %r12, %r11, %r10
				636	0xc4 0x42 0xa3 0xf6 0xd4
				637
				638	# CHECK: mulxq (%rax), %r11, %r10
				639	0xc4 0x62 0xa3 0xf6 0x10
Craig Topper	980d598	2011-10-23 07:34:00 +0000	[diff] [blame]	640
				641	# CHECK: rorxl $1, %r12d, %r10d
				642	0xc4 0x43 0x7b 0xf0 0xd4 0x01
				643
				644	# CHECK: rorxl $31, (%rax), %r10d
				645	0xc4 0x63 0x7b 0xf0 0x10 0x1f
				646
				647	# CHECK: rorxq $1, %r12, %r10
				648	0xc4 0x43 0xfb 0xf0 0xd4 0x01
				649
				650	# CHECK: rorxq $63, (%rax), %r10
				651	0xc4 0x63 0xfb 0xf0 0x10 0x3f
Craig Topper	b05d9e9	2011-10-23 22:18:24 +0000	[diff] [blame]	652
				653	# CHECK: shlxl %r12d, (%rax), %r10d
				654	0xc4 0x62 0x19 0xf7 0x10
				655
				656	# CHECK: shlxl %r12d, %r11d, %r10d
				657	0xc4 0x42 0x19 0xf7 0xd3
				658
				659	# CHECK: shlxq %r12, (%rax), %r10
				660	0xc4 0x62 0x99 0xf7 0x10
				661
				662	# CHECK: shlxq %r12, %r11, %r10
				663	0xc4 0x42 0x99 0xf7 0xd3
				664
				665	# CHECK: sarxl %r12d, (%rax), %r10d
				666	0xc4 0x62 0x1a 0xf7 0x10
				667
				668	# CHECK: sarxl %r12d, %r11d, %r10d
				669	0xc4 0x42 0x1a 0xf7 0xd3
				670
				671	# CHECK: sarxq %r12, (%rax), %r10
				672	0xc4 0x62 0x9a 0xf7 0x10
				673
				674	# CHECK: sarxq %r12, %r11, %r10
				675	0xc4 0x42 0x9a 0xf7 0xd3
				676
				677	# CHECK: shrxl %r12d, (%rax), %r10d
				678	0xc4 0x62 0x1b 0xf7 0x10
				679
				680	# CHECK: shrxl %r12d, %r11d, %r10d
				681	0xc4 0x42 0x1b 0xf7 0xd3
				682
				683	# CHECK: shrxq %r12, (%rax), %r10
				684	0xc4 0x62 0x9b 0xf7 0x10
				685
				686	# CHECK: shrxq %r12, %r11, %r10
				687	0xc4 0x42 0x9b 0xf7 0xd3
Craig Topper	8cab06a	2011-12-29 20:03:14 +0000	[diff] [blame]	688
				689	# CHECK: vfmadd132ps %xmm11, %xmm12, %xmm10
				690	0xc4 0x42 0x19 0x98 0xd3
				691
				692	# CHECK: vfmadd132pd %xmm11, %xmm12, %xmm10
				693	0xc4 0x42 0x99 0x98 0xd3
				694
				695	# CHECK: vfmadd132ps %ymm11, %ymm12, %ymm10
				696	0xc4 0x42 0x1d 0x98 0xd3
				697
				698	# CHECK: vfmadd132pd %ymm11, %ymm12, %ymm10
				699	0xc4 0x42 0x9d 0x98 0xd3
				700
				701	# CHECK: vfmadd132ps (%rax), %xmm12, %xmm10
				702	0xc4 0x62 0x19 0x98 0x10
				703
				704	# CHECK: vfmadd132pd (%rax), %xmm12, %xmm10
				705	0xc4 0x62 0x99 0x98 0x10
				706
				707	# CHECK: vfmadd132ps (%rax), %ymm12, %ymm10
				708	0xc4 0x62 0x1d 0x98 0x10
				709
				710	# CHECK: vfmadd132pd (%rax), %ymm12, %ymm10
				711	0xc4 0x62 0x9d 0x98 0x10
Craig Topper	d773607	2011-12-29 20:43:40 +0000	[diff] [blame]	712
				713	# CHECK: vfmadd132ss %xmm11, %xmm12, %xmm10
				714	0xc4 0x42 0x19 0x99 0xd3
				715
				716	# CHECK: vfmadd132sd %xmm11, %xmm12, %xmm10
				717	0xc4 0x42 0x99 0x99 0xd3
				718
				719	# CHECK: vfmadd132ss (%rax), %xmm12, %xmm10
				720	0xc4 0x62 0x19 0x99 0x10
				721
				722	# CHECK: vfmadd132sd (%rax), %xmm12, %xmm10
				723	0xc4 0x62 0x99 0x99 0x10
Craig Topper	03a0bed	2011-12-30 05:20:36 +0000	[diff] [blame]	724
Craig Topper	2ba766a	2011-12-30 06:23:39 +0000	[diff] [blame]	725	# CHECK: vfmaddss (%rcx), %xmm1, %xmm0, %xmm0
Craig Topper	03a0bed	2011-12-30 05:20:36 +0000	[diff] [blame]	726	0xc4 0xe3 0xf9 0x6a 0x01 0x10
				727
Craig Topper	2ba766a	2011-12-30 06:23:39 +0000	[diff] [blame]	728	# CHECK: vfmaddss %xmm1, (%rcx), %xmm0, %xmm0
Craig Topper	03a0bed	2011-12-30 05:20:36 +0000	[diff] [blame]	729	0xc4 0xe3 0x79 0x6a 0x01 0x10
Craig Topper	2ba766a	2011-12-30 06:23:39 +0000	[diff] [blame]	730
Craig Topper	ed59dd3	2013-09-30 02:46:36 +0000	[diff] [blame^]	731	# CHECK: vfmaddss (%rcx), %xmm1, %xmm0, %xmm0
				732	0xc4 0xe3 0xfd 0x6a 0x01 0x10
				733
				734	# CHECK: vfmaddss %xmm1, (%rcx), %xmm0, %xmm0
				735	0xc4 0xe3 0x7d 0x6a 0x01 0x10
				736
				737	# CHECK: vfmaddss %xmm2, %xmm1, %xmm0, %xmm0
				738	0xc4 0xe3 0xf9 0x6a 0xc2 0x10
				739
				740	# CHECK: vfmaddss %xmm1, %xmm2, %xmm0, %xmm0
				741	0xc4 0xe3 0x79 0x6a 0xc2 0x10
				742
				743	# CHECK: vfmaddss %xmm2, %xmm1, %xmm0, %xmm0
				744	0xc4 0xe3 0xfd 0x6a 0xc2 0x10
				745
				746	# CHECK: vfmaddss %xmm1, %xmm2, %xmm0, %xmm0
				747	0xc4 0xe3 0x7d 0x6a 0xc2 0x10
				748
				749	# CHECK: vfmaddps (%rcx), %xmm1, %xmm0, %xmm0
				750	0xc4 0xe3 0xf9 0x68 0x01 0x10
				751
				752	# CHECK: vfmaddps %xmm1, (%rcx), %xmm0, %xmm0
				753	0xc4 0xe3 0x79 0x68 0x01 0x10
				754
				755	# CHECK: vfmaddps %xmm1, %xmm2, %xmm0, %xmm0
				756	0xc4 0xe3 0x79 0x68 0xc2 0x10
				757
				758	# CHECK: vfmaddps %xmm2, %xmm1, %xmm0, %xmm0
				759	0xc4 0xe3 0xf9 0x68 0xc2 0x10
				760
Craig Topper	2ba766a	2011-12-30 06:23:39 +0000	[diff] [blame]	761	# CHECK: vpermil2ps $1, 4(%rax), %xmm2, %xmm3, %xmm0
				762	0xc4 0xe3 0xe1 0x48 0x40 0x04 0x21
Kevin Enderby	014e1cd	2012-03-09 17:52:49 +0000	[diff] [blame]	763
Manman Ren	a098204	2012-06-26 19:47:59 +0000	[diff] [blame]	764	# CHECK: vgatherdpd %xmm0, (%rdi,%xmm1,2), %xmm2
Craig Topper	be41e2d	2012-07-10 06:38:33 +0000	[diff] [blame]	765	0xc4 0xe2 0xf9 0x92 0x14 0x4f
Manman Ren	a098204	2012-06-26 19:47:59 +0000	[diff] [blame]	766
Manman Ren	98a5bf2	2012-06-29 00:54:20 +0000	[diff] [blame]	767	# CHECK: vgatherdpd %ymm0, (%rdi,%xmm1,2), %ymm2
Craig Topper	be41e2d	2012-07-10 06:38:33 +0000	[diff] [blame]	768	0xc4 0xe2 0xfd 0x92 0x14 0x4f
Manman Ren	98a5bf2	2012-06-29 00:54:20 +0000	[diff] [blame]	769
				770	# CHECK: vgatherqps %xmm8, (%r15,%xmm9,2), %xmm10
Craig Topper	be41e2d	2012-07-10 06:38:33 +0000	[diff] [blame]	771	0xc4 0x02 0x39 0x93 0x14 0x4f
Manman Ren	98a5bf2	2012-06-29 00:54:20 +0000	[diff] [blame]	772
				773	# CHECK: vgatherqps %xmm8, (%r15,%ymm9,2), %xmm10
Craig Topper	be41e2d	2012-07-10 06:38:33 +0000	[diff] [blame]	774	0xc4 0x02 0x3d 0x93 0x14 0x4f
Manman Ren	a098204	2012-06-26 19:47:59 +0000	[diff] [blame]	775
Manman Ren	98a5bf2	2012-06-29 00:54:20 +0000	[diff] [blame]	776	# CHECK: vpgatherdq %xmm0, (%rdi,%xmm1,2), %xmm2
Craig Topper	be41e2d	2012-07-10 06:38:33 +0000	[diff] [blame]	777	0xc4 0xe2 0xf9 0x90 0x14 0x4f
Manman Ren	98a5bf2	2012-06-29 00:54:20 +0000	[diff] [blame]	778
				779	# CHECK: vpgatherdq %ymm0, (%rdi,%xmm1,2), %ymm2
Craig Topper	be41e2d	2012-07-10 06:38:33 +0000	[diff] [blame]	780	0xc4 0xe2 0xfd 0x90 0x14 0x4f
Manman Ren	98a5bf2	2012-06-29 00:54:20 +0000	[diff] [blame]	781
				782	# CHECK: vpgatherqd %xmm8, (%r15,%xmm9,2), %xmm10
Craig Topper	be41e2d	2012-07-10 06:38:33 +0000	[diff] [blame]	783	0xc4 0x02 0x39 0x91 0x14 0x4f
Manman Ren	98a5bf2	2012-06-29 00:54:20 +0000	[diff] [blame]	784
				785	# CHECK: vpgatherqd %xmm8, (%r15,%ymm9,2), %xmm10
Craig Topper	be41e2d	2012-07-10 06:38:33 +0000	[diff] [blame]	786	0xc4 0x02 0x3d 0x91 0x14 0x4f
Manman Ren	98a5bf2	2012-06-29 00:54:20 +0000	[diff] [blame]	787
Kevin Enderby	014e1cd	2012-03-09 17:52:49 +0000	[diff] [blame]	788	# rdar://8812056 lldb doesn't print the x86 lock prefix when disassembling
				789	# CHECK: lock
Kevin Enderby	987cef1	2012-03-12 21:38:09 +0000	[diff] [blame]	790	# CHECK-NEXT: xaddq %rcx, %rbx
Kevin Enderby	014e1cd	2012-03-09 17:52:49 +0000	[diff] [blame]	791	0xf0 0x48 0x0f 0xc1 0xcb
Dave Zarzycki	07fabee	2013-03-25 18:59:38 +0000	[diff] [blame]	792
				793	# rdar://13493622 lldb doesn't print the x86 rep/repne prefix when disassembling
				794	# CHECK: repne
Craig Topper	db90f65	2013-07-23 01:50:47 +0000	[diff] [blame]	795	# CHECK-NEXT: movsl
Dave Zarzycki	07fabee	2013-03-25 18:59:38 +0000	[diff] [blame]	796	0xf2 0xa5
				797	# CHECK: repne
				798	# CHECK-NEXT: movsq
				799	0xf2 0x48 0xa5
				800	# CHECK: repne
				801	# CHECK-NEXT: movb $0, (%rax)
				802	0xf2 0xc6 0x0 0x0
Kevin Enderby	35fd792	2013-06-20 22:32:18 +0000	[diff] [blame]	803
				804	# rdar://11019859 Support 2013 Haswell RTM instructions and HLE prefixes
				805	# CHECK: xrelease
Dave Zarzycki	07fabee	2013-03-25 18:59:38 +0000	[diff] [blame]	806	# CHECK-NEXT: lock
				807	# CHECK-NEXT: incl (%rax)
				808	0xf3 0xf0 0xff 0x00
Kevin Enderby	35fd792	2013-06-20 22:32:18 +0000	[diff] [blame]	809
				810	# CHECK: xrelease
				811	# CHECK-NEXT: xchgl %ebx, %eax
				812	0xf3 0x93
				813	# CHECK: xrelease
				814	# CHECK-NEXT: xchgl %ebx, (%rax)
				815	0xf3 0x87 0x18
				816	# CHECK: xrelease
				817	# CHECK-NEXT: movb %al, (%rbx)
				818	0xf3 0x88 0x03
				819	# CHECK: xrelease
				820	# CHECK-NEXT: movl %eax, (%rbx)
				821	0xf3 0x89 0x03
				822	# CHECK: xrelease
				823	# CHECK-NEXT: movb $1, (%rbx)
				824	0xf3 0xc6 0x03 0x01
				825	# CHECK: xrelease
				826	# CHECK-NEXT: movl $1, (%rbx)
				827	0xf3 0xc7 0x03 0x01 0x00 0x00 0x00
				828
				829	# CHECK: xacquire
				830	# CHECK-NEXT: xchgl %ebx, %eax
				831	0xf2 0x93
				832	# CHECK: xacquire
				833	# CHECK-NEXT: xchgl %ebx, (%rax)
				834	0xf2 0x87 0x18