mono/mini/ChangeLog

   1
   2 Wed Jun 4 13:13:52 CEST 2003 Paolo Molaro <lupus@ximian.com>
   3
   4         * mini.c: kill duplicated definition of mono_debug_format.
   5
   6 Wed Jun 4 13:09:51 CEST 2003 Paolo Molaro <lupus@ximian.com>
   7
   8         * mini-x86.c, arrays.cs: fixed register allocation bug.
   9
  10 2003-06-04  Dietmar Maurer  <dietmar@ximian.com>
  11
  12         * mini-x86.c (mono_arch_output_basic_block): use IEEE compatible fprem1
  13
  14         * mini.c (mini_get_opcode_for_method): inline IEEERemainder
  15
  16 2003-06-04  Gonzalo Paniagua Javier <gonzalo@ximian.com>
  17
  18         * mini.c:
  19         (print_method_from_ip): also print source location information if
  20         available.
  21
  22 2003-06-02  Dietmar Maurer  <dietmar@ximian.com>
  23
  24         * mini.c (mono_find_block_region): bug fix in region code
  25         (mini_method_compile): enable removing unreachable code again, but
  26         only in methods without exception clauses.
  27
  28 Fri May 30 18:40:24 CEST 2003 Paolo Molaro <lupus@ximian.com>
  29
  30         * mini.c, mini-ops.h, cpu-pentium.md, inssel.brg, mini-x86.c, mini.h:
  31         Implemented arglist opcode and handling of TypedReference type.
  32         Fixed x86 call convention when a structure is returned.
  33         Minimal support for calling static vararg methods.
  34
  35 2003-05-30  Dietmar Maurer  <dietmar@ximian.com>
  36
  37         * mini.c (mini_method_compile):  always remove unreachable code,
  38         because the code in them may be inconsistent  (access to dead
  39         variables for example).
  40
  41 Thu May 29 11:44:49 CEST 2003 Paolo Molaro <lupus@ximian.com>
  42
  43         * driver.c, debug-mini.c: warning fixes.
  44
  45 Wed May 28 11:19:15 CEST 2003 Paolo Molaro <lupus@ximian.com>
  46
  47         * Makefile.am, jit.h, mini.h: install header for embedding mono.
  48
  49 Tue May 27 17:56:12 CEST 2003 Paolo Molaro <lupus@ximian.com>
  50
  51         * mini.c: thread-static fields are registered in mono_class_vtable(),
  52         so ensure the function is called before checking for them.
  53
  54 2003-05-27  Dietmar Maurer  <dietmar@ximian.com>
  55
  56         * mini.c (optimize_branches): fix for bug 43586
  57
  58         * jit-icalls.c (mono_llmult_ovf): added an additional check for
  59         overflow (fixes Bug #43639)
  60
  61 Tue May 27 11:33:53 CEST 2003 Paolo Molaro <lupus@ximian.com>
  62
  63         * mini.c, objects.cs: allow the use of stobj for primitive types.
  64
  65 Tue May 27 10:33:53 CEST 2003 Paolo Molaro <lupus@ximian.com>
  66
  67         * mini.c: be less strict about argument checking until we support
  68         running the verifier.
  69
  70 2003-05-27  Nick Drochak <ndrochak@gol.com>
  71
  72         * basic-long.cs: tests for (ulong)int * (ulong)int also
  73         * mini.c: use the same trick for (ulong)int * (ulong)int
  74
  75 2003-05-27  Nick Drochak <ndrochak@gol.com>
  76
  77         * basic-long.cs: add regression test for (long)int * (long)int
  78         * cpu-pentium.md: add op_bigmul specification
  79         * inssel-long32.brg: add OP_BIGMUL rule
  80         * mini-ops.h: add OP_BIGMUL
  81         * mini-x86.c: register allocator: handle case where src1 needs to be
  82         in EAX.
  83         * mini.c: substitute special BIGMUL opcode in the tree for
  84         (long)int * (long)int
  85
  86 Mon May 26 20:20:13 CEST 2003 Paolo Molaro <lupus@ximian.com>
  87
  88         * jit-icalls.c: call the type ctor on field access if needed.
  89
  90 Mon May 26 15:21:21 CEST 2003 Paolo Molaro <lupus@ximian.com>
  91
  92         * mini-ops.h, mini.c, inssel.brg, exceptions.cs: validate arguments passed
  93         to a method (including results of ldelema, bug#43207).
  94
  95 2003-05-26  Dietmar Maurer  <dietmar@ximian.com>
  96
  97         * graph.c (cfg_emit_one_loop_level): loop over all blocks. use
  98         colors to show exception handler blocks.
  99
 100         * inssel-x86.brg (OP_OUTARG_VT): dont push zero sized structures
 101         (fix for pinvoke7.cs).
 102
 103 Mon May 26 12:11:53 CEST 2003 Paolo Molaro <lupus@ximian.com>
 104
 105         * mini.h, mini.c: ensure correct initialization order for types that
 106         require it. Prepare for lazy compilation of jit icall wrappers.
 107         Provide a name for opcode emulation to reduce unneeded mallocing.
 108
 109 Fri May 23 16:08:54 CEST 2003 Paolo Molaro <lupus@ximian.com>
 110
 111         * mini-x86.c: better register restoring code and profiling
 112         support for tail calls.
 113
 114 Fri May 23 15:30:53 CEST 2003 Paolo Molaro <lupus@ximian.com>
 115
 116         * mini.h, driver.c: prepare for leaf methods optimization.
 117
 118 Fri May 23 15:28:32 CEST 2003 Paolo Molaro <lupus@ximian.com>
 119
 120         * mini.c: get targets of branches before converting a method.
 121
 122 2003-05-23  Dietmar Maurer  <dietmar@ximian.com>
 123
 124         * mini.c (optimize_branches): added some experimental code (disbaled)
 125
 126 2003-05-22  Dietmar Maurer  <dietmar@ximian.com>
 127
 128         * mini.c (optimize_branches): fix branch to branch optimization
 129
 130         * exceptions-x86.c (mono_arch_handle_exception): bug fix.
 131
 132         * mini-x86.c (mono_arch_output_basic_block): cleanup up exception code
 133
 134         * inssel-x86.brg: added OP_START_HANDLER, CEE_ENDFINALLY, OP_ENDFILTER
 135
 136         * mini-x86.c (mono_arch_allocate_vars): only reserve space for lmf
 137         if needed.
 138
 139 2003-05-21  Dietmar Maurer  <dietmar@ximian.com>
 140
 141         * mini.c (mono_method_to_ir): call handle_loaded_temps before inlining.
 142         enable use of interface variables again.
 143
 144         * mini-x86.c (mono_arch_get_allocatable_int_vars): dont allocate
 145         I1 to registers because there is no simply way to sign extend 8bit
 146         quantities in caller saved registers on x86.
 147
 148         * inssel-float.brg: set costs of some rules to 2 so
 149         that monobure always select the arch. specific ones if supplied,
 150         regardless of the order we pass the files to monoburg.
 151
 152 Tue May 20 17:19:14 CEST 2003 Paolo Molaro <lupus@ximian.com>
 153
 154         * mini.c, mini-x86.c: since the magic trampoline for jumps
 155         can't patch the code directly, we do it as soon as the
 156         method gets compiled.
 157
 158 Tue May 20 16:02:52 CEST 2003 Paolo Molaro <lupus@ximian.com>
 159
 160         * mini-x86.c, mini.h: introduce a new patching method
 161         to support CEE_JMP and tail calls.
 162         * mini.c: obey tail.call. Don't precompile methods target
 163         of CEE_JMP.
 164         * tramp-x86.c: new trampoline code to handle methods
 165         reached through a jump.
 166
 167 2003-05-20  Dietmar Maurer  <dietmar@ximian.com>
 168
 169         * mini-x86.c (mono_arch_get_allocatable_int_vars): allocate 8/16
 170         bit values to registers
 171
 172 2003-05-19  Dietmar Maurer  <dietmar@ximian.com>
 173
 174         * mini.c (mono_compile_get_interface_var): share interface
 175         variables if possible.
 176
 177 2003-05-16  Martin Baulig  <martin@ximian.com>
 178
 179         * debug-mini.c (mono_init_debugger): New function to initialize
 180         the debugger.  This is not in the debugger since it needs to
 181         access some of mini's internals.
 182
 183 2003-05-16  Dietmar Maurer  <dietmar@ximian.com>
 184
 185         * mini.c (mono_method_to_ir): inlining fixes/cleanups
 186
 187 Fri May 16 13:27:23 CEST 2003 Paolo Molaro <lupus@ximian.com>
 188
 189         * mini.c, mini-opts.h, inssel.brg: inline small memcpy
 190         for value type handling.
 191
 192 2003-05-16  Dietmar Maurer  <dietmar@ximian.com>
 193
 194         * mini.c (mono_method_to_ir): inline LDFLD/STFLD wrappers
 195         (mono_method_check_inlining): enable inlining of all kinds of wrappers
 196
 197 2003-05-15  Lluis Sanchez Gual  <lluis@ideary.com>
 198
 199         * mini.c: fixed little bug in CEE_NEWOBJ case when calling
 200           the constructor through a proxy.
 201
 202 Thu May 15 17:17:27 CEST 2003 Paolo Molaro <lupus@ximian.com>
 203
 204         * jit-icalls.c, inssel.brg: fixes to array element address
 205         calculations.
 206
 207 2003-05-15  Dietmar Maurer  <dietmar@ximian.com>
 208
 209         * mini-x86.c (is_regsize_var): allocate pointer to registers
 210
 211 Thu May 15 13:04:02 CEST 2003 Paolo Molaro <lupus@ximian.com>
 212
 213         * driver.c: fixed typo, added intrins to the set of optimizations
 214         tested with regressions.
 215
 216 Thu May 15 11:57:42 CEST 2003 Paolo Molaro <lupus@ximian.com>
 217
 218         * mini-ops.h, mini.c, inssel.brg: optimize access to 2D arrays.
 219         * jit-icalls.c, exceptions.cs: fixed index out of range checks, added
 220         test case.
 221
 222 2003-05-14  Dietmar Maurer  <dietmar@ximian.com>
 223
 224         * inssel.brg: remove some common pop instructions without side effects
 225
 226 Wed May 14 12:40:31 CEST 2003 Paolo Molaro <lupus@ximian.com>
 227
 228         * inssel-x86.brg: fixed thinko in int to double conversions.
 229
 230 Wed May 14 12:01:58 CEST 2003 Paolo Molaro <lupus@ximian.com>
 231
 232         * mini.c, jit-icalls.c: added runtime thread-static variable support.
 233
 234 Tue May 13 22:02:06 CEST 2003 Paolo Molaro <lupus@ximian.com>
 235
 236         * inssel-long32.brg: two more missing instructions.
 237
 238 2003-05-13  Dietmar Maurer  <dietmar@ximian.com>
 239
 240         * mini.c (mono_emit_call_args): set the cil_code for all arguments
 241         if not already set.
 242
 243 2003-05-12  Zoltan Varga  <vargaz@freemail.hu>
 244
 245         * mini-x86.c (mono_arch_output_basic_block): Handle negative zero
 246         correctly.
 247
 248         * basic-float.cs: Added tests for negative zero.
 249
 250 Sun May 11 14:56:27 CEST 2003 Paolo Molaro <lupus@ximian.com>
 251
 252         * inssel-long32.brg, basic-long.cs, exceptions.cs: handle
 253         a couple of missing operations for long casts, with test cases.
 254
 255 2003-05-11  Gonzalo Paniagua Javier <gonzalo@ximian.com>
 256
 257         * exceptions-x86.c: fixed small leaks in mono_arch_handle_exception.
 258
 259 2003-05-09  Dietmar Maurer  <dietmar@ximian.com>
 260
 261         * mini-x86.c (mono_arch_emit_prolog): avoid reallocs with better
 262         code size estimation.
 263
 264 2003-05-08  Dietmar Maurer  <dietmar@ximian.com>
 265
 266         * mini.c (mono_jit_create_remoting_trampoline): make it work with
 267         abstract methods (fix bug 42542)
 268
 269         * aot.c: add ability to handle array types
 270
 271 2003-05-08  Zoltan Varga  <vargaz@freemail.hu>
 272
 273         * mini.c: Call the _specific versions of the object allocation
 274         functions if possible.
 275
 276 Tue May 6 17:18:33 CEST 2003 Paolo Molaro <lupus@ximian.com>
 277
 278         * driver.c: call setlocale ().
 279
 280 Tue May 6 14:38:22 CEST 2003 Paolo Molaro <lupus@ximian.com>
 281
 282         * mini.h, mini.c, aot.c, debug-mini.c, exceptions.c: build fixes for
 283         windows build.
 284
 285 2003-05-05  Dietmar Maurer  <dietmar@ximian.com>
 286
 287         * mini.c (optimize_branches): dont touch code inside exception clauses (fix bug 38136)
 288
 289         * exceptions-x86.c (ves_icall_get_frame_info): also skip remoting
 290         wrappers (fix bug 42122)
 291
 292 2003-05-04  Martin Baulig  <martin@ximian.com>
 293
 294         * mini.h (mono_jit_init, mono_jit_cleanup): Added prototypes.
 295
 296         * driver.c: s/MONO_OPT_SAHRED/MONO_OPT_SHARED/g.
 297         s/mini_set_defaults/mono_set_defaults/g.
 298
 299 2003-05-04  Martin Baulig  <martin@ximian.com>
 300
 301         * driver.c: s/mini_parse_default_optimizations/mono_parse_default_optimizations/g.
 302
 303 Sun May 4 11:48:08 CEST 2003 Paolo Molaro <lupus@ximian.com>
 304
 305         * inssel-long32.brg: add missing lreg: OP_LCONV_TO_U8 (lreg) rule
 306         (reported by Don Roberts).
 307
 308 Fri May 2 18:36:45 CEST 2003 Paolo Molaro <lupus@ximian.com>
 309
 310         * mini.c: temporarily work around two bugs for this release.
 311
 312 Fri May 2 17:37:29 CEST 2003 Paolo Molaro <lupus@ximian.com>
 313
 314         * Makefile.am: avoid linking libmono with GMODULE_LIBS, because
 315         that contains -export-dynamic and it makes using the ld script
 316         useless.
 317         * mini.h, main.c, driver.c: s/mini_main/mono_main/g.
 318
 319 Fri May 2 12:52:32 CEST 2003 Paolo Molaro <lupus@ximian.com>
 320
 321         * mini.h, mini-x86.c, driver.c: disable optimizations not available on a
 322         specific cpu.
 323
 324 Thu May 1 15:28:21 CEST 2003 Paolo Molaro <lupus@ximian.com>
 325
 326         * mini.c: make sure leave calls all the needed finally blocks,
 327         even when the target jumps out of multiple exception clauses.
 328
 329 Thu May 1 15:18:26 CEST 2003 Paolo Molaro <lupus@ximian.com>
 330
 331         * ldscript, Makefile.am: add linker script to reduce the number of
 332         exported symbols (should also fix the issues with libwine defining
 333         some of the same symbols in io-layer).
 334
 335 2003-05-01  Zoltan Varga  <vargaz@freemail.hu>
 336
 337         * driver.c (mini_main): Avoid assertion when no file name is given on
 338         the command line.
 339
 340 Wed Apr 30 15:33:11 CEST 2003 Paolo Molaro <lupus@ximian.com>
 341
 342         * driver.c: added --version/-V command line option.
 343         Added the inline optimization in the regression tests.
 344
 345 Wed Apr 30 15:16:02 CEST 2003 Paolo Molaro <lupus@ximian.com>
 346
 347         * mini.c, basic-calls.cs: when inlining, save arguments to locals according
 348         to the type in the method signature (fixes bug#42134).
 349
 350 Wed Apr 30 12:38:44 CEST 2003 Paolo Molaro <lupus@ximian.com>
 351
 352         * mini.c: when inlining, check this is not null only when needed (bug #42135).
 353
 354 Wed Apr 30 11:44:36 CEST 2003 Paolo Molaro <lupus@ximian.com>
 355
 356         * mini-ppc.h, tramp-pcc.c: type fixes from Max Horn <max@quendi.de>.
 357
 358 2003-04-30  Gonzalo Paniagua Javier <gonzalo@ximian.com>
 359
 360         * driver.c: fixed bug #42100.
 361
 362 2003-04-29  Dietmar Maurer  <dietmar@ximian.com>
 363
 364         * mini.c (mono_method_to_ir): UNBOX need to CAST objects first
 365
 366 Mon Apr 28 17:03:14 CEST 2003 Paolo Molaro <lupus@ximian.com>
 367
 368         * mini.c: moved most of the code required to do inlining to its own
 369         function so it can be reused. Inline also ctors if appropriate.
 370
 371 2003-04-28  Zoltan Varga  <vargaz@freemail.hu>
 372
 373         * Makefile.am: Link with -export-dynamic so shared libs loaded by
 374         the runtime can call mono API functions.
 375
 376 2003-04-27  Martin Baulig  <martin@ximian.com>
 377
 378         * debug-mini.c (mono_debug_init_method): Added
 379         `guint32 breakpoint_id' argument; if the method has a breakpoint,
 380         send a notification to the debugger.
 381
 382         * mini.c (mono_method_to_ir): Don't insert a breakpoint if we're
 383         running in the Mono Debugger, just pass the breakpoint number to
 384         mono_debug_init_method().
 385
 386         * tramp-x86.c, tramp-ppc.c: Removed the breakpoint trampolines.
 387
 388 Sun Apr 27 13:18:04 CEST 2003 Paolo Molaro <lupus@ximian.com>
 389
 390         * mini.c: allow some more unsafe compares.
 391
 392 Sat Apr 26 11:55:41 CEST 2003 Paolo Molaro <lupus@ximian.com>
 393
 394         * mini-x86.c, Makefile.am: make distcheck works (partially from
 395         a patch by Richard Lee <r.h.lee@attbi.com>).
 396         * regset.c, regset.h: removed, they are unused.
 397
 398 2003-04-25  Dick Porter  <dick@ximian.com>
 399
 400         * driver.c: Usage reports the name as 'mono' not 'mini'
 401         * exceptions-x86.c: Build and run on freebsd
 402
 403 Thu Apr 24 17:09:03 CEST 2003 Paolo Molaro <lupus@ximian.com>
 404
 405         * Makefile.am: install the program with the 'mono' name and
 406         the library as libmono instead of mini and libmini.
 407
 408 Thu Apr 24 17:08:07 CEST 2003 Paolo Molaro <lupus@ximian.com>
 409
 410         * driver.c: provide the APIs for the embedding interface of the old jit.
 411
 412 2003-04-23  Dietmar Maurer  <dietmar@ximian.com>
 413
 414         * jit-icalls.c (helper_stelem_ref): impl. (fix bug 41775)
 415
 416 2003-04-23  Martin Baulig  <martin@ximian.com>
 417
 418         * tramp-x86.c, tramp-ppc.c: Reenable the debugger breakpoint interface.
 419
 420         * driver.c: Added `--debug' command line argument to enable
 421         debugging support.
 422
 423 2003-04-23  Martin Baulig  <martin@ximian.com>
 424
 425         * debug.[ch]: Removed.  The code is now in
 426         ../metadata/mono-debug.[ch] and mono-debug-debugger.[ch].
 427
 428         * debug-stabs.c, debug-dwarf2.c: Removed; nobody used this for the
 429         last six months.
 430
 431 2003-04-22  Dietmar Maurer  <dietmar@ximian.com>
 432
 433         * mini.c (mono_method_to_ir): set the cil_code address (fix bug 41525)
 434
 435 2003-04-17  Gonzalo Paniagua Javier <gonzalo@ximian.com>
 436
 437         * mini.c:
 438         (mini_cleanup): moved mono_runtime_cleanup call after the call to
 439         mono_domain_finalize.
 440         (mini_method_compile): use mono_method_profile* if the the option is
 441         enabled.
 442
 443 2003-04-17  Zoltan Varga  <vargaz@freemail.hu>
 444
 445         * tramp-x86.c (mono_arch_create_jit_trampoline): Subsitute synchronized
 446         methods with their wrapper.
 447
 448         * tramp-ppc.c (mono_arch_create_jit_trampoline): Subsitute synchronized
 449         methods with their wrapper.
 450
 451         * jit-icalls.c (mono_ldvirtfn): Subsitute synchronized methods with
 452         their wrapper.
 453
 454         * mini.c (mono_method_to_ir): Subsitute synchronized methods with their
 455         wrapper.
 456
 457         * mini.c (mono_method_check_inlining): Avoid inlining synchronized
 458         methods.
 459
 460 2003-04-17  Dietmar Maurer  <dietmar@ximian.com>
 461
 462         * exceptions-x86.c (mono_arch_handle_exception): fix for bug 36252
 463
 464 2003-04-16  Dietmar Maurer  <dietmar@ximian.com>
 465
 466         * mini.c (mono_compile_create_var): use g_malloc/g_realloc instead
 467         of the mempool. This is slightly faster and uses less memory
 468
 469 Wed Apr 16 12:53:10 CEST 2003 Paolo Molaro <lupus@ximian.com>
 470
 471         * mini.c: avoid O(n) allocation for variables.
 472
 473 Tue Apr 15 19:13:41 CEST 2003 Paolo Molaro <lupus@ximian.com>
 474
 475         * mini.c: handle items on the stack after inlining methods.
 476
 477 Tue Apr 15 14:17:57 CEST 2003 Paolo Molaro <lupus@ximian.com>
 478
 479         * mini.c: make the method->opcode optimization dependent
 480         on MONO_OPT_INSTRINS and do it lazily.
 481
 482 Tue Apr 15 14:15:39 CEST 2003 Paolo Molaro <lupus@ximian.com>
 483
 484         * driver.c: print overall results at the end of regression run.
 485
 486 Tue Apr 15 11:18:46 CEST 2003 Paolo Molaro <lupus@ximian.com>
 487
 488         * inssel.brg: don't overwrite symbolic registers.
 489
 490 Mon Apr 14 17:41:34 CEST 2003 Paolo Molaro <lupus@ximian.com>
 491
 492         * inssel-x86.brg: fix conversion from long to float.
 493
 494 2003-04-11  Dietmar Maurer  <dietmar@ximian.com>
 495
 496         * mini.c (mini_init): use an opcode for get_Chars (OP_GETCHR)
 497
 498 2003-04-10  Zoltan Varga  <vargaz@freemail.hu>
 499
 500         * mini.c (mono_type_blittable): MONO_TYPE_OBJECT is blittable.
 501
 502         * driver.c: Added --print-vtable option as in the old JIT.
 503
 504 Thu Apr 10 17:43:49 CEST 2003 Paolo Molaro <lupus@ximian.com>
 505
 506         * inssel-long32.brg, exceptions.cs: fix conversions from long, too.
 507
 508 Thu Apr 10 16:27:43 CEST 2003 Paolo Molaro <lupus@ximian.com>
 509
 510         * inssel.brg, basic.cs: fixed checked conversions to byte and short.
 511
 512 2003-04-09  Zoltan Varga  <vargaz@freemail.hu>
 513
 514         * mini.c regalloc.c regalloc.h: Fix memory leak.
 515
 516 2003-04-09  Dietmar Maurer  <dietmar@ximian.com>
 517
 518         * aot.c (mono_aot_get_method): register all used strings
 519
 520 Wed Apr 9 15:22:18 CEST 2003 Paolo Molaro <lupus@ximian.com>
 521
 522         * mini.c: always intern strings references with ldstr at compile time.
 523
 524 Tue Apr 8 11:41:26 CEST 2003 Paolo Molaro <lupus@ximian.com>
 525
 526         * Makefile.am: add BUILT_SOURCES.
 527
 528 Mon Apr 7 16:31:34 CEST 2003 Paolo Molaro <lupus@ximian.com>
 529
 530         * driver.c: give a better error message when the assembly to execute
 531         doesn't have an entry point.
 532
 533 2003-04-07  Dietmar Maurer  <dietmar@ximian.com>
 534
 535         * Makefile.am: added hack for automake
 536
 537         * mono/mini/mini.c (mono_save_args): always copy arguments to keep
 538         correct sematics.
 539
 540         * mono/mini/ssa.c (mono_ssa_avoid_copies): don't optimize calls
 541
 542 22003-04-07  Martin Baulig  <martin@ximian.com>
 543
 544         * Makefile.am: Added Makefile.am.
 545
 546         * debugger-main.c: Removed, this is now in the debugger where it
 547         belongs.
 548
 549         * mini.pc.in: Call this package `mini' for the moment.
 550
 551