https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114182
--- Comment #3 from Jan Dubiec <jdx at o2 dot pl> --- Wait a minute, shouldn't the conditions be opposite? I.e.: /* { dg-final { scan-tree-dump "__(?:gnu_)?divdc3" "optimized" { target { large_double } } } } */ /* { dg-final { scan-tree-dump "__(?:gnu_)?divsc3" "optimized" { target { ! { large_double } } } } } */