From 546c43fd1a64b87729ca1120069e171eaef2c3c6 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 llvm-svn: 321460 --- llvm/test/Transforms/InstCombine/rem.ll | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'llvm/test/Transforms') diff --git a/llvm/test/Transforms/InstCombine/rem.ll b/llvm/test/Transforms/InstCombine/rem.ll index 4e90b337b09..348190df5b1 100644 --- a/llvm/test/Transforms/InstCombine/rem.ll +++ b/llvm/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