document llvmcall

base/docs/basedocs.jl

@@ -501,6 +501,22 @@ keywords[:ccall] = doc"""
  in a call to `convert(ArgumentType, ArgumentValue)`.
  """
 
+keywords[:llvmcall] = doc"""
+ llvmcall(IR::String, ReturnType, (ArgumentType1, ...), ArgumentValue1, ...)
+
+ Call LLVM IR string in the first argument. Similar to an LLVM function `define`
+ block, arguments are available as consecutive unnamed SSA variables (%0, %1, etc.).
+
+ Note that the argument type tuple must be a literal tuple, and not a tuple-valued variable or expression.
+
+ Each `ArgumentValue` to `llvmcall` will be converted to the corresponding `ArgumentType`,
+ by automatic insertion of calls to `unsafe_convert(ArgumentType, cconvert(ArgumentType, ArgumentValue))`.
+ (see also the documentation for each of these functions for further details).
+ In most cases, this simply results in a call to `convert(ArgumentType, ArgumentValue)`.
+
+ See `test/llvmcall.jl` for usage examples.
+"""
+
 keywords[:begin] = doc"""
  `begin...end` denotes a block of code.
 

doc/stdlib/c.rst

@@ -248,3 +248,19 @@
 .. data:: Cdouble
 
  Equivalent to the native ``double`` c-type (Float64)
+
+****************
+ LLVM Interface
+****************
+
+
+ .. Docstring generated from Julia source
+
+ Call LLVM IR string in the first argument. Similar to an LLVM function ``define`` block, arguments are available as consecutive unnamed SSA variables (%0, %1, etc.).
+
+ Note that the argument type tuple must be a literal tuple, and not a tuple-valued variable or expression.
+
+ Each ``ArgumentValue`` to ``llvmcall`` will be converted to the corresponding ``ArgumentType``\ , by automatic insertion of calls to ``unsafe_convert(ArgumentType, cconvert(ArgumentType, ArgumentValue))``\ . (see also the documentation for each of these functions for further details). In most cases, this simply results in a call to ``convert(ArgumentType, ArgumentValue)``\ .
+
+ See ``test/llvmcall.jl`` for usage examples.
+