diff options
Diffstat (limited to 'llvm/unittests/Analysis/ValueTrackingTest.cpp')
-rw-r--r-- | llvm/unittests/Analysis/ValueTrackingTest.cpp | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/llvm/unittests/Analysis/ValueTrackingTest.cpp b/llvm/unittests/Analysis/ValueTrackingTest.cpp index 902107d..05e6a09 100644 --- a/llvm/unittests/Analysis/ValueTrackingTest.cpp +++ b/llvm/unittests/Analysis/ValueTrackingTest.cpp @@ -202,7 +202,7 @@ TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero1) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMINNUM, SPNB_RETURNS_NAN, true}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero2) { @@ -213,7 +213,7 @@ TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero2) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMINNUM, SPNB_RETURNS_NAN, false}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero3) { @@ -224,7 +224,7 @@ TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero3) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMINNUM, SPNB_RETURNS_NAN, true}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero4) { @@ -235,7 +235,7 @@ TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero4) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMINNUM, SPNB_RETURNS_NAN, false}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero5) { @@ -246,7 +246,7 @@ TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero5) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMINNUM, SPNB_RETURNS_OTHER, false}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero6) { @@ -257,7 +257,7 @@ TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero6) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMINNUM, SPNB_RETURNS_OTHER, true}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero7) { @@ -268,7 +268,7 @@ TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero7) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMINNUM, SPNB_RETURNS_OTHER, false}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero8) { @@ -279,7 +279,7 @@ TEST_F(MatchSelectPatternTest, FMinMismatchConstantZero8) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMINNUM, SPNB_RETURNS_OTHER, true}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero1) { @@ -290,7 +290,7 @@ TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero1) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMAXNUM, SPNB_RETURNS_NAN, true}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero2) { @@ -301,7 +301,7 @@ TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero2) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMAXNUM, SPNB_RETURNS_NAN, false}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero3) { @@ -312,7 +312,7 @@ TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero3) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMAXNUM, SPNB_RETURNS_NAN, true}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero4) { @@ -323,7 +323,7 @@ TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero4) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMAXNUM, SPNB_RETURNS_NAN, false}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero5) { @@ -334,7 +334,7 @@ TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero5) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMAXNUM, SPNB_RETURNS_OTHER, false}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero6) { @@ -345,7 +345,7 @@ TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero6) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMAXNUM, SPNB_RETURNS_OTHER, true}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero7) { @@ -356,7 +356,7 @@ TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero7) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMAXNUM, SPNB_RETURNS_OTHER, false}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero8) { @@ -367,7 +367,7 @@ TEST_F(MatchSelectPatternTest, FMaxMismatchConstantZero8) { " ret float %A\n" "}\n"); // The sign of zero doesn't matter in fcmp. - expectPattern({SPF_FMAXNUM, SPNB_RETURNS_OTHER, true}); + expectPattern({SPF_UNKNOWN, SPNB_NA, false}); } TEST_F(MatchSelectPatternTest, FMinMismatchConstantZeroVecUndef) { |