diff options
| author | Chandler Carruth <chandlerc@gmail.com> | 2011-12-12 11:23:11 +0000 |
|---|---|---|
| committer | Chandler Carruth <chandlerc@gmail.com> | 2011-12-12 11:23:11 +0000 |
| commit | 2106badea341062643d4e11d6e9975b871fa61b9 (patch) | |
| tree | ccdd77ef3488ab38f64b0442bd539664a9a96100 | |
| parent | a56f5581ecb6ba741645a74bfa399f4bdf5b2f71 (diff) | |
| download | llvm-2106badea341062643d4e11d6e9975b871fa61b9.tar.gz llvm-2106badea341062643d4e11d6e9975b871fa61b9.tar.bz2 llvm-2106badea341062643d4e11d6e9975b871fa61b9.tar.xz | |
Add an explicit test of the auto-upgrade functionality for the new
intrinsic syntax.
Now that this is explicitly covered, I plan to upgrade the existing test
suite to use an explicit immediate. Note that I plan to specify 'true'
in most places rather than the auto-upgraded value as that is the far
more common value to end up here as that is the value coming from GCC's
builtins. The only place I'm likely to put a 'false' in is when testing
x86 which actually has different instructions for the two variants.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@146369 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Assembler/auto_upgrade_intrinsics.ll | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/test/Assembler/auto_upgrade_intrinsics.ll b/test/Assembler/auto_upgrade_intrinsics.ll new file mode 100644 index 0000000000..7ad5cc30fa --- /dev/null +++ b/test/Assembler/auto_upgrade_intrinsics.ll @@ -0,0 +1,44 @@ +; Test to make sure intrinsics are automatically upgraded. +; RUN: llvm-as < %s | llvm-dis | FileCheck %s + +declare i8 @llvm.ctlz.i8(i8) +declare i16 @llvm.ctlz.i16(i16) +declare i32 @llvm.ctlz.i32(i32) +declare i42 @llvm.ctlz.i42(i42) ; Not a power-of-2 + +define void @test.ctlz(i8 %a, i16 %b, i32 %c, i42 %d) { +; CHECK: @test.ctlz + +entry: + ; CHECK: call i8 @llvm.ctlz.i8(i8 %a, i1 false) + call i8 @llvm.ctlz.i8(i8 %a) + ; CHECK: call i16 @llvm.ctlz.i16(i16 %b, i1 false) + call i16 @llvm.ctlz.i16(i16 %b) + ; CHECK: call i32 @llvm.ctlz.i32(i32 %c, i1 false) + call i32 @llvm.ctlz.i32(i32 %c) + ; CHECK: call i42 @llvm.ctlz.i42(i42 %d, i1 false) + call i42 @llvm.ctlz.i42(i42 %d) + + ret void +} + +declare i8 @llvm.cttz.i8(i8) +declare i16 @llvm.cttz.i16(i16) +declare i32 @llvm.cttz.i32(i32) +declare i42 @llvm.cttz.i42(i42) ; Not a power-of-2 + +define void @test.cttz(i8 %a, i16 %b, i32 %c, i42 %d) { +; CHECK: @test.cttz + +entry: + ; CHECK: call i8 @llvm.cttz.i8(i8 %a, i1 false) + call i8 @llvm.cttz.i8(i8 %a) + ; CHECK: call i16 @llvm.cttz.i16(i16 %b, i1 false) + call i16 @llvm.cttz.i16(i16 %b) + ; CHECK: call i32 @llvm.cttz.i32(i32 %c, i1 false) + call i32 @llvm.cttz.i32(i32 %c) + ; CHECK: call i42 @llvm.cttz.i42(i42 %d, i1 false) + call i42 @llvm.cttz.i42(i42 %d) + + ret void +} |