| Reid Spencer | a3bc850 | 2007-04-02 01:45:31 +0000 | [diff] [blame] | 1 | ; Tests to make sure bit counts of constants are folded |
| Chris Lattner | a7152a9 | 2007-04-02 20:46:28 +0000 | [diff] [blame^] | 2 | ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep 'ret i32 19' && |
| 3 | ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep -v declare | not grep 'llvm.ct' |
| Reid Spencer | a3bc850 | 2007-04-02 01:45:31 +0000 | [diff] [blame] | 4 | |
| 5 | declare i32 @llvm.ctpop.i31(i31 %val) |
| 6 | declare i32 @llvm.cttz.i32(i32 %val) |
| 7 | declare i32 @llvm.ctlz.i33(i33 %val) |
| 8 | |
| Reid Spencer | e51961b | 2007-04-02 03:24:47 +0000 | [diff] [blame] | 9 | define i32 @test(i32 %A) { |
| 10 | %c1 = call i32 @llvm.ctpop.i31(i31 12415124) |
| 11 | %c2 = call i32 @llvm.cttz.i32(i32 87359874) |
| 12 | %c3 = call i32 @llvm.ctlz.i33(i33 87359874) |
| Reid Spencer | a3bc850 | 2007-04-02 01:45:31 +0000 | [diff] [blame] | 13 | %r1 = add i32 %c1, %c2 |
| 14 | %r2 = add i32 %r1, %c3 |
| 15 | ret i32 %r2 |
| 16 | } |