search for: ivdescriptors

...howing where they diverge: https://gist.github.com/nlw0/58ed9fda8e8944a9cb5e5a20f6038fcf This is the point I believe we need to set the function attribute for the vectorization to work with floats: https://github.com/llvm/llvm-project/blob/fd254e429ea103be8bab6271855c04919d33f9fb/llvm/lib/Analysis/IVDescriptors.cpp#L590 Could this be a bug? It seems to me it just wasn't changed yet to depend only on instruction flags. I would gladly work on refactoring this if there's an opportunity, but I'm a complete newbie in this project. It would be great to hear from someone more knowledgeable what can...

...ub.com/nlw0/58ed9fda8e8944a9cb5e5a20f6038fcf >> >> This is the point I believe we need to set the function attribute for the >> vectorization to work with floats: >> >> https://github.com/llvm/llvm-project/blob/fd254e429ea103be8bab6271855c04919d33f9fb/llvm/lib/Analysis/IVDescriptors.cpp#L590 >> >> Could this be a bug? It seems to me it just wasn't changed yet to depend >> only on instruction flags. >> >> I would gladly work on refactoring this if there's an opportunity, but >> I'm a complete newbie in this project. It would be gr...

Greetings, The LLVM loop vectorizer does a great job handling reductions with the `min(a, b)` function over an array of integers or floats. This finds the smallest value of a list exploiting SIMD instructions, and works just as well as a summation. Specifically with floats, though, using the `fcmp` instruction, the vectorization seems to require the function attribute "no-nans-fp-math"