llvm-mirror/test/Transforms/InstCombine/bitcount.ll

; Tests to make sure bit counts of constants are folded
; RUN: opt < %s -instcombine -S | grep {ret i32 19}
; RUN: opt < %s -instcombine -S | \
; RUN:   grep -v declare | not grep llvm.ct

declare i31 @llvm.ctpop.i31(i31 %val) 
declare i32 @llvm.cttz.i32(i32 %val) 
declare i33 @llvm.ctlz.i33(i33 %val) 

define i32 @test(i32 %A) {
  %c1 = call i31 @llvm.ctpop.i31(i31 12415124)
  %c2 = call i32 @llvm.cttz.i32(i32 87359874)
  %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
}
Add a test case to make sure that constant folding of the bit counting intrinsics works. llvm-svn: 35577 2007-04-02 03:45:31 +02:00			`; Tests to make sure bit counts of constants are folded`
Change tests from "opt %s" to "opt < %s" so that opt doesn't see the input filename so that opt doesn't print the input filename in the output so that grep lines in the tests don't unintentionally match strings in the input filename. llvm-svn: 81537 2009-09-11 20:01:28 +02:00			`; RUN: opt < %s -instcombine -S \| grep {ret i32 19}`
			`; RUN: opt < %s -instcombine -S \| \`
For PR1319: Upgrade tests to work with new llvm.exp version of llvm_runtest. llvm-svn: 36013 2007-04-14 22:13:02 +02:00			`; RUN: grep -v declare \| not grep llvm.ct`
Add a test case to make sure that constant folding of the bit counting intrinsics works. llvm-svn: 35577 2007-04-02 03:45:31 +02:00
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. llvm-svn: 40807 2007-08-04 03:51:18 +02:00			`declare i31 @llvm.ctpop.i31(i31 %val)`
Add a test case to make sure that constant folding of the bit counting intrinsics works. llvm-svn: 35577 2007-04-02 03:45:31 +02:00			`declare i32 @llvm.cttz.i32(i32 %val)`
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. llvm-svn: 40807 2007-08-04 03:51:18 +02:00			`declare i33 @llvm.ctlz.i33(i33 %val)`
Add a test case to make sure that constant folding of the bit counting intrinsics works. llvm-svn: 35577 2007-04-02 03:45:31 +02:00
Fix illegal assembly syntax. llvm-svn: 35581 2007-04-02 05:24:47 +02:00			`define i32 @test(i32 %A) {`
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. llvm-svn: 40807 2007-08-04 03:51:18 +02:00			`%c1 = call i31 @llvm.ctpop.i31(i31 12415124)`
Fix illegal assembly syntax. llvm-svn: 35581 2007-04-02 05:24:47 +02:00			`%c2 = call i32 @llvm.cttz.i32(i32 87359874)`
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. llvm-svn: 40807 2007-08-04 03:51:18 +02: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`
Add a test case to make sure that constant folding of the bit counting intrinsics works. llvm-svn: 35577 2007-04-02 03:45:31 +02:00			`ret i32 %r2`
			`}`