Home | History | Annotate | Download | only in InstCombine
      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) {
      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) {
     17   %call = call float @sqr(float %f1)
     18   %call1 = call fast float @sqrtf(float %call)
     19   ret float %call1
     20 }
     21 
     22 define float @sqr(float %f) {
     23   %mul = fmul fast float %f, %f
     24   ret float %mul
     25 }
     26 
     27 declare float @sqrtf(float)
     28 
     29