Some bright light is denormalizing GENERATOR_BOUND2
|
|
Bugzilla Link |
1101 |
Created on |
Nov 08, 2013 18:51 |
Resolution |
INVALID |
Resolved on |
Nov 08, 2013 21:34 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
bugmul.sac |
Extended Description
Created an attachment (id=994)
source code to reproduce fault
The code in -bpre:acn turns this WL:
/****************************************************************************
* *(...) [ body ]
****************************************************************************/
inline
int[.] *( int[.] a { ,NN } , int[.] b { ,NN } )
/*
* * :: ---
*/
{
return( with {
/* Partn */
(. <= iv < .)
{
} : ( sel( iv, a) *sel( iv, b) ) ;
} :
genarray( _shape_A_( a), 0));
}
into this one:
/****************************************************************************
* *(...) [ body ]
****************************************************************************/
inline
int[.] *( int[.] a { ,NN } , int[.] b { ,NN } )
/*
* * :: ---
*/
{
return( with {
/* Partn */
(_mul_SxV_( 0, _shape_A_( a)) <= iv < _sub_VxS_( _shape_A_( a), 1))
{
} : ( sel( iv, a) *sel( iv, b) ) ;
} :
genarray( _shape_A_( a), 0));
}
Not exactly what we were hoping for. I am guessing this is another
feechur of DecCamp 2013.