[llvm] r345777 - [ValueTracking] add tests for fmin/fmax; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Wed Oct 31 14:11:59 PDT 2018
Author: spatel
Date: Wed Oct 31 14:11:59 2018
New Revision: 345777
URL: http://llvm.org/viewvc/llvm-project?rev=345777&view=rev
Log:
[ValueTracking] add tests for fmin/fmax; NFC
Modified:
llvm/trunk/unittests/Analysis/ValueTrackingTest.cpp
Modified: llvm/trunk/unittests/Analysis/ValueTrackingTest.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/unittests/Analysis/ValueTrackingTest.cpp?rev=345777&r1=345776&r2=345777&view=diff
==============================================================================
--- llvm/trunk/unittests/Analysis/ValueTrackingTest.cpp (original)
+++ llvm/trunk/unittests/Analysis/ValueTrackingTest.cpp Wed Oct 31 14:11:59 2018
@@ -149,6 +149,182 @@ TEST_F(MatchSelectPatternTest, FMinConst
expectPattern({SPF_FMINNUM, SPNB_RETURNS_OTHER, true});
}
+TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero1) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp olt float -0.0, %a\n"
+ " %A = select i1 %1, float 0.0, float %a\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero2) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp ogt float %a, -0.0\n"
+ " %A = select i1 %1, float 0.0, float %a\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero3) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp olt float 0.0, %a\n"
+ " %A = select i1 %1, float -0.0, float %a\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero4) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp ogt float %a, 0.0\n"
+ " %A = select i1 %1, float -0.0, float %a\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero5) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp ogt float -0.0, %a\n"
+ " %A = select i1 %1, float %a, float 0.0\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero6) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp olt float %a, -0.0\n"
+ " %A = select i1 %1, float %a, float 0.0\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero7) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp ogt float 0.0, %a\n"
+ " %A = select i1 %1, float %a, float -0.0\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero8) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp olt float %a, 0.0\n"
+ " %A = select i1 %1, float %a, float -0.0\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero1) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp ogt float -0.0, %a\n"
+ " %A = select i1 %1, float 0.0, float %a\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero2) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp olt float %a, -0.0\n"
+ " %A = select i1 %1, float 0.0, float %a\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero3) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp ogt float 0.0, %a\n"
+ " %A = select i1 %1, float -0.0, float %a\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero4) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp olt float %a, 0.0\n"
+ " %A = select i1 %1, float -0.0, float %a\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero5) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp olt float -0.0, %a\n"
+ " %A = select i1 %1, float %a, float 0.0\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero6) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp ogt float %a, -0.0\n"
+ " %A = select i1 %1, float %a, float 0.0\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero7) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp olt float 0.0, %a\n"
+ " %A = select i1 %1, float %a, float -0.0\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
+TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero8) {
+ parseAssembly(
+ "define float @test(float %a) {\n"
+ " %1 = fcmp ogt float %a, 0.0\n"
+ " %A = select i1 %1, float %a, float -0.0\n"
+ " ret float %A\n"
+ "}\n");
+ // FIXME: The sign of zero doesn't matter in fcmp.
+ expectPattern({SPF_UNKNOWN, SPNB_NA, false});
+}
+
TEST_F(MatchSelectPatternTest, VectorFMinimum) {
parseAssembly(
"define <4 x float> @test(<4 x float> %a) {\n"
More information about the llvm-commits
mailing list