[llvm] r363163 - [InstCombine] add tests for fcmp+select with FMF (minnum/maxnum); NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Wed Jun 12 06:51:33 PDT 2019
Author: spatel
Date: Wed Jun 12 06:51:33 2019
New Revision: 363163
URL: http://llvm.org/viewvc/llvm-project?rev=363163&view=rev
Log:
[InstCombine] add tests for fcmp+select with FMF (minnum/maxnum); NFC
Modified:
llvm/trunk/test/Transforms/InstCombine/minmax-fp.ll
Modified: llvm/trunk/test/Transforms/InstCombine/minmax-fp.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/minmax-fp.ll?rev=363163&r1=363162&r2=363163&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/minmax-fp.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/minmax-fp.ll Wed Jun 12 06:51:33 2019
@@ -310,3 +310,135 @@ define double @fneg_fmin(double %x, doub
%max = select i1 %cond, double %n1, double %n2
ret double %max
}
+
+define float @maxnum_ogt_fmf_on_select(float %a, float %b) {
+; CHECK-LABEL: @maxnum_ogt_fmf_on_select(
+; CHECK-NEXT: [[COND:%.*]] = fcmp ogt float [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select nnan nsz i1 [[COND]], float [[A]], float [[B]]
+; CHECK-NEXT: ret float [[F]]
+;
+ %cond = fcmp ogt float %a, %b
+ %f = select nnan nsz i1 %cond, float %a, float %b
+ ret float %f
+}
+
+define <2 x float> @maxnum_oge_fmf_on_select(<2 x float> %a, <2 x float> %b) {
+; CHECK-LABEL: @maxnum_oge_fmf_on_select(
+; CHECK-NEXT: [[COND:%.*]] = fcmp oge <2 x float> [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select nnan ninf nsz <2 x i1> [[COND]], <2 x float> [[A]], <2 x float> [[B]]
+; CHECK-NEXT: ret <2 x float> [[F]]
+;
+ %cond = fcmp oge <2 x float> %a, %b
+ %f = select ninf nnan nsz <2 x i1> %cond, <2 x float> %a, <2 x float> %b
+ ret <2 x float> %f
+}
+
+define float @maxnum_ogt_fmf_on_fcmp(float %a, float %b) {
+; CHECK-LABEL: @maxnum_ogt_fmf_on_fcmp(
+; CHECK-NEXT: [[COND:%.*]] = fcmp nnan nsz ogt float [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select i1 [[COND]], float [[A]], float [[B]]
+; CHECK-NEXT: ret float [[F]]
+;
+ %cond = fcmp nnan nsz ogt float %a, %b
+ %f = select i1 %cond, float %a, float %b
+ ret float %f
+}
+
+define <2 x float> @maxnum_oge_fmf_on_fcmp(<2 x float> %a, <2 x float> %b) {
+; CHECK-LABEL: @maxnum_oge_fmf_on_fcmp(
+; CHECK-NEXT: [[COND:%.*]] = fcmp nnan ninf nsz oge <2 x float> [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select <2 x i1> [[COND]], <2 x float> [[A]], <2 x float> [[B]]
+; CHECK-NEXT: ret <2 x float> [[F]]
+;
+ %cond = fcmp ninf nnan nsz oge <2 x float> %a, %b
+ %f = select <2 x i1> %cond, <2 x float> %a, <2 x float> %b
+ ret <2 x float> %f
+}
+
+define float @maxnum_no_nsz(float %a, float %b) {
+; CHECK-LABEL: @maxnum_no_nsz(
+; CHECK-NEXT: [[COND:%.*]] = fcmp ogt float [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select nnan i1 [[COND]], float [[A]], float [[B]]
+; CHECK-NEXT: ret float [[F]]
+;
+ %cond = fcmp ogt float %a, %b
+ %f = select nnan i1 %cond, float %a, float %b
+ ret float %f
+}
+
+define float @maxnum_no_nnan(float %a, float %b) {
+; CHECK-LABEL: @maxnum_no_nnan(
+; CHECK-NEXT: [[COND:%.*]] = fcmp oge float [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select nsz i1 [[COND]], float [[A]], float [[B]]
+; CHECK-NEXT: ret float [[F]]
+;
+ %cond = fcmp oge float %a, %b
+ %f = select nsz i1 %cond, float %a, float %b
+ ret float %f
+}
+
+define float @minnum_olt_fmf_on_select(float %a, float %b) {
+; CHECK-LABEL: @minnum_olt_fmf_on_select(
+; CHECK-NEXT: [[COND:%.*]] = fcmp olt float [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select nnan nsz i1 [[COND]], float [[A]], float [[B]]
+; CHECK-NEXT: ret float [[F]]
+;
+ %cond = fcmp olt float %a, %b
+ %f = select nnan nsz i1 %cond, float %a, float %b
+ ret float %f
+}
+
+define <2 x float> @minnum_ole_fmf_on_select(<2 x float> %a, <2 x float> %b) {
+; CHECK-LABEL: @minnum_ole_fmf_on_select(
+; CHECK-NEXT: [[COND:%.*]] = fcmp ole <2 x float> [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select nnan ninf nsz <2 x i1> [[COND]], <2 x float> [[A]], <2 x float> [[B]]
+; CHECK-NEXT: ret <2 x float> [[F]]
+;
+ %cond = fcmp ole <2 x float> %a, %b
+ %f = select ninf nnan nsz <2 x i1> %cond, <2 x float> %a, <2 x float> %b
+ ret <2 x float> %f
+}
+
+define float @minnum_olt_fmf_on_fcmp(float %a, float %b) {
+; CHECK-LABEL: @minnum_olt_fmf_on_fcmp(
+; CHECK-NEXT: [[COND:%.*]] = fcmp nnan nsz olt float [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select i1 [[COND]], float [[A]], float [[B]]
+; CHECK-NEXT: ret float [[F]]
+;
+ %cond = fcmp nnan nsz olt float %a, %b
+ %f = select i1 %cond, float %a, float %b
+ ret float %f
+}
+
+define <2 x float> @minnum_ole_fmf_on_fcmp(<2 x float> %a, <2 x float> %b) {
+; CHECK-LABEL: @minnum_ole_fmf_on_fcmp(
+; CHECK-NEXT: [[COND:%.*]] = fcmp nnan ninf nsz ole <2 x float> [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select <2 x i1> [[COND]], <2 x float> [[A]], <2 x float> [[B]]
+; CHECK-NEXT: ret <2 x float> [[F]]
+;
+ %cond = fcmp ninf nnan nsz ole <2 x float> %a, %b
+ %f = select <2 x i1> %cond, <2 x float> %a, <2 x float> %b
+ ret <2 x float> %f
+}
+
+define float @minnum_no_nsz(float %a, float %b) {
+; CHECK-LABEL: @minnum_no_nsz(
+; CHECK-NEXT: [[COND:%.*]] = fcmp olt float [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select nnan i1 [[COND]], float [[A]], float [[B]]
+; CHECK-NEXT: ret float [[F]]
+;
+ %cond = fcmp olt float %a, %b
+ %f = select nnan i1 %cond, float %a, float %b
+ ret float %f
+}
+
+define float @minnum_no_nnan(float %a, float %b) {
+; CHECK-LABEL: @minnum_no_nnan(
+; CHECK-NEXT: [[COND:%.*]] = fcmp ole float [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[F:%.*]] = select nsz i1 [[COND]], float [[A]], float [[B]]
+; CHECK-NEXT: ret float [[F]]
+;
+ %cond = fcmp ole float %a, %b
+ %f = select nsz i1 %cond, float %a, float %b
+ ret float %f
+}
More information about the llvm-commits
mailing list