| Chandler Carruth | 49589f0 | 2012-07-02 18:37:59 +0000 | [diff] [blame] | 1 | ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s |
| Chandler Carruth | c4eab90 | 2011-12-12 04:36:02 +0000 | [diff] [blame] | 2 | |
| 3 | declare i32 @llvm.ctlz.i32(i32, i1) |
| 4 | declare i32 @llvm.cttz.i32(i32, i1) |
| 5 | |
| 6 | define void @f(i32 %x, i1 %is_not_zero) { |
| 7 | entry: |
| 8 | ; CHECK: is_zero_undef argument of bit counting intrinsics must be a constant int |
| 9 | ; CHECK-NEXT: @llvm.ctlz.i32 |
| 10 | call i32 @llvm.ctlz.i32(i32 %x, i1 %is_not_zero) |
| 11 | |
| 12 | ; CHECK: is_zero_undef argument of bit counting intrinsics must be a constant int |
| 13 | ; CHECK-NEXT: @llvm.cttz.i32 |
| 14 | call i32 @llvm.cttz.i32(i32 %x, i1 %is_not_zero) |
| 15 | ret void |
| 16 | } |