226 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4define float @test1(float %x) nounwind readnone ssp {5; CHECK-LABEL: @test1(6; CHECK-NEXT: [[SQRTF:%.*]] = call float @sqrtf(float [[X:%.*]]) #[[ATTR4:[0-9]+]]7; CHECK-NEXT: ret float [[SQRTF]]8;9 %conv = fpext float %x to double10 %call = tail call double @sqrt(double %conv) readnone nounwind11 %conv1 = fptrunc double %call to float12 ret float %conv113}14 15; PR809616 17define float @test2(float %x) nounwind readnone ssp {18; CHECK-LABEL: @test2(19; CHECK-NEXT: [[SQRTF:%.*]] = call float @sqrtf(float [[X:%.*]]) #[[ATTR4]]20; CHECK-NEXT: ret float [[SQRTF]]21;22 %conv = fpext float %x to double23 %call = tail call double @sqrt(double %conv) nounwind24 %conv1 = fptrunc double %call to float25 ret float %conv126}27 28; rdar://976319329; Can't fold (fptrunc (sqrt (fpext x))) -> (sqrtf x) since there is another30; use of sqrt result.31 32define float @test3(ptr %v) nounwind uwtable ssp {33; CHECK-LABEL: @test3(34; CHECK-NEXT: [[CALL34:%.*]] = call double @sqrt(double 0x7FF8000000000000) #[[ATTR4]]35; CHECK-NEXT: [[CALL36:%.*]] = call i32 @foo(double [[CALL34]]) #[[ATTR5:[0-9]+]]36; CHECK-NEXT: [[CONV38:%.*]] = fptrunc double [[CALL34]] to float37; CHECK-NEXT: ret float [[CONV38]]38;39 %arrayidx13 = getelementptr inbounds float, ptr %v, i64 240 %tmp14 = load float, ptr %arrayidx1341 %mul18 = fmul float %tmp14, %tmp1442 %add19 = fadd float undef, %mul1843 %conv = fpext float %add19 to double44 %call34 = call double @sqrt(double %conv) readnone45 %call36 = call i32 (double) @foo(double %call34) nounwind46 %conv38 = fptrunc double %call34 to float47 ret float %conv3848}49 50; PR43347 - https://bugs.llvm.org/show_bug.cgi?id=4334751 52define void @0(float %f) {53; CHECK-LABEL: @0(54; CHECK-NEXT: [[SQRTF:%.*]] = call float @sqrtf(float [[F:%.*]]) #[[ATTR2:[0-9]+]]55; CHECK-NEXT: ret void56;57 %d = fpext float %f to double58 %r = call double @sqrt(double %d)59 ret void60}61 62define float @sqrt_call_nnan_f32(float %x) {63; CHECK-LABEL: @sqrt_call_nnan_f32(64; CHECK-NEXT: [[SQRT:%.*]] = call nnan float @sqrtf(float [[X:%.*]])65; CHECK-NEXT: ret float [[SQRT]]66;67 %sqrt = call nnan float @sqrtf(float %x)68 ret float %sqrt69}70 71define double @sqrt_call_nnan_f64(double %x) {72; CHECK-LABEL: @sqrt_call_nnan_f64(73; CHECK-NEXT: [[SQRT:%.*]] = tail call nnan ninf double @sqrt(double [[X:%.*]])74; CHECK-NEXT: ret double [[SQRT]]75;76 %sqrt = tail call nnan ninf double @sqrt(double %x)77 ret double %sqrt78}79 80define float @sqrt_call_fabs_f32(float %x) {81; CHECK-LABEL: @sqrt_call_fabs_f32(82; CHECK-NEXT: [[A:%.*]] = call float @llvm.fabs.f32(float [[X:%.*]])83; CHECK-NEXT: [[SQRT:%.*]] = tail call float @sqrtf(float [[A]])84; CHECK-NEXT: ret float [[SQRT]]85;86 %a = call float @llvm.fabs.f32(float %x)87 %sqrt = tail call float @sqrtf(float %a)88 ret float %sqrt89}90 91define double @sqrt_exp(double %x) {92; CHECK-LABEL: @sqrt_exp(93; CHECK-NEXT: [[MERGED_SQRT:%.*]] = fmul reassoc double [[X:%.*]], 5.000000e-0194; CHECK-NEXT: [[E:%.*]] = call reassoc double @llvm.exp.f64(double [[MERGED_SQRT]])95; CHECK-NEXT: ret double [[E]]96;97 %e = call reassoc double @llvm.exp.f64(double %x)98 %res = call reassoc double @llvm.sqrt.f64(double %e)99 ret double %res100}101 102define double @sqrt_exp_2(double %x) {103; CHECK-LABEL: @sqrt_exp_2(104; CHECK-NEXT: [[MERGED_SQRT:%.*]] = fmul reassoc double [[X:%.*]], 5.000000e-01105; CHECK-NEXT: [[E:%.*]] = call reassoc double @exp(double [[MERGED_SQRT]])106; CHECK-NEXT: ret double [[E]]107;108 %e = call reassoc double @exp(double %x)109 %res = call reassoc double @sqrt(double %e)110 ret double %res111}112 113define double @sqrt_exp2(double %x) {114; CHECK-LABEL: @sqrt_exp2(115; CHECK-NEXT: [[MERGED_SQRT:%.*]] = fmul reassoc double [[X:%.*]], 5.000000e-01116; CHECK-NEXT: [[E:%.*]] = call reassoc double @exp2(double [[MERGED_SQRT]])117; CHECK-NEXT: ret double [[E]]118;119 %e = call reassoc double @exp2(double %x)120 %res = call reassoc double @sqrt(double %e)121 ret double %res122}123 124define double @sqrt_exp10(double %x) {125; CHECK-LABEL: @sqrt_exp10(126; CHECK-NEXT: [[MERGED_SQRT:%.*]] = fmul reassoc double [[X:%.*]], 5.000000e-01127; CHECK-NEXT: [[E:%.*]] = call reassoc double @exp10(double [[MERGED_SQRT]])128; CHECK-NEXT: ret double [[E]]129;130 %e = call reassoc double @exp10(double %x)131 %res = call reassoc double @sqrt(double %e)132 ret double %res133}134 135; Negative test136define double @sqrt_exp_nofast_1(double %x) {137; CHECK-LABEL: @sqrt_exp_nofast_1(138; CHECK-NEXT: [[E:%.*]] = call double @llvm.exp.f64(double [[X:%.*]])139; CHECK-NEXT: [[RES:%.*]] = call reassoc double @llvm.sqrt.f64(double [[E]])140; CHECK-NEXT: ret double [[RES]]141;142 %e = call double @llvm.exp.f64(double %x)143 %res = call reassoc double @llvm.sqrt.f64(double %e)144 ret double %res145}146 147; Negative test148define double @sqrt_exp_nofast_2(double %x) {149; CHECK-LABEL: @sqrt_exp_nofast_2(150; CHECK-NEXT: [[E:%.*]] = call reassoc double @llvm.exp.f64(double [[X:%.*]])151; CHECK-NEXT: [[RES:%.*]] = call double @llvm.sqrt.f64(double [[E]])152; CHECK-NEXT: ret double [[RES]]153;154 %e = call reassoc double @llvm.exp.f64(double %x)155 %res = call double @llvm.sqrt.f64(double %e)156 ret double %res157}158 159define double @sqrt_exp_merge_constant(double %x, double %y) {160; CHECK-LABEL: @sqrt_exp_merge_constant(161; CHECK-NEXT: [[MERGED_SQRT:%.*]] = fmul reassoc nsz double [[X:%.*]], 5.000000e+00162; CHECK-NEXT: [[E:%.*]] = call reassoc double @llvm.exp.f64(double [[MERGED_SQRT]])163; CHECK-NEXT: ret double [[E]]164;165 %mul = fmul reassoc nsz double %x, 10.0166 %e = call reassoc double @llvm.exp.f64(double %mul)167 %res = call reassoc nsz double @llvm.sqrt.f64(double %e)168 ret double %res169}170 171define double @sqrt_exp_intr_and_libcall(double %x) {172; CHECK-LABEL: @sqrt_exp_intr_and_libcall(173; CHECK-NEXT: [[MERGED_SQRT:%.*]] = fmul reassoc double [[X:%.*]], 5.000000e-01174; CHECK-NEXT: [[E:%.*]] = call reassoc double @exp(double [[MERGED_SQRT]])175; CHECK-NEXT: ret double [[E]]176;177 %e = call reassoc double @exp(double %x)178 %res = call reassoc double @llvm.sqrt.f64(double %e)179 ret double %res180}181 182define double @sqrt_exp_intr_and_libcall_2(double %x) {183; CHECK-LABEL: @sqrt_exp_intr_and_libcall_2(184; CHECK-NEXT: [[MERGED_SQRT:%.*]] = fmul reassoc double [[X:%.*]], 5.000000e-01185; CHECK-NEXT: [[E:%.*]] = call reassoc double @llvm.exp.f64(double [[MERGED_SQRT]])186; CHECK-NEXT: ret double [[E]]187;188 %e = call reassoc double @llvm.exp.f64(double %x)189 %res = call reassoc double @sqrt(double %e)190 ret double %res191}192 193define <2 x float> @sqrt_exp_vec(<2 x float> %x) {194; CHECK-LABEL: @sqrt_exp_vec(195; CHECK-NEXT: [[MERGED_SQRT:%.*]] = fmul reassoc <2 x float> [[X:%.*]], splat (float 5.000000e-01)196; CHECK-NEXT: [[E:%.*]] = call reassoc <2 x float> @llvm.exp.v2f32(<2 x float> [[MERGED_SQRT]])197; CHECK-NEXT: ret <2 x float> [[E]]198;199 %e = call reassoc <2 x float> @llvm.exp.v2f32(<2 x float> %x)200 %res = call reassoc <2 x float> @llvm.sqrt.v2f32(<2 x float> %e)201 ret <2 x float> %res202}203 204define <2 x float> @sqrt_unary_shuffle_ops(<2 x float> %x) {205; CHECK-LABEL: @sqrt_unary_shuffle_ops(206; CHECK-NEXT: [[R:%.*]] = call <2 x float> @llvm.sqrt.v2f32(<2 x float> [[A:%.*]])207; CHECK-NEXT: [[R1:%.*]] = shufflevector <2 x float> [[R]], <2 x float> poison, <2 x i32> <i32 1, i32 0>208; CHECK-NEXT: ret <2 x float> [[R1]]209;210 %a = shufflevector <2 x float> %x, <2 x float> poison, <2 x i32> <i32 1, i32 0>211 %r = call <2 x float> @llvm.sqrt(<2 x float> %a)212 ret <2 x float> %r213}214 215declare i32 @foo(double)216declare double @sqrt(double) readnone217declare float @sqrtf(float)218declare float @llvm.fabs.f32(float)219declare double @llvm.exp.f64(double)220declare double @llvm.sqrt.f64(double)221declare double @exp(double)222declare double @exp2(double)223declare double @exp10(double)224declare <2 x float> @llvm.exp.v2f32(<2 x float>)225declare <2 x float> @llvm.sqrt.v2f32(<2 x float>)226