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

[X86] Add missing isel pattern for BLCFILL producing flags.

This commit is contained in:
Craig Topper 2020-02-17 13:08:39 -08:00
parent 058cb1b47f
commit 68400a2308
2 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
llvm/lib/Target/X86/X86InstrInfo.td
View File

@ -2919,6 +2919,11 @@ let Predicates = [HasTBM] in {
(TZMSK64rr GR64:$src)>; (TZMSK64rr GR64:$src)>;
// Patterns to match flag producing ops. // Patterns to match flag producing ops.
def : Pat<(and_flag_nocf GR32:$src, (add GR32:$src, 1)),
(BLCFILL32rr GR32:$src)>;
def : Pat<(and_flag_nocf GR64:$src, (add GR64:$src, 1)),
(BLCFILL64rr GR64:$src)>;
def : Pat<(or_flag_nocf GR32:$src, (not (add GR32:$src, 1))), def : Pat<(or_flag_nocf GR32:$src, (not (add GR32:$src, 1))),
(BLCI32rr GR32:$src)>; (BLCI32rr GR32:$src)>;
def : Pat<(or_flag_nocf GR64:$src, (not (add GR64:$src, 1))), def : Pat<(or_flag_nocf GR64:$src, (not (add GR64:$src, 1))),

44
llvm/test/CodeGen/X86/tbm_patterns.ll
View File

@ -964,4 +964,48 @@ define i64 @tzmsk64_branch(i64 %x) nounwind {
ret i64 %tmp3 ret i64 %tmp3
} }
define i32 @blcfill32_branch(i32 %x) nounwind {
; CHECK-LABEL: blcfill32_branch:
; CHECK: # %bb.0:
; CHECK-NEXT: pushq %rbx
; CHECK-NEXT: blcfilll %edi, %ebx
; CHECK-NEXT: jne .LBB73_2
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: callq bar
; CHECK-NEXT: .LBB73_2:
; CHECK-NEXT: movl %ebx, %eax
; CHECK-NEXT: popq %rbx
; CHECK-NEXT: retq
%tmp2 = add i32 %x, 1
%tmp3 = and i32 %tmp2, %x
%cmp = icmp eq i32 %tmp3, 0
br i1 %cmp, label %1, label %2
tail call void @bar()
br label %2
ret i32 %tmp3
}
define i64 @blcfill64_branch(i64 %x) nounwind {
; CHECK-LABEL: blcfill64_branch:
; CHECK: # %bb.0:
; CHECK-NEXT: pushq %rbx
; CHECK-NEXT: blcfillq %rdi, %rbx
; CHECK-NEXT: jne .LBB74_2
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: callq bar
; CHECK-NEXT: .LBB74_2:
; CHECK-NEXT: movq %rbx, %rax
; CHECK-NEXT: popq %rbx
; CHECK-NEXT: retq
%tmp2 = add i64 %x, 1
%tmp3 = and i64 %tmp2, %x
%cmp = icmp eq i64 %tmp3, 0
br i1 %cmp, label %1, label %2
tail call void @bar()
br label %2
ret i64 %tmp3
}
declare void @bar() declare void @bar()