gas/testsuite/gas/i386/x86-64-adx.s

   1 # Check 64 bit ADX instructions.
   2         .allow_index_reg
   3         .text
   4 _start:
   5         adcx    400(%ecx), %eax
   6         adcx    %edx, %ecx
   7         adcx    -654321(%esp,%esi,8), %edx
   8         adcx    (%eax), %eax
   9         adcxl    %edx, %ecx
  10         adcxl    (%eax), %eax
  11
  12         adcx    400(%rcx), %r11
  13         adcx    %r14, %r12
  14         adcx    -654321(%esp,%esi,8), %rdx
  15         adcx    (%r8), %rax
  16         adcxq    %rdx, %rcx
  17         adcxq    (%rax), %rax
  18
  19         adox    400(%ecx), %eax
  20         adox    %edx, %ecx
  21         adox    -654321(%esp,%esi,8), %edx
  22         adox    (%eax), %eax
  23         adoxl    %edx, %ecx
  24         adoxl    (%eax), %eax
  25
  26         adox    400(%rcx), %r11
  27         adox    %r14, %r12
  28         adox    -654321(%esp,%esi,8), %rdx
  29         adox    (%r8), %rax
  30         adoxq    %rdx, %rcx
  31         adoxq    (%rax), %rax
  32
  33         .intel_syntax noprefix
  34
  35         adcx    eax, DWORD PTR [edx+399]
  36         adcx    edx, ecx
  37         adcx    edx, DWORD PTR [esp+esi*8-123456]
  38         adcx    eax, DWORD PTR [eax]
  39
  40         adcx    rax, QWORD PTR [r11+399]
  41         adcx    rdx, r9
  42         adcx    rdx, QWORD PTR [rsp+rsi*8-123456]
  43         adcx    rax, [rbx]
  44
  45         adox    eax, DWORD PTR [edx+399]
  46         adox    edx, ecx
  47         adox    edx, DWORD PTR [esp+esi*8-123456]
  48         adox    eax, DWORD PTR [eax]
  49
  50         adox    rax, QWORD PTR [r11+399]
  51         adox    rdx, r9
  52         adox    rdx, QWORD PTR [rsp+rsi*8-123456]
  53         adox    rax, QWORD PTR [rbx]