This is an archive of the discontinued LLVM Phabricator instance.

Differential D14232

AVX512: add encoding tests for vmovq/d instructions
ClosedPublic

Authored by igorb on Nov 2 2015, 6:35 AM.

Details

Reviewers
AsafBadouh
delena
Summary

AVX512: add encoding tests for vmovq/d instructions

Diff Detail

Repository
rL LLVM

Event Timeline

igorb updated this revision to Diff 38906.Nov 2 2015, 6:35 AM
igorb retitled this revision from to AVX512: add encoding tests for vmovq/d instructions.
igorb updated this object.
igorb added reviewers: delena, AsafBadouh.
igorb set the repository for this revision to rL LLVM.
igorb added a subscriber: llvm-commits.
delena accepted this revision.Nov 2 2015, 7:03 AM
delena edited edge metadata.

LGTM

This revision is now accepted and ready to land.Nov 2 2015, 7:03 AM
igorb closed this revision.Nov 3 2015, 2:04 AM

Closed by commit AVX512: add encoding tests for vmovq/d instructions.

Revision Contents

PathSize
lib/
Target/
X86/
2 lines
test/
MC/
X86/
347 lines

Diff 38906

lib/Target/X86/X86InstrAVX512.td

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 3,078 Lines • ▼ Show 20 Lines
let AddedComplexity = 15 in let AddedComplexity = 15 in
def VMOVZPQILo2PQIZrr : AVX512XSI<0x7E, MRMSrcReg, (outs VR128X:$dst), def VMOVZPQILo2PQIZrr : AVX512XSI<0x7E, MRMSrcReg, (outs VR128X:$dst),
(ins VR128X:$src), (ins VR128X:$src),
"vmovq\t{$src, $dst|$dst, $src}", "vmovq\t{$src, $dst|$dst, $src}",
[(set VR128X:$dst, (v2i64 (X86vzmovl [(set VR128X:$dst, (v2i64 (X86vzmovl
(v2i64 VR128X:$src))))], (v2i64 VR128X:$src))))],
IIC_SSE_MOVQ_RR>, EVEX, VEX_W; IIC_SSE_MOVQ_RR>, EVEX, VEX_W;
let AddedComplexity = 20 in let AddedComplexity = 20 , isCodeGenOnly = 1 in
def VMOVZPQILo2PQIZrm : AVX512XSI<0x7E, MRMSrcMem, (outs VR128X:$dst), def VMOVZPQILo2PQIZrm : AVX512XSI<0x7E, MRMSrcMem, (outs VR128X:$dst),
(ins i128mem:$src), (ins i128mem:$src),
"vmovq\t{$src, $dst|$dst, $src}", "vmovq\t{$src, $dst|$dst, $src}",
[(set VR128X:$dst, (v2i64 (X86vzmovl [(set VR128X:$dst, (v2i64 (X86vzmovl
(loadv2i64 addr:$src))))], (loadv2i64 addr:$src))))],
IIC_SSE_MOVDQ>, EVEX, VEX_W, IIC_SSE_MOVDQ>, EVEX, VEX_W,
EVEX_CD8<8, CD8VT8>; EVEX_CD8<8, CD8VT8>;
▲ Show 20 Lines • Show All 4,215 Lines • Show Last 20 Lines

test/MC/X86/avx512-encodings.s

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 17,945 Lines • ▼ Show 20 Lines// CHECK: encoding: [0x62,0xe3,0x7d,0x48,0x1d,0x9a,0x00,0x10,0x00,0x00,0x7b]
vcvtps2ph $0x7b, %zmm19, 4096(%rdx) vcvtps2ph $0x7b, %zmm19, 4096(%rdx)
// CHECK: vcvtps2ph $123, %zmm19, -4096(%rdx) // CHECK: vcvtps2ph $123, %zmm19, -4096(%rdx)
// CHECK: encoding: [0x62,0xe3,0x7d,0x48,0x1d,0x5a,0x80,0x7b] // CHECK: encoding: [0x62,0xe3,0x7d,0x48,0x1d,0x5a,0x80,0x7b]
vcvtps2ph $0x7b, %zmm19, -4096(%rdx) vcvtps2ph $0x7b, %zmm19, -4096(%rdx)
// CHECK: vcvtps2ph $123, %zmm19, -4128(%rdx) // CHECK: vcvtps2ph $123, %zmm19, -4128(%rdx)
// CHECK: encoding: [0x62,0xe3,0x7d,0x48,0x1d,0x9a,0xe0,0xef,0xff,0xff,0x7b] // CHECK: encoding: [0x62,0xe3,0x7d,0x48,0x1d,0x9a,0xe0,0xef,0xff,0xff,0x7b]
vcvtps2ph $0x7b, %zmm19, -4128(%rdx) vcvtps2ph $0x7b, %zmm19, -4128(%rdx)
No newline at end of file
// CHECK: vmovq %rax, %xmm29
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0xe8]
vmovq %rax, %xmm29
// CHECK: vmovq %r8, %xmm29
// CHECK: encoding: [0x62,0x41,0xfd,0x08,0x6e,0xe8]
vmovq %r8, %xmm29
// CHECK: vmovq (%rcx), %xmm29
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0x29]
vmovq (%rcx), %xmm29
// CHECK: vmovq 291(%rax,%r14,8), %xmm29
// CHECK: encoding: [0x62,0x21,0xfd,0x08,0x6e,0xac,0xf0,0x23,0x01,0x00,0x00]
vmovq 291(%rax,%r14,8), %xmm29
// CHECK: vmovq 1016(%rdx), %xmm29
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0x6a,0x7f]
vmovq 1016(%rdx), %xmm29
// CHECK: vmovq 1024(%rdx), %xmm29
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0xaa,0x00,0x04,0x00,0x00]
vmovq 1024(%rdx), %xmm29
// CHECK: vmovq -1024(%rdx), %xmm29
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0x6a,0x80]
vmovq -1024(%rdx), %xmm29
// CHECK: vmovq -1032(%rdx), %xmm29
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0xaa,0xf8,0xfb,0xff,0xff]
vmovq -1032(%rdx), %xmm29
// CHECK: vmovq %xmm17, (%rcx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0xd6,0x09]
vmovq %xmm17, (%rcx)
// CHECK: vmovq %xmm17, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0xa1,0xfd,0x08,0xd6,0x8c,0xf0,0x23,0x01,0x00,0x00]
vmovq %xmm17, 291(%rax,%r14,8)
// CHECK: vmovq %xmm17, 1016(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0xd6,0x4a,0x7f]
vmovq %xmm17, 1016(%rdx)
// CHECK: vmovq %xmm17, 1024(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0xd6,0x8a,0x00,0x04,0x00,0x00]
vmovq %xmm17, 1024(%rdx)
// CHECK: vmovq %xmm17, -1024(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0xd6,0x4a,0x80]
vmovq %xmm17, -1024(%rdx)
// CHECK: vmovq %xmm17, -1032(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0xd6,0x8a,0xf8,0xfb,0xff,0xff]
vmovq %xmm17, -1032(%rdx)
// CHECK: vmovq %xmm3, %xmm24
// CHECK: encoding: [0x62,0x61,0xfe,0x08,0x7e,0xc3]
vmovq %xmm3, %xmm24
// CHECK: vmovq (%rcx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0x01]
vmovq (%rcx), %xmm24
// CHECK: vmovq 291(%rax,%r14,8), %xmm24
// CHECK: encoding: [0x62,0x21,0xfd,0x08,0x6e,0x84,0xf0,0x23,0x01,0x00,0x00]
vmovq 291(%rax,%r14,8), %xmm24
// CHECK: vmovq 1016(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0x42,0x7f]
vmovq 1016(%rdx), %xmm24
// CHECK: vmovq 1024(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0x82,0x00,0x04,0x00,0x00]
vmovq 1024(%rdx), %xmm24
// CHECK: vmovq -1024(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0x42,0x80]
vmovq -1024(%rdx), %xmm24
// CHECK: vmovq -1032(%rdx), %xmm24
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x6e,0x82,0xf8,0xfb,0xff,0xff]
vmovq -1032(%rdx), %xmm24
// CHECK: vmovq %xmm19, (%rcx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0xd6,0x19]
vmovq %xmm19, (%rcx)
// CHECK: vmovq %xmm19, 291(%rax,%r14,8)
// CHECK: encoding: [0x62,0xa1,0xfd,0x08,0xd6,0x9c,0xf0,0x23,0x01,0x00,0x00]
vmovq %xmm19, 291(%rax,%r14,8)
// CHECK: vmovq %xmm19, 1016(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0xd6,0x5a,0x7f]
vmovq %xmm19, 1016(%rdx)
// CHECK: vmovq %xmm19, 1024(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0xd6,0x9a,0x00,0x04,0x00,0x00]
vmovq %xmm19, 1024(%rdx)
// CHECK: vmovq %xmm19, -1024(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0xd6,0x5a,0x80]
vmovq %xmm19, -1024(%rdx)
// CHECK: vmovq %xmm19, -1032(%rdx)
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0xd6,0x9a,0xf8,0xfb,0xff,0xff]
vmovq %xmm19, -1032(%rdx)
// CHECK: vmovq %xmm27, %rax
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x7e,0xd8]
vmovq %xmm27, %rax
// CHECK: vmovq %xmm27, %rax
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x7e,0xd8]
vmovq %xmm27, %rax
// CHECK: vmovq %xmm27, %r8
// CHECK: encoding: [0x62,0x41,0xfd,0x08,0x7e,0xd8]
vmovq %xmm27, %r8
// CHECK: vmovq %xmm27, %r8
// CHECK: encoding: [0x62,0x41,0xfd,0x08,0x7e,0xd8]
vmovq %xmm27, %r8
// CHECK: vmovq %xmm22, %rax
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x7e,0xf0]
vmovq %xmm22, %rax
// CHECK: vmovq %xmm22, %rax
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x7e,0xf0]
vmovq %xmm22, %rax
// CHECK: vmovq %xmm22, %r8
// CHECK: encoding: [0x62,0xc1,0xfd,0x08,0x7e,0xf0]
vmovq %xmm22, %r8
// CHECK: vmovq %xmm22, %r8
// CHECK: encoding: [0x62,0xc1,0xfd,0x08,0x7e,0xf0]
vmovq %xmm22, %r8
// CHECK: vmovq %xmm29, %xmm29
// CHECK: encoding: [0x62,0x01,0xfe,0x08,0x7e,0xed]
vmovq %xmm29, %xmm29
// CHECK: vmovq %xmm25, %xmm8
// CHECK: encoding: [0x62,0x11,0xfe,0x08,0x7e,0xc1]
vmovq %xmm25, %xmm8
// CHECK: vmovq %xmm29, %rax
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x7e,0xe8]
vmovq %xmm29, %rax
// CHECK: vmovq %xmm29, %rax
// CHECK: encoding: [0x62,0x61,0xfd,0x08,0x7e,0xe8]
vmovq %xmm29, %rax
// CHECK: vmovq %xmm29, %r8
// CHECK: encoding: [0x62,0x41,0xfd,0x08,0x7e,0xe8]
vmovq %xmm29, %r8
// CHECK: vmovq %xmm29, %r8
// CHECK: encoding: [0x62,0x41,0xfd,0x08,0x7e,0xe8]
vmovq %xmm29, %r8
// CHECK: vmovq %xmm20, %rax
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x7e,0xe0]
vmovq %xmm20, %rax
// CHECK: vmovq %xmm20, %rax
// CHECK: encoding: [0x62,0xe1,0xfd,0x08,0x7e,0xe0]
vmovq %xmm20, %rax
// CHECK: vmovq %xmm20, %r8
// CHECK: encoding: [0x62,0xc1,0xfd,0x08,0x7e,0xe0]
vmovq %xmm20, %r8
// CHECK: vmovq %xmm20, %r8
// CHECK: encoding: [0x62,0xc1,0xfd,0x08,0x7e,0xe0]
vmovq %xmm20, %r8
// CHECK: vmovq %xmm14, %xmm25
// CHECK: encoding: [0x62,0x41,0xfe,0x08,0x7e,0xce]
vmovq %xmm14, %xmm25
// CHECK: vmovq %xmm24, %xmm12
// CHECK: encoding: [0x62,0x11,0xfe,0x08,0x7e,0xe0]
vmovq %xmm24, %xmm12
// CHECK: vmovd %xmm5, %eax
// CHECK: encoding: [0xc5,0xf9,0x7e,0xe8]
vmovd %xmm5, %eax
// CHECK: vmovd %xmm5, %eax
// CHECK: encoding: [0xc5,0xf9,0x7e,0xe8]
vmovd %xmm5, %eax
// CHECK: vmovd %xmm5, %ebp
// CHECK: encoding: [0xc5,0xf9,0x7e,0xed]
vmovd %xmm5, %ebp
// CHECK: vmovd %xmm5, %ebp
// CHECK: encoding: [0xc5,0xf9,0x7e,0xed]
vmovd %xmm5, %ebp
// CHECK: vmovd %xmm5, %r13d
// CHECK: encoding: [0xc4,0xc1,0x79,0x7e,0xed]
vmovd %xmm5, %r13d
// CHECK: vmovd %xmm5, %r13d
// CHECK: encoding: [0xc4,0xc1,0x79,0x7e,0xed]
vmovd %xmm5, %r13d
// CHECK: vmovd %xmm28, %eax
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x7e,0xe0]
vmovd %xmm28, %eax
// CHECK: vmovd %xmm28, %eax
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x7e,0xe0]
vmovd %xmm28, %eax
// CHECK: vmovd %xmm28, %ebp
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x7e,0xe5]
vmovd %xmm28, %ebp
// CHECK: vmovd %xmm28, %ebp
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x7e,0xe5]
vmovd %xmm28, %ebp
// CHECK: vmovd %xmm28, %r13d
// CHECK: encoding: [0x62,0x41,0x7d,0x08,0x7e,0xe5]
vmovd %xmm28, %r13d
// CHECK: vmovd %xmm28, %r13d
// CHECK: encoding: [0x62,0x41,0x7d,0x08,0x7e,0xe5]
vmovd %xmm28, %r13d
// CHECK: vmovd %xmm14, %eax
// CHECK: encoding: [0xc5,0x79,0x7e,0xf0]
vmovd %xmm14, %eax
// CHECK: vmovd %xmm14, %eax
// CHECK: encoding: [0xc5,0x79,0x7e,0xf0]
vmovd %xmm14, %eax
// CHECK: vmovd %xmm14, %ebp
// CHECK: encoding: [0xc5,0x79,0x7e,0xf5]
vmovd %xmm14, %ebp
// CHECK: vmovd %xmm14, %ebp
// CHECK: encoding: [0xc5,0x79,0x7e,0xf5]
vmovd %xmm14, %ebp
// CHECK: vmovd %xmm14, %r13d
// CHECK: encoding: [0xc4,0x41,0x79,0x7e,0xf5]
vmovd %xmm14, %r13d
// CHECK: vmovd %xmm14, %r13d
// CHECK: encoding: [0xc4,0x41,0x79,0x7e,0xf5]
vmovd %xmm14, %r13d
// CHECK: vmovd %xmm1, %eax
// CHECK: encoding: [0xc5,0xf9,0x7e,0xc8]
vmovd %xmm1, %eax
// CHECK: vmovd %xmm1, %eax
// CHECK: encoding: [0xc5,0xf9,0x7e,0xc8]
vmovd %xmm1, %eax
// CHECK: vmovd %xmm1, %ebp
// CHECK: encoding: [0xc5,0xf9,0x7e,0xcd]
vmovd %xmm1, %ebp
// CHECK: vmovd %xmm1, %ebp
// CHECK: encoding: [0xc5,0xf9,0x7e,0xcd]
vmovd %xmm1, %ebp
// CHECK: vmovd %xmm1, %r13d
// CHECK: encoding: [0xc4,0xc1,0x79,0x7e,0xcd]
vmovd %xmm1, %r13d
// CHECK: vmovd %xmm1, %r13d
// CHECK: encoding: [0xc4,0xc1,0x79,0x7e,0xcd]
vmovd %xmm1, %r13d
// CHECK: vmovd %eax, %xmm26
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x6e,0xd0]
vmovd %eax, %xmm26
// CHECK: vmovd %ebp, %xmm26
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x6e,0xd5]
vmovd %ebp, %xmm26
// CHECK: vmovd %r13d, %xmm26
// CHECK: encoding: [0x62,0x41,0x7d,0x08,0x6e,0xd5]
vmovd %r13d, %xmm26
// CHECK: vmovd (%rcx), %xmm26
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x6e,0x11]
vmovd (%rcx), %xmm26
// CHECK: vmovd 291(%rax,%r14,8), %xmm26
// CHECK: encoding: [0x62,0x21,0x7d,0x08,0x6e,0x94,0xf0,0x23,0x01,0x00,0x00]
vmovd 291(%rax,%r14,8), %xmm26
// CHECK: vmovd 508(%rdx), %xmm26
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x6e,0x52,0x7f]
vmovd 508(%rdx), %xmm26
// CHECK: vmovd 512(%rdx), %xmm26
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x6e,0x92,0x00,0x02,0x00,0x00]
vmovd 512(%rdx), %xmm26
// CHECK: vmovd -512(%rdx), %xmm26
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x6e,0x52,0x80]
vmovd -512(%rdx), %xmm26
// CHECK: vmovd -516(%rdx), %xmm26
// CHECK: encoding: [0x62,0x61,0x7d,0x08,0x6e,0x92,0xfc,0xfd,0xff,0xff]
vmovd -516(%rdx), %xmm26
// CHECK: vmovd %xmm5, (%rcx)
// CHECK: encoding: [0xc5,0xf9,0x7e,0x29]
vmovd %xmm5, (%rcx)
// CHECK: vmovd %xmm5, 291(%rax,%r14,8)
// CHECK: encoding: [0xc4,0xa1,0x79,0x7e,0xac,0xf0,0x23,0x01,0x00,0x00]
vmovd %xmm5, 291(%rax,%r14,8)
// CHECK: vmovd %xmm5, 508(%rdx)
// CHECK: encoding: [0xc5,0xf9,0x7e,0xaa,0xfc,0x01,0x00,0x00]
vmovd %xmm5, 508(%rdx)
// CHECK: vmovd %xmm5, 512(%rdx)
// CHECK: encoding: [0xc5,0xf9,0x7e,0xaa,0x00,0x02,0x00,0x00]
vmovd %xmm5, 512(%rdx)
// CHECK: vmovd %xmm5, -512(%rdx)
// CHECK: encoding: [0xc5,0xf9,0x7e,0xaa,0x00,0xfe,0xff,0xff]
vmovd %xmm5, -512(%rdx)
// CHECK: vmovd %xmm5, -516(%rdx)
// CHECK: encoding: [0xc5,0xf9,0x7e,0xaa,0xfc,0xfd,0xff,0xff]
vmovd %xmm5, -516(%rdx)