192 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4declare double @llvm.sqrt.f64(double)5 6define double @sqrt_div_fast(double %x, double %y, double %z) {7; CHECK-LABEL: @sqrt_div_fast(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[TMP0:%.*]] = fdiv fast double [[Z:%.*]], [[Y:%.*]]10; CHECK-NEXT: [[TMP1:%.*]] = call fast double @llvm.sqrt.f64(double [[TMP0]])11; CHECK-NEXT: [[DIV1:%.*]] = fmul fast double [[X:%.*]], [[TMP1]]12; CHECK-NEXT: ret double [[DIV1]]13;14entry:15 %div = fdiv fast double %y, %z16 %sqrt = call fast double @llvm.sqrt.f64(double %div)17 %div1 = fdiv fast double %x, %sqrt18 ret double %div119}20 21define double @sqrt_div(double %x, double %y, double %z) {22; CHECK-LABEL: @sqrt_div(23; CHECK-NEXT: entry:24; CHECK-NEXT: [[DIV:%.*]] = fdiv double [[Y:%.*]], [[Z:%.*]]25; CHECK-NEXT: [[SQRT:%.*]] = call double @llvm.sqrt.f64(double [[DIV]])26; CHECK-NEXT: [[DIV1:%.*]] = fdiv double [[X:%.*]], [[SQRT]]27; CHECK-NEXT: ret double [[DIV1]]28;29entry:30 %div = fdiv double %y, %z31 %sqrt = call double @llvm.sqrt.f64(double %div)32 %div1 = fdiv double %x, %sqrt33 ret double %div134}35 36define double @sqrt_div_reassoc_arcp(double %x, double %y, double %z) {37; CHECK-LABEL: @sqrt_div_reassoc_arcp(38; CHECK-NEXT: entry:39; CHECK-NEXT: [[TMP0:%.*]] = fdiv reassoc arcp double [[Z:%.*]], [[Y:%.*]]40; CHECK-NEXT: [[TMP1:%.*]] = call reassoc arcp double @llvm.sqrt.f64(double [[TMP0]])41; CHECK-NEXT: [[DIV1:%.*]] = fmul reassoc arcp double [[X:%.*]], [[TMP1]]42; CHECK-NEXT: ret double [[DIV1]]43;44entry:45 %div = fdiv arcp reassoc double %y, %z46 %sqrt = call arcp reassoc double @llvm.sqrt.f64(double %div)47 %div1 = fdiv arcp reassoc double %x, %sqrt48 ret double %div149}50 51define double @sqrt_div_reassoc_missing(double %x, double %y, double %z) {52; CHECK-LABEL: @sqrt_div_reassoc_missing(53; CHECK-NEXT: entry:54; CHECK-NEXT: [[DIV:%.*]] = fdiv arcp double [[Y:%.*]], [[Z:%.*]]55; CHECK-NEXT: [[SQRT:%.*]] = call reassoc arcp double @llvm.sqrt.f64(double [[DIV]])56; CHECK-NEXT: [[DIV1:%.*]] = fdiv reassoc arcp double [[X:%.*]], [[SQRT]]57; CHECK-NEXT: ret double [[DIV1]]58;59entry:60 %div = fdiv arcp double %y, %z61 %sqrt = call arcp reassoc double @llvm.sqrt.f64(double %div)62 %div1 = fdiv arcp reassoc double %x, %sqrt63 ret double %div164}65 66define double @sqrt_div_reassoc_missing2(double %x, double %y, double %z) {67; CHECK-LABEL: @sqrt_div_reassoc_missing2(68; CHECK-NEXT: entry:69; CHECK-NEXT: [[DIV:%.*]] = fdiv reassoc arcp double [[Y:%.*]], [[Z:%.*]]70; CHECK-NEXT: [[SQRT:%.*]] = call arcp double @llvm.sqrt.f64(double [[DIV]])71; CHECK-NEXT: [[DIV1:%.*]] = fdiv reassoc arcp double [[X:%.*]], [[SQRT]]72; CHECK-NEXT: ret double [[DIV1]]73;74entry:75 %div = fdiv arcp reassoc double %y, %z76 %sqrt = call arcp double @llvm.sqrt.f64(double %div)77 %div1 = fdiv arcp reassoc double %x, %sqrt78 ret double %div179}80 81define double @sqrt_div_reassoc_missing3(double %x, double %y, double %z) {82; CHECK-LABEL: @sqrt_div_reassoc_missing3(83; CHECK-NEXT: entry:84; CHECK-NEXT: [[DIV:%.*]] = fdiv reassoc arcp double [[Y:%.*]], [[Z:%.*]]85; CHECK-NEXT: [[SQRT:%.*]] = call reassoc arcp double @llvm.sqrt.f64(double [[DIV]])86; CHECK-NEXT: [[DIV1:%.*]] = fdiv arcp double [[X:%.*]], [[SQRT]]87; CHECK-NEXT: ret double [[DIV1]]88;89entry:90 %div = fdiv arcp reassoc double %y, %z91 %sqrt = call arcp reassoc double @llvm.sqrt.f64(double %div)92 %div1 = fdiv arcp double %x, %sqrt93 ret double %div194}95 96define double @sqrt_div_arcp_missing(double %x, double %y, double %z) {97; CHECK-LABEL: @sqrt_div_arcp_missing(98; CHECK-NEXT: entry:99; CHECK-NEXT: [[TMP0:%.*]] = fdiv reassoc double [[Z:%.*]], [[Y:%.*]]100; CHECK-NEXT: [[TMP1:%.*]] = call reassoc arcp double @llvm.sqrt.f64(double [[TMP0]])101; CHECK-NEXT: [[DIV1:%.*]] = fmul reassoc arcp double [[X:%.*]], [[TMP1]]102; CHECK-NEXT: ret double [[DIV1]]103;104entry:105 %div = fdiv reassoc double %y, %z106 %sqrt = call arcp reassoc double @llvm.sqrt.f64(double %div)107 %div1 = fdiv arcp reassoc double %x, %sqrt108 ret double %div1109}110 111define double @sqrt_div_arcp_missing2(double %x, double %y, double %z) {112; CHECK-LABEL: @sqrt_div_arcp_missing2(113; CHECK-NEXT: entry:114; CHECK-NEXT: [[DIV:%.*]] = fdiv reassoc arcp double [[Y:%.*]], [[Z:%.*]]115; CHECK-NEXT: [[SQRT:%.*]] = call reassoc double @llvm.sqrt.f64(double [[DIV]])116; CHECK-NEXT: [[DIV1:%.*]] = fdiv reassoc arcp double [[X:%.*]], [[SQRT]]117; CHECK-NEXT: ret double [[DIV1]]118;119entry:120 %div = fdiv arcp reassoc double %y, %z121 %sqrt = call reassoc double @llvm.sqrt.f64(double %div)122 %div1 = fdiv arcp reassoc double %x, %sqrt123 ret double %div1124}125 126define double @sqrt_div_arcp_missing3(double %x, double %y, double %z) {127; CHECK-LABEL: @sqrt_div_arcp_missing3(128; CHECK-NEXT: entry:129; CHECK-NEXT: [[DIV:%.*]] = fdiv reassoc arcp double [[Y:%.*]], [[Z:%.*]]130; CHECK-NEXT: [[SQRT:%.*]] = call reassoc arcp double @llvm.sqrt.f64(double [[DIV]])131; CHECK-NEXT: [[DIV1:%.*]] = fdiv reassoc double [[X:%.*]], [[SQRT]]132; CHECK-NEXT: ret double [[DIV1]]133;134entry:135 %div = fdiv arcp reassoc double %y, %z136 %sqrt = call arcp reassoc double @llvm.sqrt.f64(double %div)137 %div1 = fdiv reassoc double %x, %sqrt138 ret double %div1139}140 141declare void @use(double)142define double @sqrt_div_fast_multiple_uses_1(double %x, double %y, double %z) {143; CHECK-LABEL: @sqrt_div_fast_multiple_uses_1(144; CHECK-NEXT: entry:145; CHECK-NEXT: [[DIV:%.*]] = fdiv fast double [[Y:%.*]], [[Z:%.*]]146; CHECK-NEXT: call void @use(double [[DIV]])147; CHECK-NEXT: [[SQRT:%.*]] = call fast double @llvm.sqrt.f64(double [[DIV]])148; CHECK-NEXT: [[DIV1:%.*]] = fdiv fast double [[X:%.*]], [[SQRT]]149; CHECK-NEXT: ret double [[DIV1]]150;151entry:152 %div = fdiv fast double %y, %z153 call void @use(double %div)154 %sqrt = call fast double @llvm.sqrt.f64(double %div)155 %div1 = fdiv fast double %x, %sqrt156 ret double %div1157}158 159define double @sqrt_div_fast_multiple_uses_2(double %x, double %y, double %z) {160; CHECK-LABEL: @sqrt_div_fast_multiple_uses_2(161; CHECK-NEXT: entry:162; CHECK-NEXT: [[DIV:%.*]] = fdiv fast double [[Y:%.*]], [[Z:%.*]]163; CHECK-NEXT: [[SQRT:%.*]] = call fast double @llvm.sqrt.f64(double [[DIV]])164; CHECK-NEXT: call void @use(double [[SQRT]])165; CHECK-NEXT: [[DIV1:%.*]] = fdiv fast double [[X:%.*]], [[SQRT]]166; CHECK-NEXT: ret double [[DIV1]]167;168entry:169 %div = fdiv fast double %y, %z170 %sqrt = call fast double @llvm.sqrt.f64(double %div)171 call void @use(double %sqrt)172 %div1 = fdiv fast double %x, %sqrt173 ret double %div1174}175 176define float @sqrt_non_div_operator(float %a) {177; CHECK-LABEL: @sqrt_non_div_operator(178; CHECK-NEXT: entry:179; CHECK-NEXT: [[CONV:%.*]] = fpext float [[A:%.*]] to double180; CHECK-NEXT: [[SQRT:%.*]] = call fast double @llvm.sqrt.f64(double [[CONV]])181; CHECK-NEXT: [[DIV:%.*]] = fdiv fast double [[CONV]], [[SQRT]]182; CHECK-NEXT: [[CONV2:%.*]] = fptrunc double [[DIV]] to float183; CHECK-NEXT: ret float [[CONV2]]184;185entry:186 %conv = fpext float %a to double187 %sqrt = call fast double @llvm.sqrt.f64(double %conv)188 %div = fdiv fast double %conv, %sqrt189 %conv2 = fptrunc double %div to float190 ret float %conv2191}192