aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/trunc.ll
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2010-08-26 22:20:47 +0000
committerChris Lattner <sabre@nondot.org>2010-08-26 22:20:47 +0000
commit681ccf40d76a184afe7a32a1fe91263a73c0ef8c (patch)
tree6857435ded400c178bf223aa9ad87d96593acce6 /test/Transforms/InstCombine/trunc.ll
parent26dbe7ec18740f642febcc738e628d921aafd079 (diff)
rename test.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112234 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/trunc.ll')
-rw-r--r--test/Transforms/InstCombine/trunc.ll38
1 files changed, 38 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/trunc.ll b/test/Transforms/InstCombine/trunc.ll
new file mode 100644
index 0000000000..93e3753cf5
--- /dev/null
+++ b/test/Transforms/InstCombine/trunc.ll
@@ -0,0 +1,38 @@
+; RUN: opt < %s -instcombine -S > %t
+; RUN: not grep zext %t
+; RUN: not grep sext %t
+
+; Instcombine should be able to eliminate all of these ext casts.
+
+declare void @use(i32)
+
+define i64 @foo(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
+}
+define i64 @bar(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
+}
+define i64 @goo(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
+}
+define i64 @hoo(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
+}