test/Transforms/InstCombine/pr20059.ll

   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
  11 define <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 }