50 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=instcombine -S < %s | FileCheck %s3 4define i32 @ctpop_bitreverse(i32 %x) {5; CHECK-LABEL: @ctpop_bitreverse(6; CHECK-NEXT: [[B:%.*]] = tail call range(i32 0, 33) i32 @llvm.ctpop.i32(i32 [[X:%.*]])7; CHECK-NEXT: ret i32 [[B]]8;9 %a = tail call i32 @llvm.bitreverse.i32(i32 %x)10 %b = tail call i32 @llvm.ctpop.i32(i32 %a)11 ret i32 %b12}13 14define <2 x i64> @ctpop_bitreverse_vec(<2 x i64> %x) {15; CHECK-LABEL: @ctpop_bitreverse_vec(16; CHECK-NEXT: [[B:%.*]] = tail call range(i64 0, 65) <2 x i64> @llvm.ctpop.v2i64(<2 x i64> [[X:%.*]])17; CHECK-NEXT: ret <2 x i64> [[B]]18;19 %a = tail call <2 x i64> @llvm.bitreverse.v2i64(<2 x i64> %x)20 %b = tail call <2 x i64> @llvm.ctpop.v2i64(<2 x i64> %a)21 ret <2 x i64> %b22}23 24define i32 @ctpop_bswap(i32 %x) {25; CHECK-LABEL: @ctpop_bswap(26; CHECK-NEXT: [[B:%.*]] = tail call range(i32 0, 33) i32 @llvm.ctpop.i32(i32 [[X:%.*]])27; CHECK-NEXT: ret i32 [[B]]28;29 %a = tail call i32 @llvm.bswap.i32(i32 %x)30 %b = tail call i32 @llvm.ctpop.i32(i32 %a)31 ret i32 %b32}33 34define <2 x i64> @ctpop_bswap_vec(<2 x i64> %x) {35; CHECK-LABEL: @ctpop_bswap_vec(36; CHECK-NEXT: [[B:%.*]] = tail call range(i64 0, 65) <2 x i64> @llvm.ctpop.v2i64(<2 x i64> [[X:%.*]])37; CHECK-NEXT: ret <2 x i64> [[B]]38;39 %a = tail call <2 x i64> @llvm.bswap.v2i64(<2 x i64> %x)40 %b = tail call <2 x i64> @llvm.ctpop.v2i64(<2 x i64> %a)41 ret <2 x i64> %b42}43 44declare i32 @llvm.bitreverse.i32(i32)45declare <2 x i64> @llvm.bitreverse.v2i64(<2 x i64>)46declare i32 @llvm.bswap.i32(i32)47declare <2 x i64> @llvm.bswap.v2i64(<2 x i64>)48declare i32 @llvm.ctpop.i32(i32)49declare <2 x i64> @llvm.ctpop.v2i64(<2 x i64>)50