diff options
| author | Craig Topper <craig.topper@gmail.com> | 2011-10-23 07:34:00 +0000 |
|---|---|---|
| committer | Craig Topper <craig.topper@gmail.com> | 2011-10-23 07:34:00 +0000 |
| commit | 75485d6746f8b5b23c17cf6d2364e7e1e0705992 (patch) | |
| tree | ba768e50e36bc64df8943978485bfda422749295 /test/MC/X86/x86_64-bmi-encoding.s | |
| parent | 90747e34e6ca7162eaf8dde032649071045f161d (diff) | |
| download | external_llvm-75485d6746f8b5b23c17cf6d2364e7e1e0705992.zip external_llvm-75485d6746f8b5b23c17cf6d2364e7e1e0705992.tar.gz external_llvm-75485d6746f8b5b23c17cf6d2364e7e1e0705992.tar.bz2 | |
Add X86 RORX instruction
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@142741 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/MC/X86/x86_64-bmi-encoding.s')
| -rw-r--r-- | test/MC/X86/x86_64-bmi-encoding.s | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/test/MC/X86/x86_64-bmi-encoding.s b/test/MC/X86/x86_64-bmi-encoding.s index 005ded2..aa5aa9a 100644 --- a/test/MC/X86/x86_64-bmi-encoding.s +++ b/test/MC/X86/x86_64-bmi-encoding.s @@ -119,3 +119,35 @@ // CHECK: pdepq (%rax), %r11, %r10 // CHECK: encoding: [0xc4,0x62,0xa3,0xf5,0x10] pdepq (%rax), %r11, %r10 + +// CHECK: mulxl %r12d, %r11d, %r10d +// CHECK: encoding: [0xc4,0x42,0x23,0xf6,0xd4] + mulxl %r12d, %r11d, %r10d + +// CHECK: mulxl (%rax), %r11d, %r10d +// CHECK: encoding: [0xc4,0x62,0x23,0xf6,0x10] + mulxl (%rax), %r11d, %r10d + +// CHECK: mulxq %r12, %r11, %r10 +// CHECK: encoding: [0xc4,0x42,0xa3,0xf6,0xd4] + mulxq %r12, %r11, %r10 + +// CHECK: mulxq (%rax), %r11, %r10 +// CHECK: encoding: [0xc4,0x62,0xa3,0xf6,0x10] + mulxq (%rax), %r11, %r10 + +// CHECK: rorxl $10, %r12d, %r10d +// CHECK: encoding: [0xc4,0x43,0x7b,0xf0,0xd4,0x0a] + rorxl $10, %r12d, %r10d + +// CHECK: rorxl $31, (%rax), %r10d +// CHECK: encoding: [0xc4,0x63,0x7b,0xf0,0x10,0x1f] + rorxl $31, (%rax), %r10d + +// CHECK: rorxq $1, %r12, %r10 +// CHECK: encoding: [0xc4,0x43,0xfb,0xf0,0xd4,0x01] + rorxq $1, %r12, %r10 + +// CHECK: rorxq $63, (%rax), %r10 +// CHECK: encoding: [0xc4,0x63,0xfb,0xf0,0x10,0x3f] + rorxq $63, (%rax), %r10 |