diff options
| author | David Bolvansky <david.bolvansky@gmail.com> | 2019-04-02 20:21:26 +0000 |
|---|---|---|
| committer | David Bolvansky <david.bolvansky@gmail.com> | 2019-04-02 20:21:26 +0000 |
| commit | 9f179b2c65b10965ce88540cf923fb2ef1b65bea (patch) | |
| tree | d4f9f139441d0749911c0577538d1cb8319c3dc8 | |
| parent | 5ba60b22a476ed3cd10f5a3cff4f4ddd34d0a67b (diff) | |
| download | bcm5719-llvm-9f179b2c65b10965ce88540cf923fb2ef1b65bea.tar.gz bcm5719-llvm-9f179b2c65b10965ce88540cf923fb2ef1b65bea.zip | |
[InstCombine] Added tests for PR41337
llvm-svn: 357522
| -rw-r--r-- | llvm/test/Transforms/InstCombine/ctpop-bswap-bitreverse.ll | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/ctpop-bswap-bitreverse.ll b/llvm/test/Transforms/InstCombine/ctpop-bswap-bitreverse.ll new file mode 100644 index 00000000000..5005b3d99b3 --- /dev/null +++ b/llvm/test/Transforms/InstCombine/ctpop-bswap-bitreverse.ll @@ -0,0 +1,53 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt -instcombine -S < %s | FileCheck %s + +define i32 @ctpop_bitreverse(i32 %x) { +; CHECK-LABEL: @ctpop_bitreverse( +; CHECK-NEXT: [[A:%.*]] = tail call i32 @llvm.bitreverse.i32(i32 [[X:%.*]]) +; CHECK-NEXT: [[B:%.*]] = tail call i32 @llvm.ctpop.i32(i32 [[A]]), !range !0 +; CHECK-NEXT: ret i32 [[B]] +; + %a = tail call i32 @llvm.bitreverse.i32(i32 %x) + %b = tail call i32 @llvm.ctpop.i32(i32 %a) + ret i32 %b +} + +define <2 x i64> @ctpop_bitreverse_vec(<2 x i64> %x) { +; CHECK-LABEL: @ctpop_bitreverse_vec( +; CHECK-NEXT: [[A:%.*]] = tail call <2 x i64> @llvm.bitreverse.v2i64(<2 x i64> [[X:%.*]]) +; CHECK-NEXT: [[B:%.*]] = tail call <2 x i64> @llvm.ctpop.v2i64(<2 x i64> [[A]]) +; CHECK-NEXT: ret <2 x i64> [[B]] +; + %a = tail call <2 x i64> @llvm.bitreverse.v2i64(<2 x i64> %x) + %b = tail call <2 x i64> @llvm.ctpop.v2i64(<2 x i64> %a) + ret <2 x i64> %b +} + +define i32 @ctpop_bswap(i32 %x) { +; CHECK-LABEL: @ctpop_bswap( +; CHECK-NEXT: [[A:%.*]] = tail call i32 @llvm.bswap.i32(i32 [[X:%.*]]) +; CHECK-NEXT: [[B:%.*]] = tail call i32 @llvm.ctpop.i32(i32 [[A]]), !range !0 +; CHECK-NEXT: ret i32 [[B]] +; + %a = tail call i32 @llvm.bswap.i32(i32 %x) + %b = tail call i32 @llvm.ctpop.i32(i32 %a) + ret i32 %b +} + +define <2 x i64> @ctpop_bswap_vec(<2 x i64> %x) { +; CHECK-LABEL: @ctpop_bswap_vec( +; CHECK-NEXT: [[A:%.*]] = tail call <2 x i64> @llvm.bswap.v2i64(<2 x i64> [[X:%.*]]) +; CHECK-NEXT: [[B:%.*]] = tail call <2 x i64> @llvm.ctpop.v2i64(<2 x i64> [[A]]) +; CHECK-NEXT: ret <2 x i64> [[B]] +; + %a = tail call <2 x i64> @llvm.bswap.v2i64(<2 x i64> %x) + %b = tail call <2 x i64> @llvm.ctpop.v2i64(<2 x i64> %a) + ret <2 x i64> %b +} + +declare i32 @llvm.bitreverse.i32(i32) +declare <2 x i64> @llvm.bitreverse.v2i64(<2 x i64>) +declare i32 @llvm.bswap.i32(i32) +declare <2 x i64> @llvm.bswap.v2i64(<2 x i64>) +declare i32 @llvm.ctpop.i32(i32) +declare <2 x i64> @llvm.ctpop.v2i64(<2 x i64>) |
