diff options
author | Chris Lattner <sabre@nondot.org> | 2010-08-26 22:23:39 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2010-08-26 22:23:39 +0000 |
commit | 98b3d3793c6f2bd99641b6161dec9571d49240f7 (patch) | |
tree | fe9d9a5f95c3f09d8b9d06a5e421c0c695f7af14 /test/Transforms | |
parent | 681ccf40d76a184afe7a32a1fe91263a73c0ef8c (diff) | |
download | external_llvm-98b3d3793c6f2bd99641b6161dec9571d49240f7.zip external_llvm-98b3d3793c6f2bd99641b6161dec9571d49240f7.tar.gz external_llvm-98b3d3793c6f2bd99641b6161dec9571d49240f7.tar.bz2 |
filecheckize
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112235 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
-rw-r--r-- | test/Transforms/InstCombine/trunc.ll | 26 |
1 files changed, 19 insertions, 7 deletions
diff --git a/test/Transforms/InstCombine/trunc.ll b/test/Transforms/InstCombine/trunc.ll index 93e3753..2fa5d37 100644 --- a/test/Transforms/InstCombine/trunc.ll +++ b/test/Transforms/InstCombine/trunc.ll @@ -1,38 +1,50 @@ -; RUN: opt < %s -instcombine -S > %t -; RUN: not grep zext %t -; RUN: not grep sext %t +; RUN: opt < %s -instcombine -S | FileCheck %s ; Instcombine should be able to eliminate all of these ext casts. declare void @use(i32) -define i64 @foo(i64 %a) { +define i64 @test1(i64 %a) { %b = trunc i64 %a to i32 %c = and i32 %b, 15 %d = zext i32 %c to i64 call void @use(i32 %b) ret i64 %d +; CHECK: @test1 +; CHECK: %d = and i64 %a, 15 +; CHECK: ret i64 %d } -define i64 @bar(i64 %a) { +define i64 @test2(i64 %a) { %b = trunc i64 %a to i32 %c = shl i32 %b, 4 %q = ashr i32 %c, 4 %d = sext i32 %q to i64 call void @use(i32 %b) ret i64 %d +; CHECK: @test2 +; CHECK: shl i64 %a, 36 +; CHECK: %d = ashr i64 {{.*}}, 36 +; CHECK: ret i64 %d } -define i64 @goo(i64 %a) { +define i64 @test3(i64 %a) { %b = trunc i64 %a to i32 %c = and i32 %b, 8 %d = zext i32 %c to i64 call void @use(i32 %b) ret i64 %d +; CHECK: @test3 +; CHECK: %d = and i64 %a, 8 +; CHECK: ret i64 %d } -define i64 @hoo(i64 %a) { +define i64 @test4(i64 %a) { %b = trunc i64 %a to i32 %c = and i32 %b, 8 %x = xor i32 %c, 8 %d = zext i32 %x to i64 call void @use(i32 %b) ret i64 %d +; CHECK: @test4 +; CHECK: = and i64 %a, 8 +; CHECK: %d = xor i64 {{.*}}, 8 +; CHECK: ret i64 %d } |