[llvm] r281386 - add tests for PR28672

[Sanjay Patel via llvm-commits]

Author: spatel
Date: Tue Sep 13 15:36:13 2016
New Revision: 281386

URL: http://llvm.org/viewvc/llvm-project?rev=281386&view=rev
Log:
add tests for PR28672

I'm not sure if we actually want to transform all of these in InstCombine yet, 
so I'm not labeling these with FIXME.  

Modified:
    llvm/trunk/test/Transforms/InstCombine/urem.ll

Modified: llvm/trunk/test/Transforms/InstCombine/urem.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/urem.ll?rev=281386&r1=281385&r2=281386&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/urem.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/urem.ll Tue Sep 13 15:36:13 2016
@@ -11,3 +11,33 @@ define i64 @rem_unsigned(i64 %x1, i64 %y
   %r8 = sub i64 %x1, %r7
   ret i64 %r8
 }
+
+; PR28672 - https://llvm.org/bugs/show_bug.cgi?id=28672
+
+define i8 @big_divisor(i8 %x) {
+; CHECK-LABEL: @big_divisor(
+; CHECK-NEXT:    [[REM:%.*]] = urem i8 %x, -127
+; CHECK-NEXT:    ret i8 [[REM]]
+;
+  %rem = urem i8 %x, 129
+  ret i8 %rem
+}
+
+define i5 @biggest_divisor(i5 %x) {
+; CHECK-LABEL: @biggest_divisor(
+; CHECK-NEXT:    [[REM:%.*]] = urem i5 %x, -1
+; CHECK-NEXT:    ret i5 [[REM]]
+;
+  %rem = urem i5 %x, -1
+  ret i5 %rem
+}
+
+define <2 x i4> @big_divisor_vec(<2 x i4> %x) {
+; CHECK-LABEL: @big_divisor_vec(
+; CHECK-NEXT:    [[REM:%.*]] = urem <2 x i4> %x, <i4 -3, i4 -3>
+; CHECK-NEXT:    ret <2 x i4> [[REM]]
+;
+  %rem = urem <2 x i4> %x, <i4 13, i4 13>
+  ret <2 x i4> %rem
+}
+