INL fails to establish SSA form on inserted code.
|
|
Bugzilla Link |
1183 |
Created on |
Dec 29, 2016 22:39 |
Resolution |
INVALID |
Resolved on |
Mar 04, 2017 14:27 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
bug1183.sac, crud
|
Extended Description
I stumbled across this one. I am not sure if it just my sac2cpogo2
branch that has this problem. The code inserted by INL fails to
generate SSA names for the inserted code. As a result, names on
the LHS are duplicated across N_part nodes:
sac2c -v0 -target seq -O3 time2code.sac -bopt:cyc:dfc:1 > crud.dfc1
sac@rattler:~/sac/testsuite/optimizations/pogo$ grep 1942 crud.inl1
int[.] _pinl_1942__flat_24 { , NN } ;
_pinl_1942__flat_24 = _shape_A_( _pinl_1539_result);
_pinl_1947_new_shape = _drop_SxV_( _pinl_1946__flat_20, _pinl_1942__flat_24);
_pinl_1942__flat_24 = _shape_A_( _pinl_1539_result);
_pinl_1947_new_shape = _drop_SxV_( _pinl_1946__flat_20, _pinl_1942__flat_24);
_pinl_1942__flat_24 = _shape_A_( _pinl_1539_result);
_pinl_1947_new_shape = _drop_SxV_( _pinl_1946__flat_20, _pinl_1942__flat_24);
_pinl_1942__flat_24 = _shape_A_( _pinl_1539_result);
_pinl_1947_new_shape = _drop_SxV_( _pinl_1946__flat_20, _pinl_1942__flat_24);
sac@rattler:~/sac/testsuite/optimizations/pogo$ grep 1942 crud.dfc1
sac@rattler:~/sac/testsuite/optimizations/pogo$ vi crud.dfc1
sac@rattler:~/sac/testsuite/optimizations/pogo$ sac2c -V
sac2c 1.2.beta-BlackForest-355-1e13c
developer
(Tue Dec 27 17:55:25 EST 2016 by sac)
sac@rattler:~/sac/testsuite/optimizations/pogo$ sac2c -v0 -target seq -O3 time2code.sac -bopt:cyc:dfc:1 > crud.dfc1