test/Transforms/InstCombine/fold-calls.ll

   1 ; RUN: opt -instcombine -S < %s | FileCheck %s
   2
   3 ; This test is inexplicably still failing, which suggests a
   4 ; bug in the host libm.
   5 ; XFAIL: arm-linux
   6
   7 ; This shouldn't fold, because sin(inf) is invalid.
   8 ; CHECK: @foo
   9 ; CHECK:   %t = call double @sin(double 0x7FF0000000000000)
  10 define double @foo() {
  11   %t = call double @sin(double 0x7FF0000000000000)
  12   ret double %t
  13 }
  14
  15 ; This should fold.
  16 ; CHECK: @bar
  17 ; CHECK:   ret double 0.0
  18 define double @bar() {
  19   %t = call double @sin(double 0.0)
  20   ret double %t
  21 }
  22
  23 declare double @sin(double)