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

[silviu.baranga@arm.com via llvm-commits]

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