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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information