[APFloat] Fixed a bug in method 'fusedMultiplyAdd'.
authorAndrea Di Biagio <Andrea_DiBiagio@sn.scee.net>
Tue, 2 Sep 2014 16:44:56 +0000 (16:44 +0000)
committerAndrea Di Biagio <Andrea_DiBiagio@sn.scee.net>
Tue, 2 Sep 2014 16:44:56 +0000 (16:44 +0000)
commit0b6ee9fd1cec71d4870fa165530f14f7efca1bec
treea8fd4e4cfc5882b21283bddaa777441e10ba6901
parenta778b5efaae3d9fbb4ee56f7a22801d486cc8a32
[APFloat] Fixed a bug in method 'fusedMultiplyAdd'.

When folding a fused multiply-add builtin call, make sure that we propagate the
correct result in the case where the addend is zero, and the two other operands
are finite non-zero.

Example:
  define double @test() {
    %1 = call double @llvm.fma.f64(double 7.0, double 8.0, double 0.0)
    ret double %1
  }

Before this patch, the instruction simplifier wrongly folded the builtin call
in function @test to constant 'double 7.0'.
With this patch, method 'fusedMultiplyAdd' correctly evaluates the multiply and
propagates the expected result (i.e. 56.0).

Added test fold-builtin-fma.ll with the reproducible from PR20832 plus extra
test cases to verify the behavior of method 'fusedMultiplyAdd' in the presence
of NaN/Inf operands.

This fixes PR20832.

Differential Revision: http://reviews.llvm.org/D5152

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216913 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Support/APFloat.cpp
test/Transforms/InstSimplify/fold-builtin-fma.ll [new file with mode: 0644]