search for: nlw0

Thanks for the reply. I should say I'm actually working on 6.0, but I don't think this part of the code changed much since. These are traces I made with GDB optimizing a loop with floats and then integers, showing 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 t...

...anks for the reply. I should say I'm actually working on 6.0, but I >> don't think this part of the code changed much since. These are traces I >> made with GDB optimizing a loop with floats and then integers, showing >> 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/IVDescripto...

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"