CF shortcoming inhibits AWLF
|
|
Bugzilla Link |
934 |
Created on |
Mar 16, 2012 15:15 |
Resolution |
FIXED |
Resolved on |
Mar 16, 2012 15:38 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
SAACFprf_reshapeAKD.sac |
Extended Description
Created an attachment (id=860)
source code to reproduce fault
This is a long-standing problem, which only came to my attention yesterday,
while looking at performance problems in the apex/logd3/logd3.sac benchmark.
Basically, a simple CF optimization is needed to eliminate the guard below,
when PRF_ARG1(arg_node) matches AVIS_SHAPE( ID_AVIS( PRF_ARG2( arg_node))):
int[.] v1 { dim: 1, shape: _pinl_684__idc_52, NN } ;
int v { , NN } ;
...
_idc_22, _icc_19_pred = _prod_matches_prod_shape_VxA_( _pinl_684__idc_52, v1);
_icc_20 = _reshape_VxA_( _idc_22, v1);
The failure occurs in Build #17751, in unit test
~/sac/testsuite/optimizations/constantfolding/SAACFprf_reshapeAKD.sac