[PATCH] [ValueTracking] Extend range metadata to call/invoke

Philip Reames listmail at philipreames.com
Mon Jun 23 11:09:49 PDT 2014


LGTM.

================
Comment at: docs/LangRef.rst:2754
@@ +2753,3 @@
+integer types. It expresses the possible ranges the loaded value or the return
+value of a function call is in. The ranges are represented with a flattened
+list of integers. The loaded value or the return value is known to be in the
----------------
The wording here is strange:
"return value of a function call is in"

What does that mean?  Possibly:
"value returned by the called function at this call site"

http://reviews.llvm.org/D4187






More information about the llvm-commits mailing list