Zoltan Varga wrote:

Hi,

The patch is now in SVN.

Thank you. There were other patches to common files that haven't got to
SVN yet (mono-linux-alpha2.patch).

I have a question:
Alpha arch doesn't have unassigned compare for floats, but IR seems to
require it. What would be the best place to
implement taking abs values for arguments to compare and do comparition?
I was thinking of using inssel-alpha.brg file to add instruction like
"stmt: P_CND_BRANCH (P_CMPARE(freg, freg)) { }"
(I found usage like this in inssel-arm.brg) to implement abs of fregs
and do compare, but I read documentation that this would limit
optimization and register allocation logic.
Another thing - Alpha doesn't have special flag register to hold
comparition result and uses some of common registers. Right now I am using
one predefined register, but this limit its usage for other ops. I would
like to use local register allocation to allocate register to hold
compare results and use it in conditional branch instruction.

Thank you,

Hi,

I have a question:
Alpha arch doesn't have unassigned compare for floats, but IR seems to
require it. What would be the best place to
implement taking abs values for arguments to compare and do comparition?
I was thinking of using inssel-alpha.brg file to add instruction like
"stmt: P_CND_BRANCH (P_CMPARE(freg, freg)) { }"
(I found usage like this in inssel-arm.brg) to implement abs of fregs
and do compare, but I read documentation that this would limit
optimization and register allocation logic.

I don't know how that would limit optimization, so I think it is fine for now.

Another thing - Alpha doesn't have special flag register to hold
comparition result and uses some of common registers. Right now I am using
one predefined register, but this limit its usage for other ops. I would
like to use local register allocation to allocate register to hold
compare results and use it in conditional branch instruction.

This is not currently possible, ia64 has the same problem and uses a dedicated
predicate register.

Zoltan

Thank you,

Hello Zoltan,

Hi,
>
>I have a question:
>Alpha arch doesn't have unassigned compare for floats, but IR seems to
>require it. What would be the best place to
>implement taking abs values for arguments to compare and do comparition?
>I was thinking of using inssel-alpha.brg file to add instruction like
>"stmt: P_CND_BRANCH (P_CMPARE(freg, freg)) { }"
>(I found usage like this in inssel-arm.brg) to implement abs of fregs
>and do compare, but I read documentation that this would limit
>optimization and register allocation logic.
>
>
I don't know how that would limit optimization, so I think it is fine
for now.
>
>Another thing - Alpha doesn't have special flag register to hold
>comparition result and uses some of common registers. Right now I am
>using
>one predefined register, but this limit its usage for other ops. I would
>like to use local register allocation to allocate register to hold
>compare results and use it in conditional branch instruction.
>>
>
This is not currently possible, ia64 has the same problem and uses a
dedicated
predicate register.

, I was able to implement float compare (including unordered compare)
in brg file. It really simplified things.
Almost all basic-float tests passed.

I have a problem with handling of exceptions (divide by zero exception
to be exact).
In my current implementation the CEE_DIV opcode uses mono_idiv function
which does actual division.
This method is called without wrapper function (I guess this is because
it is registered as opcode_emulation) and
it doesn't have flag "save_lmf" set. So I don't save LMF for it and
couldn't find exception handler. :(
Do I understand the current logic with unmanaged opcode emulation
functions correctly?
Do I need to implement div opcode? (yes I guess I need, but I was
thinking to do it later)

Thank you,

Hi,

The code in mini.c is incorrect, _idiv and its friends should be
registered with
no_throw set to FALSE, instead of TRUE. I will fix it in a minute.

Zoltan

8/15/06, Sergey Tikhonov <tsv (AT) solvo (DOT) ruwrote:
Hello Zoltan,

Hi,
>
>I have a question:
>Alpha arch doesn't have unassigned compare for floats, but IR seems to
>require it. What would be the best place to
>implement taking abs values for arguments to compare and do comparition?
>I was thinking of using inssel-alpha.brg file to add instruction like
>"stmt: P_CND_BRANCH (P_CMPARE(freg, freg)) { }"
>(I found usage like this in inssel-arm.brg) to implement abs of fregs
>and do compare, but I read documentation that this would limit
>optimization and register allocation logic.
>
>
I don't know how that would limit optimization, so I think it is fine
for now.
>
>Another thing - Alpha doesn't have special flag register to hold
>comparition result and uses some of common registers. Right now I am
>using
>one predefined register, but this limit its usage for other ops. I would
>like to use local register allocation to allocate register to hold
>compare results and use it in conditional branch instruction.
>>
>
This is not currently possible, ia64 has the same problem and uses a
dedicated
predicate register.

, I was able to implement float compare (including unordered compare)
in brg file. It really simplified things.
Almost all basic-float tests passed.

I have a problem with handling of exceptions (divide by zero exception
to be exact).
In my current implementation the CEE_DIV opcode uses mono_idiv function
which does actual division.
This method is called without wrapper function (I guess this is because
it is registered as opcode_emulation) and
it doesn't have flag "save_lmf" set. So I don't save LMF for it and
couldn't find exception handler. :(
Do I understand the current logic with unmanaged opcode emulation
functions correctly?
Do I need to implement div opcode? (yes I guess I need, but I was
thinking to do it later)

Thank you,

Zoltan Varga wrote:
Hi,
The code in mini.c is incorrect, _idiv and its friends should be
registered with
no_throw set to FALSE, instead of TRUE. I will fix it in a minute.
Thank you. Now it works as expected. :)
Regards,

Hello Zoltan,

What is required to port debugging support in mono? I did all required
changes in consfigure.in and Makefile.am in mini.
All necessary *debug* files are build, but it seems that it doesn't
work. I've seen info that current support of debugger is
somewhat under construction. I checked for docs, but can't find any.
For now I just need a bare minimum - like install breakpoint and stop at
it, ability to examine local and global vars. :)
Does the current code support this?

Regards,

Hello Zoltan,

Here is another set of patches for mono on Linux/Alpha.
What is changed:
- Reworked passing of arguments on stack - now it is more close to ABI
(and same as gcc) and safe from stack allocation leaks
- New argument passing schema would allow to start pass valuetypes in
registers (as native methods expect)
- Fixed - not to modify stack pointer
- Added implemetation of lconv_to_i/u4
- Some opcode implemetation and fixes
- Fixed strtod for Alpha
- Added native opcodes patch missed from previous patchset

With all of that I was able to build mcs compiler and using it build all
assembles in mcs directory. :)
So, now it could be considered that the mono is supported on Linux/Alpha
as betta version. :)
Number of failed tests in mono/tests down to 7. Most of the pinvokes
with complex parameters, vararg and one thread tests.

Regards,