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