1*56bb7041Schristos #objdump: -drw
2*56bb7041Schristos #name: i386 .noavx
3*56bb7041Schristos 
4*56bb7041Schristos .*: +file format .*
5*56bb7041Schristos 
6*56bb7041Schristos Disassembly of section .text:
7*56bb7041Schristos 
8*56bb7041Schristos 0+ <.text>:
9*56bb7041Schristos [ 	]*[a-f0-9]+:	c5 d0 58 e6          	vaddps %xmm6,%xmm5,%xmm4
10*56bb7041Schristos [ 	]*[a-f0-9]+:	c5 d4 58 e6          	vaddps %ymm6,%ymm5,%ymm4
11*56bb7041Schristos [ 	]*[a-f0-9]+:	62 f1 54 0f 58 e6    	vaddps %xmm6,%xmm5,%xmm4\{%k7\}
12*56bb7041Schristos [ 	]*[a-f0-9]+:	62 f1 54 2f 58 e6    	vaddps %ymm6,%ymm5,%ymm4\{%k7\}
13*56bb7041Schristos [ 	]*[a-f0-9]+:	62 f1 54 48 58 e6    	vaddps %zmm6,%zmm5,%zmm4
14*56bb7041Schristos [ 	]*[a-f0-9]+:	c5 d2 58 e6          	vaddss %xmm6,%xmm5,%xmm4
15*56bb7041Schristos [ 	]*[a-f0-9]+:	c5 d0 58 e6          	vaddps %xmm6,%xmm5,%xmm4
16*56bb7041Schristos [ 	]*[a-f0-9]+:	c5 d4 58 e6          	vaddps %ymm6,%ymm5,%ymm4
17*56bb7041Schristos [ 	]*[a-f0-9]+:	c5 d2 58 e6          	vaddss %xmm6,%xmm5,%xmm4
18*56bb7041Schristos #pass
19