1; RUN: opt -S -instcombine < %s | FileCheck %s
2
3; In PR20059 ( http://llvm.org/pr20059 ), shufflevector operations are reordered/removed
4; for an srem operation. This is not a valid optimization because it may cause a trap
5; on div-by-zero.
6
7; CHECK-LABEL: @do_not_reorder
8; CHECK: %splat1 = shufflevector <4 x i32> %p1, <4 x i32> undef, <4 x i32> zeroinitializer
9; CHECK-NEXT: %splat2 = shufflevector <4 x i32> %p2, <4 x i32> undef, <4 x i32> zeroinitializer
10; CHECK-NEXT: %retval = srem <4 x i32> %splat1, %splat2
11define <4 x i32> @do_not_reorder(<4 x i32> %p1, <4 x i32> %p2) {
12  %splat1 = shufflevector <4 x i32> %p1, <4 x i32> undef, <4 x i32> zeroinitializer
13  %splat2 = shufflevector <4 x i32> %p2, <4 x i32> undef, <4 x i32> zeroinitializer
14  %retval = srem <4 x i32> %splat1, %splat2
15  ret <4 x i32> %retval
16}
17