Dump the destination value for the address_of_label opcode.

diff --git a/ChangeLog b/ChangeLog
index e0eeca9e93a3788404372af69b63c77db9b294c4..a1440c73a56e41664b732e4e8817b049cad2703e 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2010-11-28  Klaus Treichel  <ktreichel@web.de>
+
+       * config/jit-opcodes.ops: Set the destination value type for the
+       address_of_label opcode.
+
+       * jit/jit-dump.c (jit_dump_insn): Print the destination value for
+       the address_of_label opcode.
+
 2010-11-07  Klaus Treichel  <ktreichel@web.de>
 
        * jit/jit-cache.h: Fix comment for _jit_cache_get_end_method.

diff --git a/config/jit-opcodes.ops b/config/jit-opcodes.ops
index d54e62831253d43438868c2c3cddcc083bc748b9..68a7fd99d38d5f58ef3d05b896ddc4535e799046 100644 (file)
--- a/config/jit-opcodes.ops
+++ b/config/jit-opcodes.ops
@@ -775,7 +775,7 @@ opcodes(JIT_OP_, "jit_opcode_info_t const jit_opcodes[JIT_OP_NUM_OPCODES]")
        op_def("leave_filter") { op_values(empty, any) }
        op_def("call_filter") { op_type(branch), op_values(empty, any) }
        op_def("call_filter_return") { op_values(any) }
-       op_def("address_of_label") { op_type(address_of_label) }
+       op_def("address_of_label") { op_type(address_of_label), op_values(ptr) }
        /*
         * Data manipulation.
         */

diff --git a/jit/jit-dump.c b/jit/jit-dump.c
index 1147abda73d2a21c2c357817ee6f8ec84ea2df88..8af455efc0031e170e9eadbab777b7d67fe3b3e9 100644 (file)
--- a/jit/jit-dump.c
+++ b/jit/jit-dump.c
@@ -422,6 +422,8 @@ void jit_dump_insn(FILE *stream, jit_function_t func, jit_insn_t insn)
        }
        else if((flags & JIT_OPCODE_IS_ADDROF_LABEL) != 0)
        {
+               dump_value(stream, func, jit_insn_get_dest(insn), flags & JIT_OPCODE_DEST_MASK);
+               fprintf(stream, " = ");
                fprintf(stream, "address_of_label .L%ld",
                                (long)(jit_insn_get_label(insn)));
                return;