#objdump: -dw
#name: i386 CLDEMOTE insns
#source: cldemote.s

.*: +file format .*


Disassembly of section \.text:

00000000 <_start>:
[ 	]*[a-f0-9]+:[ 	]*0f 1c 01[ 	]*cldemote \(%ecx\)
[ 	]*[a-f0-9]+:[ 	]*0f 1c 84 f4 c0 1d fe ff[ 	]*cldemote -0x1e240\(%esp,%esi,8\)
[ 	]*[a-f0-9]+:[ 	]*0f 1c 01[ 	]*cldemote \(%ecx\)
[ 	]*[a-f0-9]+:[ 	]*0f 1c 84 f4 c0 1d fe ff[ 	]*cldemote -0x1e240\(%esp,%esi,8\)
#pass
