[PATCH] D14497: [FunctionAttrs] Detect printf-like functions and propagate readnone+nocapture to variadic operands

silviu.baranga@arm.com via llvm-commits llvm-commits at lists.llvm.org
Thu Nov 12 08:10:59 PST 2015


sbaranga added a subscriber: sbaranga.
sbaranga added a comment.

Hi James,

Do you know what other parts of the compiler are preventing us from figuring out the readonly/nocapture attributes?

If we could use the existing infrastructure for this we might get a more general solution (I'm not saying that's possible).

Cheers,
Silviu


================
Comment at: lib/Transforms/IPO/FunctionAttrs.cpp:847
@@ +846,3 @@
+  case LibFunc::vsnprintf:
+    return true;
+  }
----------------
Wouldn't it be enough to have readonly/nocapture? Why do we need to test for library functions?


Repository:
  rL LLVM

http://reviews.llvm.org/D14497





More information about the llvm-commits mailing list