================
@@ -2422,6 +2438,15 @@ void LoopAccessInfo::analyzeLoop(AAResults *AA, LoopInfo 
*LI,
 
       // Save 'store' instructions. Abort if other instructions write to 
memory.
       if (I.mayWriteToMemory()) {
+        // We can safety handle math functions that have vectorized
+        // counterparts and have the memory write-only attribute set.
+        if (isMathLibCallMemWriteOnly(TLI, I)) {
----------------
mgabka wrote:

in the read case we also check for !VFDatabase::getMappings(*Call).empty(), but 
i think it should be enough that LV checks for it, that allows also to test 
your code in a target agnostic way, and without mappings for frexp

https://github.com/llvm/llvm-project/pull/78432
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to