Lines Matching full:vcvtps2pd
1571 // CHECK: vcvtps2pd %xmm12, %xmm11
1573 vcvtps2pd %xmm12, %xmm11
1575 // CHECK: vcvtps2pd (%rax), %xmm11
1577 vcvtps2pd (%rax), %xmm11
3327 // CHECK: vcvtps2pd %xmm13, %ymm12
3329 vcvtps2pd %xmm13, %ymm12
3331 // CHECK: vcvtps2pd (%rax), %ymm12
3333 vcvtps2pd (%rax), %ymm12
