[nem-bug] [Nemerle 0000828]: Mono doesn't implement conv.ovf.u4.un; Nemerle generates it

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=828> 
======================================================================
Reported By:                Evin Robertson
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   828
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             01-19-2007 02:45 CET
Last Modified:              01-19-2007 02:45 CET
======================================================================
Summary:                    Mono doesn't implement conv.ovf.u4.un; Nemerle
generates it
Description: 
Mono doesn't implement conv.ovf.u4.un.  See
http://bugzilla.ximian.com/show_bug.cgi?id=70355 where this is marked
WONTFIX.

Nemerle generates this opcode on code like the following:

def x = '\n' :> uint
def y = (0 : ushort) :> uint

These casts could never fail, so they don't need to be checked for
overflow.  Attached is a patch to generate the unchecked opcode instead.

======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-19-07 02:45 Evin Robertson New Issue                                    
01-19-07 02:45 Evin Robertson File Added: conv_u4.patch                    
======================================================================