[llvm] [ValueTracking] Fix computeKnownFPClass for fpext (PR #81972)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Sat Feb 17 07:19:19 PST 2024


================
@@ -142,7 +142,7 @@ define double @ret_fpext_f32_to_f64_nosub(float nofpclass(sub) %arg0) {
 }
 
 define double @ret_fpext_f32_to_f64_nonorm(float nofpclass(norm) %arg0) {
----------------
nikic wrote:

Yes, but alive never gets run (https://web.ist.utl.pt/nuno.lopes/alive2/index.php) on these tests because alive does not support inter-procedural passes like Attributor. As such, we don't automatically catch these issues even if they are completely obvious in existing tests.

https://github.com/llvm/llvm-project/pull/81972


More information about the llvm-commits mailing list