6 vpclmulqdq $0xab, %ymm8, %ymm9, %ymm10
7 vpclmulqdq $123, 0x124(%rax,%r14,8), %ymm9, %ymm10
8 vpclmulqdq $123, 4064(%rdx), %ymm9, %ymm10
10 vpclmulhqhqdq %ymm10, %ymm11, %ymm12
11 vpclmulhqlqdq %ymm11, %ymm12, %ymm13
12 vpclmullqhqdq %ymm12, %ymm13, %ymm14
13 vpclmullqlqdq %ymm13, %ymm14, %ymm15
15 .intel_syntax noprefix
16 vpclmulqdq ymm10, ymm9, ymm8, 0xab
17 vpclmulqdq ymm10, ymm9, YMMWORD PTR [rax+r14*8+0x1234], 123
18 vpclmulqdq ymm10, ymm9, YMMWORD PTR [rdx+4064], 123