Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Robison, Arch <arch.robison <at> intel.com>
Subject: Floating-point range checks
Newsgroups: gmane.comp.compilers.llvm.devel
Date: Wednesday 7th January 2015 22:13:51 UTC (over 3 years ago)
The Julia language implements sqrt(x) with conditional branch taken if x<0.
 Alas this prevents vectorization of loops with sqrt.  Often the argument
can be proven to be non-negative.  E.g., sqrt(x*x+y*y).  Is there an
existing LLVM pass or analysis  that does floating-point range propagation
to eliminate such unnecessary checks?

Arch D. Robison
Intel Corporation
 
CD: 13ms