[llvm] r273038 - [X86] Add missing AVX512 anyext patterns.
Michael Kuperstein via llvm-commits
llvm-commits at lists.llvm.org
Fri Jun 17 13:21:18 PDT 2016
Author: mkuper
Date: Fri Jun 17 15:21:17 2016
New Revision: 273038
URL: http://llvm.org/viewvc/llvm-project?rev=273038&view=rev
Log:
[X86] Add missing AVX512 anyext patterns.
Add AVX512 anyext patterns for i16 and i64, modeled on the existing i8 and
i32 patterns.
Added:
llvm/trunk/test/CodeGen/X86/pr28173.ll
Modified:
llvm/trunk/lib/Target/X86/X86InstrAVX512.td
Modified: llvm/trunk/lib/Target/X86/X86InstrAVX512.td
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/X86/X86InstrAVX512.td?rev=273038&r1=273037&r2=273038&view=diff
==============================================================================
--- llvm/trunk/lib/Target/X86/X86InstrAVX512.td (original)
+++ llvm/trunk/lib/Target/X86/X86InstrAVX512.td Fri Jun 17 15:21:17 2016
@@ -2112,10 +2112,18 @@ let Predicates = [HasAVX512] in {
def : Pat<(i64 (zext VK1:$src)),
(AND64ri8 (SUBREG_TO_REG (i64 0),
(KMOVWrk (COPY_TO_REGCLASS VK1:$src, VK16)), sub_32bit), (i64 1))>;
+ def : Pat<(i64 (anyext VK1:$src)),
+ (SUBREG_TO_REG (i64 0),
+ (KMOVWrk (COPY_TO_REGCLASS VK1:$src, VK16)), sub_32bit)>;
+
def : Pat<(i16 (zext VK1:$src)),
(EXTRACT_SUBREG
(AND32ri8 (KMOVWrk (COPY_TO_REGCLASS VK1:$src, VK16)), (i32 1)),
sub_16bit)>;
+ def : Pat<(i16 (anyext VK1:$src)),
+ (EXTRACT_SUBREG
+ (KMOVWrk (COPY_TO_REGCLASS VK1:$src, VK16)),
+ sub_16bit)>;
}
def : Pat<(v16i1 (scalar_to_vector VK1:$src)),
(COPY_TO_REGCLASS VK1:$src, VK16)>;
Added: llvm/trunk/test/CodeGen/X86/pr28173.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/pr28173.ll?rev=273038&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/X86/pr28173.ll (added)
+++ llvm/trunk/test/CodeGen/X86/pr28173.ll Fri Jun 17 15:21:17 2016
@@ -0,0 +1,40 @@
+; RUN: llc -mattr=+avx512f < %s | FileCheck %s
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-unknown-linux-gnu"
+
+; Note that the kmovs should really *not* appear in the output, this is an
+; artifact of the current poor lowering. This is tracked by PR28175.
+
+; CHECK-LABEL: @foo64
+; CHECK: kmov
+; CHECK: kmov
+; CHECK: orq $-2, %rax
+; CHECK: ret
+define i64 @foo64(i1 zeroext %i, i32 %j) #0 {
+ br label %bb
+
+bb:
+ %z = zext i1 %i to i64
+ %v = or i64 %z, -2
+ br label %end
+
+end:
+ ret i64 %v
+}
+
+; CHECK-LABEL: @foo16
+; CHECK: kmov
+; CHECK: kmov
+; CHECK: orl $65534, %eax
+; CHECK: retq
+define i16 @foo16(i1 zeroext %i, i32 %j) #0 {
+ br label %bb
+
+bb:
+ %z = zext i1 %i to i16
+ %v = or i16 %z, -2
+ br label %end
+
+end:
+ ret i16 %v
+}
More information about the llvm-commits
mailing list