test/Transforms/InstCombine/inline-intrinsic-assert.ll

   1 ; RUN: opt < %s -inline -instcombine -S | FileCheck %s
   2
   3 ; PR22857: http://llvm.org/bugs/show_bug.cgi?id=22857
   4 ; The inliner should not add an edge to an intrinsic and
   5 ; then assert that it did not add an edge to an intrinsic!
   6
   7 define float @foo(float %f1) #0 {
   8   %call = call float @bar(float %f1)
   9   ret float %call
  10
  11 ; CHECK-LABEL: @foo(
  12 ; CHECK-NEXT: call fast float @llvm.fabs.f32
  13 ; CHECK-NEXT: ret float
  14 }
  15
  16 define float @bar(float %f1) #0 {
  17   %call = call float @sqr(float %f1)
  18   %call1 = call float @sqrtf(float %call) #0
  19   ret float %call1
  20 }
  21
  22 define float @sqr(float %f) #0 {
  23   %mul = fmul fast float %f, %f
  24   ret float %mul
  25 }
  26
  27 declare float @sqrtf(float) #0
  28
  29 attributes #0 = { "unsafe-fp-math"="true" }
  30