| ;Testname=unoptimized; Arguments=-O0 -fbin -obr3189064.bin; Files=stdout stderr br3189064.bin | |
| ;Testname=optimized; Arguments=-Ox -fbin -obr3189064.bin; Files=stdout stderr br3189064.bin | |
| [bits 64] | |
| VMASKMOVPS [edi],ymm0,ymm1 | |
| VEXTRACTF128 xmm0,ymm1,1 | |
| VEXTRACTF128 [edi],ymm1,1 |