X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FTransforms%2FInstCombine%2Fpr20059.ll;h=0ef315936ff2ebd8c8e9a2bf0ab6cfc6af76c963;hb=198d8baafbfdfcf5a5e219602a5d94ed263973b4;hp=8d7d69bf87654f3388663f57eac43b3d5ca0f1ef;hpb=296cb7b128114eda207f96c65513335efe46a1d5;p=oota-llvm.git

diff --git a/test/Transforms/InstCombine/pr20059.ll b/test/Transforms/InstCombine/pr20059.ll
index 8d7d69bf876..0ef315936ff 100644
--- a/test/Transforms/InstCombine/pr20059.ll
+++ b/test/Transforms/InstCombine/pr20059.ll
@@ -14,19 +14,3 @@ define <4 x i32> @do_not_reorder(<4 x i32> %p1, <4 x i32> %p2) {
   %retval = srem <4 x i32> %splat1, %splat2
   ret <4 x i32> %retval
 }
-; RUN: opt -S -instcombine < %s | FileCheck %s
-
-; In PR20059 ( http://llvm.org/pr20059 ), shufflevector operations are reordered/removed
-; for an srem operation. This is not a valid optimization because it may cause a trap
-; on div-by-zero.
-
-; CHECK-LABEL: @do_not_reorder
-; CHECK: %splat1 = shufflevector <4 x i32> %p1, <4 x i32> undef, <4 x i32> zeroinitializer
-; CHECK-NEXT: %splat2 = shufflevector <4 x i32> %p2, <4 x i32> undef, <4 x i32> zeroinitializer
-; CHECK-NEXT: %retval = srem <4 x i32> %splat1, %splat2
-define <4 x i32> @do_not_reorder(<4 x i32> %p1, <4 x i32> %p2) {
-  %splat1 = shufflevector <4 x i32> %p1, <4 x i32> undef, <4 x i32> zeroinitializer
-  %splat2 = shufflevector <4 x i32> %p2, <4 x i32> undef, <4 x i32> zeroinitializer
-  %retval = srem <4 x i32> %splat1, %splat2
-  ret <4 x i32> %retval
-}