1 #objdump: -drw
2 #name: evex equates
3 
4 .*: +file format .*
5 
6 Disassembly of section .text:
7 
8 0+000 <_start>:
9 [ 	]*[a-f0-9]+:	62 e1 76 08 58 c8    	vaddss %xmm0,%xmm1,%xmm17
10 [ 	]*[a-f0-9]+:	62 b1 76 08 58 c1    	vaddss %xmm17,%xmm1,%xmm0
11 #pass
12