| Reid Spencer | a3bc850 | 2007-04-02 01:45:31 +0000 | [diff] [blame] | 1 | ; Tests to make sure bit counts of constants are folded | 
| Dan Gohman | 1880092 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -instcombine -S | grep {ret i32 19} | 
|  | 3 | ; RUN: opt < %s -instcombine -S | \ | 
| Reid Spencer | 91948d4 | 2007-04-14 20:13:02 +0000 | [diff] [blame] | 4 | ; RUN:   grep -v declare | not grep llvm.ct | 
| Reid Spencer | a3bc850 | 2007-04-02 01:45:31 +0000 | [diff] [blame] | 5 |  | 
| Chandler Carruth | 7132e00 | 2007-08-04 01:51:18 +0000 | [diff] [blame] | 6 | declare i31 @llvm.ctpop.i31(i31 %val) | 
| Reid Spencer | a3bc850 | 2007-04-02 01:45:31 +0000 | [diff] [blame] | 7 | declare i32 @llvm.cttz.i32(i32 %val) | 
| Chandler Carruth | 7132e00 | 2007-08-04 01:51:18 +0000 | [diff] [blame] | 8 | declare i33 @llvm.ctlz.i33(i33 %val) | 
| Reid Spencer | a3bc850 | 2007-04-02 01:45:31 +0000 | [diff] [blame] | 9 |  | 
| Reid Spencer | e51961b | 2007-04-02 03:24:47 +0000 | [diff] [blame] | 10 | define i32 @test(i32 %A) { | 
| Chandler Carruth | 7132e00 | 2007-08-04 01:51:18 +0000 | [diff] [blame] | 11 | %c1 = call i31 @llvm.ctpop.i31(i31 12415124) | 
| Reid Spencer | e51961b | 2007-04-02 03:24:47 +0000 | [diff] [blame] | 12 | %c2 = call i32 @llvm.cttz.i32(i32 87359874) | 
| Chandler Carruth | 7132e00 | 2007-08-04 01:51:18 +0000 | [diff] [blame] | 13 | %c3 = call i33 @llvm.ctlz.i33(i33 87359874) | 
|  | 14 | %t1 = zext i31 %c1 to i32 | 
|  | 15 | %t3 = trunc i33 %c3 to i32 | 
|  | 16 | %r1 = add i32 %t1, %c2 | 
|  | 17 | %r2 = add i32 %r1, %t3 | 
| Reid Spencer | a3bc850 | 2007-04-02 01:45:31 +0000 | [diff] [blame] | 18 | ret i32 %r2 | 
|  | 19 | } |