diff options
Diffstat (limited to 'llvm/test/CodeGen/X86/rotate-extract.ll')
-rw-r--r-- | llvm/test/CodeGen/X86/rotate-extract.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/X86/rotate-extract.ll b/llvm/test/CodeGen/X86/rotate-extract.ll index e5228d271e9..62d16163f34 100644 --- a/llvm/test/CodeGen/X86/rotate-extract.ll +++ b/llvm/test/CodeGen/X86/rotate-extract.ll @@ -265,3 +265,26 @@ define i8 @no_extract_udiv(i8 %i) nounwind { %out = or i8 %lhs_shift, %rhs_div ret i8 %out } + +; DAGCombiner transforms shl X, 1 into add X, X. +define i32 @extract_add_1(i32 %i) nounwind { +; X86-LABEL: extract_add_1: +; X86: # %bb.0: +; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx +; X86-NEXT: leal (%ecx,%ecx), %eax +; X86-NEXT: shrl $31, %ecx +; X86-NEXT: orl %ecx, %eax +; X86-NEXT: retl +; +; X64-LABEL: extract_add_1: +; X64: # %bb.0: +; X64-NEXT: # kill: def $edi killed $edi def $rdi +; X64-NEXT: leal (%rdi,%rdi), %eax +; X64-NEXT: shrl $31, %edi +; X64-NEXT: orl %edi, %eax +; X64-NEXT: retq + %ii = add i32 %i, %i + %rhs = lshr i32 %i, 31 + %out = or i32 %ii, %rhs + ret i32 %out +} |