From a228e39a1540baceadc27acb2f1af0f2563381e5 Mon Sep 17 00:00:00 2001 From: Chandler Carruth Date: Sat, 4 Aug 2007 01:51:18 +0000 Subject: This is the patch to provide clean intrinsic function overloading support in LLVM. It cleans up the intrinsic definitions and generally smooths the process for more complicated intrinsic writing. It will be used by the upcoming atomic intrinsics as well as vector and float intrinsics in the future. This also changes the syntax for llvm.bswap, llvm.part.set, llvm.part.select, and llvm.ct* intrinsics. They are automatically upgraded by both the LLVM ASM reader and the bitcode reader. The test cases have been updated, with special tests added to ensure the automatic upgrading is supported. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40807 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/bitcount.ll | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) (limited to 'test/Transforms') diff --git a/test/Transforms/InstCombine/bitcount.ll b/test/Transforms/InstCombine/bitcount.ll index da53920..8ebf289 100644 --- a/test/Transforms/InstCombine/bitcount.ll +++ b/test/Transforms/InstCombine/bitcount.ll @@ -3,15 +3,17 @@ ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \ ; RUN: grep -v declare | not grep llvm.ct -declare i32 @llvm.ctpop.i31(i31 %val) +declare i31 @llvm.ctpop.i31(i31 %val) declare i32 @llvm.cttz.i32(i32 %val) -declare i32 @llvm.ctlz.i33(i33 %val) +declare i33 @llvm.ctlz.i33(i33 %val) define i32 @test(i32 %A) { - %c1 = call i32 @llvm.ctpop.i31(i31 12415124) + %c1 = call i31 @llvm.ctpop.i31(i31 12415124) %c2 = call i32 @llvm.cttz.i32(i32 87359874) - %c3 = call i32 @llvm.ctlz.i33(i33 87359874) - %r1 = add i32 %c1, %c2 - %r2 = add i32 %r1, %c3 + %c3 = call i33 @llvm.ctlz.i33(i33 87359874) + %t1 = zext i31 %c1 to i32 + %t3 = trunc i33 %c3 to i32 + %r1 = add i32 %t1, %c2 + %r2 = add i32 %r1, %t3 ret i32 %r2 } -- cgit v1.1