llvm/test/Transforms/InstCombine/constant-fold-libfunc.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 declare double @acos(double) willreturn
   4
   5 ; Check that functions without any function attributes are simplified.
   6
   7 define double @test_simplify_acos() {
   8 ; CHECK-LABEL: @test_simplify_acos
   9   %pi = call double @acos(double -1.000000e+00)
  10 ; CHECK-NOT: call double @acos
  11 ; CHECK: ret double 0x400921FB54442D18
  12   ret double %pi
  13 }
  14
  15 ; Check that we don't constant fold builtin functions.
  16
  17 define double @test_acos_nobuiltin() {
  18 ; CHECK-LABEL: @test_acos_nobuiltin
  19   %pi = call double @acos(double -1.000000e+00) nobuiltin
  20 ; CHECK: call double @acos(double -1.000000e+00)
  21   ret double %pi
  22 }
  23
  24 ; Check that we don't constant fold strictfp results that require rounding.
  25
  26 define double @test_acos_strictfp() strictfp {
  27 ; CHECK-LABEL: @test_acos_strictfp
  28   %pi = call double @acos(double -1.000000e+00) strictfp
  29 ; CHECK: call double @acos(double -1.000000e+00)
  30   ret double %pi
  31 }