| [bits 64] | |
| vfrczpd ymm9, ymm10 ; 8F 49 7C 81 312 | |
| vfrczpd ymm9, [0] ; 8F 69 7C 81 0C 25 00 00 00 00 | |
| vfrczpd ymm9, yword [0] ; 8F 69 7C 81 0C 25 00 00 00 00 | |
| vfrczpd ymm9, [r8*4] ; 8F 29 7C 81 0C 85 00 00 00 00 | |
| vfrczpd ymm9, [r8*4+r9] ; 8F 09 7C 81 0C 81 | |
| vpcmov ymm10, ymm11, ymm12, ymm13 ; 8F 48 24 A2 324 D0 |