mono/jit/ChangeLog

   1 2002-09-26  Martin Baulig  <martin@gnome.org>
   2
   3         * debug.c (debug_load_method_lines): Block SIGCHLD while running
   4         monodis.
   5
   6 2002-09-26  Martin Baulig  <martin@gnome.org>
   7
   8         * debug.c: Reworked the whole debugging stuff.  We have now one
   9         single `mono_debug_handle' which keeps a hashtable of
  10         `AssemblyDebugInfo's (which may have different debugging formats).
  11         The AssemblyDebugInfo is now created when the assembly is loaded,
  12         but never when adding a class/type.
  13
  14         * mono.c: Initialize debugging stuff after corlib and the assembly
  15         have been loaded.
  16
  17 2002-09-25  Martin Baulig  <martin@gnome.org>
  18
  19         * debug-private.h (DebugLineNumberInfo): Removed.  There's now a
  20         MonoDebugLineNumberEntry type in debug-mono-symfile.h which we're
  21         using instead of it.
  22         (DebugMethodInfo): Removed `line_numbers'.
  23
  24         * debug.c: Reworked the line number generation; we're now using
  25         the MonoDebugLineNumberEntry try for all debugging formats.  This
  26         type also includes the line number and IL offset, this allows the
  27         JIT to produce better line number info: we only emit line number
  28         information for source lines which actually have code.
  29
  30 2002-09-25  Martin Baulig  <martin@gnome.org>
  31
  32         * debug.h: Removed external declaration of all functions which
  33         should only be called from the Mono Debugger and also made them
  34         static.  Since the debugger gets their address from the
  35         `MONO_DEBUGGER__debugger_info' vtable, there's no need to export
  36         these functions.
  37
  38 2002-09-25  Martin Baulig  <martin@gnome.org>
  39
  40         Improved breakpoint support, we can now dynamically insert and
  41         remove breakpoints at runtime and when called from withing the
  42         Mono Debugger, we're using a special breakpoint trampoline.
  43
  44         * debug.h (mono_method_has_breakpoint): New method to check
  45         whether to insert a breakpoint for a method.
  46         (mono_insert_breakpoint): New method to insert a breakpoint.
  47         (mono_insert_breakpoint_full): New method to insert a breakpoint,
  48         takes a MonoMethodDesc.
  49         (mono_remove_breakpoint): New method to remove a breakpoint.
  50
  51         * debug.c (mono_debugger_insert_breakpoint): New function for the
  52         debugger.  Should only be called from the debugger.
  53         (mono_debugger_remove_breakpoint): Likewise.
  54
  55         * mono.c (main): Use mono_insert_breakpoint() to insert breakpoints.
  56
  57         * trampoline.c (get_breakpoint_trampoline): New static function to
  58         create a special breakpoint trampoline for the debugger.
  59         (x86_magic_trampoline): If we're running inside the Mono Debugger
  60         and a breakpoint was requested for the method, generate a special
  61         breakpoint trampoline.
  62
  63         * jit.c (mono_debug_methods): Removed, use mono_insert_breakpoint()
  64         to insert a breakpoint.
  65         (mono_debug_last_breakpoint_address): Removed.
  66         (match_debug_method): Removed, use mono_method_has_breakpoint().
  67
  68 Wed Sep 25 12:04:08 CEST 2002 Paolo Molaro <lupus@ximian.com>
  69
  70         * jit.c: reorder mono_runtime_cleanup () call since it needs the
  71         engine still fully working.
  72
  73 2002-09-24  Martin Baulig  <martin@gnome.org>
  74
  75         * debug.c (mono_debug_open): When we're invoked from inside the
  76         Mono Debugger, set mono_debugger_class_init_func (exported in
  77         metadata/class.c) to mono_add_type().
  78         (mono_add_type): Call mono_debug_symfile_add_type().
  79
  80 Tue Sep 24 11:34:02 CEST 2002 Paolo Molaro <lupus@ximian.com>
  81
  82         * jit.c: avoid including cil-coff.h (again). Optimize typeof (type).
  83         Run finalize on domain cleanup.
  84         * mono.c: call setlocale ().
  85         * trampoline.c: clearer error message for invalid trampoline.
  86
  87 2002-09-21  Martin Baulig  <martin@gnome.org>
  88
  89         * debug.c (MonoDebuggerSymbolFileTable): Use an actual typedef for this
  90         instead of writing a byte blob.
  91         (mono_debug_make_symbols): This doesn't touch the symbol tables anymore.
  92         (mono_debug_add_method): Incrementally add the new method to the symbol
  93         table.
  94
  95         * exception.c (arch_handle_exception): If we have debugging support,
  96         call mono_debugger_update_symbol_file_table () as well.
  97
  98 2002-09-20  Martin Baulig  <martin@gnome.org>
  99
 100         * debug.c (mono_debug_add_method): The `MonoDebugVarInfo' now includes
 101         the size of the variable.
 102
 103 2002-09-18  Dietmar Maurer  <dietmar@ximian.com>
 104
 105         * linear-scan.c (mono_analyze_liveness): we can save 30% of needed
 106         iterations if we visit blocks in reverse order.
 107
 108 2002-09-12  Dietmar Maurer  <dietmar@ximian.com>
 109
 110         * jit.c (mono_analyze_stack): cleaup of the array code
 111
 112         * exception.c: added patch from Julio Merno to fix bug #30048
 113
 114         * jit.c (mono_analyze_stack): code cleanup, fix bug #29365
 115
 116 2002-09-09  Dietmar Maurer  <dietmar@ximian.com>
 117
 118         * x86.brg (LDELEMA): use x86_lea
 119
 120 2002-09-06  Martin Baulig  <martin@gnome.org>
 121
 122         * debug.c (debug_update_il_offsets): Fixed a memory corruption bug.
 123         If you were getting random crashes when using the JIT with debugging
 124         turned on, this fixes it.
 125
 126 2002-09-06  Dietmar Maurer  <dietmar@ximian.com>
 127
 128         * emit-x86.c (arch_emit_epilogue): use pop instead of mov
 129
 130 2002-09-05  Martin Baulig  <martin@gnome.org>
 131
 132         * debug.c (MONO_DEBUGGER__debugger_info): New global data symbol
 133         which is read by the debugger.
 134
 135 Wed Sep 4 14:06:09 CEST 2002 Paolo Molaro <lupus@ximian.com>
 136
 137         * Makefile.am: link libmono directly into mono. Use a ld script
 138         to reduce exported symbols.
 139
 140 2002-09-03  Martin Baulig  <martin@gnome.org>
 141
 142         * debug.c (free_method_info): Make this actually work.
 143
 144 2002-09-03  Martin Baulig  <martin@gnome.org>
 145
 146         * debug.h (MonoDebugFormat): Killed MONO_DEBUG_FORMAT_DWARF2_PLUS.
 147         * debug-dwarf2-plus.c: Removed.
 148
 149         * debug-private.h (DebugMethodInfo): Removed the `method_info' field.
 150         (AssemblyDebugInfo): Removed the old `symfile' field and renamed
 151         `mono_symfile' to `symfile'.
 152
 153         * debug.c (mono_debug_open): Replaced the assembly argument with a
 154         file name argument; you can now call this before loading the assembly.
 155         (debug_generate_method_lines): The MonoDebugILOffsetInfo struct is gone,
 156         we now use MonoSymbolFileLineNumberEntry's and a separate address array
 157         instead; splitted out all MonoSymbolFileLineNumberEntry code into
 158         debug_generate_il_offsets() and debug_update_il_offsets().
 159         (mono_debug_add_method): Don't create the MonoDebugMethodInfo here; it's
 160         created when reading the symbol file or from debug_load_method_lines().
 161         (debug_load_method_lines): Create the MonoDebugMethodInfo for all methods.
 162
 163         * exception.c (arch_handle_exception): Call mono_debug_make_symbols() before
 164         looking up an address.
 165
 166         * debug.c: Don't create the .il files for MONO_DEBUG_FORMAT_MONO.
 167
 168         * mono.c (main): Initialize debugging before loading the first assembly.
 169
 170 2002-08-28  Dick Porter  <dick@ximian.com>
 171
 172         * mono.c: mono_set_rootdir() doesnt take any args now
 173
 174         * Makefile.am: Export HOST_CC for w32 builds
 175
 176 2002-08-28  Dietmar Maurer  <dietmar@ximian.com>
 177
 178         * jit.c (mono_store_tree): only allocate vars if really necessary
 179
 180 2002-08-27  Martin Baulig  <martin@gnome.org>
 181
 182         * debug.c: The mono symbol file is installed together with the assembly
 183         it belongs to and it's used on a per-image basis.
 184
 185 Tue Aug 27 19:44:32 CEST 2002 Paolo Molaro <lupus@ximian.com>
 186
 187         * mono.c: don't use the cil-coff header outside of the loader.
 188
 189 2002-08-27  Martin Baulig  <martin@gnome.org>
 190
 191         * debug.c (mono_debugger_internal_get_symbol_files): Removed, we need
 192         to use global variables for this since they're stored in a core file.
 193         (mono_debugger_symbol_file_table_generation): New global variable.
 194         (mono_debugger_symbol_file_table): New global variable.
 195         (mono_debugger_update_symbol_file_table): New global function to update
 196         the symbol file table.
 197
 198 2002-08-27  Martin Baulig  <martin@gnome.org>
 199
 200         * trampoline.c (mono_generic_trampoline_code): New global variable.
 201         (arch_create_jit_trampoline): Use the new global variable to store the
 202         generic trampoline code instead of using a static one.  This allows the
 203         debugger to access this variable to check whether a method is a trampoline.
 204
 205         * debug.h (mono_generic_trampoline_code): Added external declaration.
 206
 207 2002-08-27  Martin Baulig  <martin@gnome.org>
 208
 209         * debug.c (MonoDebugHandle): Moved the method hash into the
 210         AssemblyDebugInfo struct since we need to use a separate hash for each
 211         MonoImage.
 212
 213         * debug.c: Added special undocumented command line argument to create a
 214         symbol file for IL files on-the-fly.  In this case, we also need to create
 215         the IL files and parse them.
 216         (mono_debugger_internal_get_symbol_files): Return something more reasonable.
 217
 218 2002-08-26  Martin Baulig  <martin@gnome.org>
 219
 220         * debug.c (mono_debugger_internal_free_symbol_files): New function.
 221         (mono_debugger_internal_symbol_files_changed): New global variable.
 222
 223 2002-08-24  Martin Baulig  <martin@gnome.org>
 224
 225         * debug.c (mono_debugger_internal_get_symbol_files): New function.
 226
 227 2002-08-24  Martin Baulig  <martin@gnome.org>
 228
 229         * debug.c (mono_debug_write_symbols): Added support for the new
 230         debugging format.
 231
 232         * mono.c (main): The `--debug' argument now knows about a new
 233         debugging format `mono' which will be used to display source lines
 234         in backtraces.
 235
 236         * debug.h (MonoDebugFormat): Added a new MONO_DEBUG_FORMAT_MONO
 237         which will be used when displaying backtraces.  It reads a new
 238         binary symbol file.
 239
 240 2002-08-23  Martin Baulig  <martin@gnome.org>
 241
 242         * jit.c (match_debug_method): Don't include runtime invoke methods
 243         in the search.
 244
 245         * mono.c (main): Accept `Main' as argument to --break to insert a
 246         breakpoint on the application's main method.
 247
 248 2002-08-23  Martin Baulig  <martin@gnome.org>
 249
 250         * debug-dwarf2.c (dwarf2_write_class_field): Don't include any static fields.
 251
 252 2002-08-21  Dietmar Maurer  <dietmar@ximian.com>
 253
 254         * exception.c (arch_handle_exception): don't set stack_trace to
 255         null (so that it contains the full trace even when we rethrow the
 256         exception).
 257
 258 2002-08-19  Nick Drochak <ndrochak@gol.com>
 259
 260         * x86.brg (mono_llmult_ovf): Simplified the code greatly by refactoring
 261         the algebraic form we are using.  This also eliminated a silly overflow
 262         of the intermediate result that was causing troubles.
 263
 264 2002-08-16  Nick Drochak <ndrochak@gol.com>
 265
 266         * x86.brg (mono_llmult_ovf): Flip ALL the bits, dummy. Now negative numbers
 267         work.
 268
 269 2002-08-15  Nick Drochak <ndrochak@gol.com>
 270
 271         * x86.brg (mono_llmult_ovf): Fix so it throws an overflow when result
 272         will not fit in 64 bits.  Fixes bug #27375.
 273
 274 Wed Aug 14 17:31:37 CEST 2002 Paolo Molaro <lupus@ximian.com>
 275
 276         * exception.c: updates for API changes in metadata/.
 277
 278 2002-08-13  Dietmar Maurer  <dietmar@ximian.com>
 279
 280         * jit.c (mono_jit_init): use  ((gpointer)-1) as end_of_stack
 281         address for the main thread.
 282
 283 2002-08-12  Dietmar Maurer  <dietmar@ximian.com>
 284
 285         * jit.c (mono_analyze_stack): added support for Thread::Abort ()
 286
 287 2002-08-08  Dietmar Maurer  <dietmar@ximian.com>
 288
 289         * exception.c (arch_handle_exception): simply return and let the
 290         libpthread/kernel restore the context. This should work on recent
 291         versions of linuxthreads.
 292
 293         * jit.c (mono_runtime_install_handlers): switch back to use
 294         sigaction from libpthreads. As long as this does not make problems
 295         we should use this instead of syscall.
 296
 297 2002-08-07  Dietmar Maurer  <dietmar@ximian.com>
 298
 299         * jit.c: removed the createdelegate icall
 300         (mono_analyze_stack): special case Array::Address()
 301
 302 2002-08-06  Dietmar Maurer  <dietmar@ximian.com>
 303
 304         * emit-x86.c (arch_emit_prologue): make the call to
 305         mono_get_lmf_addr relocatable.
 306         (arch_jit_compile_cfg): do not waste memory
 307         (arch_jit_compile_cfg): use a mempool to store native code. This
 308         improves locality of code.
 309
 310 2002-08-01  Dietmar Maurer  <dietmar@ximian.com>
 311
 312         * jit.c (mono_analyze_stack): impl. CEE_MONO_RETOBJ
 313
 314 2002-07-30  Sergey Chaban <serge@wildwestsoftware.com>
 315
 316         * x86.brg (LOCALLOC): under Windows, if allocation size is bigger
 317         than one page, it's necessary to allocate memory incrementally,
 318         in page-size steps, performing stack-touch every time.
 319         Also added LOCALLOC(CONST_I4) implementation.
 320
 321 2002-07-27  Dietmar Maurer  <dietmar@ximian.com>
 322
 323         * jit.c (mono_get_runtime_method): code cleanup
 324
 325         * x86.brg: we do not need to save EAX/ECX/EDX in stmt:
 326
 327 2002-07-24  Dietmar Maurer  <dietmar@ximian.com>
 328
 329         * jit.c (mono_analyze_stack): added CEE_TAIL (but it is ignored)
 330
 331 Wed Jul 24 13:02:50 CEST 2002 Paolo Molaro <lupus@ximian.com>
 332
 333         * jit.c, jit.h, exception.c: implemented stack walking function.
 334
 335 2002-07-24  Dietmar Maurer  <dietmar@ximian.com>
 336
 337         * x86.brg (ARG_OBJ): removed zero sized object warning
 338
 339 2002-07-23  Dietmar Maurer  <dietmar@ximian.com>
 340
 341         * jit.c (mono_allocate_excvar): mark excvar as volatile
 342
 343         * emit-x86.c (enter_method): use arch_get_argument_info to get
 344         stack layout.
 345
 346         * jit.c (mono_analyze_stack): use arch_get_argument_info to get
 347         stack layout.
 348         (mono_analyze_stack): removed unused code
 349
 350         * emit-x86.c (arch_allocate_arg): impl.
 351
 352 2002-07-22  Dietmar Maurer  <dietmar@ximian.com>
 353
 354         * emit-x86.c (arch_allocate_var): fix alignment bug
 355
 356         * x86.brg (X86_CALL_BEGIN): add argument padding before emitting a call
 357
 358         * jit.c (mono_analyze_stack): s/k/k + 1/
 359
 360         * x86.brg (LOCALLOC): align to MONO_FRAME_ALIGNMENT
 361
 362         * emit-x86.c (arch_get_argument_info): impl.
 363
 364 2002-07-21  Miguel de Icaza  <miguel@ximian.com>
 365
 366         * exception.c (arch_handle_exception): Memory leak fix.
 367
 368 2002-07-19  Dietmar Maurer  <dietmar@ximian.com>
 369
 370         * jit.c (mono_analyze_stack): avoid recursive inlining
 371
 372 Fri Jul 19 18:45:11 CEST 2002 Paolo Molaro <lupus@ximian.com>
 373
 374         * emit-x86.c: temporary workaround for gcc bug.
 375         * jit.h, jit.c, mono.c: move mono_jit_image to jit.c.
 376         Don't include config.h in headers.
 377
 378 2002-07-19  Dietmar Maurer  <dietmar@ximian.com>
 379
 380         * x86.brg: correctly align valuetype arguments on the stack
 381
 382         * jit.c (mono_analyze_stack): do not compute frame size here.
 383
 384         * x86.brg: use macros to avoid code duplication for CALL opcodes,
 385         compute frame size in x86.brg
 386
 387 2002-07-18  Dietmar Maurer  <dietmar@ximian.com>
 388
 389         * x86.brg (ARG_OBJ): allow zero sized ARG_OBJ
 390
 391         * exception.c (arch_handle_exception): removed duplicated code,
 392         added support for exception filters
 393
 394         * jit.c (mono_jit_compile_method): support exception filters
 395
 396 2002-07-17  Dietmar Maurer  <dietmar@ximian.com>
 397
 398         * jit.c (mono_analyze_stack CEE_DIV): added fix from Zoltan Varga
 399         (bug #27423)
 400         * jit.c: s/ISSTRUCT/MONO_TYPE_ISSTRUCT/
 401
 402         * helpers.c (mono_map_ldind_type): added suggested changes from
 403         Zoltan Varga (support MONO_TYPE_U), variou 64bit fixes
 404
 405         * jit.c (mono_analyze_stack): remove the vtype pointer from the
 406         stack (fix bug #27420)
 407
 408 2002-07-16  Dietmar Maurer  <dietmar@ximian.com>
 409
 410         * x86.brg (CALL_VOID): fix bug #27751
 411         (CONV_R_UN) use reg2 instead of reg1 for the negative check /fix bug 27849.
 412
 413         * jit.c (mono_analyze_stack): adjust valuetype size for pinvoke calls
 414
 415 i2002-07-11  Dietmar Maurer  <dietmar@ximian.com>
 416
 417         * x86.brg (freg): new rule freg: CALL_R8 (this, reg)
 418
 419 2002-07-10  Dietmar Maurer  <dietmar@ximian.com>
 420
 421         * emit-x86.c (arch_emit_prologue): added code to save LMF
 422
 423 2002-07-04  Dietmar Maurer  <dietmar@ximian.com>
 424
 425         * x86.brg (LOCALLOC): added fix from Zoltan Varga (for bug #27396)
 426
 427 2002-07-05  Martin Baulig  <martin@gnome.org>
 428
 429         * debug.c (mono_debug_add_method): Fix a bug in the `begin_scope' and
 430         `end_scope' calculations when linear scan register allocation is disabled.
 431
 432 2002-07-02  Gonzalo Paniagua Javier <gonzalo@ximian.com>
 433
 434         * mono.c: removed the "RESULT: X" message.
 435
 436 2002-07-01  Dietmar Maurer <dietmar@ximian.com>
 437
 438         * exception.c (arch_get_call_finally): restore caller saved
 439         register used by global reg. allocation when calling finally
 440         handlers (fixes bug #24943).
 441
 442 2002-07-01  Dick Porter  <dick@ximian.com>
 443
 444         * jit.c (mono_jit_exec): Removed unneeded argument to
 445         mono_runtime_run_main()
 446
 447 2002-06-28  Martin Baulig  <martin@gnome.org>
 448
 449         * debug.c (debug_generate_method_lines, mono_debug_add_method): Make methods
 450         start on the nop instruction to make single-stepping into an already-JITed
 451         method work.
 452
 453 2002-06-26  Martin Baulig  <martin@gnome.org>
 454
 455         * debug.c (mono_debug_source_location_from_address): Added
 456         `guint32 *line_number' argument.  If it's not NULL, store the line number
 457         there and return the file name without the line number.
 458
 459         * exception.c (ves_icall_get_trace): Fill in `sf->filename' and `sf->line'.
 460         (ves_icall_get_frame_info): Likewise.
 461
 462 2002-06-25  Dick Porter  <dick@ximian.com>
 463
 464         * jit.c (mono_jit_exec): Pass the assembly to mono_runtime_run_main
 465
 466 2002-06-22  Martin Baulig  <martin@gnome.org>
 467
 468         * debug.c (mono_debug_source_location_from_address): Small fix, an
 469         unsigned number can never be smaller than zero, make that check
 470         actually work.
 471
 472 2002-06-19  Dietmar Maurer  <dietmar@ximian.com>
 473
 474         * exception.c (ves_icall_get_trace): new method to get the stack
 475         trace from a Exception.
 476
 477 2002-06-18  Dietmar Maurer  <dietmar@ximian.com>
 478
 479         * jit.c (check_inlining): do not inline functions containing
 480         calls to stack query functions
 481
 482         * exception.c (ves_icall_get_frame_info): impl.
 483
 484 Tue Jun 18 10:21:19 CEST 2002 Paolo Molaro <lupus@ximian.com>
 485
 486         * invoke.c: marshal simple arrays correctly.
 487
 488 2002-06-17  Dietmar Maurer  <dietmar@ximian.com>
 489
 490         * x86.brg: added inlined versions of Math.Sin, Math.Cos, Math.Sqrt
 491
 492         * jit.c (mono_analyze_stack): impl. STARG
 493         (mono_analyze_stack): impl. LDARGA
 494
 495         * exception.c (arch_handle_exception): correctly restore register
 496         values when unwinding the stack (fixes bug 25698)
 497
 498 2002-06-09  Martin Baulig  <martin@gnome.org>
 499
 500         * debug.c (mono_debug_open_image): For MONO_DEBUG_FORMAT_DWARF2_PLUS,
 501         the `%s-debug.s' file is in the same directory than its assembly.
 502
 503 Sat Jun 1 13:24:01 CEST 2002 Paolo Molaro <lupus@ximian.com>
 504
 505         * message.c, emit-x86.c: kill warnings.
 506
 507 2002-05-31  Dietmar Maurer  <dietmar@ximian.com>
 508
 509         * x86.brg: buf fix in REMOTE_STIND_OBJ
 510         (mono_ldvirtftn): impl.
 511         (mono_ldintftn): impl.
 512         (mono_ldftn): impl.
 513
 514 Fri May 31 13:26:56 CEST 2002 Paolo Molaro <lupus@ximian.com>
 515
 516         * mono.c: added --config command line option.
 517
 518 Fri May 31 12:34:52 CEST 2002 Paolo Molaro <lupus@ximian.com>
 519
 520         * jit.c, jit.h: collect statistics about the number of basic blocks.
 521
 522 2002-05-31  Martin Baulig  <martin@gnome.org>
 523
 524         * debug.c (mono_debug_address_from_il_offset): New public function.
 525         (mono_debug_add_method): Improved local variable info: correctly handle
 526         variables in registers and their start/end scopes.
 527
 528 2002-05-30  Martin Baulig  <martin@gnome.org>
 529
 530         * debug-dwarf2.c (dwarf2_write_string): Use "0x%lx" as fprintf() format,
 531         not "%p" which seems to be broken on Windows/mingw32.
 532
 533 2002-05-30  Dietmar Maurer  <dietmar@ximian.com>
 534
 535         * x86.brg (reg): bug fix in LOCALLOC
 536
 537         * mono.c (main): new switch --nointrinsic to disable memcpy opt.
 538
 539         * x86.brg: added block copy/init optimizations from
 540         Serge (serge@wildwestsoftware.com)
 541
 542 Thu May 30 14:13:12 CEST 2002 Paolo Molaro <lupus@ximian.com>
 543
 544         * invoke.cs: lookup P/Invoke method address only when needed.
 545
 546 2002-05-29  Dietmar Maurer  <dietmar@ximian.com>
 547
 548         * x86.brg: bug fix in REMOTE_STIND_OBJ
 549
 550         * invoke.c (arch_create_native_wrapper): handle pointers to value types
 551
 552         * helpers.h: use mono_ prefix for all functions
 553
 554         * jit.c (mono_analyze_stack): fixed SIZEOF
 555
 556         * x86.brg: impl. LOCALLOC, INITBLK
 557
 558 2002-05-28  Dietmar Maurer  <dietmar@ximian.com>
 559
 560         * x86.brg: impl. CKFINITE
 561
 562         * jit.c (mono_analyze_stack): impl. CEE_CALLI
 563
 564         * x86.brg (JMP): impl. JMP opcode
 565
 566 2002-05-27  Dietmar Maurer  <dietmar@ximian.com>
 567
 568         * jit.c (mono_cfg_new): reserve additional space to store ESP when
 569         calling finally handlers.
 570
 571         * exception.c (arch_get_call_finally): save ESP before calling
 572         finally handler.
 573
 574         * helpers.c (map_arg_type): move some generic helper function into
 575         this file.
 576
 577         * mono.c (usage): new option --breakonex
 578
 579         * exception.c (arch_exc_is_caught): only return FALSE if really
 580         unhandled.
 581
 582         * jit.c (mono_thread_abort): free jit_tls
 583
 584 2002-05-24  Dietmar Maurer  <dietmar@ximian.com>
 585
 586         * x86.brg (stmt): use memmove to cope with overlapping
 587         blocks. This is not required by the specs, so we can remove it
 588         later if it turns out to be too slow (and use memcpy).
 589
 590         * jit.c (mono_analyze_stack): moved const. folding from x86.brg
 591
 592         * x86.brg: CPBLK impl.
 593
 594         * emit-x86.c (tree_emit): modified to support 3 nonterminals per
 595         rule (used for CPBLK).
 596
 597 Thu May 23 18:43:07 CEST 2002 Paolo Molaro <lupus@ximian.com>
 598
 599         * mono.c: remove generated code from hash when benchmarking/testing
 600         method compilation.
 601         * invoke.cs: special case string ctors.
 602
 603 2002-05-23  Dietmar Maurer  <dietmar@ximian.com>
 604
 605         * *.c: code cleanups - tried to separate architecture dependent things.
 606
 607 2002-05-23  Martin Baulig  <martin@gnome.org>
 608
 609         * debug.c (mono_debug_open): Don't call mono_debug_add_image().
 610         (mono_debug_write_symbols): Only recreate the symbol file if
 611         necessary.
 612
 613         * debug-private.h (MonoDebugHandle): Added `dirty' flag.
 614
 615         * mono.c (main): Call mono_debug_add_image() here.
 616
 617         * jit.c (mono_thread_abort): If we have debugging support, call
 618         mono_debug_make_symbols() and G_BREAKPOINT().
 619
 620         * exception.c (arch_handle_exception): Don't G_BREAKPOINT() if we get
 621         an unhandled exception.
 622
 623 2002-05-23  Dietmar Maurer  <dietmar@ximian.com>
 624
 625         * delegate.c: move the thread pool to metadata/threadpool.c, code
 626         cleanup.
 627
 628 2002-05-22  Dietmar Maurer  <dietmar@ximian.com>
 629
 630         * exception.c (arch_exc_is_catched): impl. MS like exception
 631         handling (added a check for unhandled exceptions)
 632
 633 2002-05-22  Martin Baulig  <martin@gnome.org>
 634
 635         * debug-dwarf2-plus.c (mono_debug_open_assembly_dwarf2_plus): Only run
 636         the assembler if necessary, ie. the assembler file is newer than the
 637         symbol file or the symbol file does not exist.
 638
 639         * debug.c: Added "update_on_exit" argument to recreate the symbol file
 640         when the JIT exists.
 641
 642         * debug-dwarf2.c: Produce assembler code which is free of comments and
 643         extra whitespaces so that it's suitable for `as -f'.
 644
 645 2002-05-22  Martin Baulig  <martin@gnome.org>
 646
 647         * debug-dwarf2.c (dwarf2_write_section_end): Removed.  This is not needed
 648         and not supported by all assemblers.
 649         (dwarf2_write_2byte): Use ".word" instead of ".2byte" since ".2byte" is a
 650         GNU extension.
 651
 652         * mono.c (--debug): Small fix in the argument parsing.
 653
 654 2002-05-22  Martin Baulig  <martin@gnome.org>
 655
 656         * debug.c: Added "dont_assemble" and "dont_precompile" argument for dwarf-plus.
 657
 658         * mono.c: Applied patch from Miguel:
 659         (--debug): This is now a `--debug=[FORMAT]' argument where FORMAT defaults
 660         to dwarf-plus.
 661
 662 2002-05-21  Martin Baulig  <martin@gnome.org>
 663
 664         * debug.c (mono_debug_source_location_from_address): Added support for the
 665         dwarf2-plus format.
 666
 667 2002-05-21  Martin Baulig  <martin@gnome.org>
 668
 669         * debug.c (mono_debug_source_location_from_address): New function.
 670         (mono_debug_il_offset_from_address): New function.
 671
 672         * exception.c (arch_handle_exception): If we have debugging support, include
 673         information about the source location and IL offset in the stack trace.
 674
 675 2002-05-21  Dietmar Maurer  <dietmar@ximian.com>
 676
 677         * jit.c (mono_analyze_stack): LDARG uses 16bit argument (fix bug
 678         #25058)
 679
 680         * x86.brg (stmt): removed unnecessary assertion
 681
 682         * jit.c (check_inlining):  we cant inline throw instructions
 683         (because it breaks some basic block requirements)
 684
 685 2002-05-21  Martin Baulig  <martin@gnome.org>
 686
 687         * debug-private.h (MonoDebugFlags): New enum typedef.
 688
 689         * debug.c (mono_debug_open): Added a few useful arguments.  See the manpage
 690         for details.
 691
 692 2002-05-21  Martin Baulig  <martin@gnome.org>
 693
 694         * debug.c (mono_debug_open_file): Renamed to mono_debug_open(), now takes
 695         a `MonoAssembly *' argument instead of a `char *filename' one.  Also added
 696         `const char **args' argument.
 697
 698         * mono.c (mono_jit_assembly): Renamed to mono_jit_compile_image(), added
 699         `int verbose' argument and made it public.
 700         (mono_jit_compile_class): New public function,  moved the code to compile
 701         all methods in a class here from main().
 702         (--compile): The argument can now also be an image (in `@imagename' format).
 703         Updated documentation for this command line argument.
 704         (--precompile): New command line argument to precompile an image/class/method
 705         before executing the main app.  This argument can be given multiple times.
 706         (--break): Renamed the "--debug" command line argument to "--break".
 707         (--debug): New command line argument to specify the debugging format.
 708         (--stabs, --dwarf, --dwarf-plus): Removed, obsoleted by "--debug".
 709         (--debug-args): New command line argument.  This is a comma-separated list of
 710         additional arguments for the symbol writer.
 711         (usage): Beautified the help text a bit.
 712
 713         * debug-dwarf2-plus.c (mono_debug_open_assembly_dwarf2_plus): Use the new
 714         public mono_jit_compile_image() function rather than duplication this
 715         functionality here.
 716
 717 2002-05-21  Martin Baulig  <martin@gnome.org>
 718
 719         * debug-dwarf2-plus.c: This is now working again :-)
 720
 721         * debug.c (mono_debug_open_file): When using MONO_DEBUG_FORMAT_DWARF2_PLUS,
 722         we create two MonoDebugHandles: one for MONO_DEBUG_FORMAT_DWARF2_PLUS and
 723         one for the fallback MONO_DEBUG_FORMAT_DWARF2.
 724
 725 2002-05-21  Martin Baulig  <martin@gnome.org>
 726
 727         * jit.c (mono_debug_handle): Removed this global variable.
 728
 729         * debug.c (mono_debug_close): Removed.
 730         (mono_debug_cleanup): New global function.
 731         (mono_debug_add_image): New global function.
 732         (mono_debug_handle_from_class): New global function.
 733         (mono_debug_write_symbols): New global function.
 734         (mono_debug_add_type): Removed `MonoDebugHandle *' argument.
 735         (mono_debug_add_method): Likewise.
 736
 737 2002-05-21  Martin Baulig  <martin@gnome.org>
 738
 739         Work around a hard-to-fix bug in GDB and create a single dwarf/stabs
 740         file for all assemblies.  Currently, the JIT doesn't put all methods
 741         from a single assembly into a continuous region of memory.  We were
 742         previously creating valid DWARF 2 files for this, but unfortunately
 743         GDB's symbol tables get messed up when it reads more than one such file.
 744
 745         * debug-private.h (AssemblyDebugInfo): Moved `f', `producer_name',
 746         `next_idx', `methods', `type_hash', `source_files' and `format'
 747         into the MonoDebugHandle.
 748
 749         * debug.c (mono_debug_get_type): This now operates on the MonoDebugHandle,
 750         not on the AssemblyDebugInfo.
 751         (mono_debug_open_file): Moved some stuff here from mono_debug_open_assembly().
 752
 753         * debug-dwarf2.c (mono_debug_write_assembly_dwarf2): Renamed into
 754         mono_debug_write_dwarf2().
 755         (mono_debug_open_assembly_dwarf2): Removed.
 756         (mono_debug_close_assembly_dwarf2): Removed.
 757
 758         * debug-stabs.c (mono_debug_write_assembly_stabs): Renamed into
 759         mono_debug_write_stabs().
 760         (mono_debug_open_assembly_stabs): Removed.
 761         (mono_debug_close_assembly_stabs).
 762
 763         * debug-dwarf2-plus.c: This is currently broken. :-(
 764
 765 2002-05-20  Martin Baulig  <martin@gnome.org>
 766
 767         * debug.h (mono_debug_format): New global variable.
 768         (MonoDebugFormat): Added MONO_DEBUG_FORMAT_NONE.
 769
 770         * debug-private.h (MonoDebugHandle): Added `objfiles' field which is
 771         a whitespace separated list of symbol files.
 772         (AssemblyDebugInfo): Added `objfile' filed which is the name of the
 773         symbol file.
 774
 775         * mono.c (main): Pass the assembly file name to mono_debug_open_file().
 776
 777         * debug.c (mono_debug_make_symbols): Link all symbol files into a big
 778         `<assemblyname>.o' symbol file.
 779
 780 2002-05-20  Martin Baulig  <martin@gnome.org>
 781
 782         * debug.c (debug_load_method_lines): Check whether the assembly file
 783         is newer than the IL file and recreate the IL file if necessary.
 784
 785 2002-05-20  Miguel de Icaza  <miguel@ximian.com>
 786
 787         * mono.c Updated copyright years.
 788
 789 2002-05-18  Miguel de Icaza  <miguel@ximian.com>
 790
 791         * mono.c (usage): Relayout command line options.
 792
 793 2002-05-17  Dietmar Maurer  <dietmar@ximian.com>
 794
 795         * x86.brg (reg): fixed array bound check
 796
 797         * emit-x86.c (enter_method): print method signature
 798
 799         * exception.c (arch_handle_exception): set trace info before we
 800         call handlers.
 801
 802 2002-05-16  Dietmar Maurer  <dietmar@ximian.com>
 803
 804         * jit.c (mono_find_final_block): make it work with mcs
 805
 806         * x86.brg: buf fix. if exception variable is allocated to a register.
 807
 808         * jit.c (mono_find_final_block): bug fix.
 809
 810 2002-05-15  Dietmar Maurer  <dietmar@ximian.com>
 811
 812         * delegate.c (arch_end_invoke): fix bug #24653, simplified the
 813         code using new runtime_invoke feature.
 814
 815         * jit.c (mono_analyze_flow): try blocks are followed by handler
 816         blocks, so we need to add all handler blocks as succesors.
 817         (mono_thread_start_cb): set end_of_stack
 818
 819         * exception.c (arch_handle_exception): correctly save/restore caller
 820         saved regs.
 821
 822         * emit-x86.c (arch_emit_prologue): correctly save/restore caller
 823         saved regs.
 824
 825         * jit.c (mono_cfg_new): allocate space for caller saved registers.
 826
 827 2002-05-14  Dietmar Maurer  <dietmar@ximian.com>
 828
 829         * jit.c: only use one TLS slot to store jit data
 830
 831         * exception.c (arch_handle_exception): print function signature,
 832         use thread relative end_of_stack
 833
 834 2002-05-13  Dietmar Maurer  <dietmar@ximian.com>
 835
 836         * jit.c (OPT_BOOL): new. opt. for boolean variables - we simply
 837         store them as 32 bit integers.
 838         (mono_analyze_stack): we need to generate a temporary var for
 839         SHL/SHR because the tree allocator can fail otherwise
 840
 841         * exception.c (arch_handle_exception): EIP now points to the call
 842         instruction, not to the instruction after the call. This fixes the
 843         bug reported by Linus Upson (tests/exception8.cs)
 844
 845 2002-05-11  Dietmar Maurer  <dietmar@ximian.com>
 846
 847         * jit.c (mono_analyze_flow): always allocate the forest array
 848         (mono_stack_duplicate_used_var): impl.
 849         (mono_copy_used_var): impl.
 850
 851         * x86.brg: bug fix in SHR/SHL
 852
 853         * emit-x86.c (arch_emit_prologue): check if live_in_set != NULL
 854
 855 2002-05-11  Sergey Chaban <serge@wildwestsoftware.com>
 856
 857         * mono.c: new --fast-iconv command line option
 858         to enable fast FP-to-integer conversion code.
 859         * jit.c, jit.h: added global variable to store state
 860         for the above option. This optimization is disabled
 861         by default.
 862         * x86.brg: added code to emit fast FP-to-integer
 863         conversion sequences.
 864
 865 2002-05-10  Dan Lewis  <dihlewis@yahoo.co.uk>
 866
 867         * emit-x86.c: simple definite assignment analysis optimization for
 868         uninitialized locals.
 869
 870 Fri May 10 15:43:53 CEST 2002 Paolo Molaro <lupus@ximian.com>
 871
 872         * x86.brg, emit-x86.c: patch the branch targets with x86_patch().
 873
 874 2002-05-10  Dietmar Maurer  <dietmar@ximian.com>
 875
 876         * linear-scan.c (mono_update_gen_set): improvement/bug fix
 877
 878         * x86.brg: added additional rules to handle global allocated registers
 879
 880         * mono.c (usage): the option is called --nols, and it dissables
 881         linear scan.
 882
 883         * x86.brg: better LDIND_R4, LDIND_R8, STIND_R4, STIND_R8
 884
 885 2002-05-09  Dietmar Maurer  <dietmar@ximian.com>
 886
 887         * linear-scan.c: linear scan reg. allocation and data flow analysis
 888         use Paolo's great bitset implementation.
 889
 890         * jit.c (arch_allocate_var): add live range info
 891         (mono_cfg_add_successor): create list of successors for basic
 892         blocks.
 893
 894         * mono.c (main): new option --ls to enable linear scan
 895
 896         * exception.c (arch_handle_exception): print instruction pointer
 897         relative to method start address.
 898
 899         * jit.c (mono_print_ctree): print register number if locals are
 900         allocate in registers.
 901
 902         * emit-x86.c (arch_emit_prologue): initialize reg. allocated locals
 903         (arch_emit_epilogue): take care when restoring save registers,
 904         because the stack pointer may has changed.
 905
 906         * x86.brg: s/VAROFFSET/VARINFO/
 907         modified to support global register allocation
 908
 909 Mon May 6 15:38:15 CEST 2002 Paolo Molaro <lupus@ximian.com>
 910
 911         * jit.h, jit.c, emit-x86.c: x86 cpu detection code from Sergey.
 912
 913 2002-05-03  Sergey Chaban <serge@wildwestsoftware.com>
 914
 915         * x86.brg: more coni4 optimizations
 916         MUL: generate optimized code for some consts other
 917         than powers of 2 (hardcoded impl. for 3, 5, 10 etc.);
 918         DIV_UN: multiply with reciprocal instead of dividing;
 919
 920 2002-05-03  Dietmar Maurer  <dietmar@ximian.com>
 921
 922         * x86.brg: use VAROFFSET macro
 923
 924         * emit-x86.c (tree_emit): allocate space for spilled regs in
 925         activation frame instead of pushing them to the stack.
 926
 927         * x86.brg: replace BXX with CBRANCH/COMPARE
 928         replaced CXX CSET/COMPARE
 929
 930         * emit-x86.c (arch_allocate_regs): improved register allocation
 931
 932 2002-05-02  Dietmar Maurer  <dietmar@ximian.com>
 933
 934         * delegate.c (mono_delegate_cleanup): signal semaphore in order to
 935         exit threads.
 936
 937 2002-04-30  Dick Porter  <dick@ximian.com>
 938
 939         * mono.c (main): Tell glib to not abort when g_log() etc print
 940         recursively
 941
 942 2002-04-30  Dietmar Maurer  <dietmar@ximian.com>
 943
 944         * x86.brg: opt. LDELEMA impl.
 945         (MUL) use shift when possible.
 946         (DIV) use shift when possible.
 947         impl. various opt. with coni4
 948
 949         * exception.c (arch_handle_exception): use ctx->SC_EBP in
 950         end_of_stack check as suggested by Linus Upson <linus@linus.com>
 951
 952 2002-04-29  Dietmar Maurer  <dietmar@ximian.com>
 953
 954         * x86.brg (LDLEN, UNBOX): removed unnecessary NULL check.
 955
 956         * exception.c: included the Freebsd patch from Sandro Tolaini
 957         <sandro@focuseek.com>
 958
 959 Mon Apr 29 15:18:00 CEST 2002 Paolo Molaro <lupus@ximian.com>
 960
 961         * mono.c, jit.c: use mono_runtime_run_main ().
 962
 963 2002-04-29  Dietmar Maurer  <dietmar@ximian.com>
 964
 965         * jit.c (mono_analyze_stack): dont call methods on Object with
 966         METHOD_ATTRIBUTE_FINAL directly because it breaks remoting.
 967
 968         * x86.brg: added more CONV_U rules
 969
 970         * jit.c (mono_analyze_stack): avoid recursive call of virtual
 971         methods: fixes Bug #23778
 972         (mono_analyze_stack): emit right CONV_UX opcodes: fixes bug 23547
 973
 974         * exception.c (arch_handle_exception): only g_assert(cleanup) if
 975         we really need it.
 976
 977 2002-04-27      Patrik Torstensson <patrik.torstensson@intel.com>
 978
 979         * x86.brg: fixed bug in CONV_I8 (invalid stack correction)
 980
 981 2002-04-27  Martin Baulig  <martin@gnome.org>
 982
 983         * jit.h (MonoFlowGrap): Renamed `epilogue_begin' to `epilogue_end',
 984         there's already `epilog' so we don't need `epilogue_begin'.
 985
 986         * debug.c (mono_debug_add_method): Use `cfg->epilogue_end' to get the
 987         size of the method's code.
 988
 989 2002-04-25  Martin Baulig  <martin@gnome.org>
 990
 991         * debug-dwarf2.c (dwarf2_write_string_type): Reflect latest MonoString
 992         changes.
 993
 994 2002-04-25  Dietmar Maurer  <dietmar@ximian.com>
 995
 996         * x86.brg: enable stmt: STIND_I4 (addr, coni4) again,
 997         added CONV_OVF_I4 (fix bug #23808)
 998
 999 2002-04-23  Dietmar Maurer  <dietmar@ximian.com>
1000
1001         * x86.brg: code cleanup - use x86_patch ()
1002
1003         * jit.c (mono_analyze_stack): only use MB_TERM_CHECKTHIS when necessary
1004         (mono_analyze_stack): don't store constants in temp. variables for CEE_DUP
1005
1006         * x86.brg (stmt): removed stmt: STIND_I4 (addr, coni4) rule
1007         because it slows down performance.
1008
1009 2002-04-21  Dan Lewis  <dihlewis@yahoo.co.uk>
1010
1011         * emit-x86.c: enter_method handles 8-byte aligned parameters.
1012
1013 2002-04-20  Dan Lewis  <dihlewis@yahoo.co.uk>
1014
1015         * jit,h, jit.c, x86.brg: NEWOBJ_SPEC and NEWARR_SPEC terminals for
1016         non-shared code.
1017
1018 2002-04-20  Dietmar Maurer  <dietmar@ximian.com>
1019
1020         * jit.c (check_inlining): added statistics about inlineing
1021
1022         * mono.c (usage): new switch --noinline to disable inlining
1023
1024         * jit.c (mono_analyze_stack): added a check for (this!=NULL) if we
1025         inline methods (to keep semantics)
1026
1027         * x86.brg: added constant folding for inegers
1028
1029         * emit-x86.c (tree_allocate_regs): handle the special case when
1030         chain rules need a register.
1031
1032 2002-04-19  Dietmar Maurer  <dietmar@ximian.com>
1033
1034         * invoke.c (arch_create_native_wrapper): do not save LMF for Strings
1035
1036         * jit.c (check_inlining): better inlining support
1037
1038 2002-04-19  Dan Lewis  <dihlewis@yahoo.co.uk>
1039
1040         * x86.brg: LDLEN uses max_length instead of bounds[0]
1041         * jit.c: support for new szarray format
1042
1043 2002-04-18  Dietmar Maurer  <dietmar@ximian.com>
1044
1045         * jit.c (check_inlining): added inlining support
1046
1047 2002-04-17  Dietmar Maurer  <dietmar@ximian.com>
1048
1049         * x86.brg: optimized version of castclass and isinst
1050
1051 Wed Apr 17 12:34:56 CEST 2002 Paolo Molaro <lupus@ximian.com>
1052
1053         * emit-x86.c, invoke.c: track time spent compiling.
1054
1055 Wed Apr 17 10:58:37 CEST 2002 Paolo Molaro <lupus@ximian.com>
1056
1057         * emit-x86.c, invoke.c: call profile callbacks if needed.
1058         * jit.c, jit.h, mono.c: add --profile command line option.
1059
1060 2002-04-16  Gonzalo Paniagua Javier <gonzalo@ximian.com>
1061
1062         * jit.h: included mono/io-layer/io-layer.h to avoid breaking
1063         compilation under windows when upgrading mingw and w32api to
1064         version 1.3 (thanks Dick!).
1065
1066 2002-04-15  Patrik Torstensson <patrik.torstensson@labs2.com>
1067
1068         * jit.c: changed the array icalls to use full names
1069
1070 2002-04-15  Dietmar Maurer  <dietmar@ximian.com>
1071
1072         * x86.brg: check the this pointer before calling
1073         non-virtual functions
1074
1075         * emit-x86.c (arch_emit_prologue): initialize local vars.
1076
1077         * x86.brg: removed incredible clumsy code
1078
1079 2002-04-13  Martin Baulig  <martin@gnome.org>
1080
1081         * debug-dwarf2.c (dwarf2_write_variable_location): New static func to write
1082         the location of a variable.
1083         (dwarf2_write_variable, dwarf2_write_parameter): Take a MonoDebugVarInfo
1084         instead of a stack offset and use dwarf2_write_variable_location() to write
1085         the location.
1086
1087 2002-04-13  Martin Baulig  <martin@gnome.org>
1088
1089         * debug.c, debug-stabs.c, debug-dwarf2.c: Reflect latest debug-symfile.h
1090         API changes.
1091
1092 2002-04-12  Gonzalo Paniagua Javier <gonzalo@ximian.com>
1093
1094         * Makefile.am: use of the new '-s' option in monoburg.
1095
1096 2002-04-12  Martin Baulig  <martin@gnome.org>
1097
1098         * debug-dwarf2.c (dwarf2_write_variable): Emit info about the variable's
1099         lifetime.
1100
1101 2002-04-10  Sergey Chaban <serge@wildwestsoftware.com>
1102         * win32-exception: added Win32 SEH exception filter that translates
1103         CONTEXT to sigcontext;
1104
1105         * jit.c: added Win32 SEH init/reset calls, compute sigcontext address
1106         in a platfrom-dependent way;
1107
1108         * jit.h: use win32-exception instead of signal if PLATFORM_WIN32
1109         and avoid io-layer includes;
1110
1111         * delegate.c: do not include io-layer stuff if PLATFORM_WIN32
1112         is defined;
1113
1114 2002-04-09  Dietmar Maurer  <dietmar@ximian.com>
1115
1116         * delegate.c (arch_end_invoke): restore output arguments
1117
1118 Mon Apr 8 17:16:40 CEST 2002 Paolo Molaro <lupus@ximian.com>
1119
1120         * jit.c: call mono_runtime_init ().
1121
1122 2002-04-08  Dietmar Maurer  <dietmar@ximian.com>
1123
1124         * jit.c (mono_jit_cleanup): added more statistics
1125
1126         * invoke.c (arch_create_native_wrapper): special case EndInvoke -
1127         we need to pass the MonoMethod pointer as first argument.
1128
1129         * delegate.c (mono_async_invoke): notify all listeners, not only a
1130         single one.
1131         (arch_end_invoke): we now pass a MonoMethod as first parameter and
1132         use arch_method_call_message_new() to access the stack.
1133         (arch_end_invoke): wait until we really finished processing
1134         (async_invoke_abort): notify all listeners, not only a
1135         single one.
1136
1137 2002-04-06  Dietmar Maurer  <dietmar@ximian.com>
1138
1139         * message.c (arch_return_value): impl.
1140         (arch_method_return_message_restore): consider delegate BeginInvoke
1141
1142         * jit.c: removed jit_exec_main()
1143
1144         * delegate.c (arch_begin_invoke): use the message builder to make
1145         it architecture independent - still needs more cleanup.
1146
1147 2002-04-05  Dietmar Maurer  <dietmar@ximian.com>
1148
1149         * delegate.c (mono_delegate_ctor): support for transparent proxy
1150
1151         * x86.brg (freg): bug fix in CONV_R* opcodes
1152
1153 2002-04-04  Dietmar Maurer  <dietmar@ximian.com>
1154
1155         * message.c: added documentation
1156
1157 2002-04-03  Dietmar Maurer  <dietmar@ximian.com>
1158
1159         * mono.c (main): use --trace instead of --trace-calls
1160
1161         * x86.brg: impl. REMOTE_STIND_XX
1162
1163         * message.c (mono_store_remote_field): impl.
1164
1165 2002-03-30  Dietmar Maurer  <dietmar@ximian.com>
1166
1167         * x86.brg: impl. REMOTE_FIELD (load fields of remote objects)
1168
1169         * message.c (mono_load_remote_field): impl.
1170
1171         * jit.c (mono_analyze_stack): only call marshalbyref methods
1172         through the vtable.
1173         (mono_analyze_stack): consider marshalbyref objects in LDFLD
1174
1175 Fri Mar 29 16:00:27 CET 2002 Paolo Molaro <lupus@ximian.com>
1176
1177         * x86.brg: kill pointer arithmetric.
1178
1179 2002-03-28  Martin Baulig  <martin@gnome.org>
1180
1181         * jit.c (mono_debug_insert_breakpoint): New global variable.
1182         (mono_debug_last_breakpoint_address): New global variable.
1183
1184         * emit-x86.c (arch_compile_method): If `mono_debug_insert_breakpoint' is
1185         non-zero, insert a breakpoint; if it's positive, decrement it when done.
1186         Set `mono_debug_last_breakpoint_address' to the address of the last inserted
1187         breakpoint.
1188
1189         * debug.h: Provide external declaration of `mono_debug_insert_breakpoint' and
1190         `mono_debug_last_breakpoint_address', also documented them here.
1191
1192 2002-03-28  Martin Baulig  <martin@gnome.org>
1193
1194         * debug-private.h (MonoDebugHandle): Renamed `format' to `default_format'.
1195         (AssemblyDebugInfo): Added `format'.
1196
1197         * debug.c: Use the AssemblyDebugInfo's `format' field to determine the format,
1198         this allows us choose the format on a per-assembly basis.
1199         (mono_debug_open_assembly): When using MONO_DEBUG_FORMAT_DWARF2_PLUS, fall back
1200         to MONO_DEBUG_FORMAT_DWARF2 if the symbol file does not exist, but the IL file
1201         exists.
1202         (debug_generate_method_lines): Generate correct IL offsets.
1203
1204 2002-03-28  Martin Baulig  <martin@gnome.org>
1205
1206         * jit.h (MonoFlowGraph): Added `prologue_end' and `epilogue_start' fields.
1207
1208         * emit-x86.c (arch_compile_method): Set prologue_end and epilogue_start.
1209
1210         * debug-private.h (DebugMethodInfo): Renamed `frame_start_offset' to
1211         `prologue_end_offset', added `epilogue_begin_offset' and `last_line'.
1212
1213         * debug.c (debug_generate_method_lines): Don't return if we don't have line
1214         numbers, we still need to generate the IL offsets here. Emit line numbers
1215         for `prologue_end_offset' (the first line of actual code) and
1216         `epilogue_begin_offset' (the line of the method's closing brace).
1217         Don't crash if cfg->bblocks [i].forest is NULL.
1218         (mono_debug_add_method): Don't crash if we don't have line numbers.
1219         Initialize the newly added fields.
1220
1221         * debug-stabs.c: Record first and last line, emit filename info at the
1222         beginning of the stab file, gdb ignores the types otherwise.
1223
1224         * debug-dwarf2.c: Use the new prologue_end_offset instead of guessing it;
1225         emit line number info for the first and last line.
1226
1227 2002-03-28  Dietmar Maurer  <dietmar@ximian.com>
1228
1229         * invoke.c (arch_create_delegate_trampoline): impl.
1230
1231 Thu Mar 28 11:58:53 CET 2002 Paolo Molaro <lupus@ximian.com>
1232
1233         * Makefile.am, mono.c, jit.h, jit.c: build the libmono library
1234         with the jit runtime to easy embedding. main() is moved to mono.c, now.
1235         * jit.c: use opcode names from libmetadata.
1236         * debug.h, debug.c: constify char* argument.
1237
1238 2002-03-28  Dietmar Maurer  <dietmar@ximian.com>
1239
1240         * jit.c: catching SIGSEGV again, added proxy support
1241
1242 2002-03-21  Dietmar Maurer  <dietmar@ximian.com>
1243
1244         * delegate.c (mono_delegate_init): remove unused worker threads
1245
1246 2002-03-27  Mike Kestner <mkestner@speakeasy.net>
1247
1248         * delegate.c (arch_get_delegate_invoke): malloc a bigger area
1249
1250 Tue Mar 26 19:54:45 CET 2002 Paolo Molaro <lupus@ximian.com>
1251
1252         * jit.c: remove glib mem vtable code.
1253
1254 2002-03-26  Martin Baulig  <martin@gnome.org>
1255
1256         * debug-dwarf2.c (write_method_lines_dwarf2): Don't generate method
1257         lines if we don't have line number information.
1258         (write_method_dwarf2): Use `minfo->method_info.this_offset' instead
1259         of hardcoding 8.
1260
1261         * debug-stabs.c (write_method_stabs): Don't generate method lines if
1262         we don't have line number information. Use `minfo->method_info.this_offset'
1263         instead of hardcoding 8.
1264
1265         * debug.c (debug_generate_method_lines): Don't crash if we don't have
1266         line number information.
1267         (mono_debug_open_assembly): Don't generate line numbers for
1268         MONO_DEBUG_FORMAT_DWARF2_PLUS.
1269         (mono_debug_add_method): Don't store the 'this' offset in `param_offsets',
1270         but it in the new `this_offset' field.
1271
1272 Mon Mar 25 13:03:35 CET 2002 Paolo Molaro <lupus@ximian.com>
1273
1274         * debug.c (debug_generate_method_lines): Use correct addresses for
1275         record_il_offset().
1276
1277 Mon Mar 25 13:03:35 CET 2002 Paolo Molaro <lupus@ximian.com>
1278
1279         * jit.c: do not set the glib mem vtable anymore.
1280         * Makefile.am: link to libmonoutils.
1281
1282 2002-03-25  Martin Baulig  <martin@gnome.org>
1283
1284         * debug.h (mono_debug_make_symbols): Documented this function.
1285
1286 2002-03-24  Martin Baulig  <martin@gnome.org>
1287
1288         * debug.c (mono_debug_add_method): Include the `this' offset in
1289         the `minfo->method_info.param_offsets' array.
1290
1291 2002-03-23  Martin Baulig  <martin@gnome.org>
1292
1293         * x86.brg (lreg: CONV_I8 (reg)): X86_XOR modifies the flags, so we need
1294         to do it before the X86_CMP.
1295         (reg: CLT (lreg, lreg)): Use correct x86_branch8() targets.
1296         (reg: CLT (lreg, lreg)): Likewise.
1297         (reg: CLT_UN (lreg, lreg)): Likewise.
1298         (reg: CLT_UN (lreg, lreg)): Likewise.
1299         (reg: CGT (lreg, lreg)): Likewise.
1300         (reg: CGT (lreg, lreg)): Likewise.
1301         (reg: CGT_UN (lreg, lreg)): Likewise.
1302         (reg: CGT_UN (lreg, lreg)): Likewise.
1303
1304 2002-03-23  Martin Baulig  <martin@gnome.org>
1305
1306         * debug-private.h (AssemblyDebugInfo): Added `_priv'.
1307
1308         * debug-dwarf2-plus.c
1309         (mono_debug_open_assembly_dwarf2_plus): Open the symbol file here.
1310         (mono_debug_close_assembly_dwarf2_plus): Close the symbol file here.
1311         (mono_debug_write_assembly_dwarf2_plus): Only call
1312         mono_debug_update_symbol_file() here.
1313
1314 Thu Mar 21 17:35:48 CET 2002 Paolo Molaro <lupus@ximian.com>
1315
1316         * jit.c: inter strings before executing a method.
1317         Do not intern command line arguments anymore.
1318
1319 2002-03-21  Martin Baulig  <martin@gnome.org>
1320
1321         * debug.h (MonoDebugFormat): Added MONO_DEBUG_FORMAT_DWARF2_PLUS.
1322
1323         * debug-dwarf2-plus.c: This debugging format reads a symbol file which has
1324         been created by MCS and fills in all machine dependent stuff.
1325
1326         * debug-private.h (DebugMethodInfo): Added `MonoDebugMethodInfo method_info',
1327         removed everything which is already in MonoDebugMethodInfo.
1328
1329         * debug.c (debug_generate_method_lines): Generate the MonoILOffsetInfo array.
1330         (mono_debug_make_symbols): Don't open the file or call as, this is done in the
1331         backend code.
1332
1333         * jit.c (main): Added "--dwarf-plus" command line option to use the new
1334         MONO_DEBUG_FORMAT_DWARF2_PLUS debugging format.
1335
1336 2002-03-21  Dietmar Maurer  <dietmar@ximian.com>
1337
1338         * jit.c (usage): new option to specify maximum number of worker threads
1339         (mono_analyze_stack): avoid cyclic dependency in CEE_LDFTN
1340
1341         * delegate.c (async_invoke_abort): added support for asynchronous exceptions
1342         (arch_get_async_invoke): notify listeners before we call the
1343         asynchronous callback
1344
1345 2002-03-20  Dietmar Maurer  <dietmar@ximian.com>
1346
1347         * delegate.c (async_invoke_thread): support for domains
1348         (async_invoke_thread): create workers only when needed
1349
1350 2002-03-19  Dietmar Maurer  <dietmar@ximian.com>
1351
1352         * delegate.c (async_invoke_thread): initial support for BeginInvoke/EndInvoke
1353
1354 2002-03-18  Dietmar Maurer  <dietmar@ximian.com>
1355
1356         * x86.brg: impl. lreg: XOR (lreg, lreg)
1357         impl. REM (freg, freg)
1358
1359 2002-03-17  Martin Baulig  <martin@gnome.org>
1360
1361         * debug.c (mono_debug_open_assembly): Call mono_debug_get_type() on all
1362         base types.
1363
1364         * debug-dwarf2.c: Added support for strings and arrays.
1365
1366 2002-03-17  Martin Baulig  <martin@gnome.org>
1367
1368         * debug.c (mono_debug_get_type): Recursively call this for all function members
1369         of a class type.
1370         (mono_debug_add_method): Don't mangle function names, this must be done by the
1371         debugger backend if the debugging format needs mangled names.
1372
1373         * debug-dwarf2.c: Improved support for classes, added member functions.
1374
1375 2002-03-16  Martin Baulig  <martin@gnome.org>
1376
1377         * debug.c (mono_debug_get_type): Recursively call this for all members and
1378         parent classes of a class type.
1379
1380         * debug-dwarf2.c: Added basic support for classes. Set source language to C++
1381         since GDB doesn't like Java very much.
1382
1383 2002-03-16  Martin Baulig  <martin@gnome.org>
1384
1385         * debug-dwarf2.c: Added support for enums.
1386
1387 2002-03-15  Martin Baulig  <martin@gnome.org>
1388
1389         * debug.c (mono_debug_get_type): Recursively call this for all members
1390         of a struct type.
1391
1392         * debug-dwarf2.c: Added support for structs.
1393
1394 2002-03-15  Dietmar Maurer  <dietmar@ximian.com>
1395
1396         * emit-x86.c (arch_create_jit_trampoline): adapt save/restore LMF
1397         to new MonoLMF layout
1398
1399 2002-03-14  Dietmar Maurer  <dietmar@ximian.com>
1400
1401         * emit-x86.c (arch_create_native_wrapper): new code to generate
1402         wrappers for calling native functions.
1403         (arch_create_native_wrapper): free allocated strings
1404         (arch_handle_exception): made mono_jit_info_table domain dependent
1405
1406 2002-03-14  Martin Baulig  <martin@gnome.org>
1407
1408         * debug.c (MonoDebugFormat): New public enums specifying which debugging
1409         format to use.
1410         (mono_debug_open_file): Added MonoDebugFormat argument.
1411         (mono_debug_make_symbols): Don't take an argument to make it easier to call
1412         this function from GDB. It's now safe to call this function multiple times;
1413         it'll always write a complete debugging file.
1414
1415         * debug.c: Splitted this file into a general part which remains in this file
1416         and the debugging format specific parts debug-stabs.c and debug-dwarf2.c.
1417         All public functions now call a corresponding format specific function.
1418
1419         * debug.c: The following changes are private to debug.c:
1420         (AssemblyDebugInfo, MonoDebugHandle): Moved declarations to debug-private.h.
1421         (record_line_number, debug_generate_method_lines): New private functions.
1422         (mono_debug_open_ass): Renamed to mono_debug_open_assembly; this function now
1423         calls a debugging-format-specific function (mono_debug_open_assembly_stabs or
1424         mono_debug_open_assembly_dwarf2).
1425         (mono_debug_make_symbols): Calls mono_debug_write_assembly_stabs/dwarf2(). It's
1426         now safe to call this function multiple times.
1427         (mono_debug_get_type): New public function. This takes a `MonoClass *' and
1428         returns an unique index for this type. It's used to ensure that we only write
1429         each class once to the debugging file.
1430         (mono_debug_add_method, mono_debug_add_type): Store all the data in an internal
1431         data structure, but don't directly write to the debugging file. This is done
1432         later from mono_debug_write_assembly().
1433
1434         * jit.c (main): Added "--dwarf" command line argument to generate DWARF 2
1435         debugging output. Call mono_debug_close() on cleanup if necessary.
1436
1437 2002-03-14  Martin Baulig  <martin@gnome.org>
1438
1439         * debug-private.h: New private header file.
1440
1441         * debug-stabs.c: Added the stabs type generation stuff which was
1442         previously in debug.c.
1443
1444         * debug-dwarf.c: Started to implement type support. We're currently
1445         only writing this most basic types to the dwarf file, but this will
1446         change soon.
1447
1448 2002-03-13  Martin Baulig  <martin@gnome.org>
1449
1450         * debug-stabs.c, debug-dwarf2.c: New files containing my new
1451         debugging code. They're now in CVS, but not yet used anywhere.
1452
1453 2002-03-11  Dietmar Maurer  <dietmar@ximian.com>
1454
1455         * emit-x86.c (mono_delegate_ctor): use C impl. instead of x86_*
1456         macros, included new delegate code from Daniel Stodden.
1457
1458
1459 Mon Mar 11 14:47:21 CET 2002 Paolo Molaro <lupus@ximian.com>
1460
1461         * jit.c: verify that corlib and runtime are in sync.
1462
1463 Mon Mar 11 11:30:56 CET 2002 Paolo Molaro <lupus@ximian.com>
1464
1465         * emit-x86.c, jit.c: use the debug-helpers facilities to
1466         describe and match a method when debugging.
1467
1468 2002-03-10  Martin Baulig  <martin@gnome.org>
1469
1470         * emit-x86.c (arch_compile_method): When emitting stabs debugging
1471         output, put a nop instruction at the start of all functions so that
1472         the adresses won't change when using --debug.
1473
1474         * debug.c (mono_debug_add_method): `tree->cli_addr' is an offset into
1475         the bytecode area, stabs needs a line number in the .il file. Use the
1476         new info->moffsets to get the line number.
1477         (AssemblyDebugInfo): Added `total_lines' and `moffsets' fields.
1478         `moffsets' is an array of `total_lines' fields (total number of lines
1479         in the .il file); for each line in the .il field, this array contains
1480         the bytecode offset if it's an "IL_xxxx" line, -1 if it's the last line
1481         of a method and 0 otherwise.
1482         (debug_load_method_lines): Read the whole .il file and initialize the
1483         info->moffsets field.
1484
1485 2002-03-09  Martin Baulig  <martin@gnome.org>
1486
1487         * x86.brg (DIV_UN): Clear EDX before performing the division and remove
1488         the unnecessary CDQ instruction.
1489
1490 2002-03-07  Dietmar Maurer  <dietmar@ximian.com>
1491
1492         * jit.c (mono_analyze_stack): only load addresses of value types
1493         on the runtime stack.
1494
1495 2002-03-07  Duncan Mak  <duncan@ximian.com>
1496
1497         * Makefile.am: A small patch fixing errors in vpath-based builds
1498         (make clean failing to rerun monoburg due to BUILT_SOURCES usage),
1499         committed for Daniel Stodden <stodden@in.tum.de>.
1500
1501 Thu Mar 7 17:22:52 CET 2002 Paolo Molaro <lupus@ximian.com>
1502
1503         * jit.c: Boehm-GC enable.
1504
1505 2002-03-07  Dietmar Maurer  <dietmar@ximian.com>
1506
1507         * x86.brg (SAVE_LFM): bug fix: patch the saved IP because we
1508         realloc that code sometimes!
1509
1510         * emit-x86.c (mono_compute_branches): support several types of
1511         jump infos
1512
1513 2002-03-06  Dietmar Maurer  <dietmar@ximian.com>
1514
1515         * x86.brg: impl. MUL_OVF_UN (reg, reg)
1516
1517         * jit.c (mono_find_final_block): find correct finally handler.
1518
1519         * emit-x86.c (arch_create_jit_trampoline): bug fix: preserve
1520         caller saved registers.
1521
1522 2002-03-05  Dietmar Maurer  <dietmar@ximian.com>
1523
1524         * x86.brg: use x86_widen_reg for CONV opcodes
1525
1526 2002-03-01  Dietmar Maurer  <dietmar@ximian.com>
1527
1528         * jit.c (MAKE_SPILLED_BI_ALU): remove unnecessary assertions
1529
1530         * emit-x86.c (arch_handle_exception): big fix - dont use
1531         uninitialized next_bp
1532         (arch_compile_method): make the jit thread save
1533         (x86_magic_trampoline): moved lock/unlock to x86_magic_trampoline
1534         to avoid need of recursive mutexes
1535
1536         * x86.brg: use new mono_assert macros
1537
1538 2002-02-28  Dietmar Maurer  <dietmar@ximian.com>
1539
1540         * emit-x86.c (arch_create_jit_trampoline): save/restore LMF before
1541         calling into unmanaged code (arch_compile_method).
1542
1543         * x86.brg: impl. CONV_I4 (freg) with correct rounding
1544         (lreg): impl CALL_I8(INTF_ADDR)
1545         impl. CONV_R_UN (reg)
1546         bug fix im REM_UN
1547
1548 2002-02-27  Dietmar Maurer  <dietmar@ximian.com>
1549
1550         * emit-x86.c (arch_runtime_invoke): impl. runtime invoke for the jit.
1551
1552 2002-02-26  Dietmar Maurer  <dietmar@ximian.com>
1553
1554         * x86.brg: bug fix in CLT(lreg,lreg)
1555         (reg): bug fix in CONV_OVF_I4(lreg)
1556         (lreg): replaced x86_call_reg with x86_call_code
1557
1558         * emit-x86.c (mono_add_jump_info): impl.
1559         (mono_compute_branches): patch real jump address (instead of
1560         emitting code twice)
1561
1562 Tue Feb 26 11:56:03 CET 2002 Paolo Molaro <lupus@ximian.com>
1563
1564         * x86.brg: optimize cmp reg,0 -> test reg.
1565
1566 Sun Feb 24 13:58:34 CET 2002 Paolo Molaro <lupus@ximian.com>
1567
1568         * jit.h, jit.c, emit-x86.c: Added a few statistics counters
1569         and the --stats command line option to print them.
1570         Fixed memory leak in arch_compile_method () when a method's code is
1571         found in the cache. Fix magic trampoline to deal with static calls.
1572
1573 2002-02-21  Dietmar Maurer  <dietmar@ximian.com>
1574
1575         * x86.brg: impl. SHR_UN for lreg, added new test, bug fix for BNE_UN
1576
1577 2002-02-19  Dietmar Maurer  <dietmar@ximian.com>
1578
1579         * emit-x86.c (arch_compile_method): add shared code to mono_root_domain
1580         (arch_create_jit_trampoline): cache trampoline code
1581
1582 2002-02-18  Dietmar Maurer  <dietmar@ximian.com>
1583
1584         * jit.c (mono_analyze_stack): optimize LDSFLD/STSFLD for domain
1585         specific code.
1586         (mono_analyze_stack): use MB_TERM_LDELEMA to perform bound check
1587
1588         * x86.brg: do not encode exception objects into the instruction
1589         stream, because they are domain dependend. Use
1590         arch_get_throw_exception_by_name() instead;
1591
1592 Mon Feb 18 15:51:40 CET 2002 Paolo Molaro <lupus@ximian.com>
1593
1594         * jit.c: intern command line arguments.
1595
1596 2002-02-18  Dietmar Maurer  <dietmar@ximian.com>
1597
1598         * jit.c (mono_analyze_stack): use the magic trampoline for all
1599         calls (since we cant store the address of compiled code in
1600         method->addr).
1601         (mono_analyze_stack): imp. LDSTR for shared code
1602
1603         * emit-x86.c (x86_magic_trampoline): handle x86_call_code().
1604         (arch_compile_method): add a cache for compiled methods to avoid
1605         recompilation. dont use method->addr to store domain dependent
1606         code address.
1607
1608 2002-02-15  Dietmar Maurer  <dietmar@ximian.com>
1609
1610         * x86.brg: impl. BLE,BGT for freg
1611
1612 Sat Feb 16 16:27:42 CET 2002 Paolo Molaro <lupus@ximian.com>
1613
1614         * emit-x86.c: handle unreachable code. Eliminate some unneeded
1615         malloc() calls.
1616         * jit.c: handle unreachable code. Move setting of mono_end_of_stack to
1617         main(). Add --compile classname and --ncompile num command line
1618         options to do performance evaluation of the jitter (and help
1619         debugging).
1620
1621 2002-02-15  Dietmar Maurer  <dietmar@ximian.com>
1622
1623         * emit-x86.c (arch_compile_method): bug fix in static delegate
1624         Invoke code.
1625
1626 2002-02-14  Dietmar Maurer  <dietmar@ximian.com>
1627
1628         * jit.c (mono_analyze_stack): do a LDIND after NEWOBJ for value types.
1629
1630 2002-02-13  Dietmar Maurer  <dietmar@ximian.com>
1631
1632         * jit.c (mono_analyze_stack): impl. CEE_SIZEOF
1633
1634 2002-02-13  Miguel de Icaza  <miguel@ximian.com>
1635
1636         * jit.c (arch_allocate_var): Only assert that the alignment is
1637         at least 32-bits aligned, not always 32-bits aligned (for I8 for example).
1638
1639 Mon Feb 11 11:20:57 CET 2002 Paolo Molaro <lupus@ximian.com>
1640
1641         * x86.brg: fix invalid cast check in unbox. Pack MBTree structure.
1642
1643 Sun Feb 10 12:54:05 CET 2002 Paolo Molaro <lupus@ximian.com>
1644
1645         * emit-x86.c: make x86_magic_trampoline() handle call instructions
1646         with an imm8 displacement. x86.brg not yet changed to take advantage
1647         of it.
1648
1649 Sun Feb 10 11:47:30 CET 2002 Paolo Molaro <lupus@ximian.com>
1650
1651         * jit.c: use opcode info from libmetadata to do flow analysis
1652         and simplify code.
1653
1654 2002-02-06  Dietmar Maurer  <dietmar@ximian.com>
1655
1656         * jit.c (MAKE_LDELEM, MAKE_STELEM): added bound checking
1657
1658 2002-02-05  Dietmar Maurer  <dietmar@ximian.com>
1659
1660         * x86.brg: use element_class for type check
1661
1662 2002-02-04  Dietmar Maurer  <dietmar@ximian.com>
1663
1664         * jit.c (main): impl. __array_Address icall
1665
1666         * mempool.c (mono_mempool_alloc): handle large block allocation
1667
1668 2002-02-01  Dietmar Maurer  <dietmar@ximian.com>
1669
1670         * x86.brg: impl. SHL/SHR/CLT for 64 bit values
1671
1672 2002-01-31  Dietmar Maurer  <dietmar@ximian.com>
1673
1674         * x86.brg: impl. CEQ(lreg,lreg)
1675
1676         * jit.c (mono_analyze_stack): impl. LDVIRTFTN
1677         (mono_analyze_stack): handle MONO_TABLE_MEMBERREF in LDSFLD/STSFLD
1678
1679         * x86.brg: removed some dead code.
1680
1681 2002-01-18  Dietmar Maurer  <dietmar@ximian.com>
1682
1683         * jit.c (arch_allocate_var): fixed alignment bugs
1684
1685 2002-01-17  Dietmar Maurer  <dietmar@ximian.com>
1686
1687         * jit.c (mono_analyze_stack): use LDIND_REF/STIND_REF
1688
1689 2002-01-16  Dietmar Maurer  <dietmar@ximian.com>
1690
1691         * jit.c (main): install the trampoline before we start to create
1692         objects.
1693
1694         * x86.brg: impl. CLT_UN, CGT_UN
1695
1696         * emit-x86.c (leave_method): added check for null object
1697         (enter_method): consider byref arguments
1698
1699 2002-01-14  Dietmar Maurer  <dietmar@ximian.com>
1700
1701         * x86.brg: bug fix in CONV_OVF_I1_UN
1702         impl. ADD_OVF, MUL_OVF
1703         impl. ADD_OVF_UN, SUB_OVF, SUB_OVF_UN
1704         (SUB (lreg, lreg)): bug fix - use SBB instead of SUB
1705         (EMIT_COND_EXCEPTION): added signed flag
1706
1707 Fri Jan 11 20:06:22 CET 2002 Paolo Molaro <lupus@ximian.com>
1708
1709         * jit.c: implement stloc, ldloc, ldloca.
1710
1711 2002-01-11  Dietmar Maurer  <dietmar@ximian.com>
1712
1713         * jit.c (mono_analyze_stack): fixed calculation of last_instr
1714
1715         * x86.brg (LDLEN): emit null_reference exception
1716         (BLE_UN): bug fix.
1717         (RET, RET_VOID, RET_OBJ, ...) fixed jump to epilog
1718
1719 2002-01-04  Dietmar Maurer  <dietmar@ximian.com>
1720
1721         * x86.brg: bug fix in CASTCLASS
1722
1723 2001-12-21  Dietmar Maurer  <dietmar@ximian.com>
1724
1725         * jit.c (mono_analyze_stack): spill MUL to avoid problem with
1726         register allocation.
1727
1728         * emit-x86.c (arch_compile_method): fixed static delegate bug
1729
1730 2001-12-16  Miguel de Icaza  <miguel@ximian.com>
1731
1732         * x86.brg, jit.c: Split up the nodes that we used to share on
1733         CONV_OVF.  They were sharing the nodes because they are the same
1734         on 32-bit machines, but on 64-bit machines you need different
1735         code for them.
1736
1737 2001-12-17  Dietmar Maurer  <dietmar@ximian.com>
1738
1739         * x86.brg: removed prerequisite that (tree->left->reg1 <
1740         tree->right->reg1) to make register allocation easier.
1741
1742 2001-12-16  Dietmar Maurer  <dietmar@ximian.com>
1743
1744         * emit-x86.c (arch_handle_exception): new code to handle
1745         exceptions inside unmanaged code.
1746
1747         * x86.brg: impl. SAVE_LMF, RESTORE_LMF, pass implizit valuetype
1748         address as first argument.
1749
1750 2001-12-15  Dietmar Maurer  <dietmar@ximian.com>
1751
1752         * x86.brg: pass exceptions on the stack
1753
1754         * jit.h (ISSTRUCT): new macro to check for real value types
1755         (return false for enum types).
1756
1757 2001-12-11  Dietmar Maurer  <dietmar@ximian.com>
1758
1759         * x86.brg: use position indepentent code if possible.
1760
1761         * x86.brg (EMIT_COND_EXCEPTION): new macro.
1762
1763         * emit-x86.c (mono_emit_cfg): impl. variable code buffer size
1764
1765 2001-12-10  Dietmar Maurer  <dietmar@ximian.com>
1766
1767         * jit.c (mono_analyze_flow): use g_malloc0 o allocate large bcinfo
1768         blocks.
1769         (mono_analyze_flow): use g_malloc0 o allocate large bblocks array.
1770
1771         * x86.brg (stmt): added opt. for STIND_R4/STIND_R8
1772
1773 2001-12-07  Dietmar Maurer  <dietmar@ximian.com>
1774
1775         * jit.c (mono_allocate_intvar): bug fix.
1776
1777         * emit-x86.c (get_unbox_trampoline): impl.
1778
1779         * jit.c (mono_analyze_stack): impl STOBJ, LEAVE
1780
1781 2001-12-06  Dietmar Maurer  <dietmar@ximian.com>
1782
1783         * x86.brg: raise exceptions.
1784
1785 2001-12-05  Dietmar Maurer  <dietmar@ximian.com>
1786
1787         * x86.brg: impl. CEQ for freg, NEWSTRUCT now allocates valuetypes on
1788         the stack.
1789
1790 2001-12-06  Miguel de Icaza  <miguel@ximian.com>
1791
1792         * jit.c (mono_analyze_stack), x86.brg: Implement CONV.OVF.I1,
1793         CONV.OVF.I4, CONV.OVF.I1.UN, CONV.OVF.U1, CONV.OVF.U1.UN,
1794         CONV.OVF.I2.UN, CONV.OVF.I8.UN
1795
1796 2001-12-04  Dietmar Maurer  <dietmar@ximian.com>
1797
1798         * x86.brg: impl. UNBOX, NEWSTRUCT, removed VTYPE, bug fixes,
1799         removed the locaddr nonterminal, reimplemented value types
1800
1801         * jit.c: reimplemented value type support, better support for
1802         enumeration types.
1803
1804 2001-12-03  Miguel de Icaza  <miguel@ximian.com>
1805
1806         * x86.brg, jit.c: Implement conv.ovf.u4, conv.ovf.u2, conv.ovf.i2,
1807         conv.ovf.u8
1808
1809 Mon Dec 3 17:16:36 CET 2001 Paolo Molaro <lupus@ximian.com>
1810
1811         * jit.c: call mono_init() after registering internal calls.
1812
1813 2001-11-30  Dietmar Maurer  <dietmar@ximian.com>
1814
1815         * emit-x86.c (tree_preallocate_regs): improved register allocation
1816
1817         * x86.brg: impl. ISINST, CASTCLASS
1818
1819 Fri Nov 30 12:02:24 CET 2001 Paolo Molaro <lupus@ximian.com>
1820
1821         * x86.brg: rearrange fields to reduce struct size.
1822         * jit.c: use signature->param_count, not signature->params_size.
1823         * debug.c: off-by-one error fix.
1824
1825 2001-11-29  Radek Doulik  <rodo@ximian.com>
1826
1827         * Makefile.am: build mono only for X86 architecture, compilation
1828         fails for ppc now because of accessing registers in sigcontext
1829         structure
1830
1831 2001-11-29  Dietmar Maurer  <dietmar@ximian.com>
1832
1833         * jit.c (mono_analyze_stack): bug fix in DUP
1834
1835 Thu Nov 29 12:32:01 CET 2001 Paolo Molaro <lupus@ximian.com>
1836
1837         * debug.c: fix type handling. Position function position at start of
1838         IL code. Output more fine-grained stepping information.
1839
1840 2001-11-28  Dietmar Maurer  <dietmar@ximian.com>
1841
1842         * x86.brg (LDIND_I1, LDIND_I2): use x86_widen_ instead of x86_mov_
1843
1844         * jit.c (mono_analyze_stack): record the cli_address for later use
1845         with gdb.
1846         (sigsegv_signal_handler): translate sigsegv into "Internal error"
1847         exception.
1848
1849 Tue Nov 27 16:32:41 CET 2001 Paolo Molaro <lupus@ximian.com>
1850
1851         * debug.c, debug.h: added support for generating stabs.
1852         Stabs can be compiled with as and the resulting object file can be
1853         loaded in a gdb session with add-symbol-file object.o.
1854         * jit.c, jit.h: add --stabs and --debug command line arguments. Keep track
1855         where locals and arguments are stored in the stack. Add support for
1856         passing command line arguments to CLR programs.
1857         * emit-x86.c: insert a breakpoint at method invocation if needed.
1858
1859 2001-11-27  Dietmar Maurer  <dietmar@ximian.com>
1860
1861         * jit.c: exception support
1862
1863         * emit-x86.c (arch_emit_epilogue): bug fix: restore the regs in
1864         the right order.
1865
1866 2001-11-26  Dick Porter  <dick@ximian.com>
1867
1868         * Makefile.am (mono_LDADD): Add io-layer library
1869
1870 2001-11-19  Dietmar Maurer  <dietmar@ximian.com>
1871
1872         * jit.c (mono_analyze_stack): impl. LDFTN
1873         (MAKE_SPILLED_BI_ALU): always spill DIV/REM results to memory to
1874         make register allocation easier on x86
1875
1876         * emit-x86.c (enter_method): more debugging output for Strings
1877         (arch_compile_method): added delegate support
1878         (arch_compile_method): align EBP to 8 byte boundary
1879
1880 Mon Nov 19 11:36:22 CET 2001 Paolo Molaro <lupus@ximian.com>
1881
1882         * jit.c: use mono_install_trampoline (), instead of exporting
1883         a function to a lower-level library.
1884
1885 2001-11-16  Dietmar Maurer  <dietmar@ximian.com>
1886
1887         * x86.brg (STRING_ARG): impl. a way to marshal strings. This
1888         will be extensible to handle all possible kinds of marshalling
1889         requirements.
1890
1891         * jit.c (map_call_type): added MB_TERM_CALL_VOID
1892         (mono_analyze_stack): impl. LDELEMA, reimplemented CALL
1893         instructions to handle this arguments more effectively.
1894
1895 2001-11-15  Dietmar Maurer  <dietmar@ximian.com>
1896
1897         * Makefile.am (mono_SOURCES): renamed testjit to mono
1898
1899         * x86.brg: added debugging support
1900
1901         * testjit.c: added support for value types, CFG improvements
1902
1903         * emit-x86.c (enter_method): handle value types
1904         (tree_allocate_regs): impl. a better way to handle chain rules
1905
1906 2001-11-10  Dietmar Maurer  <dietmar@ximian.com>
1907
1908         * x86.brg (INITOBJ): bug fix: initialize data before use,
1909         simplified the code.
1910
1911 2001-11-09  Miguel de Icaza  <miguel@ximian.com>
1912
1913         * testjit.c (mono_analyze_stack): Remove compiler warning by
1914         testing against NULL.
1915
1916 2001-11-09  Dick Porter  <dick@ximian.com>
1917
1918         * Makefile.am (testjit_LDADD): Don't need THREAD_LIBS any more
1919
1920 2001-11-09  Dietmar Maurer  <dietmar@ximian.com>
1921
1922         * testjit.c (mono_analyze_stack): new BOX impl.
1923
1924         * x86.brg: implemented INITOBJ
1925
1926         * testjit.c (mono_analyze_stack): finished array support
1927         (mono_analyze_stack): reimplemented DUP instruction
1928
1929 2001-11-08  Dietmar Maurer  <dietmar@ximian.com>
1930
1931         * testjit.c (MAKE_STELEM, MAKE_LDELEM): we build a tree which
1932         represents the address of the element. This way we can emit highly
1933         optimized x86 instructions to access elements (using base+index+offset
1934         adressing mode)
1935
1936 2001-11-07  Miguel de Icaza  <miguel@ximian.com>
1937
1938         * mempool.c: Include string.h to kill warning.
1939
1940         * testjit.c: Add typecast to kill warning.
1941
1942         * x86.brg: Include string.h to eliminate warning.
1943
1944         * emit-x86.c (tree_allocate_regs): Fix arguments to g_warning to
1945         kill warning.
1946
1947 2001-11-07  Dietmar Maurer  <dietmar@ximian.com>
1948
1949         * emit-x86.c (enter_method): print out all method arguments
1950         (x86_magic_trampoline): impl.
1951         (arch_create_simple_jit_trampoline): we use different trampolines
1952         for static methods (no need to write the address back into to
1953         vtable).
1954
1955 2001-11-06  Dietmar Maurer  <dietmar@ximian.com>
1956
1957         * emit-x86.c (arch_create_jit_trampoline): optimised trampoline to
1958         use less the 16 bytes.
1959
1960         * x86.brg: code cleanup
1961
1962 2001-11-05  Dietmar Maurer  <dietmar@ximian.com>
1963
1964         * testjit.c: bug fixes.
1965
1966         * emit-x86.c (leave_method): print result values
1967
1968 2001-11-03  Dietmar Maurer  <dietmar@ximian.com>
1969
1970         * emit-x86.c (enter_method): new debugging code
1971         (leave_method): new debbuging code, this functions are called
1972         when you use the new option --trace-calls
1973
1974 2001-11-02  Dietmar Maurer  <dietmar@ximian.com>
1975
1976         * testjit.c: impl. STELEM_XX, STELEM_XX
1977
1978         * x86.brg: impl. LDLEN, LDELEMA
1979
1980
1981 2001-10-15  Dietmar Maurer  <dietmar@ximian.com>
1982
1983         * x86.brg: added some experimental code for CALL
1984         instructions - still not found the optimal way to do it.
1985
1986         * testjit.c (map_stind_type): add support for value types with
1987         a size of 1, 2 or 4 bytes, implemented CEE_UNBOX, CEE_LDOBJ,
1988         CEE_LDSTR, CEE_LDFLD, CEE_LDFLDA, CEE_STFLD, CEE_NEWOBJ, CEE_CEQ
1989         (ctree_create_newobj): impl.
1990
1991
1992         * emit-x86.c (tree_allocate_regs): removed allocation code for
1993         addr nonterminal.
1994         (get_address): use a simple, but bug free search instead of the
1995         buggy binary search.
1996
1997 2001-10-12  Dietmar Maurer  <dietmar@ximian.com>
1998
1999         * testjit.c: support virtual functions
2000
2001         * x86.brg: support different addressing modes for calls
2002
2003 2001-10-11  Dietmar Maurer  <dietmar@ximian.com>
2004
2005         * testjit.c: impl. STFLD
2006
2007 2001-10-10  Dietmar Maurer  <dietmar@ximian.com>
2008
2009         * x86.brg: impl. CEQ
2010
2011 2001-10-04  Dick Porter  <dick@ximian.com>
2012
2013         * testjit.c:
2014         * emit-x86.c: include mono-endian.h not endian.h
2015
2016 2001-10-02  Dietmar Maurer  <dietmar@ximian.com>
2017
2018         * testjit.c (ctree_create_dup): really duplicate the tree.
2019         attach the arguments to the CALL node. Added a new macro to
2020         make argument order configurable (ARCH_ARGS_RIGHT_TO_LEFT).
2021
2022 2001-10-01  Dietmar Maurer  <dietmar@ximian.com>
2023
2024         * interp.brg: the burm based interpreter: added the file as example.
2025
2026 2001-09-27  Dietmar Maurer  <dietmar@ximian.com>
2027
2028         * x86.brg: cleanup
2029
2030         * testjit.c: impl. LDIND/STIND/LDLOCA, use g_malloc to alloc static
2031         data.
2032         (map_stind_type): support enum types
2033         (map_ldind_type): support enum types
2034
2035         * emit-x86.c (tree_allocate_regs): added code to support
2036         register allocation for addressing modes trees.
2037         (tree_emit): bug fix: we have to emit all mono_burg_functins. The
2038         previous impl. did not work for chain rules.
2039         (compute_branches): support for SWITCH statements
2040
2041         * x86.brg: added rules to model x86 addressing modes
2042
2043 2001-09-26  Dietmar Maurer  <dietmar@ximian.com>
2044
2045         * emit-x86.c (compute_branches): implemented SWITCH
2046
2047         * testjit.c (mono_create_forest): implemented LDIND/STIND opcodes
2048         (map_ldind_type): add enumeration types.
2049         (map_stind_type): add enumeration types.
2050
2051         * emit-x86.c (arch_compile_method): more documentation.
2052
2053         * testjit.c: moved the architecture specific things to emit-x86.c
2054         and x86.brg. Added more documentation. code cleanup.
2055
2056 2001-09-25  Dietmar Maurer  <dietmar@ximian.com>
2057
2058         * x86.brg: we now have different types of addresses: ADDR_L for local
2059         values, ADDR_A for arguments and ADDR_G for global addresses. We
2060         also use LDIND_XX token to load values from a specific address
2061         instead of LDLOC/STLOC.
2062
2063         * testjit.c: use the new adressing scheme everywhere:
2064         LDIND _XX (ADDR_X), and STIND_XX (ADDR_X, tree)
2065
2066 2001-09-24  Dietmar Maurer  <dietmar@ximian.com>
2067
2068         * testjit.c (main): fix bug in parameter parsing
2069
2070         * x86.brg: impl. more opcodes
2071
2072 2001-09-23  Dick Porter  <dick@ximian.com>
2073
2074         * Makefile.am (testjit_LDADD): rename PTHREAD_LIBS to THREAD_LIBS
2075
2076 2001-09-23  Dietmar Maurer  <dietmar@ximian.com>
2077
2078         * testjit.c: use the memory pool to avoid memory leaks
2079
2080 2001-09-22  Dietmar Maurer  <dietmar@ximian.com>
2081
2082         * x86.brg: increment the stack pointer after function calls
2083
2084 2001-09-21  Dick Porter  <dick@ximian.com>
2085
2086         * Makefile.am (testjit_LDADD): Added PTHREAD_LIBS to the link line
2087
2088 2001-09-21  Dietmar Maurer  <dietmar@ximian.com>
2089
2090         * x86.brg: implemented long MUL/DIV
2091         (MB_OPT_LEVEL): define optimisation level macro
2092
2093         * testjit.c (tree_allocate_regs): added a way to prevent EDX usage
2094         for operations like idiv. it is also possible to assign specific registers.
2095
2096 2001-09-20  Dietmar Maurer  <dietmar@ximian.com>
2097
2098         * x86.brg: added basic support for long
2099
2100         * testjit.c (mono_compile_method): implemented POP
2101
2102 2001-09-19  Miguel de Icaza  <miguel@ximian.com>
2103
2104         * testjit.c (usage): Added a couple of more usage options.
2105
2106 2001-09-19  Dietmar Maurer  <dietmar@ximian.com>
2107
2108         * x86.brg: added more floating point grammar
2109
2110         * testjit.c (mono_compile_method): make local offsets negative
2111
2112         * x86.brg: added some floating point trees
2113
2114         * testjit.c (mono_compile_method): arguments on the runtime
2115         stack are at least 4 bytes
2116
2117         * x86.brg: partly implemented 8,16 bit integers
2118
2119         * testjit.c (get_address): mark basic blocks
2120
2121 2001-09-18  Dietmar Maurer  <dietmar@ximian.com>
2122
2123         * x86.brg: added some rules to optimize code
2124
2125         * testjit.c (get_address): use a binary search to get the address
2126         (main): added an option to debug the jit (-d)
2127
2128 Tue Sep 18 13:19:16 CEST 2001 Paolo Molaro <lupus@ximian.com>
2129
2130         * testjit.c: better/faster align code. Handle ldloc.s and stloc.s.
2131
2132 2001-09-17  Miguel de Icaza  <miguel@ximian.com>
2133
2134         * testjit.c (mono_compile_method): Provide better error reporting.
2135
2136 2001-09-17  Dietmar Maurer  <dietmar@ximian.com>
2137
2138         * testjit.c (tree_get_address): impl. to fix address bug
2139         (tree_get_address): make sure that we can only jump to the first
2140         instruction of a tree.
2141
2142         * x86.brg: emit real code for calls
2143
2144         * testjit.c (create_jit_trampoline): creates a function to trigger jit
2145         compilation.
2146         (mono_compile_method): reversed argument order
2147
2148 2001-09-15  Dietmar Maurer  <dietmar@ximian.com>
2149
2150         * x86.brg (stmt): don't emit unnecessary register moves
2151
2152         * testjit.c (tree_allocate_regs): free registers earlier
2153
2154 2001-09-14  Dietmar Maurer  <dietmar@ximian.com>
2155
2156         * x86.brg: branch addresses are now resolved
2157
2158         * testjit.c (compute_branches): compute address of branches
2159
2160         * x86.brg: emit real x86 instructions
2161
2162         * testjit.c: call objdump to disassemble the output
2163
2164 2001-09-13  Dietmar Maurer  <dietmar@ximian.com>
2165
2166         * x86.brg: use the right offsets to access local variables
2167         and arguments.
2168
2169         * emit-x86.c: only save/restore callee saved registers if they are
2170         really modified.
2171
2172         * testjit.c (tree_allocate_regs): use the new MonoRegSet to
2173         allocate registers.
2174         (mono_compile_method): changed the tree for mothod calls
2175
2176         * regset.h: impl.
2177
2178         * regset.c: impl.
2179
2180
2181 2001-09-10  Miguel de Icaza  <miguel@ximian.com>
2182
2183         * x86.brg: Use Unix assembly syntax.
2184
2185         * emit-x86.c: support code, should be moved
2186
2187         * testjit.c: Use GPtrArrays instead of GLists, as those are very
2188         inefficient at appends.
2189
2190         * Renamed `create_new_leave' to `create_new_leaf'
2191
2192
2193