2007-04-02 01:45:31 +00:00
|
|
|
; Tests to make sure bit counts of constants are folded
|
2007-04-14 20:13:02 +00:00
|
|
|
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {ret i32 19}
|
|
|
|
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \
|
|
|
|
; RUN: grep -v declare | not grep llvm.ct
|
2007-04-02 01:45:31 +00:00
|
|
|
|
2007-08-04 01:51:18 +00:00
|
|
|
declare i31 @llvm.ctpop.i31(i31 %val)
|
2007-04-02 01:45:31 +00:00
|
|
|
declare i32 @llvm.cttz.i32(i32 %val)
|
2007-08-04 01:51:18 +00:00
|
|
|
declare i33 @llvm.ctlz.i33(i33 %val)
|
2007-04-02 01:45:31 +00:00
|
|
|
|
2007-04-02 03:24:47 +00:00
|
|
|
define i32 @test(i32 %A) {
|
2007-08-04 01:51:18 +00:00
|
|
|
%c1 = call i31 @llvm.ctpop.i31(i31 12415124)
|
2007-04-02 03:24:47 +00:00
|
|
|
%c2 = call i32 @llvm.cttz.i32(i32 87359874)
|
2007-08-04 01:51:18 +00:00
|
|
|
%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
|
2007-04-02 01:45:31 +00:00
|
|
|
ret i32 %r2
|
|
|
|
}
|