• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt -instcombine -S -disable-simplify-libcalls < %s | FileCheck %s
2; rdar://10466410
3
4; Instcombine tries to fold (fptrunc (sqrt (fpext x))) -> (sqrtf x), but this
5; shouldn't fold when sqrtf isn't available.
6define float @foo(float %f) uwtable ssp {
7entry:
8; CHECK: %conv = fpext float %f to double
9; CHECK: %call = tail call double @sqrt(double %conv)
10; CHECK: %conv1 = fptrunc double %call to float
11  %conv = fpext float %f to double
12  %call = tail call double @sqrt(double %conv)
13  %conv1 = fptrunc double %call to float
14  ret float %conv1
15}
16
17declare double @sqrt(double)
18