From 422276fb4418bdc597adbd266a1a90ea049938e5 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Tue, 26 Dec 2017 22:06:57 +0000 Subject: [InstCombine] add test for frem with 0.0 (PR34870); NFC git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@321460 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/rem.ll | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'test/Transforms') diff --git a/test/Transforms/InstCombine/rem.ll b/test/Transforms/InstCombine/rem.ll index 4e90b337b09..348190df5b1 100644 --- a/test/Transforms/InstCombine/rem.ll +++ b/test/Transforms/InstCombine/rem.ll @@ -593,3 +593,16 @@ define <2 x i32> @test23(<2 x i32> %A) { %mul = srem <2 x i32> %and, 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 +} + -- cgit v1.2.3