[llvm] r321460 - [InstCombine] add test for frem with 0.0 (PR34870); NFC

[Sanjay Patel via llvm-commits]

Author: spatel
Date: Tue Dec 26 14:06:57 2017
New Revision: 321460

URL: http://llvm.org/viewvc/llvm-project?rev=321460&view=rev
Log:
[InstCombine] add test for frem with 0.0 (PR34870); NFC

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

Modified: llvm/trunk/test/Transforms/InstCombine/rem.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/rem.ll?rev=321460&r1=321459&r2=321460&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/rem.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/rem.ll Tue Dec 26 14:06:57 2017
@@ -593,3 +593,16 @@ define <2 x i32> @test23(<2 x i32> %A) {
   %mul = srem <2 x i32> %and, <i32 2147483647, i32 2147483647>
   ret <2 x i32> %mul
 }
+
+; FIXME: FP division-by-zero is not UB.
+
+define double @PR34870(i1 %cond, double %x, double %y) {
+; CHECK-LABEL: @PR34870(
+; CHECK-NEXT:    [[FMOD:%.*]] = frem double %x, %y
+; CHECK-NEXT:    ret double [[FMOD]]
+;
+  %sel = select i1 %cond, double %y, double 0.0
+  %fmod = frem double %x, %sel
+  ret double %fmod
+}
+