From: Aleksey Demakov <ademakov@gmail.com>
Date: Sun, 7 Oct 2007 14:20:34 +0000 (+0000)
Subject: extend comments for jit_insn_jump_table
X-Git-Tag: before.move.to.git~134
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=459115e4f9193e4a2e9294db60254b7a5714a396;p=francis%2Flibjit.git

extend comments for jit_insn_jump_table
---

diff --git a/jit/jit-insn.c b/jit/jit-insn.c
index ae2d41a..d0fa3d0 100644
--- a/jit/jit-insn.c
+++ b/jit/jit-insn.c
@@ -3947,7 +3947,10 @@ add_block:
 
 /*@
  * @deftypefun int jit_insn_jump_table (jit_function_t func, jit_value_t value, {jit_label_t *} labels, unsigned int num_labels)
- * Branch to a label from the @code{labels} table. The @code{value} is the index of the label.
+ * Branch to a label from the @code{labels} table. The @code{value} is the
+ * index of the label. It is allowed to have identical labels in the table.
+ * If an entry in the table has @code{jit_label_undefined} value then it is
+ * replaced with a newly allocated label.
  * @end deftypefun
 @*/
 int jit_insn_jump_table