356 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4define float @test_logf_pos(float %f) {5; CHECK-LABEL: define float @test_logf_pos(6; CHECK-SAME: float [[F:%.*]]) {7; CHECK-NEXT: [[ENTRY:.*:]]8; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+009; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]10; CHECK: [[IF_END]]:11; CHECK-NEXT: [[CALL:%.*]] = tail call float @llvm.log.f32(float [[F]])12; CHECK-NEXT: ret float [[CALL]]13; CHECK: [[RETURN]]:14; CHECK-NEXT: ret float 0.000000e+0015;16entry:17 %isinf = fcmp ole float %f, 0x000000000000000018 br i1 %isinf, label %return, label %if.end19 20if.end:21 %call = tail call float @logf(float %f)22 ret float %call23 24return:25 ret float 0.026}27 28define double @test_log_pos(double %f) {29; CHECK-LABEL: define double @test_log_pos(30; CHECK-SAME: double [[F:%.*]]) {31; CHECK-NEXT: [[ENTRY:.*:]]32; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt double [[F]], 0.000000e+0033; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]34; CHECK: [[IF_END]]:35; CHECK-NEXT: [[CALL:%.*]] = tail call double @llvm.log.f64(double [[F]])36; CHECK-NEXT: ret double [[CALL]]37; CHECK: [[RETURN]]:38; CHECK-NEXT: ret double 0.000000e+0039;40entry:41 %isinf = fcmp ole double %f, 0x000000000000000042 br i1 %isinf, label %return, label %if.end43 44if.end:45 %call = tail call double @log(double %f)46 ret double %call47 48return:49 ret double 0.050}51 52define fp128 @test_logl_pos(fp128 %f) {53; CHECK-LABEL: define fp128 @test_logl_pos(54; CHECK-SAME: fp128 [[F:%.*]]) {55; CHECK-NEXT: [[ENTRY:.*:]]56; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt fp128 [[F]], 0xL0000000000000000000000000000000057; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]58; CHECK: [[IF_END]]:59; CHECK-NEXT: [[CALL:%.*]] = tail call fp128 @llvm.log.f128(fp128 [[F]])60; CHECK-NEXT: ret fp128 [[CALL]]61; CHECK: [[RETURN]]:62; CHECK-NEXT: ret fp128 0xL0000000000000000000000000000000063;64entry:65 %isinf = fcmp ole fp128 %f, 0xL0000000000000000000000000000000066 br i1 %isinf, label %return, label %if.end67 68if.end:69 %call = tail call fp128 @logl(fp128 %f)70 ret fp128 %call71 72return:73 ret fp128 0xL0000000000000000000000000000000074}75 76define float @test_log10f_pos(float %f) {77; CHECK-LABEL: define float @test_log10f_pos(78; CHECK-SAME: float [[F:%.*]]) {79; CHECK-NEXT: [[ENTRY:.*:]]80; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+0081; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]82; CHECK: [[IF_END]]:83; CHECK-NEXT: [[CALL:%.*]] = tail call float @llvm.log10.f32(float [[F]])84; CHECK-NEXT: ret float [[CALL]]85; CHECK: [[RETURN]]:86; CHECK-NEXT: ret float 0.000000e+0087;88entry:89 %isinf = fcmp ole float %f, 0x000000000000000090 br i1 %isinf, label %return, label %if.end91 92if.end:93 %call = tail call float @log10f(float %f)94 ret float %call95 96return:97 ret float 0.098}99 100define double @test_log10_pos(double %f) {101; CHECK-LABEL: define double @test_log10_pos(102; CHECK-SAME: double [[F:%.*]]) {103; CHECK-NEXT: [[ENTRY:.*:]]104; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt double [[F]], 0.000000e+00105; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]106; CHECK: [[IF_END]]:107; CHECK-NEXT: [[CALL:%.*]] = tail call double @llvm.log10.f64(double [[F]])108; CHECK-NEXT: ret double [[CALL]]109; CHECK: [[RETURN]]:110; CHECK-NEXT: ret double 0.000000e+00111;112entry:113 %isinf = fcmp ole double %f, 0x0000000000000000114 br i1 %isinf, label %return, label %if.end115 116if.end:117 %call = tail call double @log10(double %f)118 ret double %call119 120return:121 ret double 0.0122}123 124define fp128 @test_log10l_pos(fp128 %f) {125; CHECK-LABEL: define fp128 @test_log10l_pos(126; CHECK-SAME: fp128 [[F:%.*]]) {127; CHECK-NEXT: [[ENTRY:.*:]]128; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt fp128 [[F]], 0xL00000000000000000000000000000000129; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]130; CHECK: [[IF_END]]:131; CHECK-NEXT: [[CALL:%.*]] = tail call fp128 @llvm.log10.f128(fp128 [[F]])132; CHECK-NEXT: ret fp128 [[CALL]]133; CHECK: [[RETURN]]:134; CHECK-NEXT: ret fp128 0xL00000000000000000000000000000000135;136entry:137 %isinf = fcmp ole fp128 %f, 0xL00000000000000000000000000000000138 br i1 %isinf, label %return, label %if.end139 140if.end:141 %call = tail call fp128 @log10l(fp128 %f)142 ret fp128 %call143 144return:145 ret fp128 0xL00000000000000000000000000000000146}147 148define float @test_log2f_pos(float %f) {149; CHECK-LABEL: define float @test_log2f_pos(150; CHECK-SAME: float [[F:%.*]]) {151; CHECK-NEXT: [[ENTRY:.*:]]152; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+00153; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]154; CHECK: [[IF_END]]:155; CHECK-NEXT: [[CALL:%.*]] = tail call float @llvm.log2.f32(float [[F]])156; CHECK-NEXT: ret float [[CALL]]157; CHECK: [[RETURN]]:158; CHECK-NEXT: ret float 0.000000e+00159;160entry:161 %isinf = fcmp ole float %f, 0x0000000000000000162 br i1 %isinf, label %return, label %if.end163 164if.end:165 %call = tail call float @log2f(float %f)166 ret float %call167 168return:169 ret float 0.0170}171 172define double @test_log2_pos(double %f) {173; CHECK-LABEL: define double @test_log2_pos(174; CHECK-SAME: double [[F:%.*]]) {175; CHECK-NEXT: [[ENTRY:.*:]]176; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt double [[F]], 0.000000e+00177; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]178; CHECK: [[IF_END]]:179; CHECK-NEXT: [[CALL:%.*]] = tail call double @llvm.log2.f64(double [[F]])180; CHECK-NEXT: ret double [[CALL]]181; CHECK: [[RETURN]]:182; CHECK-NEXT: ret double 0.000000e+00183;184entry:185 %isinf = fcmp ole double %f, 0x0000000000000000186 br i1 %isinf, label %return, label %if.end187 188if.end:189 %call = tail call double @log2(double %f)190 ret double %call191 192return:193 ret double 0.0194}195 196define fp128 @test_log2l_pos(fp128 %f) {197; CHECK-LABEL: define fp128 @test_log2l_pos(198; CHECK-SAME: fp128 [[F:%.*]]) {199; CHECK-NEXT: [[ENTRY:.*:]]200; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt fp128 [[F]], 0xL00000000000000000000000000000000201; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]202; CHECK: [[IF_END]]:203; CHECK-NEXT: [[CALL:%.*]] = tail call fp128 @llvm.log2.f128(fp128 [[F]])204; CHECK-NEXT: ret fp128 [[CALL]]205; CHECK: [[RETURN]]:206; CHECK-NEXT: ret fp128 0xL00000000000000000000000000000000207;208entry:209 %isinf = fcmp ole fp128 %f, 0xL00000000000000000000000000000000210 br i1 %isinf, label %return, label %if.end211 212if.end:213 %call = tail call fp128 @log2l(fp128 %f)214 ret fp128 %call215 216return:217 ret fp128 0xL00000000000000000000000000000000218}219 220 221define double @test_logb_pos(double %f) {222; CHECK-LABEL: define double @test_logb_pos(223; CHECK-SAME: double [[F:%.*]]) {224; CHECK-NEXT: [[ENTRY:.*:]]225; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt double [[F]], 0.000000e+00226; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]227; CHECK: [[IF_END]]:228; CHECK-NEXT: [[CALL:%.*]] = tail call double @logb(double [[F]])229; CHECK-NEXT: ret double [[CALL]]230; CHECK: [[RETURN]]:231; CHECK-NEXT: ret double 0.000000e+00232;233entry:234 %isinf = fcmp ole double %f, 0x0000000000000000235 br i1 %isinf, label %return, label %if.end236 237if.end:238 %call = tail call double @logb(double %f)239 ret double %call240 241return:242 ret double 0.0243}244 245define double @test_log1p_pos(double %f) {246; CHECK-LABEL: define double @test_log1p_pos(247; CHECK-SAME: double [[F:%.*]]) {248; CHECK-NEXT: [[ENTRY:.*:]]249; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt double [[F]], 0.000000e+00250; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]251; CHECK: [[IF_END]]:252; CHECK-NEXT: [[CALL:%.*]] = tail call double @log1p(double [[F]])253; CHECK-NEXT: ret double [[CALL]]254; CHECK: [[RETURN]]:255; CHECK-NEXT: ret double 0.000000e+00256;257entry:258 %isinf = fcmp ole double %f, 0x0000000000000000259 br i1 %isinf, label %return, label %if.end260 261if.end:262 %call = tail call double @log1p(double %f)263 ret double %call264 265return:266 ret double 0.0267}268 269define float @metadata(float %f) {270; CHECK-LABEL: define float @metadata(271; CHECK-SAME: float [[F:%.*]]) {272; CHECK-NEXT: [[ENTRY:.*:]]273; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+00274; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]275; CHECK: [[IF_END]]:276; CHECK-NEXT: [[CALL:%.*]] = tail call float @llvm.log.f32(float [[F]]), !fpmath [[META0:![0-9]+]]277; CHECK-NEXT: ret float [[CALL]]278; CHECK: [[RETURN]]:279; CHECK-NEXT: ret float 0.000000e+00280;281entry:282 %isinf = fcmp ole float %f, 0x0000000000000000283 br i1 %isinf, label %return, label %if.end284 285if.end:286 %call = tail call float @logf(float %f), !fpmath !0287 ret float %call288 289return:290 ret float 0.0291}292!0 = !{ float 2.5 }293 294define float @test_logf_pos_denormalpreserve(float %f) "denormal-fp-math"="preserve-sign,preserve-sign" {295; CHECK-LABEL: define float @test_logf_pos_denormalpreserve(296; CHECK-SAME: float [[F:%.*]]) #[[ATTR0:[0-9]+]] {297; CHECK-NEXT: [[ENTRY:.*:]]298; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+00299; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]300; CHECK: [[IF_END]]:301; CHECK-NEXT: [[CALL:%.*]] = tail call float @logf(float [[F]])302; CHECK-NEXT: ret float [[CALL]]303; CHECK: [[RETURN]]:304; CHECK-NEXT: ret float 0.000000e+00305;306entry:307 %isinf = fcmp ole float %f, 0x0000000000000000308 br i1 %isinf, label %return, label %if.end309 310if.end:311 %call = tail call float @logf(float %f)312 ret float %call313 314return:315 ret float 0.0316}317 318define float @test_logf_pos_denormaldynamic(float %f) "denormal-fp-math"="dynamic,dynamic" {319; CHECK-LABEL: define float @test_logf_pos_denormaldynamic(320; CHECK-SAME: float [[F:%.*]]) #[[ATTR1:[0-9]+]] {321; CHECK-NEXT: [[ENTRY:.*:]]322; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+00323; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]324; CHECK: [[IF_END]]:325; CHECK-NEXT: [[CALL:%.*]] = tail call float @logf(float [[F]])326; CHECK-NEXT: ret float [[CALL]]327; CHECK: [[RETURN]]:328; CHECK-NEXT: ret float 0.000000e+00329;330entry:331 %isinf = fcmp ole float %f, 0x0000000000000000332 br i1 %isinf, label %return, label %if.end333 334if.end:335 %call = tail call float @logf(float %f)336 ret float %call337 338return:339 ret float 0.0340}341 342declare double @log(double)343declare float @logf(float)344declare fp128 @logl(fp128)345declare double @log10(double)346declare float @log10f(float)347declare fp128 @log10l(fp128)348declare double @log2(double)349declare float @log2f(float)350declare fp128 @log2l(fp128)351declare double @logb(double)352declare double @log1p(double)353;.354; CHECK: [[META0]] = !{float 2.500000e+00}355;.356