diff options
author | Hans Wennborg <hans@hanshq.net> | 2017-12-04 20:39:57 +0000 |
---|---|---|
committer | Hans Wennborg <hans@hanshq.net> | 2017-12-04 20:39:57 +0000 |
commit | 1e96e811d73d842822474eb8bc710c0849d06702 (patch) | |
tree | 1fde9ac9eb8fadc64cceeb975f2f89191539a6b1 /test | |
parent | e35711676bd03eb1caf7a9cb41179d82121c0457 (diff) |
DAG: Match truncated rotation (PR35487)
If the truncation has been pushed past the or-node, look through it and
truncate afterwards.
Differential revision: https://reviews.llvm.org/D40792
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@319692 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/CodeGen/X86/rotate.ll | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/CodeGen/X86/rotate.ll b/test/CodeGen/X86/rotate.ll index 6b6c9f0dec3..babe04bafcd 100644 --- a/test/CodeGen/X86/rotate.ll +++ b/test/CodeGen/X86/rotate.ll @@ -626,3 +626,22 @@ define void @rotr1_8_mem(i8* %Aptr) nounwind { store i8 %D, i8* %Aptr ret void } + +define i64 @truncated_rot(i64 %x, i32 %amt) { +entry: + %sh_prom = zext i32 %amt to i64 + %shl = shl i64 %x, %sh_prom + %sub = sub nsw i32 64, %amt + %sh_prom1 = zext i32 %sub to i64 + %shr = lshr i64 %x, %sh_prom1 + %or = or i64 %shr, %shl + %and = and i64 %or, 4294967295 + ret i64 %and + +; 64-LABEL: truncated_rot: +; 64: # %bb.0: +; 64-NEXT: movl %esi, %ecx +; 64-NEXT: rolq %cl, %rdi +; 64-NEXT: movl %edi, %eax +; 64-NEXT: retq +} |