1 #objdump: -dw
2 #name: x86-64 SE1 insns
3 #source: x86-64-se1.s
4 
5 .*: +file format .*
6 
7 
8 Disassembly of section .text:
9 
10 0+ <_start>:
11 [ 	]*[a-f0-9]+:	0f 01 cf             	encls
12 [ 	]*[a-f0-9]+:	0f 01 d7             	enclu
13 #pass
14