From efb4d34bcf83191cac46e346af323b5a8b21c823 Mon Sep 17 00:00:00 2001
From: Benjamin Kramer <benny.kra@googlemail.com>
Date: Fri, 21 Sep 2012 16:26:41 +0000
Subject: InstCombine: Make sure we use the pre-zext type when creating a
 constant of a value that is zext'd.

Fixes PR13250.

llvm-svn: 164377
---
 llvm/test/Transforms/InstCombine/div-shift.ll | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'llvm/test/Transforms')

diff --git a/llvm/test/Transforms/InstCombine/div-shift.ll b/llvm/test/Transforms/InstCombine/div-shift.ll
index a07f3ea9491..e0372ebac18 100644
--- a/llvm/test/Transforms/InstCombine/div-shift.ll
+++ b/llvm/test/Transforms/InstCombine/div-shift.ll
@@ -21,3 +21,17 @@ define i64 @t2(i64 %x, i32 %y) nounwind  {
   %3 = udiv i64 %x, %2
   ret i64 %3
 }
+
+; PR13250
+define i64 @t3(i64 %x, i32 %y) nounwind  {
+; CHECK: t3
+; CHECK-NOT: udiv
+; CHECK-NEXT: %1 = add i32 %y, 2
+; CHECK-NEXT: %2 = zext i32 %1 to i64
+; CHECK-NEXT: %3 = lshr i64 %x, %2
+; CHECK-NEXT: ret i64 %3
+  %1 = shl i32 4, %y
+  %2 = zext i32 %1 to i64
+  %3 = udiv i64 %x, %2
+  ret i64 %3
+}
-- 
cgit v1.2.3