wangtao
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[X86] Remove AND32ri8 from pattern for v1i1 load. 

I don't think anything would actually expect the other bits to be zero.

llvm-svn: 321596
This commit is contained in:
Craig Topper 2017-12-31 07:38:33 +00:00
parent 7ba1b76854
commit a362dee774
2 changed files with 13 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
llvm/lib/Target/X86/X86InstrAVX512.td
View File

@ -2748,7 +2748,7 @@ let Predicates = [HasAVX512] in {
def : Pat<(store (i16 (bitconvert (v16i1 VK16:$src))), addr:$dst),
(KMOVWmk addr:$dst, VK16:$src)>;
def : Pat<(v1i1 (load addr:$src)),
(COPY_TO_REGCLASS (AND32ri8 (MOVZX32rm8 addr:$src), (i32 1)), VK1)>;
(COPY_TO_REGCLASS (MOVZX32rm8 addr:$src), VK1)>;
def : Pat<(v16i1 (bitconvert (i16 (load addr:$src)))),
(KMOVWkm addr:$src)>;
}

19
llvm/test/CodeGen/X86/avx512-calling-conv.ll
View File

@ -412,18 +412,23 @@ define i32 @test12(i32 %a1, i32 %a2, i32 %b1) {
}
define <1 x i1> @test13(<1 x i1>* %foo) {
; ALL_X64-LABEL: test13:
; ALL_X64: ## %bb.0:
; ALL_X64-NEXT: movzbl (%rdi), %eax
; ALL_X64-NEXT: andl $1, %eax
; ALL_X64-NEXT: ## kill: def %al killed %al killed %eax
; ALL_X64-NEXT: retq
; KNL-LABEL: test13:
; KNL: ## %bb.0:
; KNL-NEXT: movzbl (%rdi), %eax
; KNL-NEXT: ## kill: def %al killed %al killed %eax
; KNL-NEXT: retq
;
; SKX-LABEL: test13:
; SKX: ## %bb.0:
; SKX-NEXT: kmovb (%rdi), %k0
; SKX-NEXT: kmovd %k0, %eax
; SKX-NEXT: ## kill: def %al killed %al killed %eax
; SKX-NEXT: retq
;
; KNL_X32-LABEL: test13:
; KNL_X32: ## %bb.0:
; KNL_X32-NEXT: movl {{[0-9]+}}(%esp), %eax
; KNL_X32-NEXT: movzbl (%eax), %eax
; KNL_X32-NEXT: andl $1, %eax
; KNL_X32-NEXT: ## kill: def %al killed %al killed %eax
; KNL_X32-NEXT: retl
%bar = load <1 x i1>, <1 x i1>* %foo