Commit | Line | Data |
---|---|---|
e2e1fcde L |
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] |