459 lines · plain
1; RUN: opt -mtriple msp430 -passes=instcombine -S < %s | FileCheck %s2 3; Test case was copied from pow_fp_int.ll but adjusted for 16-bit int.4; Assuming that we can't generate test checks for the same reason (PR42740).5 6define double @pow_sitofp_const_base_fast(i16 %x) {7; CHECK-LABEL: @pow_sitofp_const_base_fast(8; CHECK-NEXT: [[TMP1:%.*]] = tail call afn float @llvm.powi.f32.i16(float 7.000000e+00, i16 [[X:%.*]])9; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP1]] to double10; CHECK-NEXT: ret double [[RES]]11;12 %subfp = sitofp i16 %x to float13 %pow = tail call afn float @llvm.pow.f32(float 7.000000e+00, float %subfp)14 %res = fpext float %pow to double15 ret double %res16}17 18define double @pow_uitofp_const_base_fast(i15 %x) {19; CHECK-LABEL: @pow_uitofp_const_base_fast(20; CHECK-NEXT: [[TMP1:%.*]] = zext i15 [[X:%.*]] to i1621; CHECK-NEXT: [[TMP2:%.*]] = tail call afn float @llvm.powi.f32.i16(float 7.000000e+00, i16 [[TMP1]])22; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP2]] to double23; CHECK-NEXT: ret double [[RES]]24;25 %subfp = uitofp i15 %x to float26 %pow = tail call afn float @llvm.pow.f32(float 7.000000e+00, float %subfp)27 %res = fpext float %pow to double28 ret double %res29}30 31define double @pow_sitofp_double_const_base_fast(i16 %x) {32; CHECK-LABEL: @pow_sitofp_double_const_base_fast(33; CHECK-NEXT: [[TMP1:%.*]] = tail call afn double @llvm.powi.f64.i16(double 7.000000e+00, i16 [[X:%.*]])34; CHECK-NEXT: ret double [[TMP1]]35;36 %subfp = sitofp i16 %x to double37 %pow = tail call afn double @llvm.pow.f64(double 7.000000e+00, double %subfp)38 ret double %pow39}40 41define double @pow_uitofp_double_const_base_fast(i15 %x) {42; CHECK-LABEL: @pow_uitofp_double_const_base_fast(43; CHECK-NEXT: [[TMP1:%.*]] = zext i15 [[X:%.*]] to i1644; CHECK-NEXT: [[TMP2:%.*]] = tail call afn double @llvm.powi.f64.i16(double 7.000000e+00, i16 [[TMP1]])45; CHECK-NEXT: ret double [[TMP2]]46;47 %subfp = uitofp i15 %x to double48 %pow = tail call afn double @llvm.pow.f64(double 7.000000e+00, double %subfp)49 ret double %pow50}51 52define double @pow_sitofp_double_const_base_2_fast(i16 %x) {53; CHECK-LABEL: @pow_sitofp_double_const_base_2_fast(54; CHECK-NEXT: [[LDEXPF:%.*]] = tail call afn float @llvm.ldexp.f32.i16(float 1.000000e+00, i16 [[X:%.*]])55; CHECK-NEXT: [[RES:%.*]] = fpext float [[LDEXPF]] to double56; CHECK-NEXT: ret double [[RES]]57;58 %subfp = sitofp i16 %x to float59 %pow = tail call afn float @llvm.pow.f32(float 2.000000e+00, float %subfp)60 %res = fpext float %pow to double61 ret double %res62}63 64define double @pow_sitofp_double_const_base_power_of_2_fast(i16 %x) {65; CHECK-LABEL: @pow_sitofp_double_const_base_power_of_2_fast(66; CHECK-NEXT: [[SUBFP:%.*]] = sitofp i16 [[X:%.*]] to float67; CHECK-NEXT: [[MUL:%.*]] = fmul afn float [[SUBFP]], 4.000000e+0068; CHECK-NEXT: [[EXP2:%.*]] = tail call afn float @llvm.exp2.f32(float [[MUL]])69; CHECK-NEXT: [[RES:%.*]] = fpext float [[EXP2]] to double70; CHECK-NEXT: ret double [[RES]]71;72 %subfp = sitofp i16 %x to float73 %pow = tail call afn float @llvm.pow.f32(float 16.000000e+00, float %subfp)74 %res = fpext float %pow to double75 ret double %res76}77 78define double @pow_uitofp_const_base_2_fast(i15 %x) {79; CHECK-LABEL: @pow_uitofp_const_base_2_fast(80; CHECK-NEXT: [[TMP1:%.*]] = zext i15 [[X:%.*]] to i1681; CHECK-NEXT: [[LDEXPF:%.*]] = tail call afn float @llvm.ldexp.f32.i16(float 1.000000e+00, i16 [[TMP1]])82; CHECK-NEXT: [[RES:%.*]] = fpext float [[LDEXPF]] to double83; CHECK-NEXT: ret double [[RES]]84;85 %subfp = uitofp i15 %x to float86 %pow = tail call afn float @llvm.pow.f32(float 2.000000e+00, float %subfp)87 %res = fpext float %pow to double88 ret double %res89}90 91define double @pow_uitofp_const_base_power_of_2_fast(i15 %x) {92; CHECK-LABEL: @pow_uitofp_const_base_power_of_2_fast(93; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i15 [[X:%.*]] to float94; CHECK-NEXT: [[MUL:%.*]] = fmul afn float [[SUBFP]], 4.000000e+0095; CHECK-NEXT: [[EXP2:%.*]] = tail call afn float @llvm.exp2.f32(float [[MUL]])96; CHECK-NEXT: [[RES:%.*]] = fpext float [[EXP2]] to double97; CHECK-NEXT: ret double [[RES]]98;99 %subfp = uitofp i15 %x to float100 %pow = tail call afn float @llvm.pow.f32(float 16.000000e+00, float %subfp)101 %res = fpext float %pow to double102 ret double %res103}104 105define double @pow_sitofp_float_base_fast(float %base, i16 %x) {106; CHECK-LABEL: @pow_sitofp_float_base_fast(107; CHECK-NEXT: [[TMP1:%.*]] = tail call afn float @llvm.powi.f32.i16(float [[BASE:%.*]], i16 [[X:%.*]])108; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP1]] to double109; CHECK-NEXT: ret double [[RES]]110;111 %subfp = sitofp i16 %x to float112 %pow = tail call afn float @llvm.pow.f32(float %base, float %subfp)113 %res = fpext float %pow to double114 ret double %res115}116 117define double @pow_uitofp_float_base_fast(float %base, i15 %x) {118; CHECK-LABEL: @pow_uitofp_float_base_fast(119; CHECK-NEXT: [[TMP1:%.*]] = zext i15 [[X:%.*]] to i16120; CHECK-NEXT: [[TMP2:%.*]] = tail call afn float @llvm.powi.f32.i16(float [[BASE:%.*]], i16 [[TMP1]])121; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP2]] to double122; CHECK-NEXT: ret double [[RES]]123;124 %subfp = uitofp i15 %x to float125 %pow = tail call afn float @llvm.pow.f32(float %base, float %subfp)126 %res = fpext float %pow to double127 ret double %res128}129 130define double @pow_sitofp_double_base_fast(double %base, i16 %x) {131; CHECK-LABEL: @pow_sitofp_double_base_fast(132; CHECK-NEXT: [[TMP1:%.*]] = tail call afn double @llvm.powi.f64.i16(double [[BASE:%.*]], i16 [[X:%.*]])133; CHECK-NEXT: ret double [[TMP1]]134;135 %subfp = sitofp i16 %x to double136 %res = tail call afn double @llvm.pow.f64(double %base, double %subfp)137 ret double %res138}139 140define double @pow_uitofp_double_base_fast(double %base, i15 %x) {141; CHECK-LABEL: @pow_uitofp_double_base_fast(142; CHECK-NEXT: [[TMP1:%.*]] = zext i15 [[X:%.*]] to i16143; CHECK-NEXT: [[TMP2:%.*]] = tail call afn double @llvm.powi.f64.i16(double [[BASE:%.*]], i16 [[TMP1]])144; CHECK-NEXT: ret double [[TMP2]]145;146 %subfp = uitofp i15 %x to double147 %res = tail call afn double @llvm.pow.f64(double %base, double %subfp)148 ret double %res149}150 151define double @pow_sitofp_const_base_fast_i8(i8 %x) {152; CHECK-LABEL: @pow_sitofp_const_base_fast_i8(153; CHECK-NEXT: [[TMP1:%.*]] = sext i8 [[X:%.*]] to i16154; CHECK-NEXT: [[TMP2:%.*]] = tail call afn float @llvm.powi.f32.i16(float 7.000000e+00, i16 [[TMP1]])155; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP2]] to double156; CHECK-NEXT: ret double [[RES]]157;158 %subfp = sitofp i8 %x to float159 %pow = tail call afn float @llvm.pow.f32(float 7.000000e+00, float %subfp)160 %res = fpext float %pow to double161 ret double %res162}163 164define double @pow_sitofp_const_base_fast_i16(i16 %x) {165; CHECK-LABEL: @pow_sitofp_const_base_fast_i16(166; CHECK-NEXT: [[TMP1:%.*]] = tail call afn float @llvm.powi.f32.i16(float 7.000000e+00, i16 [[X:%.*]])167; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP1]] to double168; CHECK-NEXT: ret double [[RES]]169;170 %subfp = sitofp i16 %x to float171 %pow = tail call afn float @llvm.pow.f32(float 7.000000e+00, float %subfp)172 %res = fpext float %pow to double173 ret double %res174}175 176 177define double @pow_uitofp_const_base_fast_i8(i8 %x) {178; CHECK-LABEL: @pow_uitofp_const_base_fast_i8(179; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[X:%.*]] to i16180; CHECK-NEXT: [[TMP2:%.*]] = tail call afn float @llvm.powi.f32.i16(float 7.000000e+00, i16 [[TMP1]])181; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP2]] to double182; CHECK-NEXT: ret double [[RES]]183;184 %subfp = uitofp i8 %x to float185 %pow = tail call afn float @llvm.pow.f32(float 7.000000e+00, float %subfp)186 %res = fpext float %pow to double187 ret double %res188}189 190define double @pow_uitofp_const_base_afn_i16(i16 %x) {191; CHECK-LABEL: @pow_uitofp_const_base_afn_i16(192; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to float193; CHECK-NEXT: [[POW:%.*]] = tail call afn float @llvm.pow.f32(float 7.000000e+00, float [[SUBFP]])194; CHECK-NEXT: [[RES:%.*]] = fpext float [[POW]] to double195; CHECK-NEXT: ret double [[RES]]196;197 %subfp = uitofp i16 %x to float198 %pow = tail call afn float @llvm.pow.f32(float 7.000000e+00, float %subfp)199 %res = fpext float %pow to double200 ret double %res201}202 203define double @powf_exp_const_int_fast(double %base) {204; CHECK-LABEL: @powf_exp_const_int_fast(205; CHECK-NEXT: [[TMP1:%.*]] = tail call fast double @llvm.powi.f64.i16(double [[BASE:%.*]], i16 40)206; CHECK-NEXT: ret double [[TMP1]]207;208 %res = tail call fast double @llvm.pow.f64(double %base, double 4.000000e+01)209 ret double %res210}211 212define double @powf_exp_const2_int_fast(double %base) {213; CHECK-LABEL: @powf_exp_const2_int_fast(214; CHECK-NEXT: [[TMP1:%.*]] = tail call fast double @llvm.powi.f64.i16(double [[BASE:%.*]], i16 -40)215; CHECK-NEXT: ret double [[TMP1]]216;217 %res = tail call fast double @llvm.pow.f64(double %base, double -4.000000e+01)218 ret double %res219}220 221; Negative tests222 223define double @pow_uitofp_const_base_fast_i16(i16 %x) {224; CHECK-LABEL: @pow_uitofp_const_base_fast_i16(225; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to float226; CHECK-NEXT: [[MUL:%.*]] = fmul fast float [[SUBFP]], 0x4006757{{.*}}227; CHECK-NEXT: [[EXP2:%.*]] = tail call fast float @llvm.exp2.f32(float [[MUL]])228; CHECK-NEXT: [[RES:%.*]] = fpext float [[EXP2]] to double229; CHECK-NEXT: ret double [[RES]]230;231 %subfp = uitofp i16 %x to float232 %pow = tail call fast float @llvm.pow.f32(float 7.000000e+00, float %subfp)233 %res = fpext float %pow to double234 ret double %res235}236 237define double @pow_uitofp_const_base_2_fast_i16(i16 %x) {238; CHECK-LABEL: @pow_uitofp_const_base_2_fast_i16(239; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to float240; CHECK-NEXT: [[EXP2:%.*]] = tail call fast float @llvm.exp2.f32(float [[SUBFP]])241; CHECK-NEXT: [[RES:%.*]] = fpext float [[EXP2]] to double242; CHECK-NEXT: ret double [[RES]]243;244 %subfp = uitofp i16 %x to float245 %pow = tail call fast float @llvm.pow.f32(float 2.000000e+00, float %subfp)246 %res = fpext float %pow to double247 ret double %res248}249 250define double @pow_uitofp_const_base_power_of_2_fast_i16(i16 %x) {251; CHECK-LABEL: @pow_uitofp_const_base_power_of_2_fast_i16(252; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to float253; CHECK-NEXT: [[MUL:%.*]] = fmul fast float [[SUBFP]], 4.000000e+00254; CHECK-NEXT: [[EXP2:%.*]] = tail call fast float @llvm.exp2.f32(float [[MUL]])255; CHECK-NEXT: [[RES:%.*]] = fpext float [[EXP2]] to double256; CHECK-NEXT: ret double [[RES]]257;258 %subfp = uitofp i16 %x to float259 %pow = tail call fast float @llvm.pow.f32(float 16.000000e+00, float %subfp)260 %res = fpext float %pow to double261 ret double %res262}263 264define double @pow_uitofp_float_base_fast_i16(float %base, i16 %x) {265; CHECK-LABEL: @pow_uitofp_float_base_fast_i16(266; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to float267; CHECK-NEXT: [[POW:%.*]] = tail call fast float @llvm.pow.f32(float [[BASE:%.*]], float [[SUBFP]])268; CHECK-NEXT: [[RES:%.*]] = fpext float [[POW]] to double269; CHECK-NEXT: ret double [[RES]]270;271 %subfp = uitofp i16 %x to float272 %pow = tail call fast float @llvm.pow.f32(float %base, float %subfp)273 %res = fpext float %pow to double274 ret double %res275}276 277define double @pow_uitofp_double_base_fast_i16(double %base, i16 %x) {278; CHECK-LABEL: @pow_uitofp_double_base_fast_i16(279; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to double280; CHECK-NEXT: [[RES:%.*]] = tail call fast double @llvm.pow.f64(double [[BASE:%.*]], double [[SUBFP]])281; CHECK-NEXT: ret double [[RES]]282;283 %subfp = uitofp i16 %x to double284 %res = tail call fast double @llvm.pow.f64(double %base, double %subfp)285 ret double %res286}287 288define double @pow_sitofp_const_base_no_fast(i16 %x) {289; CHECK-LABEL: @pow_sitofp_const_base_no_fast(290; CHECK-NEXT: [[SUBFP:%.*]] = sitofp i16 [[X:%.*]] to float291; CHECK-NEXT: [[POW:%.*]] = tail call float @llvm.pow.f32(float 7.000000e+00, float [[SUBFP]])292; CHECK-NEXT: [[RES:%.*]] = fpext float [[POW]] to double293; CHECK-NEXT: ret double [[RES]]294;295 %subfp = sitofp i16 %x to float296 %pow = tail call float @llvm.pow.f32(float 7.000000e+00, float %subfp)297 %res = fpext float %pow to double298 ret double %res299}300 301define double @pow_uitofp_const_base_no_fast(i16 %x) {302; CHECK-LABEL: @pow_uitofp_const_base_no_fast(303; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to float304; CHECK-NEXT: [[POW:%.*]] = tail call float @llvm.pow.f32(float 7.000000e+00, float [[SUBFP]])305; CHECK-NEXT: [[RES:%.*]] = fpext float [[POW]] to double306; CHECK-NEXT: ret double [[RES]]307;308 %subfp = uitofp i16 %x to float309 %pow = tail call float @llvm.pow.f32(float 7.000000e+00, float %subfp)310 %res = fpext float %pow to double311 ret double %res312}313 314define double @pow_sitofp_const_base_2_no_fast(i16 %x) {315; CHECK-LABEL: @pow_sitofp_const_base_2_no_fast(316; CHECK-NEXT: [[LDEXPF:%.*]] = tail call float @llvm.ldexp.f32.i16(float 1.000000e+00, i16 [[X:%.*]])317; CHECK-NEXT: [[RES:%.*]] = fpext float [[LDEXPF]] to double318; CHECK-NEXT: ret double [[RES]]319;320 %subfp = sitofp i16 %x to float321 %pow = tail call float @llvm.pow.f32(float 2.000000e+00, float %subfp)322 %res = fpext float %pow to double323 ret double %res324}325 326define double @pow_sitofp_const_base_power_of_2_no_fast(i16 %x) {327; CHECK-LABEL: @pow_sitofp_const_base_power_of_2_no_fast(328; CHECK-NEXT: [[SUBFP:%.*]] = sitofp i16 [[X:%.*]] to float329; CHECK-NEXT: [[MUL:%.*]] = fmul float [[SUBFP]], 4.000000e+00330; CHECK-NEXT: [[EXP2:%.*]] = tail call float @llvm.exp2.f32(float [[MUL]])331; CHECK-NEXT: [[RES:%.*]] = fpext float [[EXP2]] to double332; CHECK-NEXT: ret double [[RES]]333;334 %subfp = sitofp i16 %x to float335 %pow = tail call float @llvm.pow.f32(float 16.000000e+00, float %subfp)336 %res = fpext float %pow to double337 ret double %res338}339 340define double @pow_uitofp_const_base_2_no_fast(i16 %x) {341; CHECK-LABEL: @pow_uitofp_const_base_2_no_fast(342; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to float343; CHECK-NEXT: [[EXP2:%.*]] = tail call float @llvm.exp2.f32(float [[SUBFP]])344; CHECK-NEXT: [[RES:%.*]] = fpext float [[EXP2]] to double345; CHECK-NEXT: ret double [[RES]]346;347 %subfp = uitofp i16 %x to float348 %pow = tail call float @llvm.pow.f32(float 2.000000e+00, float %subfp)349 %res = fpext float %pow to double350 ret double %res351}352 353define double @pow_uitofp_const_base_power_of_2_no_fast(i16 %x) {354; CHECK-LABEL: @pow_uitofp_const_base_power_of_2_no_fast(355; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to float356; CHECK-NEXT: [[MUL:%.*]] = fmul float [[SUBFP]], 4.000000e+00357; CHECK-NEXT: [[EXP2:%.*]] = tail call float @llvm.exp2.f32(float [[MUL]])358; CHECK-NEXT: [[RES:%.*]] = fpext float [[EXP2]] to double359; CHECK-NEXT: ret double [[RES]]360;361 %subfp = uitofp i16 %x to float362 %pow = tail call float @llvm.pow.f32(float 16.000000e+00, float %subfp)363 %res = fpext float %pow to double364 ret double %res365}366 367define double @pow_sitofp_float_base_no_fast(float %base, i16 %x) {368; CHECK-LABEL: @pow_sitofp_float_base_no_fast(369; CHECK-NEXT: [[SUBFP:%.*]] = sitofp i16 [[X:%.*]] to float370; CHECK-NEXT: [[POW:%.*]] = tail call float @llvm.pow.f32(float [[BASE:%.*]], float [[SUBFP]])371; CHECK-NEXT: [[RES:%.*]] = fpext float [[POW]] to double372; CHECK-NEXT: ret double [[RES]]373;374 %subfp = sitofp i16 %x to float375 %pow = tail call float @llvm.pow.f32(float %base, float %subfp)376 %res = fpext float %pow to double377 ret double %res378}379 380define double @pow_uitofp_float_base_no_fast(float %base, i16 %x) {381; CHECK-LABEL: @pow_uitofp_float_base_no_fast(382; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to float383; CHECK-NEXT: [[POW:%.*]] = tail call float @llvm.pow.f32(float [[BASE:%.*]], float [[SUBFP]])384; CHECK-NEXT: [[RES:%.*]] = fpext float [[POW]] to double385; CHECK-NEXT: ret double [[RES]]386;387 %subfp = uitofp i16 %x to float388 %pow = tail call float @llvm.pow.f32(float %base, float %subfp)389 %res = fpext float %pow to double390 ret double %res391}392 393define double @pow_sitofp_double_base_no_fast(double %base, i16 %x) {394; CHECK-LABEL: @pow_sitofp_double_base_no_fast(395; CHECK-NEXT: [[SUBFP:%.*]] = sitofp i16 [[X:%.*]] to double396; CHECK-NEXT: [[POW:%.*]] = tail call double @llvm.pow.f64(double [[BASE:%.*]], double [[SUBFP]])397; CHECK-NEXT: ret double [[POW]]398;399 %subfp = sitofp i16 %x to double400 %pow = tail call double @llvm.pow.f64(double %base, double %subfp)401 ret double %pow402}403 404define double @pow_uitofp_double_base_no_fast(double %base, i16 %x) {405; CHECK-LABEL: @pow_uitofp_double_base_no_fast(406; CHECK-NEXT: [[SUBFP:%.*]] = uitofp i16 [[X:%.*]] to double407; CHECK-NEXT: [[POW:%.*]] = tail call double @llvm.pow.f64(double [[BASE:%.*]], double [[SUBFP]])408; CHECK-NEXT: ret double [[POW]]409;410 %subfp = uitofp i16 %x to double411 %pow = tail call double @llvm.pow.f64(double %base, double %subfp)412 ret double %pow413}414 415; negative test - pow with no FMF is not the same as the loosely-specified powi416 417define double @powf_exp_const_int_no_fast(double %base) {418; CHECK-LABEL: @powf_exp_const_int_no_fast(419; CHECK-NEXT: [[RES:%.*]] = tail call double @llvm.pow.f64(double [[BASE:%.*]], double 4.000000e+01)420; CHECK-NEXT: ret double [[RES]]421;422 %res = tail call double @llvm.pow.f64(double %base, double 4.000000e+01)423 ret double %res424}425 426define double @powf_exp_const_not_int_fast(double %base) {427; CHECK-LABEL: @powf_exp_const_not_int_fast(428; CHECK-NEXT: [[SQRT:%.*]] = call fast double @llvm.sqrt.f64(double [[BASE:%.*]])429; CHECK-NEXT: [[POWI:%.*]] = tail call fast double @llvm.powi.f64.i16(double [[BASE]], i16 37)430; CHECK-NEXT: [[RES:%.*]] = fmul fast double [[POWI]], [[SQRT]]431; CHECK-NEXT: ret double [[RES]]432;433 %res = tail call fast double @llvm.pow.f64(double %base, double 3.750000e+01)434 ret double %res435}436 437define double @powf_exp_const_not_int_no_fast(double %base) {438; CHECK-LABEL: @powf_exp_const_not_int_no_fast(439; CHECK-NEXT: [[RES:%.*]] = tail call double @llvm.pow.f64(double [[BASE:%.*]], double 3.750000e+01)440; CHECK-NEXT: ret double [[RES]]441;442 %res = tail call double @llvm.pow.f64(double %base, double 3.750000e+01)443 ret double %res444}445 446; negative test - pow with no FMF is not the same as the loosely-specified powi447 448define double @powf_exp_const2_int_no_fast(double %base) {449; CHECK-LABEL: @powf_exp_const2_int_no_fast(450; CHECK-NEXT: [[RES:%.*]] = tail call double @llvm.pow.f64(double [[BASE:%.*]], double -4.000000e+01)451; CHECK-NEXT: ret double [[RES]]452;453 %res = tail call double @llvm.pow.f64(double %base, double -4.000000e+01)454 ret double %res455}456 457declare float @llvm.pow.f32(float, float)458declare double @llvm.pow.f64(double, double)459