1 ; RUN: llc -verify-machineinstrs < %s | FileCheck %s
2 target datalayout = "E-m:e-i64:64-n32:64"
3 target triple = "powerpc64-unknown-linux-gnu"
5 define void @LSH_recall_init(float %d_min, float %W) #0 {
7 br i1 undef, label %for.body.lr.ph, label %for.end
9 ; CHECK-LABEL: @LSH_recall_init
12 for.body.lr.ph: ; preds = %entry
13 %conv3 = fpext float %W to double
16 for.body: ; preds = %for.body, %for.body.lr.ph
17 %div = fdiv reassoc arcp float 0.000000e+00, %W
18 %add = fadd reassoc float %div, %d_min
19 %conv2 = fpext float %add to double
20 %0 = tail call double @llvm.sqrt.f64(double %conv2)
21 %div4 = fdiv reassoc arcp double %conv3, %0
22 %call = tail call signext i32 @p_col_helper(double %div4) #2
25 for.end: ; preds = %entry
29 ; Function Attrs: nounwind readnone
30 declare double @llvm.sqrt.f64(double) #1
32 declare signext i32 @p_col_helper(...) #2
34 attributes #0 = { nounwind "no-infs-fp-math"="true" "no-nans-fp-math"="true" "target-cpu"="pwr7" "unsafe-fp-math"="true" }
35 attributes #1 = { nounwind readnone }
36 attributes #2 = { nounwind }