| bits 64 | |
| v4fmaddps zmm0,zmm1+3,[rax] | |
| v4fnmaddps zmm2,zmm3,[rax] | |
| v4fmaddss zmm4,zmm5+3,[rax] | |
| v4fnmaddss zmm6,zmm7+3,[rax] | |
| v4dpwssds zmm8,zmm9,[rax] | |
| v4dpwssd zmm10,zmm11+3,[rax] | |
| v4dpwssd zmm10+0,zmm11+3,[rax] | |
| ; v4dpwssd zmm10+1,zmm11+3,[rax] | |
| ; v4dpwssd zmm10,zmm11+4,[rax] | |
| ; v4dpwssd zmm10,zmm11+7,[rax] |