Re: [Dotgnu-pnet] [patch #6799] libJIT 1.2.5 + / 1.2 1/2 Release (code name: libJIT-ON-TESTOSTERONE)

[Kirill Kononenko]

Everyone with ideas, thoughts, suggestions or comments is very
welcomed. Access to repository is given on first request. Just let me
know if you want one.


Thanks,
Kirill

2009/4/7 Kirill Kononenko <address@hidden>:
> For my machine (a IA-32 Debian machine) it has been really tested a
> lot, both stress tests, functional tests. All applications that I have
> ran with PNET JIT work, all testcases work too, besides one in the
> make check, that is tuned for very fast compilation time (which is not
> a real testcase I guess then).
>
>
> Thanks,
> Kirill
>
> 2009/4/7 Kirill Kononenko <address@hidden>:
>> Let me know if there are any other segfaults or other issues on x86_64/amd64.
>>
>>
>>
>> Thanks,
>> Kirill
>>
>> 2009/4/7 Kirill Kononenko <address@hidden>:
>>> Everyone who wants to add his or her own code with patches to the svn
>>> repository, is highly welcomed. Also all suggestions, thoughts and
>>> comments are very welcomed. So libJIT can become even more and more
>>> useful for support of JIT compilation.
>>>
>>>
>>> Thanks,
>>> Kirill
>>>
>>> 2009/4/7 Kirill Kononenko <address@hidden>:
>>>> For other architectures. It is -very easy- to add support to use both
>>>> the old code generator and the data-flow and control-flow based
>>>> optimisations that are already used in the new code generator. When
>>>> compilation and run for other architectures than IA-32 stabilizes,
>>>> such support of other optimization level for different architectures
>>>> can be added in one-two days. These are basically only a couple of
>>>> extra lines with #defines #if def mostly.
>>>>
>>>>
>>>> Thanks,
>>>> Kirill
>>>>
>>>> 2009/4/7 Kirill Kononenko <address@hidden>:
>>>>> Because of very limited time I have not been able to test my code on
>>>>> different architectures than IA-32, and only on Debian even. So
>>>>> everyone who wants to submit patches, is either already in the list
>>>>> with open write access, or let me know if you want one.
>>>>>
>>>>>
>>>>> Thanks,
>>>>> Kirill
>>>>>
>>>>>
>>>>> 2009/4/7 Kirill Kononenko <address@hidden>:
>>>>>> Hi Boris,
>>>>>>
>>>>>>
>>>>>> Thanks a lot for the patch. I have also fixed a bug I found in
>>>>>> CALL_FINALLY.  You can freely submit any of your code to the svn
>>>>>> repository. In case instruction selection for the new code generator
>>>>>> has not been yet added it should fall back to the old register
>>>>>> allocator, like the old one does with falling back to the interpreter.
>>>>>> Do  you think you can fix this issue when you have a couple of free
>>>>>> minutes? Feel free to submit any of your code to the svn. See the web
>>>>>> page on how to check in to the repository (svn commit etc). Please let
>>>>>> me know if there any issues with svn access.
>>>>>>
>>>>>>
>>>>>> Thanks,
>>>>>> Kirill
>>>>>>
>>>>>> 2009/4/7 Boris Manojlovic <address@hidden>:
>>>>>>> Hello,
>>>>>>>
>>>>>>> this patch is NOT serious patch as it is just cosmetics to be able 
>>>>>>> compiling
>>>>>>> it on x86_64 but anyway it compiles :) and
>>>>>>> it of course seg fault under dpas test cases..
>>>>>>>
>>>>>>>
>>>>>>> small part of debug....
>>>>>>> ---------------------------------------------------------------------------------------------------------
>>>>>>> $ gdb
>>>>>>> /home/steki/libjit-linear-scan-register-allocator-read-only/libjit/dpas/.libs/lt-dpas
>>>>>>> GNU gdb (GDB; openSUSE 11.1) 6.8.50.20081120-cvs
>>>>>>> Copyright (C) 2008 Free Software Foundation, Inc.
>>>>>>> License GPLv3+: GNU GPL version 3 or later
>>>>>>> <http://gnu.org/licenses/gpl.html>
>>>>>>> This is free software: you are free to change and redistribute it.
>>>>>>> There is NO WARRANTY, to the extent permitted by law.  Type "show 
>>>>>>> copying"
>>>>>>> and "show warranty" for details.
>>>>>>> This GDB was configured as "x86_64-suse-linux".
>>>>>>> For bug reporting instructions, please see:
>>>>>>> <http://bugs.opensuse.org/>...
>>>>>>> (gdb) set args loop.pas
>>>>>>> (gdb) run
>>>>>>> Starting program:
>>>>>>> /builder/libjit-linear-scan-register-allocator-read-only/libjit/dpas/.libs/lt-dpas
>>>>>>> loop.pas
>>>>>>> [Thread debugging using libthread_db enabled]
>>>>>>>
>>>>>>> Program received signal SIGSEGV, Segmentation fault.
>>>>>>> 0x00007ffff7b84e18 in jit_insn_call_intrinsic (func=0x6214c0,
>>>>>>> name=0x7ffff7bc8bf5 "jit_int_to_ushort", intrinsic_func=0x7ffff7b8bb60,
>>>>>>> descriptor=0x7ffff7dda4e0, arg1=0x621988,
>>>>>>>     arg2=0x0) at jit-insn.c:6250
>>>>>>> 6250    {
>>>>>>> (gdb) up
>>>>>>> #1  0x00007ffff7b855ff in jit_insn_convert (func=0x6214c0, 
>>>>>>> value=0x621988,
>>>>>>> type=<value optimized out>, overflow_check=0) at jit-insn.c:5004
>>>>>>> 5004                            value = apply_unary_conversion
>>>>>>> (gdb)
>>>>>>> #2  0x00007ffff7b84e61 in jit_insn_call_intrinsic (func=0x6214c0,
>>>>>>> name=0x7ffff7bcba40 "\001", intrinsic_func=0x7ffff7bcba80,
>>>>>>> descriptor=0x7ffff7dde5f0, arg1=0x621988, arg2=0x0)
>>>>>>>     at jit-insn.c:6272
>>>>>>> 6272            arg1 = jit_insn_convert(func, arg1, 
>>>>>>> descriptor->arg1_type,
>>>>>>> 0);
>>>>>>> (gdb)
>>>>>>> #3  0x00007ffff7b855ff in jit_insn_convert (func=0x6214c0, 
>>>>>>> value=0x621988,
>>>>>>> type=<value optimized out>, overflow_check=0) at jit-insn.c:5004
>>>>>>> 5004                            value = apply_unary_conversion
>>>>>>> (gdb)
>>>>>>> #4  0x00007ffff7b84e61 in jit_insn_call_intrinsic (func=0x6214c0,
>>>>>>> name=0x7ffff7bc8bf5 "jit_int_to_ushort", intrinsic_func=0x7ffff7b8bb60,
>>>>>>> descriptor=0x7ffff7dda4e0, arg1=0x621988,
>>>>>>>     arg2=0x0) at jit-insn.c:6272
>>>>>>> 6272            arg1 = jit_insn_convert(func, arg1, 
>>>>>>> descriptor->arg1_type,
>>>>>>> 0);
>>>>>>> (gdb)
>>>>>>> ---------------------------------------------------------------------------------------------------------
>>>>>>>
>>>>>>>
>>>>>>> On Sat, Apr 4, 2009 at 3:55 PM, Kirill Kononenko <address@hidden>
>>>>>>> wrote:
>>>>>>>>
>>>>>>>> URL:
>>>>>>>>  <http://savannah.gnu.org/patch/?6799>
>>>>>>>>
>>>>>>>>                 Summary: libJIT 1.2.5 + / 1.2 1/2 Release (code name:
>>>>>>>> libJIT-ON-TESTOSTERONE)
>>>>>>>>                 Project: DotGNU Portable.NET
>>>>>>>>            Submitted by: krokas
>>>>>>>>            Submitted on: Sat 04 Apr 2009 01:55:14 PM GMT
>>>>>>>>                Category: None
>>>>>>>>                Priority: 5 - Normal
>>>>>>>>                  Status: None
>>>>>>>>                 Privacy: Public
>>>>>>>>             Assigned to: None
>>>>>>>>        Originator Email:
>>>>>>>>             Open/Closed: Open
>>>>>>>>         Discussion Lock: Any
>>>>>>>>
>>>>>>>>    _______________________________________________________
>>>>>>>>
>>>>>>>> Details:
>>>>>>>>
>>>>>>>>        * Add optimization levels for IA-32 from 0 to 4
>>>>>>>> (jit_set_optimization_level)
>>>>>>>>        * Add a new specialized jit_abi_internal
>>>>>>>>        * Add brand new optimized object code generator (level 1, 2, 3, 
>>>>>>>> 4
>>>>>>>> of
>>>>>>>> optimization)
>>>>>>>>        * Various low-level machine dependent optimizations and tricks
>>>>>>>>        * Aggressive optimization of division by integer constants as
>>>>>>>>          by Torbjorn Granlund and Peter L. Montgomery in "Division By
>>>>>>>> Invariant
>>>>>>>> Integers using Multiplication"
>>>>>>>>          divcnst-pldi94.pdf
>>>>>>>>        * Add primitive code generators for MMX/Streaming SIMD
>>>>>>>> Extensions/SSE/SSE2/SSE3 and others
>>>>>>>>        * Use SIMD SSE/SSE2/SSE3 for floating point values and 
>>>>>>>> operations
>>>>>>>> (level 1,
>>>>>>>> 2, 3, 4 of optimization\\)
>>>>>>>>        * Data-flow and control-flow based analysis (level 1, 2, 3, 4 of
>>>>>>>> optimization)
>>>>>>>>        * Fast liveness analysis (level 2 of optimization)
>>>>>>>>        * Dead-code elimination (level 4 of optimization)
>>>>>>>>        * Full liveness analysis (level 3, 4 of optimization)
>>>>>>>>        * Linear scan register allocator algorithm (level 2)
>>>>>>>>        * Bin packing register allocator algorithm (level 3, 4)
>>>>>>>>        * Tested on DotGNU Portable.NET Common Language Runtime
>>>>>>>>          / a Microsoft Common Intermediate Language Virtual Machine
>>>>>>>>
>>>>>>>>
>>>>>>>> Download is at:
>>>>>>>>
>>>>>>>>
>>>>>>>> http://libjit-linear-scan-register-allocator.googlecode.com/files/libjit-0.1.2.5%2B.tar.gz
>>>>>>>>
>>>>>>>> See also:
>>>>>>>>
>>>>>>>> http://code.google.com/p/libjit-linear-scan-register-allocator
>>>>>>>> jit-cil.net
>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>>    _______________________________________________________
>>>>>>>>
>>>>>>>> Reply to this item at:
>>>>>>>>
>>>>>>>>  <http://savannah.gnu.org/patch/?6799>
>>>>>>>>
>>>>>>>> _______________________________________________
>>>>>>>>  Message sent via/by Savannah
>>>>>>>>  http://savannah.gnu.org/
>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>> _______________________________________________
>>>>>>>> Dotgnu-pnet mailing list
>>>>>>>> address@hidden
>>>>>>>> http://lists.gnu.org/mailman/listinfo/dotgnu-pnet
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> --
>>>>>>> "Only two things are infinite, the universe and human stupidity, and 
>>>>>>> I'm not
>>>>>>> sure about the former."-Albert Einstein
>>>>>>>
>>>>>>> _______________________________________________
>>>>>>> Dotgnu-pnet mailing list
>>>>>>> address@hidden
>>>>>>> http://lists.gnu.org/mailman/listinfo/dotgnu-pnet
>>>>>>>
>>>>>>>
>>>>>>
>>>>>
>>>>
>>>
>>
>