diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2023-04-13 10:53:27 -0400 |
|---|---|---|
| committer | Matt Arsenault <arsenm2@gmail.com> | 2023-04-19 20:11:34 -0400 |
| commit | 83adfc91e811815955a34a5ce72eb4a0ea2ff0e3 (patch) | |
| tree | 349a5141440c17c3b25e52dffb072bc37f076abf /llvm/unittests/Analysis/ValueTrackingTest.cpp | |
| parent | 02f647f8923c29f0a0352f9ef128e51b7bf28a2c (diff) | |
| download | llvm-83adfc91e811815955a34a5ce72eb4a0ea2ff0e3.zip llvm-83adfc91e811815955a34a5ce72eb4a0ea2ff0e3.tar.gz llvm-83adfc91e811815955a34a5ce72eb4a0ea2ff0e3.tar.bz2 | |
ValueTracking: uitofp/sitofp cannot return denormal results
Diffstat (limited to 'llvm/unittests/Analysis/ValueTrackingTest.cpp')
| -rw-r--r-- | llvm/unittests/Analysis/ValueTrackingTest.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/llvm/unittests/Analysis/ValueTrackingTest.cpp b/llvm/unittests/Analysis/ValueTrackingTest.cpp index 284d799..c086879 100644 --- a/llvm/unittests/Analysis/ValueTrackingTest.cpp +++ b/llvm/unittests/Analysis/ValueTrackingTest.cpp @@ -1527,8 +1527,8 @@ TEST_F(ComputeKnownFPClassTest, UIToFP) { " %A2 = uitofp i16 %arg1 to half" " ret float %A\n" "}\n"); - expectKnownFPClass(fcPosFinite, false, A); - expectKnownFPClass(fcPositive, false, A2); + expectKnownFPClass(fcPosFinite & ~fcSubnormal, false, A); + expectKnownFPClass(fcPositive & ~fcSubnormal, false, A2); } TEST_F(ComputeKnownFPClassTest, SIToFP) { @@ -1539,9 +1539,9 @@ TEST_F(ComputeKnownFPClassTest, SIToFP) { " %A3 = sitofp i17 %arg2 to half" " ret float %A\n" "}\n"); - expectKnownFPClass(fcFinite & ~fcNegZero, std::nullopt, A); - expectKnownFPClass(fcFinite & ~fcNegZero, std::nullopt, A2); - expectKnownFPClass(~(fcNan | fcNegZero), std::nullopt, A3); + expectKnownFPClass(fcFinite & ~fcNegZero & ~fcSubnormal, std::nullopt, A); + expectKnownFPClass(fcFinite & ~fcNegZero & ~fcSubnormal, std::nullopt, A2); + expectKnownFPClass(~(fcNan | fcNegZero | fcSubnormal), std::nullopt, A3); } TEST_F(ComputeKnownFPClassTest, FAdd) { |