diff options
Diffstat (limited to 'llvm/test/CodeGen/X86/select_const.ll')
| -rw-r--r-- | llvm/test/CodeGen/X86/select_const.ll | 100 |
1 files changed, 47 insertions, 53 deletions
diff --git a/llvm/test/CodeGen/X86/select_const.ll b/llvm/test/CodeGen/X86/select_const.ll index b439d26b286..7d13cc7b788 100644 --- a/llvm/test/CodeGen/X86/select_const.ll +++ b/llvm/test/CodeGen/X86/select_const.ll @@ -211,10 +211,9 @@ define i32 @select_C_Cplus1_signext(i1 signext %cond) { define i32 @select_lea_2(i1 zeroext %cond) { ; CHECK-LABEL: select_lea_2: ; CHECK: # BB#0: -; CHECK-NEXT: testb %dil, %dil -; CHECK-NEXT: movl $-1, %ecx -; CHECK-NEXT: movl $1, %eax -; CHECK-NEXT: cmovnel %ecx, %eax +; CHECK-NEXT: xorb $1, %dil +; CHECK-NEXT: movzbl %dil, %eax +; CHECK-NEXT: leal -1(%rax,%rax), %eax ; CHECK-NEXT: retq %sel = select i1 %cond, i32 -1, i32 1 ret i32 %sel @@ -223,10 +222,9 @@ define i32 @select_lea_2(i1 zeroext %cond) { define i64 @select_lea_3(i1 zeroext %cond) { ; CHECK-LABEL: select_lea_3: ; CHECK: # BB#0: -; CHECK-NEXT: testb %dil, %dil -; CHECK-NEXT: movl $1, %ecx -; CHECK-NEXT: movq $-2, %rax -; CHECK-NEXT: cmoveq %rcx, %rax +; CHECK-NEXT: xorb $1, %dil +; CHECK-NEXT: movzbl %dil, %eax +; CHECK-NEXT: leaq -2(%rax,%rax,2), %rax ; CHECK-NEXT: retq %sel = select i1 %cond, i64 -2, i64 1 ret i64 %sel @@ -235,10 +233,9 @@ define i64 @select_lea_3(i1 zeroext %cond) { define i32 @select_lea_5(i1 zeroext %cond) { ; CHECK-LABEL: select_lea_5: ; CHECK: # BB#0: -; CHECK-NEXT: testb %dil, %dil -; CHECK-NEXT: movl $-2, %ecx -; CHECK-NEXT: movl $3, %eax -; CHECK-NEXT: cmovnel %ecx, %eax +; CHECK-NEXT: xorb $1, %dil +; CHECK-NEXT: movzbl %dil, %eax +; CHECK-NEXT: leal -2(%rax,%rax,4), %eax ; CHECK-NEXT: retq %sel = select i1 %cond, i32 -2, i32 3 ret i32 %sel @@ -247,10 +244,9 @@ define i32 @select_lea_5(i1 zeroext %cond) { define i64 @select_lea_9(i1 zeroext %cond) { ; CHECK-LABEL: select_lea_9: ; CHECK: # BB#0: -; CHECK-NEXT: testb %dil, %dil -; CHECK-NEXT: movl $2, %ecx -; CHECK-NEXT: movq $-7, %rax -; CHECK-NEXT: cmoveq %rcx, %rax +; CHECK-NEXT: xorb $1, %dil +; CHECK-NEXT: movzbl %dil, %eax +; CHECK-NEXT: leaq -7(%rax,%rax,8), %rax ; CHECK-NEXT: retq %sel = select i1 %cond, i64 -7, i64 2 ret i64 %sel @@ -262,8 +258,8 @@ define i64 @sel_1_2(i64 %x, i64 %y) { ; CHECK-LABEL: sel_1_2: ; CHECK: # BB#0: ; CHECK-NEXT: cmpq $42, %rdi -; CHECK-NEXT: sbbq %rax, %rax -; CHECK-NEXT: leaq 2(%rax,%rsi), %rax +; CHECK-NEXT: sbbq $0, %rsi +; CHECK-NEXT: leaq 2(%rsi), %rax ; CHECK-NEXT: retq %cmp = icmp ult i64 %x, 42 %sel = select i1 %cmp, i64 1, i64 2 @@ -271,30 +267,31 @@ define i64 @sel_1_2(i64 %x, i64 %y) { ret i64 %sub } -; No LEA with 8-bit or 16-bit, but this shouldn't need branches or cmov. +; No LEA with 8-bit, but this shouldn't need branches or cmov. define i8 @sel_1_neg1(i32 %x) { ; CHECK-LABEL: sel_1_neg1: ; CHECK: # BB#0: ; CHECK-NEXT: cmpl $42, %edi -; CHECK-NEXT: movb $3, %al -; CHECK-NEXT: jg .LBB23_2 -; CHECK-NEXT: # BB#1: -; CHECK-NEXT: movb $-1, %al -; CHECK-NEXT: .LBB23_2: +; CHECK-NEXT: setg %al +; CHECK-NEXT: shlb $2, %al +; CHECK-NEXT: decb %al ; CHECK-NEXT: retq %cmp = icmp sgt i32 %x, 42 %sel = select i1 %cmp, i8 3, i8 -1 ret i8 %sel } +; We get an LEA for 16-bit because we ignore the high-bits. + define i16 @sel_neg1_1(i32 %x) { ; CHECK-LABEL: sel_neg1_1: ; CHECK: # BB#0: -; CHECK-NEXT: cmpl $42, %edi -; CHECK-NEXT: movw $-1, %cx -; CHECK-NEXT: movw $3, %ax -; CHECK-NEXT: cmovgw %cx, %ax +; CHECK-NEXT: xorl %eax, %eax +; CHECK-NEXT: cmpl $43, %edi +; CHECK-NEXT: setl %al +; CHECK-NEXT: leal -1(,%rax,4), %eax +; CHECK-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill> ; CHECK-NEXT: retq %cmp = icmp sgt i32 %x, 42 %sel = select i1 %cmp, i16 -1, i16 3 @@ -306,10 +303,10 @@ define i16 @sel_neg1_1(i32 %x) { define i32 @sel_1_neg1_32(i32 %x) { ; CHECK-LABEL: sel_1_neg1_32: ; CHECK: # BB#0: +; CHECK-NEXT: xorl %eax, %eax ; CHECK-NEXT: cmpl $42, %edi -; CHECK-NEXT: movl $8, %ecx -; CHECK-NEXT: movl $-1, %eax -; CHECK-NEXT: cmovgl %ecx, %eax +; CHECK-NEXT: setg %al +; CHECK-NEXT: leal -1(%rax,%rax,8), %eax ; CHECK-NEXT: retq %cmp = icmp sgt i32 %x, 42 %sel = select i1 %cmp, i32 8, i32 -1 @@ -319,10 +316,10 @@ define i32 @sel_1_neg1_32(i32 %x) { define i32 @sel_neg1_1_32(i32 %x) { ; CHECK-LABEL: sel_neg1_1_32: ; CHECK: # BB#0: -; CHECK-NEXT: cmpl $42, %edi -; CHECK-NEXT: movl $-7, %ecx -; CHECK-NEXT: movl $2, %eax -; CHECK-NEXT: cmovgl %ecx, %eax +; CHECK-NEXT: xorl %eax, %eax +; CHECK-NEXT: cmpl $43, %edi +; CHECK-NEXT: setl %al +; CHECK-NEXT: leal -7(%rax,%rax,8), %eax ; CHECK-NEXT: retq %cmp = icmp sgt i32 %x, 42 %sel = select i1 %cmp, i32 -7, i32 2 @@ -336,12 +333,9 @@ define i32 @sel_neg1_1_32(i32 %x) { define i8 @select_pow2_diff(i1 zeroext %cond) { ; CHECK-LABEL: select_pow2_diff: ; CHECK: # BB#0: -; CHECK-NEXT: testb %dil, %dil -; CHECK-NEXT: movb $19, %al -; CHECK-NEXT: jne .LBB27_2 -; CHECK-NEXT: # BB#1: -; CHECK-NEXT: movb $3, %al -; CHECK-NEXT: .LBB27_2: +; CHECK-NEXT: shlb $4, %dil +; CHECK-NEXT: orb $3, %dil +; CHECK-NEXT: movl %edi, %eax ; CHECK-NEXT: retq %sel = select i1 %cond, i8 19, i8 3 ret i8 %sel @@ -350,10 +344,11 @@ define i8 @select_pow2_diff(i1 zeroext %cond) { define i16 @select_pow2_diff_invert(i1 zeroext %cond) { ; CHECK-LABEL: select_pow2_diff_invert: ; CHECK: # BB#0: -; CHECK-NEXT: testb %dil, %dil -; CHECK-NEXT: movw $7, %cx -; CHECK-NEXT: movw $71, %ax -; CHECK-NEXT: cmovnew %cx, %ax +; CHECK-NEXT: xorb $1, %dil +; CHECK-NEXT: movzbl %dil, %eax +; CHECK-NEXT: shll $6, %eax +; CHECK-NEXT: orl $7, %eax +; CHECK-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill> ; CHECK-NEXT: retq %sel = select i1 %cond, i16 7, i16 71 ret i16 %sel @@ -362,10 +357,9 @@ define i16 @select_pow2_diff_invert(i1 zeroext %cond) { define i32 @select_pow2_diff_neg(i1 zeroext %cond) { ; CHECK-LABEL: select_pow2_diff_neg: ; CHECK: # BB#0: -; CHECK-NEXT: testb %dil, %dil -; CHECK-NEXT: movl $-9, %ecx -; CHECK-NEXT: movl $-25, %eax -; CHECK-NEXT: cmovnel %ecx, %eax +; CHECK-NEXT: shlb $4, %dil +; CHECK-NEXT: movzbl %dil, %eax +; CHECK-NEXT: orl $-25, %eax ; CHECK-NEXT: retq %sel = select i1 %cond, i32 -9, i32 -25 ret i32 %sel @@ -374,10 +368,10 @@ define i32 @select_pow2_diff_neg(i1 zeroext %cond) { define i64 @select_pow2_diff_neg_invert(i1 zeroext %cond) { ; CHECK-LABEL: select_pow2_diff_neg_invert: ; CHECK: # BB#0: -; CHECK-NEXT: testb %dil, %dil -; CHECK-NEXT: movl $29, %ecx -; CHECK-NEXT: movq $-99, %rax -; CHECK-NEXT: cmoveq %rcx, %rax +; CHECK-NEXT: xorb $1, %dil +; CHECK-NEXT: movzbl %dil, %eax +; CHECK-NEXT: shlq $7, %rax +; CHECK-NEXT: addq $-99, %rax ; CHECK-NEXT: retq %sel = select i1 %cond, i64 -99, i64 29 ret i64 %sel |
