163 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4define float @select_max_ugt(float %a, float %b) {5; CHECK-LABEL: @select_max_ugt(6; CHECK-NEXT: [[CMP_INV:%.*]] = fcmp arcp ole float [[A:%.*]], [[B:%.*]]7; CHECK-NEXT: [[SEL:%.*]] = select arcp i1 [[CMP_INV]], float [[B]], float [[A]]8; CHECK-NEXT: ret float [[SEL]]9;10 %cmp = fcmp arcp ugt float %a, %b11 %sel = select arcp i1 %cmp, float %a, float %b12 ret float %sel13}14 15define float @select_max_uge(float %a, float %b) {16; CHECK-LABEL: @select_max_uge(17; CHECK-NEXT: [[CMP_INV:%.*]] = fcmp nnan olt float [[A:%.*]], [[B:%.*]]18; CHECK-NEXT: [[SEL:%.*]] = select nnan ninf i1 [[CMP_INV]], float [[B]], float [[A]]19; CHECK-NEXT: ret float [[SEL]]20;21 %cmp = fcmp nnan uge float %a, %b22 %sel = select ninf i1 %cmp, float %a, float %b23 ret float %sel24}25 26define float @select_min_ugt(float %a, float %b) {27; CHECK-LABEL: @select_min_ugt(28; CHECK-NEXT: [[CMP_INV:%.*]] = fcmp fast ole float [[A:%.*]], [[B:%.*]]29; CHECK-NEXT: [[SEL:%.*]] = select reassoc nnan ninf i1 [[CMP_INV]], float [[A]], float [[B]]30; CHECK-NEXT: ret float [[SEL]]31;32 %cmp = fcmp fast ugt float %a, %b33 %sel = select reassoc i1 %cmp, float %b, float %a34 ret float %sel35}36 37define float @select_min_uge(float %a, float %b) {38; CHECK-LABEL: @select_min_uge(39; CHECK-NEXT: [[SEL:%.*]] = call reassoc nsz arcp contract afn float @llvm.minnum.f32(float [[A:%.*]], float [[B:%.*]])40; CHECK-NEXT: ret float [[SEL]]41;42 %cmp = fcmp nsz uge float %a, %b43 %sel = select fast i1 %cmp, float %b, float %a44 ret float %sel45}46 47define float @select_max_ult(float %a, float %b) {48; CHECK-LABEL: @select_max_ult(49; CHECK-NEXT: [[CMP_INV:%.*]] = fcmp arcp oge float [[A:%.*]], [[B:%.*]]50; CHECK-NEXT: [[SEL:%.*]] = select nnan ninf i1 [[CMP_INV]], float [[A]], float [[B]]51; CHECK-NEXT: ret float [[SEL]]52;53 %cmp = fcmp arcp ult float %a, %b54 %sel = select ninf nnan i1 %cmp, float %b, float %a55 ret float %sel56}57 58define float @select_max_ule(float %a, float %b) {59; CHECK-LABEL: @select_max_ule(60; CHECK-NEXT: [[SEL:%.*]] = call nnan ninf nsz float @llvm.maxnum.f32(float [[A:%.*]], float [[B:%.*]])61; CHECK-NEXT: ret float [[SEL]]62;63 %cmp = fcmp fast ule float %a, %b64 %sel = select nsz i1 %cmp, float %b, float %a65 ret float %sel66}67 68define float @select_min_ult(float %a, float %b) {69; CHECK-LABEL: @select_min_ult(70; CHECK-NEXT: [[SEL:%.*]] = call reassoc nsz arcp contract afn float @llvm.minnum.f32(float [[A:%.*]], float [[B:%.*]])71; CHECK-NEXT: ret float [[SEL]]72;73 %cmp = fcmp nsz ult float %a, %b74 %sel = select fast i1 %cmp, float %a, float %b75 ret float %sel76}77 78define float @select_min_ule(float %a, float %b) {79; CHECK-LABEL: @select_min_ule(80; CHECK-NEXT: [[CMP_INV:%.*]] = fcmp arcp ogt float [[A:%.*]], [[B:%.*]]81; CHECK-NEXT: [[SEL:%.*]] = select ninf i1 [[CMP_INV]], float [[B]], float [[A]]82; CHECK-NEXT: ret float [[SEL]]83;84 %cmp = fcmp arcp ule float %a, %b85 %sel = select ninf i1 %cmp, float %a, float %b86 ret float %sel87}88 89define float @select_fcmp_une(float %a, float %b) {90; CHECK-LABEL: @select_fcmp_une(91; CHECK-NEXT: [[CMP_INV:%.*]] = fcmp reassoc oeq float [[A:%.*]], [[B:%.*]]92; CHECK-NEXT: [[SEL:%.*]] = select nnan i1 [[CMP_INV]], float [[B]], float [[A]]93; CHECK-NEXT: ret float [[SEL]]94;95 %cmp = fcmp reassoc une float %a, %b96 %sel = select nnan i1 %cmp, float %a, float %b97 ret float %sel98}99 100define float @select_fcmp_ueq(float %a, float %b) {101; CHECK-LABEL: @select_fcmp_ueq(102; CHECK-NEXT: [[CMP_INV:%.*]] = fcmp reassoc one float [[A:%.*]], [[B:%.*]]103; CHECK-NEXT: [[SEL:%.*]] = select nnan arcp i1 [[CMP_INV]], float [[B]], float [[A]]104; CHECK-NEXT: ret float [[SEL]]105;106 %cmp = fcmp reassoc ueq float %a, %b107 %sel = select arcp nnan i1 %cmp, float %a, float %b108 ret float %sel109}110 111declare void @foo(i1)112 113define float @select_max_ugt_2_use_cmp(float %a, float %b) {114; CHECK-LABEL: @select_max_ugt_2_use_cmp(115; CHECK-NEXT: [[CMP:%.*]] = fcmp reassoc ugt float [[A:%.*]], [[B:%.*]]116; CHECK-NEXT: call void @foo(i1 [[CMP]])117; CHECK-NEXT: [[SEL:%.*]] = call reassoc nsz arcp contract afn float @llvm.maxnum.f32(float [[A]], float [[B]])118; CHECK-NEXT: ret float [[SEL]]119;120 %cmp = fcmp reassoc ugt float %a, %b121 call void @foo(i1 %cmp)122 %sel = select fast i1 %cmp, float %a, float %b123 ret float %sel124}125 126define float @select_min_uge_2_use_cmp(float %a, float %b) {127; CHECK-LABEL: @select_min_uge_2_use_cmp(128; CHECK-NEXT: [[CMP:%.*]] = fcmp ninf uge float [[A:%.*]], [[B:%.*]]129; CHECK-NEXT: call void @foo(i1 [[CMP]])130; CHECK-NEXT: [[SEL:%.*]] = select nsz i1 [[CMP]], float [[B]], float [[A]]131; CHECK-NEXT: ret float [[SEL]]132;133 %cmp = fcmp ninf uge float %a, %b134 call void @foo(i1 %cmp)135 %sel = select nsz i1 %cmp, float %b, float %a136 ret float %sel137}138 139; Make sure that we do not recognize the following pattern as a SPF140; unless the nsz flag is set on the select instruction.141 142define float @pr141017(float %x) {143; CHECK-LABEL: @pr141017(144; CHECK-NEXT: [[CMP:%.*]] = fcmp nsz olt float [[X:%.*]], 0.000000e+00145; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], float -0.000000e+00, float [[X]]146; CHECK-NEXT: ret float [[SEL]]147;148 %cmp = fcmp nsz olt float %x, 0.0149 %sel = select i1 %cmp, float -0.0, float %x150 ret float %sel151}152 153define float @pr141017_select_nsz(float %x) {154; CHECK-LABEL: @pr141017_select_nsz(155; CHECK-NEXT: [[DOTINV:%.*]] = fcmp ole float [[X:%.*]], 0.000000e+00156; CHECK-NEXT: [[SEL1:%.*]] = select i1 [[DOTINV]], float -0.000000e+00, float [[X]]157; CHECK-NEXT: ret float [[SEL1]]158;159 %cmp = fcmp olt float %x, 0.0160 %sel = select nsz i1 %cmp, float -0.0, float %x161 ret float %sel162}163